Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
		.Ltext0:
				.align	1
				.global	main
				.thumb
				.thumb_func
		main:
		.LFB185:
				@ args = 0, pretend = 0, frame = 520
				@ frame_needed = 0, uses_anonymous_args = 0
		.LVL0:
				push	{r4, r5, r6, lr}
				sub	sp, sp, #760
				ldr	r3, .L7
		.LPIC0:
				add	r3, pc
				ldr	r2, .L7+4
				ldr	r3, [r3, r2]
				ldr	r3, [r3]
				str	r3, [sp, #756]
    2 %externalroutinespec phex %alias "s_phex" (%integer x)
				bl	_imp_initialise(PLT)
		.LVL1:
				movs	r3, #41
		.LVL2:
		.L2:
		.LDL1:
		.LDL2:
		.LDL3:
		.LDL4:
		.LDL5:
		.LDL6:
    3 %integer i,j,k,corr,fail
    4 %integerfn div(%integer x,y)
    5 %result=x//y
    6 %end
    7 fail=0
    8 %for k=20,-1,-20%cycle
    9       %if k//2#div(k,2) %then fail=1
   10       %if k//4#div(k,4) %then fail=1
   11       %if k//8#div(k,8) %then fail=1
				subs	r3, r3, #1
		.LVL3:
				bne	.L2
		.L3:
		.LBB32:
   12       %if k//16#div(k,16) %then fail=1
   13       %if k//1#div(k,1) %then fail=1
   14 %repeat
   15 %if fail=0 %then printstring("TEST OK") %else printstring("Divide in error")
   16 newline
				mov	r6, #256
				mov	r2, r6
				ldr	r1, .L7+8
		.LPIC1:
				add	r1, pc
				add	r4, sp, #500
				mov	r0, r4
				bl	memcpy(PLT)
		.LVL4:
				mov	r2, r6
				mov	r1, r4
				add	r5, sp, #244
				mov	r0, r5
				bl	memcpy(PLT)
		.LVL5:
				mov	r2, r6
				mov	r1, r5
				mov	r0, r4
				bl	memcpy(PLT)
		.LVL6:
		.LBE32:
		.LBB33:
		.LBB34:
				movs	r2, #240
				add	r1, sp, #516
				mov	r0, sp
				bl	memcpy(PLT)
		.LVL7:
				ldm	r4, {r0, r1, r2, r3}
				bl	_imp_printstring(PLT)
		.LVL8:
		.LDL7:
		.LBE34:
		.LBE33:
		.LBB35:
		.LBB36:
				bl	_imp_newline(PLT)
		.LVL9:
		.LBE36:
		.LBE35:
		.LBB37:
		.LBB38:
				movs	r0, #0
				bl	exit(PLT)
		.LVL10:
		.L8:
				.align	2
		.L7:
				.word	_GLOBAL_OFFSET_TABLE_-(.LPIC0+4)
				.word	__stack_chk_guard(GOT)
				.word	.LANCHOR0-(.LPIC1+4)
		.LBE38:
		.LBE37:
		.LFE185:
				.section	.rodata
				.align	2
				.set	.LANCHOR0,. + 0
		.LC0:
				.byte	7
				.ascii	"TEST OK\000"
				.space	247
		.Letext0:
   17 %endofprogram
?CORR unused
?J unused
?I unused
?PHEX unused
   17 Statements compiled