Edinburgh IMP77 Compiler - Version 8.4 1 ! check that sizeof/typeof was giving the expected value .Ltext0: TEST.6022: .LFB190: 2 %begin leal 4(%esp), %ecx andl $-16, %esp pushl -4(%ecx) pushl %ebp movl %esp, %ebp pushl %edi pushl %esi pushl %ebx pushl %ecx subl $1320, %esp call __x86.get_pc_thunk.bx addl $_GLOBAL_OFFSET_TABLE_, %ebx movl %ecx, %eax movl 4(%eax), %edx movl %edx, -1324(%ebp) movl %gs:20, %edi movl %edi, -28(%ebp) xorl %edi, %edi leal 8(%ebp), %edx movl %edx, -1312(%ebp) subl $8, %esp pushl -1324(%ebp) pushl (%eax) call _imp_initialise@PLT addl $16, %esp 3 %routine test(%name param) ;! ia1 ia2 pushl %ebp movl %esp, %ebp pushl %ebx subl $36, %esp call __x86.get_pc_thunk.bx addl $_GLOBAL_OFFSET_TABLE_, %ebx movl %ecx, -28(%ebp) movl 8(%ebp), %eax movl %eax, -12(%ebp) .LBB46: .LBB47: movl -12(%ebp), %eax .LBE47: .LBE46: 4 write(addr(param),0) ; newline ;! 2145833816 2145833816 subl $8, %esp pushl $0 pushl %eax call _imp_writeint@PLT addl $16, %esp .LBB48: .LBB49: call _imp_newline@PLT .LBE49: .LBE48: 5 write(sizeof(param),0); newline ;! 1 8 1 is sizeof %byte, 8 is sizeof %longreal subl $8, %esp pushl $0 pushl $12 call _imp_writeint@PLT addl $16, %esp .LBB50: .LBB51: call _imp_newline@PLT .LBE51: .LBE50: 6 write(typeof(param),0); newline ;! 5 8 5 is typeof %byte, 8 is typeof %longreal subl $8, %esp pushl $0 pushl $4 call _imp_writeint@PLT addl $16, %esp .LBB52: .LBB53: call _imp_newline@PLT .LBE53: .LBE52: 7 %end nop movl -4(%ebp), %ebx leave ret .LFE190: .section .rodata .align 32 .LC0: .byte 11 .string "Testing ia1" .zero 243 .align 32 .LC1: .byte 11 .string "Testing ia2" .zero 243 .globl main main: .LFB189: 8 9 %bytearray ia1(3:5) leal -1288(%ebp), %edx movl $0, %eax movl $17, %ecx movl %edx, %edi rep stosl leal -31(%ebp), %eax movl %eax, -1288(%ebp) movl $1, -1284(%ebp) 10 %longrealarray ia2(2:4,3:6) leal -1220(%ebp), %edx movl $0, %eax movl $17, %ecx movl %edx, %edi rep stosl leal -1152(%ebp), %eax movl %eax, -1220(%ebp) movl $8, -1216(%ebp) .LBB54: 11 12 printstring( "Testing ia1"); newline leal -287(%ebp), %eax leal .LC0@GOTOFF(%ebx), %edx movl $256, %ecx movl (%edx), %esi movl %esi, (%eax) movl -4(%edx,%ecx), %esi movl %esi, -4(%eax,%ecx) leal 4(%eax), %edi andl $-4, %edi subl %edi, %eax subl %eax, %edx addl %eax, %ecx andl $-4, %ecx movl %ecx, %eax shrl $2, %eax movl %edx, %esi movl %eax, %ecx rep movsl leal -1055(%ebp), %eax leal -287(%ebp), %edx movl $256, %ecx movl (%edx), %esi movl %esi, (%eax) movl -4(%edx,%ecx), %esi movl %esi, -4(%eax,%ecx) leal 4(%eax), %edi andl $-4, %edi subl %edi, %eax subl %eax, %edx addl %eax, %ecx andl $-4, %ecx movl %ecx, %eax shrl $2, %eax movl %edx, %esi movl %eax, %ecx rep movsl leal -543(%ebp), %eax leal -1055(%ebp), %edx movl $256, %ecx movl (%edx), %esi movl %esi, (%eax) movl -4(%edx,%ecx), %esi movl %esi, -4(%eax,%ecx) leal 4(%eax), %edi andl $-4, %edi subl %edi, %eax subl %eax, %edx addl %eax, %ecx andl $-4, %ecx movl %ecx, %eax shrl $2, %eax movl %edx, %esi movl %eax, %ecx rep movsl .LBE54: .LBB55: .LBB56: subl $256, %esp movl %esp, %eax movl %eax, %edi leal -543(%ebp), %eax movl $64, %edx movl %eax, %esi movl %edx, %ecx rep movsl call _imp_printstring@PLT addl $256, %esp .LBE56: .LBE55: .LBB57: .LBB58: call _imp_newline@PLT leal -31(%ebp), %eax movl %eax, -1308(%ebp) .LBE58: .LBE57: .LBB59: .LBB60: movl -1308(%ebp), %eax .LBE60: .LBE59: 13 write(addr(ia1),0); newline ;! 2145833816 subl $8, %esp pushl $0 pushl %eax call _imp_writeint@PLT addl $16, %esp .LBB61: .LBB62: call _imp_newline@PLT leal -31(%ebp), %eax movl %eax, -1304(%ebp) .LBE62: .LBE61: .LBB63: .LBB64: movl -1304(%ebp), %eax .LBE64: .LBE63: 14 write(addr(ia1(3)),0); newline ;! 2145833704 subl $8, %esp pushl $0 pushl %eax call _imp_writeint@PLT addl $16, %esp .LBB65: .LBB66: call _imp_newline@PLT .LBE66: .LBE65: 15 write(sizeof(ia1),0); newline ;! 1 sizeof %btre subl $8, %esp pushl $0 pushl $1 call _imp_writeint@PLT addl $16, %esp .LBB67: .LBB68: call _imp_newline@PLT .LBE68: .LBE67: 16 write(typeof(ia1),0); newline ;! 5 typeof %byte subl $8, %esp pushl $0 pushl $5 call _imp_writeint@PLT addl $16, %esp .LBB69: .LBB70: call _imp_newline@PLT .LBE70: .LBE69: 17 test(ia1) subl $12, %esp leal -1312(%ebp), %eax leal -31(%ebp), %edx pushl %edx movl %eax, %ecx call TEST.6022 addl $16, %esp .LBB71: 18 19 printstring( "Testing ia2"); newline leal -287(%ebp), %eax leal .LC1@GOTOFF(%ebx), %edx movl $256, %ecx movl (%edx), %esi movl %esi, (%eax) movl -4(%edx,%ecx), %esi movl %esi, -4(%eax,%ecx) leal 4(%eax), %edi andl $-4, %edi subl %edi, %eax subl %eax, %edx addl %eax, %ecx andl $-4, %ecx movl %ecx, %eax shrl $2, %eax movl %edx, %esi movl %eax, %ecx rep movsl leal -799(%ebp), %eax leal -287(%ebp), %edx movl $256, %ecx movl (%edx), %esi movl %esi, (%eax) movl -4(%edx,%ecx), %esi movl %esi, -4(%eax,%ecx) leal 4(%eax), %edi andl $-4, %edi subl %edi, %eax subl %eax, %edx addl %eax, %ecx andl $-4, %ecx movl %ecx, %eax shrl $2, %eax movl %edx, %esi movl %eax, %ecx rep movsl leal -287(%ebp), %eax leal -799(%ebp), %edx movl $256, %ecx movl (%edx), %esi movl %esi, (%eax) movl -4(%edx,%ecx), %esi movl %esi, -4(%eax,%ecx) leal 4(%eax), %edi andl $-4, %edi subl %edi, %eax subl %eax, %edx addl %eax, %ecx andl $-4, %ecx movl %ecx, %eax shrl $2, %eax movl %edx, %esi movl %eax, %ecx rep movsl .LBE71: .LBB72: .LBB73: subl $256, %esp movl %esp, %eax movl %eax, %edi leal -287(%ebp), %eax movl $64, %edx movl %eax, %esi movl %edx, %ecx rep movsl call _imp_printstring@PLT addl $256, %esp .LBE73: .LBE72: .LBB74: .LBB75: call _imp_newline@PLT leal -1152(%ebp), %eax movl %eax, -1300(%ebp) .LBE75: .LBE74: .LBB76: .LBB77: movl -1300(%ebp), %eax .LBE77: .LBE76: 20 write(addr(ia2),0); newline ;! 2145833816 subl $8, %esp pushl $0 pushl %eax call _imp_writeint@PLT addl $16, %esp .LBB78: .LBB79: call _imp_newline@PLT leal -1152(%ebp), %eax movl %eax, -1296(%ebp) .LBE79: .LBE78: .LBB80: .LBB81: movl -1296(%ebp), %eax .LBE81: .LBE80: 21 write(addr(ia2(2,3)),0); newline ;! 2145833708 4 bytes after address of first element of ia1, i.e. ia1(3) subl $8, %esp pushl $0 pushl %eax call _imp_writeint@PLT addl $16, %esp .LBB82: .LBB83: call _imp_newline@PLT .LBE83: .LBE82: 22 ! which is 3 %byteinteger elements of 1 byte each, aligned to next 4 bytes. 23 write(sizeof(ia2),0); newline ;! 8 sizeof %longreal subl $8, %esp pushl $0 pushl $32 call _imp_writeint@PLT addl $16, %esp .LBB84: .LBB85: call _imp_newline@PLT .LBE85: .LBE84: 24 write(typeof(ia2),0); newline ;! 8 typeof %longreal subl $8, %esp pushl $0 pushl $4 call _imp_writeint@PLT addl $16, %esp .LBB86: .LBB87: call _imp_newline@PLT .LBE87: .LBE86: 25 test(ia2) subl $12, %esp leal -1312(%ebp), %eax leal -1152(%ebp), %edx pushl %edx movl %eax, %ecx call TEST.6022 addl $16, %esp movl $0, -1292(%ebp) .LBB88: .LBB89: subl $12, %esp pushl -1292(%ebp) call exit@PLT .LBE89: .LBE88: .LFE189: .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: .LFB191: movl (%esp), %ebx ret .LFE191: .Letext0: 26 27 %endofprogram 34 Statements compiled