Edinburgh IMP77 Compiler - Version 8.4 1 ! Code to test %string .Ltext0: TEST.6022: .LFB190: 2 ! Would be interesting to try %string(30) to test alignment 3 ! Also similar test for %record (say 21 bytes per record?) 4 %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 $5064, %esp call __x86.get_pc_thunk.bx addl $_GLOBAL_OFFSET_TABLE_, %ebx movl %ecx, %eax movl 4(%eax), %edx movl %edx, -5068(%ebp) movl %gs:20, %esi movl %esi, -28(%ebp) xorl %esi, %esi leal 8(%ebp), %edx movl %edx, -5052(%ebp) subl $8, %esp pushl -5068(%ebp) pushl (%eax) call _imp_initialise@PLT addl $16, %esp 5 6 %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: 7 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: 8 write(sizeof(param),0); newline ;! 32 8 subl $8, %esp pushl $0 pushl $12 call _imp_writeint@PLT addl $16, %esp .LBB50: .LBB51: call _imp_newline@PLT .LBE51: .LBE50: 9 write(typeof(param),0); newline ;! 3 3 subl $8, %esp pushl $0 pushl $4 call _imp_writeint@PLT addl $16, %esp .LBB52: .LBB53: call _imp_newline@PLT .LBE53: .LBE52: 10 %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: 11 12 %string(31)%array ia1(3:5) leal -5028(%ebp), %edx movl $0, %eax movl $17, %ecx movl %edx, %edi rep stosl leal -3868(%ebp), %eax movl %eax, -5028(%ebp) movl $256, -5024(%ebp) 13 %string(7)%array ia2(2:4,3:6) leal -4960(%ebp), %edx movl $0, %eax movl $17, %ecx movl %edx, %edi rep stosl leal -3100(%ebp), %eax movl %eax, -4960(%ebp) movl $256, -4956(%ebp) .LBB54: 14 15 printstring( "Testing ia1"); newline leal -4124(%ebp), %eax leal .LC0@GOTOFF(%ebx), %edx movl $64, %ecx movl %eax, %edi movl %edx, %esi rep movsl leal -4892(%ebp), %eax leal -4124(%ebp), %edx movl $64, %ecx movl %eax, %edi movl %edx, %esi rep movsl leal -4380(%ebp), %eax leal -4892(%ebp), %edx movl $64, %ecx movl %eax, %edi movl %edx, %esi rep movsl .LBE54: .LBB55: .LBB56: subl $256, %esp movl %esp, %eax movl %eax, %edi leal -4380(%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 -3868(%ebp), %eax movl %eax, -5048(%ebp) .LBE58: .LBE57: .LBB59: .LBB60: movl -5048(%ebp), %eax .LBE60: .LBE59: 16 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 -3868(%ebp), %eax movl %eax, -5044(%ebp) .LBE62: .LBE61: .LBB63: .LBB64: movl -5044(%ebp), %eax .LBE64: .LBE63: 17 write(addr(ia1(3)),0); newline ;! 2145833612 subl $8, %esp pushl $0 pushl %eax call _imp_writeint@PLT addl $16, %esp .LBB65: .LBB66: call _imp_newline@PLT .LBE66: .LBE65: 18 write(sizeof(ia1),0); newline ;! 32 subl $8, %esp pushl $0 pushl $256 call _imp_writeint@PLT addl $16, %esp .LBB67: .LBB68: call _imp_newline@PLT .LBE68: .LBE67: 19 write(typeof(ia1),0); newline ;! 3 subl $8, %esp pushl $0 pushl $4 call _imp_writeint@PLT addl $16, %esp .LBB69: .LBB70: call _imp_newline@PLT .LBE70: .LBE69: 20 test(ia1) subl $12, %esp leal -5052(%ebp), %eax leal -3868(%ebp), %edx pushl %edx movl %eax, %ecx call TEST.6022 addl $16, %esp .LBB71: 21 22 printstring( "Testing ia2"); newline leal -4124(%ebp), %eax leal .LC1@GOTOFF(%ebx), %edx movl $64, %ecx movl %eax, %edi movl %edx, %esi rep movsl leal -4636(%ebp), %eax leal -4124(%ebp), %edx movl $64, %ecx movl %eax, %edi movl %edx, %esi rep movsl leal -4124(%ebp), %eax leal -4636(%ebp), %edx movl $64, %ecx movl %eax, %edi movl %edx, %esi rep movsl .LBE71: .LBB72: .LBB73: subl $256, %esp movl %esp, %eax movl %eax, %edi leal -4124(%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 -3100(%ebp), %eax movl %eax, -5040(%ebp) .LBE75: .LBE74: .LBB76: .LBB77: movl -5040(%ebp), %eax .LBE77: .LBE76: 23 write(addr(ia2),0); newline ;! 2145833816 again same as ia1 subl $8, %esp pushl $0 pushl %eax call _imp_writeint@PLT addl $16, %esp .LBB78: .LBB79: call _imp_newline@PLT leal -3100(%ebp), %eax movl %eax, -5036(%ebp) .LBE79: .LBE78: .LBB80: .LBB81: movl -5036(%ebp), %eax .LBE81: .LBE80: 24 write(addr(ia2(2,3)),0); newline ;! 2145833708 96 bytes past 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: 25 ! i.e. 3 elements of 32 bytes (%string(31)), ie complete contents of array ia1 26 write(sizeof(ia2),0); newline ;! 8 subl $8, %esp pushl $0 pushl $1024 call _imp_writeint@PLT addl $16, %esp .LBB84: .LBB85: call _imp_newline@PLT .LBE85: .LBE84: 27 write(typeof(ia2),0); newline ;! 3 subl $8, %esp pushl $0 pushl $4 call _imp_writeint@PLT addl $16, %esp .LBB86: .LBB87: call _imp_newline@PLT .LBE87: .LBE86: 28 test(ia2) subl $12, %esp leal -5052(%ebp), %eax leal -3100(%ebp), %edx pushl %edx movl %eax, %ecx call TEST.6022 addl $16, %esp movl $0, -5032(%ebp) .LBB88: .LBB89: subl $12, %esp pushl -5032(%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: 29 30 %endofprogram 34 Statements compiled