Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
				.machine ppc
				.section	".text"
		.Ltext0:
				.align 2
				.globl main
		main:
		.LFB185:
		.LVL0:
				stwu 1,-2608(1)
				mflr 0
				stw 0,2612(1)
				stw 30,2600(1)
				stw 31,2604(1)
				lwz 9,-28680(2)
				stw 9,2588(1)
				li 9,0
    2 %real i,j
				bl _imp_initialise
		.LVL1:
    3 %on %event 1 %start
				li 4,1
				lis 3,_imp_event+544@ha
				la 3,_imp_event+544@l(3)
				bl __sigsetjmp
		.LVL2:
				cmpwi 7,3,0
				bne 7,.L3
		.LVL3:
				li 4,2
				lis 3,_imp_event@ha
				la 3,_imp_event@l(3)
				bl _imp_on_event_enter
		.LVL4:
				cmpwi 7,3,0
				beq 7,.L3
    4      ->trap
    5 %finish
    6 i=2
    7 %cycle
    8 j=i; i=I+I
    9 %if i<00.00001 %or j>=i %then printstring("Oflow missed") %and %stop
				lis 9,.LC5@ha
				lfs 0,.LC5@l(9)
				lis 9,.LC6@ha
				lfd 10,.LC6@l(9)
		.L4:
		.LDL1:
		.LDL2:
		.LDL3:
		.LVL5:
				fadds 11,0,0
		.LVL6:
				fmr 12,11
				fcmpu 7,12,10
				blt 7,.L5
				fmr 0,11
		.LVL7:
   10 %repeat
				fcmpu 7,11,0
				bng 7,.L5
   11 printstring("FAIL")
?access
   12 %stop
				li 5,256
				lis 4,.LANCHOR0@ha
				la 4,.LANCHOR0@l(4)
				addi 3,1,1052
				bl memcpy
		.LVL9:
				li 5,256
				addi 4,1,1052
				addi 3,1,284
				bl memcpy
		.LVL10:
				li 5,256
				addi 4,1,284
				addi 3,1,1564
				bl memcpy
		.LVL11:
		.LBE30:
		.LBB31:
		.LBB32:
				li 5,256
				addi 4,1,1564
				addi 3,1,16
				bl memcpy
		.LVL12:
				addi 3,1,16
				bl _imp_printstring
		.LVL13:
		.LBE32:
		.LBE31:
		.LBB33:
		.LBB34:
				li 3,0
				bl exit
		.LVL14:
		.L3:
		.LBE34:
		.LBE33:
		.LBB35:
				lis 31,.LANCHOR0@ha
				la 31,.LANCHOR0@l(31)
				li 5,256
				addi 4,31,256
				addi 3,1,1052
				bl memcpy
		.LVL15:
				li 5,256
				addi 4,1,1052
				addi 3,1,540
				bl memcpy
		.LVL16:
				li 5,256
				addi 4,1,540
				addi 3,1,1820
				bl memcpy
		.LVL17:
		.LBE35:
		.LBB36:
		.LBB37:
				li 5,256
				addi 4,1,1820
				addi 3,1,16
				bl memcpy
		.LVL18:
				addi 3,1,16
				bl _imp_printstring
		.LVL19:
		.LBE37:
		.LBE36:
		.LBB38:
		.LBB39:
				lis 30,_imp_event@ha
				la 30,_imp_event@l(30)
		.LBE39:
		.LBE38:
   13 trap:
   14 printstring("event trapped ")
				b .L4
		.LVL8:
		.L5:
		.LBB30:
   15 write(eventinf>>8,5); write(eventinf&255,5)
				lwz 3,8(30)
				li 4,5
				srwi 3,3,8
				bl _imp_writeint
		.LVL20:
   16 newline
				li 4,5
				lbz 3,11(30)
				bl _imp_writeint
		.LVL21:
		.LBB40:
		.LBB41:
				bl _imp_newline
		.LVL22:
		.LBE41:
		.LBE40:
		.LBB42:
   17 printstring("Line of failure =")
				li 5,256
				addi 4,31,512
				addi 3,1,1052
				bl memcpy
		.LVL23:
				li 5,256
				addi 4,1,1052
				addi 3,1,796
				bl memcpy
		.LVL24:
				li 5,256
				addi 4,1,796
				addi 3,1,2076
				bl memcpy
		.LVL25:
		.LBE42:
		.LBB43:
		.LBB44:
				li 5,256
				addi 4,1,2076
				addi 3,1,16
				bl memcpy
		.LVL26:
				addi 3,1,16
				bl _imp_printstring
		.LVL27:
		.LBE44:
		.LBE43:
   18 write(eventline,4)
				li 4,4
				lwz 3,524(30)
				bl _imp_writeint
		.LVL28:
		.LBB45:
		.LBB46:
				bl _imp_newline
		.LVL29:
		.LBE46:
		.LBE45:
		.LBB47:
   19 newline
   20 printstring("Test OK")
				li 5,256
				addi 4,31,768
				addi 3,1,1052
				bl memcpy
		.LVL30:
				li 5,256
				addi 4,1,1052
				addi 3,1,1308
				bl memcpy
		.LVL31:
				li 5,256
				addi 4,1,1308
				addi 3,1,2332
				bl memcpy
		.LVL32:
		.LBE47:
		.LBB48:
		.LBB49:
				li 5,256
				addi 4,1,2332
				addi 3,1,16
				bl memcpy
		.LVL33:
				addi 3,1,16
				bl _imp_printstring
		.LVL34:
		.LBE49:
		.LBE48:
		.LBB50:
		.LBB51:
				li 3,0
				bl exit
		.LVL35:
		.LBE51:
		.LBE50:
		.LFE185:
				.section	.rodata
				.set	.LANCHOR0,. + 0
		.LC0:
				.byte	12
				.string	"Oflow missed"
				.zero	242
		.LC2:
				.byte	14
				.string	"event trapped "
				.zero	240
		.LC3:
				.byte	17
				.string	"Line of failure ="
				.zero	237
		.LC4:
				.byte	7
				.string	"Test OK"
				.zero	247
				.section	.rodata.cst4,"aM",@progbits,4
				.align 2
		.LC5:
				.long	1082130432
				.section	.rodata.cst8,"aM",@progbits,8
				.align 3
		.LC6:
				.long	1055193269
				.long	-1998362383
				.section	".text"
		.Letext0:
   21 %endofprogram
   22 Statements compiled