Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
		.Ltext0:
				.section	.rodata
				.align 32
		.LC1:
				.byte	9
				.string	"expected="
				.zero	245
				.align 32
		.LC2:
				.byte	8
				.string	" actual="
				.zero	246
		TEST.6058:
		.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	$1928, %esp
				call	__x86.get_pc_thunk.bx
				addl	$_GLOBAL_OFFSET_TABLE_, %ebx
				movl	%ecx, %eax
				movl	4(%eax), %edx
				movl	%edx, -1932(%ebp)
				movl	%gs:20, %esi
				movl	%esi, -28(%ebp)
				xorl	%esi, %esi
				leal	8(%ebp), %edx
				movl	%edx, -1904(%ebp)
				subl	$8, %esp
				pushl	-1932(%ebp)
				pushl	(%eax)
				call	_imp_initialise@PLT
				addl	$16, %esp
    2 %owninteger swopped =0
    3 %recordformat f1(%integer i %or %byte b0,b1,b2,b3 %or %string(3)s)
    4 %recordformat f2(%integer i,%record(f1)f)
    5 %recordformat f3(%integer k,%record(f2)f)
    6 %integer i,fail,j,k
    7 %routine test(%integer exp,swexp,act)
				pushl	%ebp
				movl	%esp, %ebp
				pushl	%edi
				pushl	%esi
				pushl	%ebx
				subl	$1068, %esp
				call	__x86.get_pc_thunk.bx
				addl	$_GLOBAL_OFFSET_TABLE_, %ebx
				movl	%ecx, -1072(%ebp)
				movl	%ecx, -1068(%ebp)
				movl	%gs:20, %eax
				movl	%eax, -28(%ebp)
				xorl	%eax, %eax
    8 %if swopped=0 %start
				movl	SWOPPED.6021@GOTOFF(%ebx), %eax
				testl	%eax, %eax
				jne	.L16
				nop
				jmp	.L7
		.L18:
				nop
		.L7:
    9       %if exp=act %then swopped=-1
				movl	8(%ebp), %eax
				cmpl	16(%ebp), %eax
				jne	.L17
				movl	$-1, SWOPPED.6021@GOTOFF(%ebx)
				jmp	.L5
		.L17:
				nop
		.L5:
   10       %if swexp=act %then swopped=1
				movl	12(%ebp), %eax
				cmpl	16(%ebp), %eax
				jne	.L18
				movl	$1, SWOPPED.6021@GOTOFF(%ebx)
				jmp	.L7
		.L3:
		.L16:
   11 %finish
   12 %if swopped=-1 %and exp=act %then %return
				movl	SWOPPED.6021@GOTOFF(%ebx), %eax
				cmpl	$-1, %eax
				jne	.L19
				movl	8(%ebp), %eax
				cmpl	16(%ebp), %eax
				je	.L20
				jmp	.L9
		.L19:
				nop
		.L9:
				nop
				jmp	.L1
		.L22:
   13 %if swopped=1 %and swexp=act %then %return
				movl	SWOPPED.6021@GOTOFF(%ebx), %eax
				cmpl	$1, %eax
				jne	.L21
				movl	12(%ebp), %eax
				cmpl	16(%ebp), %eax
				je	.L22
				jmp	.L13
		.L21:
				nop
		.L13:
		.LBB17:
				nop
		.L1:
				movl	-28(%ebp), %eax
				xorl	%gs:20, %eax
				je	.L15
				call	__stack_chk_fail_local
		.L15:
				leal	-12(%ebp), %esp
				popl	%ebx
				popl	%esi
				popl	%edi
				popl	%ebp
				ret
		.LFE190:
				.section	.rodata
				.align 32
		.LC0:
				.byte	8
				.string	"Test ok "
				.zero	246
				.globl	main
		main:
		.LFB189:
   14       printstring("expected="); write(exp,5)
				leal	-284(%ebp), %eax
				leal	.LC1@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
		.LBE17:
		.LBB18:
		.LBB19:
				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
		.LBE19:
		.LBE18:
				subl	$8, %esp
				pushl	$5
				pushl	8(%ebp)
				call	_imp_writeint@PLT
				addl	$16, %esp
		.LBB20:
   15       printstring(" actual="); write(act,5); newline
				leal	-284(%ebp), %eax
				leal	.LC2@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
		.LBE20:
		.LBB21:
		.LBB22:
				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
		.LBE22:
		.LBE21:
				subl	$8, %esp
				pushl	$5
				pushl	16(%ebp)
				call	_imp_writeint@PLT
				addl	$16, %esp
		.LBB23:
		.LBB24:
				call	_imp_newline@PLT
		.LBE24:
		.LBE23:
   16       fail=fail+1
				movl	-1072(%ebp), %edx
				movl	(%edx), %eax
				addl	$1, %eax
				movl	%eax, (%edx)
   17       %monitor
   18 %end
				nop
				jmp	.L1
		.L20:
   19 %conststring(11) %array tx(-1:1)="","","(swopped)";
				leal	-796(%ebp), %edx
				movl	$0, %eax
				movl	$192, %ecx
				movl	%edx, %edi
				rep stosl
				movb	$9, -284(%ebp)
				movl	$1870099240, -283(%ebp)
				movl	$1684369520, -279(%ebp)
				movw	$41, -275(%ebp)
				movb	$0, -273(%ebp)
				leal	-1900(%ebp), %edx
				movl	$0, %eax
				movl	$17, %ecx
				movl	%edx, %edi
				rep stosl
				leal	-796(%ebp), %eax
				movl	%eax, -1900(%ebp)
				movl	$256, -1896(%ebp)
   20 %record(f1) r1
   21 %record(f2) r2
   22 %record(f3) r3
   23 fail=0
				movl	$0, %eax
				movl	%eax, -1908(%ebp)
   24       j=0
				movl	$0, -1920(%ebp)
		.L24:
   25 l1:
   26 r1_i=0
				movl	$0, -1832(%ebp)
   27 k=r1_I+j
				movl	-1832(%ebp), %edx
				movl	-1920(%ebp), %eax
				addl	%edx, %eax
				movl	%eax, -1916(%ebp)
   28 r1_b3=5
				movb	$5, -1829(%ebp)
   29 test(5,X'05000000',r1_i)
				movl	-1832(%ebp), %edx
				subl	$4, %esp
				leal	-1908(%ebp), %eax
				pushl	%edx
				pushl	$83886080
				pushl	$5
				movl	%eax, %ecx
				call	TEST.6058
				addl	$16, %esp
   30 test(5,x'05000000',r1_i+j)
				movl	-1832(%ebp), %edx
				movl	-1920(%ebp), %eax
				addl	%eax, %edx
				subl	$4, %esp
				leal	-1908(%ebp), %eax
				pushl	%edx
				pushl	$83886080
				pushl	$5
				movl	%eax, %ecx
				call	TEST.6058
				addl	$16, %esp
   31 r2_f_i=1
				movl	$1, -1316(%ebp)
   32 r2_f_b3=6
				movb	$6, -1313(%ebp)
   33 test(6,x'06000001',r2_f_i)
				movl	-1316(%ebp), %edx
				subl	$4, %esp
				leal	-1908(%ebp), %eax
				pushl	%edx
				pushl	$100663297
				pushl	$6
				movl	%eax, %ecx
				call	TEST.6058
				addl	$16, %esp
   34 r3_f_f_i=1
				movl	$1, -1052(%ebp)
   35 r3_f_f_b3=6
				movb	$6, -1049(%ebp)
   36 test(6,x'06000001',r3_f_f_i)
				movl	-1052(%ebp), %edx
				subl	$4, %esp
				leal	-1908(%ebp), %eax
				pushl	%edx
				pushl	$100663297
				pushl	$6
				movl	%eax, %ecx
				call	TEST.6058
				addl	$16, %esp
   37 %if fail=0 %then printstring("Test ok ".tx(swopped))
				movl	-1908(%ebp), %eax
				testl	%eax, %eax
				jne	.L28
		.LBB25:
		.LBB26:
				movl	SWOPPED.6021@GOTOFF(%ebx), %eax
				leal	1(%eax), %edx
				leal	-796(%ebp), %eax
				sall	$8, %edx
				addl	%edx, %eax
				movl	%eax, -1936(%ebp)
		.LBB27:
				leal	-1576(%ebp), %eax
				leal	.LC0@GOTOFF(%ebx), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-1576(%ebp), %edx
		.LBE27:
				leal	-1576(%ebp), %eax
				subl	$4, %esp
				pushl	-1936(%ebp)
				pushl	%edx
				pushl	%eax
				call	_imp_join@PLT
				addl	$12, %esp
				leal	-1576(%ebp), %edx
		.LBE26:
				leal	-1576(%ebp), %eax
				movl	%edx, %esi
				movl	$64, %edx
				movl	%eax, %edi
				movl	%edx, %ecx
				rep movsl
				leal	-1576(%ebp), %edx
				leal	-1576(%ebp), %eax
				movl	%edx, %esi
				movl	$64, %edx
				movl	%eax, %edi
				movl	%edx, %ecx
				rep movsl
		.LBE25:
		.LBB28:
		.LBB29:
				subl	$256, %esp
				movl	%esp, %eax
				movl	%eax, %edi
				leal	-1576(%ebp), %eax
				movl	$64, %edx
				movl	%eax, %esi
				movl	%edx, %ecx
				rep movsl
				call	_imp_printstring@PLT
				addl	$256, %esp
				jmp	.L26
		.L28:
		.LBE29:
		.LBE28:
				nop
		.L26:
				movl	$0, -1912(%ebp)
		.LBB30:
		.LBB31:
				subl	$12, %esp
				pushl	-1912(%ebp)
				call	exit@PLT
		.LBE31:
		.LBE30:
		.LFE189:
				.comm	SWOPPED.6021,4,4
				.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:
   38 %endofprogram
?L1 unused
?I unused
   40 Statements compiled