Edinburgh IMP77 Compiler - Version 8.4 1 %begin .option nopic .Ltext0: .align 1 .globl main main: .LFB185: .LVL0: add sp,sp,-1056 sd ra,1048(sp) lui a5,%hi(__stack_chk_guard) ld a5,%lo(__stack_chk_guard)(a5) sd a5,1032(sp) 2 %constbyteintegerarray trtab(0:255)=1(255),0; call _imp_initialise .LVL1: li a2,256 lui a1,%hi(.LANCHOR0) addi a1,a1,%lo(.LANCHOR0) add a0,sp,776 call memcpy .LVL2: 3 %integer i,j 4 i=-1; j=addr(i) li a5,-1 sw a5,260(sp) .LVL3: 5 ->ok %if trtab(byteinteger(j))=0 add a5,sp,1040 addw a5,a5,-780 lbu a5,0(a5) add a4,sp,1040 add a5,a4,a5 lbu a5,-264(a5) beqz a5,.L2 .L3: .LBB16: 6 printstring("Fail") li a2,256 lui a1,%hi(.LANCHOR0+256) addi a1,a1,%lo(.LANCHOR0+256) add a0,sp,520 call memcpy .LVL4: li a2,256 add a1,sp,520 add a0,sp,264 call memcpy .LVL5: li a2,256 add a1,sp,264 add a0,sp,520 call memcpy .LVL6: .LBE16: .LBB17: .LBB18: li a2,256 add a1,sp,520 mv a0,sp call memcpy .LVL7: mv a0,sp call _imp_printstring .LVL8: .LBE18: .LBE17: .LBB19: .LBB20: li a0,0 call exit .LVL9: .L2: .LBE20: .LBE19: .LBB21: 7 %stop 8 ok:printstring("Test ok") 9 %endofprogram li a2,256 lui a1,%hi(.LANCHOR0+512) addi a1,a1,%lo(.LANCHOR0+512) add a0,sp,520 call memcpy .LVL10: li a2,256 add a1,sp,520 add a0,sp,264 call memcpy .LVL11: li a2,256 add a1,sp,264 add a0,sp,520 call memcpy .LVL12: .LBE21: .LBB22: .LBB23: li a2,256 add a1,sp,520 mv a0,sp call memcpy .LVL13: mv a0,sp call _imp_printstring .LVL14: .LBE23: .LBE22: .LBB24: .LBB25: li a0,0 call exit .LVL15: .LBE25: .LBE24: .LFE185: .section .rodata .align 3 .set .LANCHOR0,. + 0 .LC0: .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 1 .byte 0 .LC1: .byte 4 .string "Fail" .zero 250 .LC2: .byte 7 .string "Test ok" .zero 247 .Letext0: 10 Statements compiled