         Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
		.Ltext0:
				.align	1
				.global	main
				.thumb
				.thumb_func
		main:
		.LFB185:
				@ args = 0, pretend = 0, frame = 1288
				@ frame_needed = 0, uses_anonymous_args = 0
		.LVL0:
				push	{r4, r5, r6, r7, r8, lr}
				sub	sp, sp, #1800
				ldr	r5, .L14
		.LPIC0:
				add	r5, pc
				ldr	r3, .L14+4
				ldr	r3, [r5, r3]
				ldr	r3, [r3]
				str	r3, [sp, #1796]
    2   %reals %long
				bl	_imp_initialise(PLT)
		.LVL1:
		.LBB18:
    3
    4   %integer rounds
    5   %real pi = 1.0
    6
				vmov.f64	d6, #1.0e+0
		.LBB27:
				vmov.f64	d6, #1.0e+0
		.LBB28:
    7   !%on %event 9 %start
    8   !  print string("Cannot open file"); newline
    9   !  %stop
   10   !%finish
   11
   12   %integer i
   13
   14   open input(1, "rounds.txt");   ! open file
				ldr	r6, .L14+8
		.LPIC1:
				add	r6, pc
				mov	r8, #256
				mov	r2, r8
				mov	r1, r6
				addw	r4, sp, #1540
				mov	r0, r4
				bl	memcpy(PLT)
		.LVL2:
				mov	r2, r8
				mov	r1, r4
				add	r7, sp, #516
				mov	r0, r7
				bl	memcpy(PLT)
		.LVL3:
				mov	r2, r8
				mov	r1, r7
				mov	r0, r4
				bl	memcpy(PLT)
		.LVL4:
		.LBE18:
		.LBB19:
		.LBB20:
				movs	r2, #244
				add	r1, sp, #1552
				mov	r0, sp
				bl	memcpy(PLT)
		.LVL5:
				ldm	r4, {r1, r2, r3}
				movs	r0, #1
				bl	_imp_openinput(PLT)
		.LVL6:
		.LBE20:
		.LBE19:
		.LBB21:
		.LBB22:
				ldr	r3, .L14+12
				ldr	r3, [r5, r3]
				movs	r2, #1
				str	r2, [r3]
				ldr	r3, .L14+16
				ldr	r3, [r5, r3]
				ldr	r2, .L14+20
				ldr	r2, [r5, r2]
				ldr	r2, [r2, #280]
				str	r2, [r3]
				add	r0, r6, r8
				bl	check_instream(PLT)
		.LVL7:
		.LBE22:
		.LBE21:
   15   select input(1)
   16
   17   read(rounds)
				add	r6, sp, #512
				mov	r0, r6
				bl	_imp_readint(PLT)
		.LVL8:
		.LBB23:
		.LBB24:
				bl	_imp_closeinput(PLT)
		.LVL9:
		.LBE24:
		.LBE23:
   18
   19   close input;                   ! close file
   20
   21   rounds = rounds + 2;           ! do this outside the loop
				ldr	r4, [r6]
				adds	r7, r4, #2
				str	r7, [r6]
		.LVL10:
		.LBB25:
   22
   23   %for i=2, 1, rounds %cycle
   24     %long %real x = -1.0 + 2.0 * (i & 1); ! allows vectorization
   25     pi = pi + (x / (2 * i - 1)); ! double / unsigned = double
				cmp	r4, #0
				blt	.L13
		.L2:
		.LVL11:
		.LBE25:
				vmov.f64	d3, d6
		.LVL12:
		.L7:
				and	r0, r3, #1
				vmov	s14, r0	@ int
				vcvt.f64.s32	d7, s14
				vadd.f64	d7, d7, d7
				vsub.f64	d7, d7, d3
				vmov	s11, r2	@ int
				vcvt.f64.s32	d4, s11
				vdiv.f64	d5, d7, d4
				vadd.f64	d6, d6, d5
		.LVL14:
		.LDL1:
				adds	r2, r2, #2
				ldr	r3, .L14+24
				ldr	r3, [r5, r3]
				ldr	r1, [r3]
				cbz	r1, .L3
				addw	r0, sp, #1028
				bl	_imp_c2istr(PLT)
		.LVL20:
		.L4:
				ldr	r3, .L14+28
				ldr	r3, [r5, r3]
				ldr	r5, [r3]
				cmp	r5, #0
				it	eq
				moveq	r5, #25
				ldr	r1, .L14+32
		.LPIC4:
				add	r1, pc
				addw	r6, sp, #1284
				mov	r0, r6
				bl	_imp_c2istr(PLT)
		.LVL21:
				movs	r3, #0
				str	r3, [sp, #508]
				movs	r3, #1
				str	r3, [sp, #504]
				movs	r3, #5
				str	r3, [sp, #500]
				mov	r2, #256
				mov	r1, r6
				add	r0, sp, #244
				bl	memcpy(PLT)
		.LVL22:
				str	r5, [sp, #240]
				movs	r2, #240
				addw	r1, sp, #1044
				mov	r0, sp
				bl	memcpy(PLT)
		.LVL23:
				addw	r3, sp, #1028
				ldm	r3, {r0, r1, r2, r3}
				bl	_signal_event(PLT)
		.LVL24:
				b	.L2
		.L3:
		.LBB26:
				mov	r8, #256
				mov	r2, r8
				ldr	r1, .L14+36
		.LPIC3:
				add	r1, pc
				add	r1, r1, #276
				addw	r6, sp, #1284
				mov	r0, r6
				bl	memcpy(PLT)
		.LVL25:
				mov	r2, r8
				mov	r1, r6
				add	r6, sp, #772
				mov	r0, r6
				bl	memcpy(PLT)
		.LVL26:
		.LBE26:
				mov	r2, r8
				mov	r1, r6
				addw	r0, sp, #1028
				bl	memcpy(PLT)
		.LVL27:
				b	.L4
		.L15:
				.align	2
		.L14:
				.word	_GLOBAL_OFFSET_TABLE_-(.LPIC0+4)
				.word	__stack_chk_guard(GOT)
				.word	.LANCHOR0-(.LPIC1+4)
				.word	_imp_InStream(GOT)
				.word	_imp_InFile(GOT)
				.word	_imp_infile(GOT)
				.word	_imp_current_file(GOT)
				.word	_imp_current_line(GOT)
				.word	.LC2-(.LPIC4+4)
				.word	.LANCHOR0-(.LPIC3+4)
		.LBE35:
		.LFE185:
				.section	.rodata
				.align	2
				.set	.LANCHOR0,. + 0
		.LC0:
				.byte	10
				.ascii	"rounds.txt\000"
				.space	244
		__PRETTY_FUNCTION__.9625:
				.ascii	"_imp_SELECTINPUT\000"
				.space	3
		.LC1:
				.byte	21
				.ascii	"test-new/leibnitz.imp\000"
				.space	233
				.section	.rodata.str1.4,"aMS",%progbits,1
				.align	2
		.LC2:
				.ascii	"Illegal cycle I = 2, 1, ROUNDS\000"
		.Letext0:
   26   %repeat
				movs	r3, #1
		.LBE27:
   27
   28   pi = pi * 4
				cmp	r7, #1
				beq	.L6
				adds	r1, r4, #2
				movs	r2, #3
				cmp	r3, r1
				bne	.L7
		.LVL15:
		.L6:
		.LBE28:
		.LBB29:
		.LBB30:
				movs	r0, #16
				vmov.f64	d0, #4.0e+0
				vmul.f64	d0, d6, d0
		.LVL16:
				bl	_imp_printfl(PLT)
		.LVL17:
		.LBE30:
		.LBE29:
		.LBB31:
		.LBB32:
				bl	_imp_newline(PLT)
		.LVL18:
		.LBE32:
		.LBE31:
		.LBB33:
		.LBB34:
				movs	r0, #0
				bl	exit(PLT)
		.LVL19:
		.L13:
		.LBE34:
		.LBE33:
		.LBB35:
   29   print fl(pi, 16);              ! print 16 decimal digits of pi
				adds	r3, r3, #1
		.LVL13:
   30   newline
   31
   32 %endofprogram
   18 Statements compiled
