Edinburgh IMP77 Compiler - Version 8.4
    1 %BEGIN
		.Ltext0:
				.section	.rodata
				.align 32
		.LC0:
				.byte	19
				.string	"TEST OK (Unswopped)"
				.zero	235
				.align 32
		.LC1:
				.byte	17
				.string	"TEST OK (Swopped)"
				.zero	237
				.globl	main
		main:
		.LFB189:
				leal	4(%esp), %ecx
				andl	$-16, %esp
				pushl	-4(%ecx)
				pushl	%ebp
				movl	%esp, %ebp
				pushl	%edi
				pushl	%esi
				pushl	%ebx
				pushl	%ecx
				subl	$616, %esp
				call	__x86.get_pc_thunk.bx
				addl	$_GLOBAL_OFFSET_TABLE_, %ebx
				movl	%ecx, %eax
				movl	4(%eax), %edx
				movl	%edx, -620(%ebp)
				movl	%gs:20, %edi
				movl	%edi, -28(%ebp)
				xorl	%edi, %edi
				subl	$8, %esp
				pushl	-620(%ebp)
				pushl	(%eax)
				call	_imp_initialise@PLT
				addl	$16, %esp
    2
    3 !
    4 ! TEST A MAP USE THAT IS DIFFICULT TO OPTIMISE
    5 !
    6 %RECORDFORMAT F(%INTEGER I,J,K,%BYTEARRAY VOL(1:5),
    7       %BYTE B,%BYTEARRAY LAB(1:3))
    8 %INTEGER I,J
    9 %RECORD(F) SP
   10 %RECORD(F)%NAME R
   11       R==SP
				leal	-564(%ebp), %eax
				movl	%eax, -600(%ebp)
   12       R=0
				movl	-600(%ebp), %edx
				movl	$0, %esi
				movl	$24, %eax
				andl	$-4, %eax
				movl	%eax, %ecx
				movl	$0, %eax
		.L2:
				movl	%esi, (%edx,%eax)
				addl	$4, %eax
				cmpl	%ecx, %eax
				jb	.L2
   13       R_VOL(1)='A'
				movl	-600(%ebp), %eax
				movb	$65, 12(%eax)
   14       R_VOL(2)='B'
				movl	-600(%ebp), %eax
				movb	$66, 13(%eax)
   15       R_VOL(3)='C'
				movl	-600(%ebp), %eax
				movb	$67, 14(%eax)
   16       R_VOL(4)='D'
				movl	-600(%ebp), %eax
				movb	$68, 15(%eax)
   17       R_VOL(5)='E'
				movl	-600(%ebp), %eax
				movb	$69, 16(%eax)
   18       %FOR I=1,1,5 %CYCLE
				movl	$0, -604(%ebp)
		.L4:
				cmpl	$5, -604(%ebp)
				je	.L22
				addl	$1, -604(%ebp)
				nop
		.L6:
   19          BYTEINTEGER(ADDR(R_I)+1+I)=R_VOL(I)
				movl	-604(%ebp), %eax
				leal	-1(%eax), %ecx
				movl	-600(%ebp), %eax
				movl	%eax, -588(%ebp)
		.LBB22:
		.LBB23:
				movl	-588(%ebp), %edx
		.LBE23:
		.LBE22:
				movl	-604(%ebp), %eax
				addl	%edx, %eax
				addl	$1, %eax
				movl	%eax, -592(%ebp)
		.LBB24:
		.LBB25:
				movl	-592(%ebp), %eax
		.LBE25:
		.LBE24:
				movl	-600(%ebp), %edx
				movzbl	12(%edx,%ecx), %edx
				movb	%dl, (%eax)
   20       %REPEAT
				jmp	.L4
		.L22:
   21       I=ADDR(R_VOL(5))
				movl	-600(%ebp), %eax
				addl	$16, %eax
				movl	%eax, -580(%ebp)
		.LBB26:
		.LBB27:
				movl	-580(%ebp), %eax
		.LBE27:
		.LBE26:
				movl	%eax, -604(%ebp)
   22       J=ADDR(R_LAB(1))
				movl	-600(%ebp), %eax
				addl	$18, %eax
				movl	%eax, -584(%ebp)
		.LBB28:
		.LBB29:
				movl	-584(%ebp), %eax
		.LBE29:
		.LBE28:
				movl	%eax, -596(%ebp)
   23       %IF R_I=M'AB' %AND R_J=M'CDE'<<8 %AND J-I=2 %THEN %c
				movl	-600(%ebp), %eax
				movl	(%eax), %eax
				cmpl	$16706, %eax
				jne	.L23
				movl	-600(%ebp), %eax
				movl	4(%eax), %eax
				cmpl	$1128547584, %eax
				jne	.L24
				movl	-596(%ebp), %eax
				subl	-604(%ebp), %eax
				cmpl	$2, %eax
				jne	.L25
		.LBB30:
				leal	-284(%ebp), %eax
				leal	.LC0@GOTOFF(%ebx), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-540(%ebp), %eax
				leal	-284(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-284(%ebp), %eax
				leal	-540(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
		.LBE30:
		.LBB31:
		.LBB32:
				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
				movl	$0, -576(%ebp)
		.LBE32:
		.LBE31:
		.LBB33:
		.LBB34:
				subl	$12, %esp
				pushl	-576(%ebp)
				call	exit@PLT
		.L23:
		.LBE34:
		.LBE33:
				nop
				jmp	.L12
		.L24:
				nop
				jmp	.L12
		.L25:
				nop
		.L12:
   24          PRINTSTRING("TEST OK (Unswopped)") %AND %STOP
   25       %if R_I=M'BA'<<16 %and R_j=M'EDC' %and J-I=2 %then %C
				movl	-600(%ebp), %eax
				movl	(%eax), %eax
				cmpl	$1111556096, %eax
				jne	.L26
				movl	-600(%ebp), %eax
				movl	4(%eax), %eax
				cmpl	$4539459, %eax
				jne	.L27
				movl	-596(%ebp), %eax
				subl	-604(%ebp), %eax
				cmpl	$2, %eax
				jne	.L28
		.LBB35:
				leal	-284(%ebp), %eax
				leal	.LC1@GOTOFF(%ebx), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-540(%ebp), %eax
				leal	-284(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-284(%ebp), %eax
				leal	-540(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
		.LBE35:
		.LBB36:
		.LBB37:
				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
				movl	$0, -572(%ebp)
		.LBE37:
		.LBE36:
		.LBB38:
		.LBB39:
				subl	$12, %esp
				pushl	-572(%ebp)
				call	exit@PLT
		.L16:
		.L26:
		.LBE39:
		.LBE38:
				nop
				jmp	.L20
		.L27:
				nop
				jmp	.L20
		.L28:
				nop
		.L20:
   26          PRINTSTRING("TEST OK (Swopped)") %and %stop
   27       WRITE(R_I,5)
				movl	-600(%ebp), %eax
				movl	(%eax), %eax
				subl	$8, %esp
				pushl	$5
				pushl	%eax
				call	_imp_writeint@PLT
				addl	$16, %esp
   28       WRITE(R_J,5)
				movl	-600(%ebp), %eax
				movl	4(%eax), %eax
				subl	$8, %esp
				pushl	$5
				pushl	%eax
				call	_imp_writeint@PLT
				addl	$16, %esp
				movl	$0, -568(%ebp)
		.LBB40:
		.LBB41:
				subl	$12, %esp
				pushl	-568(%ebp)
				call	exit@PLT
		.LBE41:
		.LBE40:
		.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:
		.LFB190:
				movl	(%esp), %ebx
				ret
		.LFE190:
		.Letext0:
   29 %ENDOFPROGRAM
   22 Statements compiled