Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
				.option nopic
		.Ltext0:
				.align	1
				.globl	main
		main:
		.LFB185:
		.LVL0:
				add	sp,sp,-1312
				sd	ra,1304(sp)
				lui	a5,%hi(__stack_chk_guard)
				ld	a5,%lo(__stack_chk_guard)(a5)
				sd	a5,1288(sp)
    2 %externalroutinespec phex %alias "s_phex" (%integer x)
				call	_imp_initialise
		.LVL1:
		.LBB32:
		.LBB33:
    3 %integer i,j,k,corr,fail
    4 %integerfn div(%integer x,y)
    5 %result=x//y
				li	a4,20
		.LBE33:
		.LBE32:
				srl	a5,a4,63
		.LVL5:
				add	a5,a5,a4
				sra	a5,a5,1
		.LBE34:
		.LBE35:
				sra	a5,a4,63
				and	a5,a5,3
				add	a5,a5,a4
				sra	a5,a5,2
		.LBE37:
		.LBE36:
				sra	a5,a4,63
				and	a5,a5,7
				add	a5,a5,a4
				sra	a5,a5,3
		.LBE39:
		.LBE38:
				sra	a5,a4,63
				and	a5,a5,15
				add	a5,a5,a4
				sra	a5,a5,4
		.LBE41:
		.LBE40:
				sraw	a2,a2,4
				sext.w	a5,a5
				beq	a2,a5,.L7
    6 %end
    7 fail=0
				li	a1,0
    8 %for k=20,-1,-20%cycle
    9       %if k//2#div(k,2) %then fail=1
				srlw	a2,a5,31
				addw	a2,a2,a5
		.LBB35:
		.LBB34:
				sraw	a2,a2,1
				sext.w	a5,a5
				beq	a2,a5,.L2
   10       %if k//4#div(k,4) %then fail=1
				mv	a1,a0
		.LVL6:
		.L4:
		.L2:
				sraw	a2,a3,31
				srlw	a2,a2,30
				addw	a2,a2,a3
		.LBB36:
		.LBB37:
				sraw	a2,a2,2
				sext.w	a5,a5
				beq	a2,a5,.L5
   11       %if k//8#div(k,8) %then fail=1
				li	a0,1
				li	a6,-20
				j	.L2
		.LVL2:
		.L7:
				beq	a3,a6,.L3
				addw	a5,a3,-1
				sext.w	a3,a5
		.LVL3:
				add	a4,a4,-1
		.LVL4:
				mv	a1,a0
		.LVL7:
		.L5:
				sraw	a2,a3,31
				srlw	a2,a2,29
				addw	a2,a2,a3
		.LBB38:
		.LBB39:
				sraw	a2,a2,3
				sext.w	a5,a5
				beq	a2,a5,.L6
				mv	a1,a0
		.LVL8:
		.L6:
				sraw	a2,a3,31
				srlw	a2,a2,28
				addw	a2,a2,a3
		.LBB40:
		.LBB41:
   12       %if k//16#div(k,16) %then fail=1
				li	a3,20
   13       %if k//1#div(k,1) %then fail=1
				mv	a1,a0
		.LVL9:
				j	.L7
		.LVL10:
		.L3:
   14 %repeat
   15 %if fail=0 %then printstring("TEST OK") %else printstring("Divide in error")
				bnez	a1,.L8
		.LBB42:
   16 newline
				li	a2,256
				lui	a1,%hi(.LANCHOR0)
		.LVL11:
				addi	a1,a1,%lo(.LANCHOR0)
				add	a0,sp,1032
				call	memcpy
		.LVL12:
				li	a2,256
				add	a1,sp,1032
				add	a0,sp,264
				call	memcpy
		.LVL13:
				li	a2,256
				add	a1,sp,264
				add	a0,sp,776
				call	memcpy
		.LVL14:
		.LBE42:
		.LBB43:
		.LBB44:
				li	a2,256
				add	a1,sp,776
				mv	a0,sp
				call	memcpy
		.LVL15:
				mv	a0,sp
				call	_imp_printstring
		.LVL16:
		.L9:
		.LBE44:
		.LBE43:
		.LBB45:
		.LBB46:
				call	_imp_newline
		.LVL17:
		.LBE46:
		.LBE45:
		.LBB47:
		.LBB48:
				li	a0,0
				call	exit
		.LVL18:
		.L8:
		.LBE48:
		.LBE47:
		.LBB49:
   17 %endofprogram
?CORR unused
?J unused
?I unused
?PHEX unused
   17 Statements compiled
				li	a2,256
				lui	a1,%hi(.LANCHOR0+256)
		.LVL19:
				addi	a1,a1,%lo(.LANCHOR0+256)
				add	a0,sp,1032
				call	memcpy
		.LVL20:
				li	a2,256
				add	a1,sp,1032
				add	a0,sp,520
				call	memcpy
		.LVL21:
				li	a2,256
				add	a1,sp,520
				add	a0,sp,1032
				call	memcpy
		.LVL22:
		.LBE49:
		.LBB50:
		.LBB51:
				li	a2,256
				add	a1,sp,1032
				mv	a0,sp
				call	memcpy
		.LVL23:
				mv	a0,sp
				call	_imp_printstring
		.LVL24:
				j	.L9
		.LBE51:
		.LBE50:
		.LFE185:
				.section	.rodata
				.align	3
				.set	.LANCHOR0,. + 0
		.LC0:
				.byte	7
				.string	"TEST OK"
				.zero	247
		.LC1:
				.byte	15
				.string	"Divide in error"
				.zero	239
		.Letext0: