Edinburgh IMP77 Compiler - Version 8.4 1 %begin .Ltext0: RM.6038: .LFB190: leal 4(%esp), %ecx andl $-16, %esp pushl -4(%ecx) pushl %ebp movl %esp, %ebp pushl %edi pushl %ebx pushl %ecx subl $412, %esp call __x86.get_pc_thunk.bx addl $_GLOBAL_OFFSET_TABLE_, %ebx movl %ecx, %eax movl 4(%eax), %edx movl %edx, -412(%ebp) movl %gs:20, %edi movl %edi, -28(%ebp) xorl %edi, %edi leal 8(%ebp), %edx movl %edx, -368(%ebp) subl $8, %esp pushl -412(%ebp) pushl (%eax) call _imp_initialise@PLT addl $16, %esp 2 3 %integer i 4 %recordformat rf(%record (rf) %name next, %integer i) 5 6 7 8 %record (rf) rec 9 %record (rf) %name recn 10 %record (rf) %array ra(0:10) leal -320(%ebp), %edx movl $0, %eax movl $17, %ecx movl %edx, %edi rep stosl leal -116(%ebp), %eax movl %eax, -320(%ebp) movl $8, -316(%ebp) 11 %record (rf) %name %array rna(0:10) leal -252(%ebp), %edx movl $0, %eax movl $17, %ecx movl %edx, %edi rep stosl leal -364(%ebp), %eax movl %eax, -252(%ebp) movl $4, -248(%ebp) 12 %record (rf) %name %array %name rnan leal -184(%ebp), %edx movl $0, %eax movl $17, %ecx movl %edx, %edi rep stosl 13 %record (rf) %map rm(%integer i); %result == rec; %end pushl %ebp movl %esp, %ebp subl $40, %esp call __x86.get_pc_thunk.ax addl $_GLOBAL_OFFSET_TABLE_, %eax movl %ecx, %eax movl %ecx, -28(%ebp) movl %gs:20, %edx movl %edx, -12(%ebp) xorl %edx, %edx movl -12(%ebp), %edx xorl %gs:20, %edx je .L3 call __stack_chk_fail_local .L3: leave ret .LFE190: .globl main main: .LFB189: ?I unused 14 %integer x 15 x = rec_i movl -372(%ebp), %eax movl %eax, -396(%ebp) 16 x = rec_next_i movl -376(%ebp), %eax movl 4(%eax), %eax movl %eax, -396(%ebp) 17 x = rec_next_next_i movl -376(%ebp), %eax movl (%eax), %eax movl 4(%eax), %eax movl %eax, -396(%ebp) 18 recn == ra(i) leal -116(%ebp), %eax movl -392(%ebp), %edx sall $3, %edx addl %edx, %eax movl %eax, -388(%ebp) 19 recn == ra(i)_next movl -392(%ebp), %eax movl -116(%ebp,%eax,8), %eax movl %eax, -388(%ebp) 20 recn == ra(i)_next_next movl -392(%ebp), %eax movl -116(%ebp,%eax,8), %eax movl (%eax), %eax movl %eax, -388(%ebp) 21 ra(i) = rec movl -392(%ebp), %ecx movl -376(%ebp), %eax movl -372(%ebp), %edx movl %eax, -116(%ebp,%ecx,8) movl %edx, -112(%ebp,%ecx,8) 22 ra(i)_i = i movl -392(%ebp), %eax movl -392(%ebp), %edx movl %edx, -112(%ebp,%eax,8) 23 ra(i)_next = rec movl -392(%ebp), %eax movl -116(%ebp,%eax,8), %ecx movl -376(%ebp), %eax movl -372(%ebp), %edx movl %eax, (%ecx) movl %edx, 4(%ecx) 24 ra(i)_next = recn movl -392(%ebp), %eax movl -116(%ebp,%eax,8), %ecx movl -388(%ebp), %eax movl 4(%eax), %edx movl (%eax), %eax movl %eax, (%ecx) movl %edx, 4(%ecx) 25 ra(i)_next_i = i movl -392(%ebp), %eax movl -116(%ebp,%eax,8), %eax movl -392(%ebp), %edx movl %edx, 4(%eax) 26 ra(i)_next_next = rec movl -392(%ebp), %eax movl -116(%ebp,%eax,8), %eax movl (%eax), %ecx movl -376(%ebp), %eax movl -372(%ebp), %edx movl %eax, (%ecx) movl %edx, 4(%ecx) 27 ra(i)_next_next = recn movl -392(%ebp), %eax movl -116(%ebp,%eax,8), %eax movl (%eax), %ecx movl -388(%ebp), %eax movl 4(%eax), %edx movl (%eax), %eax movl %eax, (%ecx) movl %edx, 4(%ecx) 28 ra(i)_next_next_i = i movl -392(%ebp), %eax movl -116(%ebp,%eax,8), %eax movl (%eax), %eax movl -392(%ebp), %edx movl %edx, 4(%eax) 29 x = ra(i)_i movl -392(%ebp), %eax movl -112(%ebp,%eax,8), %eax movl %eax, -396(%ebp) 30 x = ra(i)_next_i movl -392(%ebp), %eax movl -116(%ebp,%eax,8), %eax movl 4(%eax), %eax movl %eax, -396(%ebp) 31 x = ra(i)_next_next_i movl -392(%ebp), %eax movl -116(%ebp,%eax,8), %eax movl (%eax), %eax movl 4(%eax), %eax movl %eax, -396(%ebp) 32 recn == rec leal -376(%ebp), %eax movl %eax, -388(%ebp) 33 x = recn_i movl -388(%ebp), %eax movl 4(%eax), %eax movl %eax, -396(%ebp) 34 x = recn_next_i movl -388(%ebp), %eax movl (%eax), %eax movl 4(%eax), %eax movl %eax, -396(%ebp) 35 x = recn_next_next_i movl -388(%ebp), %eax movl (%eax), %eax movl (%eax), %eax movl 4(%eax), %eax movl %eax, -396(%ebp) 36 recn = rec movl -388(%ebp), %ecx movl -376(%ebp), %eax movl -372(%ebp), %edx movl %eax, (%ecx) movl %edx, 4(%ecx) 37 recn_i = i movl -388(%ebp), %eax movl -392(%ebp), %edx movl %edx, 4(%eax) 38 recn_next = rec movl -388(%ebp), %eax movl (%eax), %ecx movl -376(%ebp), %eax movl -372(%ebp), %edx movl %eax, (%ecx) movl %edx, 4(%ecx) 39 recn_next_i = i movl -388(%ebp), %eax movl (%eax), %eax movl -392(%ebp), %edx movl %edx, 4(%eax) 40 recn_next_next = rec movl -388(%ebp), %eax movl (%eax), %eax movl (%eax), %ecx movl -376(%ebp), %eax movl -372(%ebp), %edx movl %eax, (%ecx) movl %edx, 4(%ecx) 41 recn_next_next = recn movl -388(%ebp), %eax movl (%eax), %eax movl (%eax), %ecx movl -388(%ebp), %eax movl 4(%eax), %edx movl (%eax), %eax movl %eax, (%ecx) movl %edx, 4(%ecx) 42 recn_next_next_i = i movl -388(%ebp), %eax movl (%eax), %eax movl (%eax), %eax movl -392(%ebp), %edx movl %edx, 4(%eax) 43 recn == rna(i) movl -392(%ebp), %eax movl -364(%ebp,%eax,4), %eax movl %eax, -388(%ebp) 44 recn == rna(i)_next movl -392(%ebp), %eax movl -364(%ebp,%eax,4), %eax movl (%eax), %eax movl %eax, -388(%ebp) 45 recn == rna(i)_next_next movl -392(%ebp), %eax movl -364(%ebp,%eax,4), %eax movl (%eax), %eax movl (%eax), %eax movl %eax, -388(%ebp) 46 rec = rna(i) movl -392(%ebp), %eax movl -364(%ebp,%eax,4), %eax movl 4(%eax), %edx movl (%eax), %eax movl %eax, -376(%ebp) movl %edx, -372(%ebp) 47 rec = rna(i)_next movl -392(%ebp), %eax movl -364(%ebp,%eax,4), %eax movl (%eax), %eax movl 4(%eax), %edx movl (%eax), %eax movl %eax, -376(%ebp) movl %edx, -372(%ebp) 48 rec = rna(i)_next_next movl -392(%ebp), %eax movl -364(%ebp,%eax,4), %eax movl (%eax), %eax movl (%eax), %eax movl 4(%eax), %edx movl (%eax), %eax movl %eax, -376(%ebp) movl %edx, -372(%ebp) 49 x = rna(i)_i movl -392(%ebp), %eax movl -364(%ebp,%eax,4), %eax movl 4(%eax), %eax movl %eax, -396(%ebp) 50 x = rna(i)_next_i movl -392(%ebp), %eax movl -364(%ebp,%eax,4), %eax movl (%eax), %eax movl 4(%eax), %eax movl %eax, -396(%ebp) 51 x = rna(i)_next_next_i movl -392(%ebp), %eax movl -364(%ebp,%eax,4), %eax movl (%eax), %eax movl (%eax), %eax movl 4(%eax), %eax movl %eax, -396(%ebp) 52 rnan == rna leal -364(%ebp), %eax movl %eax, -384(%ebp) 53 recn == rnan(i) movl -392(%ebp), %eax leal 0(,%eax,4), %edx movl -384(%ebp), %eax addl %edx, %eax movl (%eax), %eax movl %eax, -388(%ebp) 54 recn == rnan(i)_next movl -392(%ebp), %eax leal 0(,%eax,4), %edx movl -384(%ebp), %eax addl %edx, %eax movl (%eax), %eax movl (%eax), %eax movl %eax, -388(%ebp) 55 recn == rnan(i)_next movl -392(%ebp), %eax leal 0(,%eax,4), %edx movl -384(%ebp), %eax addl %edx, %eax movl (%eax), %eax movl (%eax), %eax movl %eax, -388(%ebp) 56 rec = rnan(i) movl -392(%ebp), %eax leal 0(,%eax,4), %edx movl -384(%ebp), %eax addl %edx, %eax movl (%eax), %eax movl 4(%eax), %edx movl (%eax), %eax movl %eax, -376(%ebp) movl %edx, -372(%ebp) 57 rec = rnan(i)_next movl -392(%ebp), %eax leal 0(,%eax,4), %edx movl -384(%ebp), %eax addl %edx, %eax movl (%eax), %eax movl (%eax), %eax movl 4(%eax), %edx movl (%eax), %eax movl %eax, -376(%ebp) movl %edx, -372(%ebp) 58 rec = rnan(i)_next movl -392(%ebp), %eax leal 0(,%eax,4), %edx movl -384(%ebp), %eax addl %edx, %eax movl (%eax), %eax movl (%eax), %eax movl 4(%eax), %edx movl (%eax), %eax movl %eax, -376(%ebp) movl %edx, -372(%ebp) 59 x = rnan(i)_i movl -392(%ebp), %eax leal 0(,%eax,4), %edx movl -384(%ebp), %eax addl %edx, %eax movl (%eax), %eax movl 4(%eax), %eax movl %eax, -396(%ebp) 60 x = rnan(i)_next_i movl -392(%ebp), %eax leal 0(,%eax,4), %edx movl -384(%ebp), %eax addl %edx, %eax movl (%eax), %eax movl (%eax), %eax movl 4(%eax), %eax movl %eax, -396(%ebp) 61 x = rnan(i)_next_next_i movl -392(%ebp), %eax leal 0(,%eax,4), %edx movl -384(%ebp), %eax addl %edx, %eax movl (%eax), %eax movl (%eax), %eax movl (%eax), %eax movl 4(%eax), %eax movl %eax, -396(%ebp) 62 rnan(i)_i = x movl -392(%ebp), %eax leal 0(,%eax,4), %edx movl -384(%ebp), %eax addl %edx, %eax movl (%eax), %eax movl -396(%ebp), %edx movl %edx, 4(%eax) 63 rnan(i)_next = rec movl -392(%ebp), %eax leal 0(,%eax,4), %edx movl -384(%ebp), %eax addl %edx, %eax movl (%eax), %eax movl (%eax), %ecx movl -376(%ebp), %eax movl -372(%ebp), %edx movl %eax, (%ecx) movl %edx, 4(%ecx) 64 rnan(i)_next == recn movl -392(%ebp), %eax leal 0(,%eax,4), %edx movl -384(%ebp), %eax addl %edx, %eax movl (%eax), %eax movl -388(%ebp), %edx movl %edx, (%eax) 65 rnan(i)_next_i = x movl -392(%ebp), %eax leal 0(,%eax,4), %edx movl -384(%ebp), %eax addl %edx, %eax movl (%eax), %eax movl (%eax), %eax movl -396(%ebp), %edx movl %edx, 4(%eax) 66 rnan(i)_next_next = rec movl -392(%ebp), %eax leal 0(,%eax,4), %edx movl -384(%ebp), %eax addl %edx, %eax movl (%eax), %eax movl (%eax), %eax movl (%eax), %ecx movl -376(%ebp), %eax movl -372(%ebp), %edx movl %eax, (%ecx) movl %edx, 4(%ecx) 67 rnan(i)_next_next == recn movl -392(%ebp), %eax leal 0(,%eax,4), %edx movl -384(%ebp), %eax addl %edx, %eax movl (%eax), %eax movl (%eax), %eax movl -388(%ebp), %edx movl %edx, (%eax) 68 rnan(i)_next_next_i = x movl -392(%ebp), %eax leal 0(,%eax,4), %edx movl -384(%ebp), %eax addl %edx, %eax movl (%eax), %eax movl (%eax), %eax movl (%eax), %eax movl -396(%ebp), %edx movl %edx, 4(%eax) 69 recn == rm(i) subl $12, %esp leal -376(%ebp), %eax pushl -392(%ebp) movl %eax, %ecx call RM.6038 addl $16, %esp movl %eax, -388(%ebp) 70 recn == rm(i)_next subl $12, %esp leal -376(%ebp), %eax pushl -392(%ebp) movl %eax, %ecx call RM.6038 addl $16, %esp movl (%eax), %eax movl %eax, -388(%ebp) 71 recn == rm(i)_next_next subl $12, %esp leal -376(%ebp), %eax pushl -392(%ebp) movl %eax, %ecx call RM.6038 addl $16, %esp movl (%eax), %eax movl (%eax), %eax movl %eax, -388(%ebp) 72 recn_i = rm(i)_i subl $12, %esp leal -376(%ebp), %eax pushl -392(%ebp) movl %eax, %ecx call RM.6038 addl $16, %esp movl 4(%eax), %edx movl -388(%ebp), %eax movl %edx, 4(%eax) 73 recn_i = rm(i)_next_i subl $12, %esp leal -376(%ebp), %eax pushl -392(%ebp) movl %eax, %ecx call RM.6038 addl $16, %esp movl (%eax), %eax movl 4(%eax), %edx movl -388(%ebp), %eax movl %edx, 4(%eax) 74 recn_i = rm(i)_next_next_i subl $12, %esp leal -376(%ebp), %eax pushl -392(%ebp) movl %eax, %ecx call RM.6038 addl $16, %esp movl (%eax), %eax movl (%eax), %eax movl 4(%eax), %edx movl -388(%ebp), %eax movl %edx, 4(%eax) 75 rm(i) = rec subl $12, %esp leal -376(%ebp), %eax pushl -392(%ebp) movl %eax, %ecx call RM.6038 addl $16, %esp movl %eax, %ecx movl -376(%ebp), %eax movl -372(%ebp), %edx movl %eax, (%ecx) movl %edx, 4(%ecx) 76 rm(i)_next = rec subl $12, %esp leal -376(%ebp), %eax pushl -392(%ebp) movl %eax, %ecx call RM.6038 addl $16, %esp movl (%eax), %ecx movl -376(%ebp), %eax movl -372(%ebp), %edx movl %eax, (%ecx) movl %edx, 4(%ecx) 77 rm(i)_next_i = x subl $12, %esp leal -376(%ebp), %eax pushl -392(%ebp) movl %eax, %ecx call RM.6038 addl $16, %esp movl (%eax), %eax movl -396(%ebp), %edx movl %edx, 4(%eax) 78 rm(i)_next == recn subl $12, %esp leal -376(%ebp), %eax pushl -392(%ebp) movl %eax, %ecx call RM.6038 addl $16, %esp movl %eax, %edx movl -388(%ebp), %eax movl %eax, (%edx) 79 rm(i)_next_next = rec subl $12, %esp leal -376(%ebp), %eax pushl -392(%ebp) movl %eax, %ecx call RM.6038 addl $16, %esp movl (%eax), %eax movl (%eax), %ecx movl -376(%ebp), %eax movl -372(%ebp), %edx movl %eax, (%ecx) movl %edx, 4(%ecx) 80 rm(i)_next_next_i = x subl $12, %esp leal -376(%ebp), %eax pushl -392(%ebp) movl %eax, %ecx call RM.6038 addl $16, %esp movl (%eax), %eax movl (%eax), %eax movl -396(%ebp), %edx movl %edx, 4(%eax) 81 rm(i)_next_next == recn subl $12, %esp leal -376(%ebp), %eax pushl -392(%ebp) movl %eax, %ecx call RM.6038 addl $16, %esp movl (%eax), %eax movl -388(%ebp), %edx movl %edx, (%eax) 82 x = rm(i)_i subl $12, %esp leal -376(%ebp), %eax pushl -392(%ebp) movl %eax, %ecx call RM.6038 addl $16, %esp movl 4(%eax), %eax movl %eax, -396(%ebp) 83 x = rm(i)_next_i subl $12, %esp leal -376(%ebp), %eax pushl -392(%ebp) movl %eax, %ecx call RM.6038 addl $16, %esp movl (%eax), %eax movl 4(%eax), %eax movl %eax, -396(%ebp) 84 x = rm(i)_next_next_i subl $12, %esp leal -376(%ebp), %eax pushl -392(%ebp) movl %eax, %ecx call RM.6038 addl $16, %esp movl (%eax), %eax movl (%eax), %eax movl 4(%eax), %eax movl %eax, -396(%ebp) 85 rm(i)_i = x subl $12, %esp leal -376(%ebp), %eax pushl -392(%ebp) movl %eax, %ecx call RM.6038 addl $16, %esp movl %eax, %edx movl -396(%ebp), %eax movl %eax, 4(%edx) 86 rm(i)_next = rec subl $12, %esp leal -376(%ebp), %eax pushl -392(%ebp) movl %eax, %ecx call RM.6038 addl $16, %esp movl (%eax), %ecx movl -376(%ebp), %eax movl -372(%ebp), %edx movl %eax, (%ecx) movl %edx, 4(%ecx) 87 rm(i)_next = recn subl $12, %esp leal -376(%ebp), %eax pushl -392(%ebp) movl %eax, %ecx call RM.6038 addl $16, %esp movl (%eax), %ecx movl -388(%ebp), %eax movl 4(%eax), %edx movl (%eax), %eax movl %eax, (%ecx) movl %edx, 4(%ecx) 88 rm(i)_next_i = x subl $12, %esp leal -376(%ebp), %eax pushl -392(%ebp) movl %eax, %ecx call RM.6038 addl $16, %esp movl (%eax), %eax movl -396(%ebp), %edx movl %edx, 4(%eax) 89 rm(i)_next_next = rec subl $12, %esp leal -376(%ebp), %eax pushl -392(%ebp) movl %eax, %ecx call RM.6038 addl $16, %esp movl (%eax), %eax movl (%eax), %ecx movl -376(%ebp), %eax movl -372(%ebp), %edx movl %eax, (%ecx) movl %edx, 4(%ecx) 90 rm(i)_next_next = recn subl $12, %esp leal -376(%ebp), %eax pushl -392(%ebp) movl %eax, %ecx call RM.6038 addl $16, %esp movl (%eax), %eax movl (%eax), %ecx movl -388(%ebp), %eax movl 4(%eax), %edx movl (%eax), %eax movl %eax, (%ecx) movl %edx, 4(%ecx) 91 rm(i)_next_next_i = x subl $12, %esp leal -376(%ebp), %eax pushl -392(%ebp) movl %eax, %ecx call RM.6038 addl $16, %esp movl (%eax), %eax movl (%eax), %eax movl -396(%ebp), %edx movl %edx, 4(%eax) movl $0, -380(%ebp) .LBB4: .LBB5: subl $12, %esp pushl -380(%ebp) call exit@PLT .LBE5: .LBE4: .LFE189: .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: 92 %endofprogram 90 Statements compiled