Edinburgh IMP77 Compiler - Version 8.4 1 .option nopic .Ltext0: .align 1 A.6005: .LFB186: 2 %BEGIN .LVL4: add sp,sp,-1360 sd ra,1352(sp) sd s0,1344(sp) sd s1,1336(sp) sd s2,1328(sp) sd s3,1320(sp) lui a5,%hi(__stack_chk_guard) ld a5,%lo(__stack_chk_guard)(a5) sd a5,1304(sp) add a5,sp,1360 sd a5,272(sp) 3 !*********************************************************************** call _imp_initialise .LVL5: 4 !* TESTS SOME VERY NOTTED CONDITIONS FOR CONSISTENCY. NO OPUT IF OK * 5 !*********************************************************************** 6 %INTEGER I,J,K 7 %ROUTINESPEC A 8 %ROUTINESPEC B 9 %ROUTINESPEC C 10 K=0 sw zero,264(sp) 11 %CYCLE I=-1,1,1 12 %CYCLE J=0,1,3 13 %IFNOTNOTNOTNOT I=1 %THEN A %ELSE B li s0,1 lw a5,260(sp) beq a5,s0,.L65 .L14: 14 %IFNOT (%NOT I=1) %THEN A %ELSE B li a5,-2 lw a5,260(sp) beq a5,s0,.L13 .LVL7: .L10: add t2,sp,256 call A.6005 .LVL8: lw a5,260(sp) beq a5,s0,.L66 .L16: 15 %IF I=1 %THEN A %ELSE B li s3,-1 li s2,3 j .L10 .L11: .LVL6: .L64: .L12: addw a5,a5,1 sw a5,260(sp) mv a5,s3 j .L38 .L65: j .L15 .L66: add t2,sp,256 call A.6005 .LVL9: lw a5,256(sp) beq a5,s2,.L64 .LVL24: .L38: lw a5,260(sp) beq a5,s0,.L67 .L18: 16 C j .L17 .L67: add t2,sp,256 call A.6005 .LVL10: addw a5,a5,1 sw a5,256(sp) add t2,sp,256 call C.6009 .LVL28: 17 %IFNOT I=1 %THEN A %ELSE B j .L19 .L20: add t2,sp,256 call B.6007 .LVL25: .L15: lw a5,260(sp) beq a5,s0,.L20 18 %UNLESS I=1 %THEN A %ELSE B add t2,sp,256 call B.6007 .LVL26: .L17: add t2,sp,256 call A.6005 .LVL29: .L21: lw a5,260(sp) beq a5,s0,.L22 19 C add t2,sp,256 call B.6007 .LVL27: .L19: add t2,sp,256 call A.6005 .LVL30: .L23: add t2,sp,256 call C.6009 .LVL31: 20 %IF I=1 %AND J#2 %THEN A %ELSE B lw a5,260(sp) bne a5,s0,.L24 21 %IF I=1 %ANDNOT J=2 %THEN A %ELSE B li s1,2 add t2,sp,256 call B.6007 .LVL11: j .L21 .L22: lw a5,256(sp) bne a5,s1,.L68 .L24: lw a5,260(sp) bne a5,s0,.L26 22 C add t2,sp,256 call B.6007 .LVL12: j .L23 .L68: add t2,sp,256 call A.6005 .LVL13: add t2,sp,256 call C.6009 .LVL15: lw a5,256(sp) beq a5,s1,.L26 23 %IF I=1 %OR 1<=J<=2 %THEN A %ELSE B j .L25 .L26: lw a5,260(sp) beq a5,s0,.L28 .LVL16: .LBB17: add t2,sp,256 call A.6005 .LVL33: 24 %IF I=1 %OR (1<=J %AND J<=2) %THEN A %ELSE B lw a5,260(sp) beq a5,s0,.L31 j .L27 .LVL34: .L29: 25 C lw a5,256(sp) addw a5,a5,-1 bgtu a5,s0,.L32 .L31: add t2,sp,256 call C.6009 .LVL20: .LBB18: add t2,sp,256 call B.6007 .LVL32: .L25: 26 %IF I=0=J %THEN A %ELSE B add t2,sp,256 call B.6007 .LVL14: .L27: 27 %IF I=0 %AND J=0 %THEN A %ELSE B lw a5,256(sp) addw a5,a5,-1 bgtu a5,s0,.L29 .LVL17: .L28: .LBE17: lw a5,260(sp) bnez a5,.L36 28 C add t2,sp,256 call A.6005 .LVL19: .L33: lw a5,256(sp) beqz a5,.L63 .L36: add t2,sp,256 call C.6009 .LVL23: .LDL1: 29 %REPEAT lw a5,260(sp) bnez a5,.L34 add t2,sp,256 call A.6005 .LVL40: 30 %REPEAT j .L37 .L13: .LBB19: 31 PRINTSTRING("PART 1 OK ") lw a5,256(sp) beqz a5,.L62 .L34: .LBE18: add t2,sp,256 call B.6007 .LVL37: j .L33 .LVL38: .L62: li a2,256 lui a1,%hi(.LANCHOR0) addi a1,a1,%lo(.LANCHOR0) add a0,sp,1048 call memcpy .LVL41: li a2,256 add a1,sp,1048 add a0,sp,280 call memcpy .LVL42: li a2,256 add a1,sp,280 add a0,sp,792 call memcpy .LVL43: .LBE19: .LBB20: .LBB21: li a2,256 add a1,sp,792 mv a0,sp call memcpy .LVL44: mv a0,sp call _imp_printstring .LVL45: .LBE21: .LBE20: 32 %CYCLE I=-1,1,1 add t2,sp,256 call A.6005 .LVL18: .L30: add t2,sp,256 call B.6007 .LVL22: .L37: 33 %CYCLE J=0,1,3 add t2,sp,256 call A.6005 .LVL39: 34 %IF I=1 %ANDNOT J#1 %THEN A %ELSE B j .L35 .L63: li s0,1 lw a5,260(sp) bne a5,s0,.L43 35 %IF I=1 %ANDNOT (J#1) %THEN A %ELSE B add t2,sp,256 .LVL35: call B.6007 .LVL36: j .L30 .L32: li a5,-2 lw a5,260(sp) beq a5,s0,.L42 .L39: beq a4,s0,.L72 .L43: lw a5,260(sp) bne a5,s0,.L45 36 C add t2,sp,256 call B.6007 .LVL21: .L35: li s3,-1 li s2,3 j .L39 .L40: .L71: .L41: addw a5,a5,1 sw a5,260(sp) mv a5,s3 j .L57 .L72: add t2,sp,256 call A.6005 .LVL46: lw a5,256(sp) beq a5,s2,.L71 .L57: lw a5,256(sp) beq a5,s0,.L73 .L45: add t2,sp,256 call C.6009 .LVL57: 37 %IF I=1 %ORNOT 1<=J<=2 %THEN A %ELSE B j .L44 .L73: add t2,sp,256 call A.6005 .LVL47: addw a5,a5,1 sext.w a4,a5 sw a5,256(sp) lw a5,260(sp) beq a5,s0,.L47 .LVL58: .LBB22: 38 %IF I=1 %ORNOT (1<=J %AND J<=2) %THEN A %ELSE B j .L46 .L47: lw a5,260(sp) beq a5,s0,.L50 39 C lw a5,256(sp) addw a5,a5,-1 bgtu a5,s0,.L50 .L51: add t2,sp,256 call C.6009 .LVL51: add t2,sp,256 call B.6007 .LVL55: .L44: 40 %IF I=1 %AND J=2 %THEN A %ELSE B lw a5,260(sp) bne a5,s0,.L53 add t2,sp,256 call B.6007 .LVL56: .L46: 41 %IFNOT (%NOT (I=1 %AND J=2)) %THEN A %ELSE B li s1,2 lw a5,256(sp) beq a5,s1,.L69 .L53: lw a5,260(sp) bne a5,s0,.L55 lw a5,256(sp) addw a5,a5,-1 bgtu a5,s0,.L47 .L48: .LBE22: 42 C add t2,sp,256 call A.6005 .LVL50: .L52: lw a5,256(sp) beq a5,s1,.L70 .L55: add t2,sp,256 call C.6009 .LVL54: .LDL2: add t2,sp,256 call A.6005 .LVL61: 43 %REPEAT j .L54 .L70: add t2,sp,256 call A.6005 .LVL62: 44 %REPEAT j .L56 .L42: .LBB23: 45 PRINTSTRING("TEST OK") add t2,sp,256 call B.6007 .LVL49: j .L52 .L50: add t2,sp,256 call B.6007 .LVL52: .L54: li a2,256 lui a1,%hi(.LANCHOR0+256) addi a1,a1,%lo(.LANCHOR0+256) add a0,sp,1048 call memcpy .LVL63: li a2,256 add a1,sp,1048 add a0,sp,536 call memcpy .LVL64: li a2,256 add a1,sp,536 add a0,sp,1048 call memcpy .LVL65: .LBE23: .LBB24: .LBB25: li a2,256 add a1,sp,1048 mv a0,sp call memcpy .LVL66: mv a0,sp call _imp_printstring .LVL67: .LBE25: .LBE24: .LBB26: .LBB27: li a0,0 call exit .LVL68: .LBE27: .LBE26: .LFE185: .section .rodata .align 3 .set .LANCHOR0,. + 0 .LC0: .byte 10 .string "PART 1 OK " .zero 244 .LC1: .byte 7 .string "TEST OK" .zero 247 .Letext0: 46 %ROUTINE A; K=K<<8!'A'; %END add t2,sp,256 call A.6005 .LVL48: .L49: add t2,sp,256 call B.6007 .LVL53: .L56: 47 %ROUTINE B; K=K<<8!'B'; %END 48 %ROUTINE C lw a5,8(t2) sllw a5,a5,8 or a5,a5,65 sw a5,8(t2) add sp,sp,-16 sd ra,8(sp) sd s0,0(sp) mv s0,t2 49 %IF K=M'AA' %OR K=M'BB' %OR K=M'AAA' %OR K=M'BBB' %THEN K=0 %ANDRETURN lw a5,8(t2) sllw a5,a5,8 or a5,a5,66 sw a5,8(t2) lw a4,8(t2) li a5,16384 add a5,a5,321 beq a4,a5,.L4 add t2,sp,256 .LVL59: call B.6007 .LVL60: j .L49 .L69: 50 WRITE(I,1); WRITE(J,1); WRITE(K,1) ret .LFE186: .align 1 B.6007: .LFB187: li a5,16384 add a5,a5,578 beq a4,a5,.L4 li a5,4276224 add a5,a5,321 beq a4,a5,.L4 li a1,1 lw a0,4(t2) call _imp_writeint .LVL0: 51 %MONITOR ret .LFE187: .align 1 C.6009: .LFB188: li a1,1 lw a0,0(s0) call _imp_writeint .LVL1: 52 %STOP li a5,4341760 add a5,a5,578 bne a4,a5,.L5 .L4: li a1,1 lw a0,8(s0) call _imp_writeint .LVL2: .LBB15: .LBB16: li a0,0 call exit .LVL3: .LBE16: .LBE15: .LFE188: .align 1 .globl main main: .LFB185: 53 %END 54 %ENDOFPROGRAM sw zero,8(t2) ret .L5: 56 Statements compiled