Edinburgh IMP77 Compiler - Version 8.4 1 %begin .Ltext0: .globl next_free_bound_index .bss .align 4 next_free_bound_index: .zero 4 .comm _lb,384,32 .comm _ub,384,32 ACKERMANN.6026: .LFB190: leal 4(%esp), %ecx andl $-16, %esp pushl -4(%ecx) pushl %ebp movl %esp, %ebp pushl %edi pushl %esi pushl %ebx pushl %ecx subl $1096, %esp call __x86.get_pc_thunk.bx addl $_GLOBAL_OFFSET_TABLE_, %ebx movl %ecx, %eax movl 4(%eax), %edx movl %edx, -1100(%ebp) movl %gs:20, %edi movl %edi, -28(%ebp) xorl %edi, %edi leal 8(%ebp), %edx movl %edx, -1096(%ebp) subl $8, %esp pushl -1100(%ebp) pushl (%eax) call _imp_initialise@PLT addl $16, %esp 2 %integer %function ackermann(%integer m,n) pushl %ebp movl %esp, %ebp pushl %ebx subl $20, %esp call __x86.get_pc_thunk.ax addl $_GLOBAL_OFFSET_TABLE_, %eax movl %ecx, %ebx movl %ecx, -12(%ebp) 3 %result = n+1 %if m = 0 cmpl $0, 8(%ebp) jne .L9 movl 12(%ebp), %eax addl $1, %eax jmp .L4 .L9: nop .L3: 4 %result = ackermann(m-1,1) %if n = 0 cmpl $0, 12(%ebp) jne .L10 movl 8(%ebp), %eax subl $1, %eax subl $8, %esp pushl $1 pushl %eax movl %ebx, %ecx call ACKERMANN.6026 addl $16, %esp jmp .L4 .L10: nop .L6: 5 %result = ackermann(m-1,ackermann(m,n-1)) movl 12(%ebp), %eax subl $1, %eax subl $8, %esp pushl %eax pushl 8(%ebp) movl %ebx, %ecx call ACKERMANN.6026 addl $16, %esp movl %eax, %edx movl 8(%ebp), %eax subl $1, %eax subl $8, %esp pushl %edx pushl %eax movl %ebx, %ecx call ACKERMANN.6026 addl $16, %esp .L4: 6 %end movl -4(%ebp), %ebx leave ret .LFE190: .section .rodata .align 32 .LC0: .byte 15 .string "Wrong result! " .zero 239 .align 32 .LC1: .byte 5 .string "Done." .zero 249 .globl main main: .LFB189: 7 8 %owninteger i,j,k,k1,t1,t2 9 10 k = 16; k1 = 1 movl $16, K.6032@GOTOFF(%ebx) movl $1, K1.6033@GOTOFF(%ebx) 11 %for i = 1,1,6 %cycle movl $0, I.6030@GOTOFF(%ebx) .L12: movl I.6030@GOTOFF(%ebx), %eax cmpl $6, %eax je .L21 movl I.6030@GOTOFF(%ebx), %eax addl $1, %eax movl %eax, I.6030@GOTOFF(%ebx) .LBB24: .LBB25: call _imp_cputime@PLT .LBE25: .LBE24: nop .L14: .LBB39: 12 t1 = cputime ;! cputime is in clocks_per_tick which is 1000000 movl %eax, T1.6034@GOTOFF(%ebx) 13 j = ackermann(3,i) movl I.6030@GOTOFF(%ebx), %edx subl $8, %esp leal -1096(%ebp), %eax pushl %edx pushl $3 movl %eax, %ecx call ACKERMANN.6026 addl $16, %esp movl %eax, J.6031@GOTOFF(%ebx) .LBB26: .LBB27: call _imp_cputime@PLT .LBE27: .LBE26: 14 t2 = cputime movl %eax, T2.6035@GOTOFF(%ebx) 15 %if j # k-3 %then printstring("Wrong result! ") %and newline movl K.6032@GOTOFF(%ebx), %eax leal -3(%eax), %edx movl J.6031@GOTOFF(%ebx), %eax cmpl %eax, %edx je .L22 .LBB28: leal -284(%ebp), %eax leal .LC0@GOTOFF(%ebx), %edx movl $64, %ecx movl %eax, %edi movl %edx, %esi rep movsl leal -1052(%ebp), %eax leal -284(%ebp), %edx movl $64, %ecx movl %eax, %edi movl %edx, %esi rep movsl leal -540(%ebp), %eax leal -1052(%ebp), %edx movl $64, %ecx movl %eax, %edi movl %edx, %esi rep movsl .LBE28: .LBB29: .LBB30: subl $256, %esp movl %esp, %eax movl %eax, %edi leal -540(%ebp), %eax movl $64, %edx movl %eax, %esi movl %edx, %ecx rep movsl call _imp_printstring@PLT addl $256, %esp .LBE30: .LBE29: .LBB31: .LBB32: call _imp_newline@PLT jmp .L18 .L22: .LBE32: .LBE31: nop .L18: 16 print((t2-t1){/1000},7,3) movl T2.6035@GOTOFF(%ebx), %edx movl T1.6034@GOTOFF(%ebx), %eax subl %eax, %edx movl %edx, %eax movl %eax, -1104(%ebp) fildl -1104(%ebp) fstpl -1064(%ebp) movl $7, -1084(%ebp) movl $3, -1080(%ebp) .LBB33: .LBB34: pushl -1080(%ebp) pushl -1084(%ebp) pushl -1060(%ebp) pushl -1064(%ebp) call _imp_print@PLT addl $16, %esp .LBE34: .LBE33: 17 print(3000*(t2-t1)/(512*k1-15*k+9*i+37),7,3) movl T2.6035@GOTOFF(%ebx), %edx movl T1.6034@GOTOFF(%ebx), %eax subl %eax, %edx movl %edx, %eax imull $3000, %eax, %ecx movl K1.6033@GOTOFF(%ebx), %eax sall $9, %eax movl %eax, %edx movl K.6032@GOTOFF(%ebx), %eax movl %eax, %esi sall $4, %eax subl %eax, %esi movl %esi, %eax leal (%edx,%eax), %esi movl I.6030@GOTOFF(%ebx), %edx movl %edx, %eax sall $3, %eax addl %edx, %eax addl %esi, %eax leal 37(%eax), %edi movl %ecx, %eax cltd idivl %edi movl %eax, -1104(%ebp) fildl -1104(%ebp) fstpl -1072(%ebp) movl $7, -1092(%ebp) movl $3, -1088(%ebp) .LBB35: .LBB36: pushl -1088(%ebp) pushl -1092(%ebp) pushl -1068(%ebp) pushl -1072(%ebp) call _imp_print@PLT addl $16, %esp .LBE36: .LBE35: .LBB37: .LBB38: call _imp_newline@PLT .LBE38: .LBE37: 18 newline 19 k1 = 4*k1; k = 2*k movl K1.6033@GOTOFF(%ebx), %eax sall $2, %eax movl %eax, K1.6033@GOTOFF(%ebx) movl K.6032@GOTOFF(%ebx), %eax addl %eax, %eax movl %eax, K.6032@GOTOFF(%ebx) 20 %repeat jmp .L12 .L21: 21 printstring("Done."); newline leal -284(%ebp), %eax leal .LC1@GOTOFF(%ebx), %edx movl $64, %ecx movl %eax, %edi movl %edx, %esi rep movsl leal -796(%ebp), %eax leal -284(%ebp), %edx movl $64, %ecx movl %eax, %edi movl %edx, %esi rep movsl leal -284(%ebp), %eax leal -796(%ebp), %edx movl $64, %ecx movl %eax, %edi movl %edx, %esi rep movsl .LBE39: .LBB40: .LBB41: subl $256, %esp movl %esp, %eax movl %eax, %edi leal -284(%ebp), %eax movl $64, %edx movl %eax, %esi movl %edx, %ecx rep movsl call _imp_printstring@PLT addl $256, %esp .LBE41: .LBE40: .LBB42: .LBB43: call _imp_newline@PLT movl $0, -1076(%ebp) .LBE43: .LBE42: .LBB44: .LBB45: subl $12, %esp pushl -1076(%ebp) call exit@PLT .LBE45: .LBE44: .LFE189: .comm K.6032,4,4 .comm K1.6033,4,4 .comm I.6030,4,4 .comm T1.6034,4,4 .comm J.6031,4,4 .comm T2.6035,4,4 .section .text.__x86.get_pc_thunk.ax,"axG",@progbits,__x86.get_pc_thunk.ax,comdat .globl __x86.get_pc_thunk.ax .hidden __x86.get_pc_thunk.ax __x86.get_pc_thunk.ax: .LFB191: movl (%esp), %eax ret .LFE191: .section .text.__x86.get_pc_thunk.bx,"axG",@progbits,__x86.get_pc_thunk.bx,comdat .globl __x86.get_pc_thunk.bx .hidden __x86.get_pc_thunk.bx __x86.get_pc_thunk.bx: .LFB192: movl (%esp), %ebx ret .LFE192: .Letext0: 22 %endofprogram 23 Statements compiled