Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
		.Ltext0:
				.align	2
		TEST.7726:
		.LFB186:
		.LVL23:
				sub	sp, sp, #2656
				stp	x29, x30, [sp]
				add	x29, sp, 0
				stp	x19, x20, [sp, 16]
				stp	x21, x22, [sp, 32]
				adrp	x2, :got:__stack_chk_guard
				ldr	x2, [x2, #:got_lo12:__stack_chk_guard]
				ldr	x3, [x2]
				str	x3, [x29, 2648]
				mov	x3,0
				add	x2, x29, 2656
				str	x2, [x29, 320]
    2 %owninteger swopped =0
				bl	_imp_initialise
		.LVL24:
				mov	x2, 768
				mov	w1, 0
				add	x0, x29, 1880
				bl	memset
		.LVL25:
				mov	w0, 9
				strb	w0, [x29, 2392]
				adrp	x0, .LANCHOR1
				add	x0, x0, :lo12:.LANCHOR1
				ldr	x1, [x0, 512]
				add	x2, x29, 2560
				str	x1, [x2, -167]
				ldrh	w0, [x0, 520]
				strh	w0, [x2, -159]
    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)
		.LVL0:
				sub	sp, sp, #1376
				stp	x29, x30, [sp]
				add	x29, sp, 0
				stp	x22, x23, [sp, 40]
				str	x24, [sp, 56]
				mov	w24, w0
				mov	w22, w2
				mov	x23, x18
				adrp	x0, :got:__stack_chk_guard
		.LVL1:
				ldr	x0, [x0, #:got_lo12:__stack_chk_guard]
				ldr	x2, [x0]
				str	x2, [x29, 1368]
				mov	x2,0
		.LVL2:
    8 %if swopped=0 %start
				adrp	x0, .LANCHOR0
				ldr	w0, [x0, #:lo12:.LANCHOR0]
				cbnz	w0, .L5
    9       %if exp=act %then swopped=-1
				cmp	w24, w22
				beq	.L11
   10       %if swexp=act %then swopped=1
				cmp	w22, w1
				bne	.L7
				b	.L8
		.L11:
				adrp	x0, .LANCHOR0
				mov	w2, -1
				str	w2, [x0, #:lo12:.LANCHOR0]
				cmp	w22, w1
				bne	.L1
		.L8:
   11 %finish
				adrp	x0, .LANCHOR0
				mov	w1, 1
		.LVL3:
				str	w1, [x0, #:lo12:.LANCHOR0]
				b	.L1
		.L2:
		.LVL4:
		.L5:
   12 %if swopped=-1 %and exp=act %then %return
   13 %if swopped=1 %and swexp=act %then %return
				cmp	w24, w22
				ccmn	w0, #1, 0, eq
				beq	.L1
		.L6:
   14       printstring("expected="); write(exp,5)
				cmp	w22, w1
				ccmp	w0, 1, 0, eq
				beq	.L1
		.L7:
				stp	x19, x20, [x29, 16]
				str	x21, [x29, 32]
				str	x25, [x29, 64]
		.LBB17:
				adrp	x25, .LANCHOR1
				add	x25, x25, :lo12:.LANCHOR1
				add	x21, x29, 1112
				mov	x19, 256
				mov	x2, x19
				mov	x1, x25
		.LVL5:
				mov	x0, x21
				bl	memcpy
		.LVL6:
				add	x20, x29, 344
				mov	x2, x19
				mov	x1, x21
				mov	x0, x20
				bl	memcpy
		.LVL7:
				mov	x2, x19
				mov	x1, x20
				mov	x0, x21
				bl	memcpy
		.LVL8:
		.LBE17:
		.LBB18:
		.LBB19:
				add	x20, x29, 80
				mov	x2, x19
				mov	x1, x21
				mov	x0, x20
				bl	memcpy
		.LVL9:
				mov	x0, x20
				bl	_imp_printstring
		.LVL10:
		.LBE19:
		.LBE18:
   15       printstring(" actual="); write(act,5); newline
				mov	w1, 5
				mov	w0, w24
				bl	_imp_writeint
		.LVL11:
		.LBB20:
				add	x21, x29, 856
				mov	x2, x19
				add	x1, x25, x19
				mov	x0, x21
				bl	memcpy
		.LVL12:
				add	x24, x29, 600
		.LVL13:
				mov	x2, x19
				mov	x1, x21
				mov	x0, x24
				bl	memcpy
		.LVL14:
				mov	x2, x19
				mov	x1, x24
				mov	x0, x21
				bl	memcpy
		.LVL15:
		.LBE20:
		.LBB21:
		.LBB22:
				mov	x2, x19
				mov	x1, x21
				mov	x0, x20
				bl	memcpy
		.LVL16:
				mov	x0, x20
				bl	_imp_printstring
		.LVL17:
		.LBE22:
		.LBE21:
   16       fail=fail+1
				mov	w1, 5
				mov	w0, w22
				bl	_imp_writeint
		.LVL18:
		.LBB23:
		.LBB24:
				bl	_imp_newline
		.LVL19:
		.LBE24:
		.LBE23:
				ldr	w0, [x23]
				add	w0, w0, 1
				str	w0, [x23]
   17       %monitor
   18 %end
				ldp	x19, x20, [x29, 16]
				ldr	x21, [x29, 32]
				ldr	x25, [x29, 64]
		.L1:
   19 %conststring(11) %array tx(-1:1)="","","(swopped)";
				adrp	x0, :got:__stack_chk_guard
				ldr	x0, [x0, #:got_lo12:__stack_chk_guard]
				ldr	x1, [x29, 1368]
				ldr	x0, [x0]
				eor	x0, x1, x0
				cbnz	x0, .L12
				ldp	x22, x23, [sp, 40]
		.LVL20:
				ldr	x24, [sp, 56]
				ldp	x29, x30, [sp]
				add	sp, sp, 1376
				ret
		.LVL21:
		.L12:
				stp	x19, x20, [x29, 16]
				str	x21, [x29, 32]
				str	x25, [x29, 64]
				bl	__stack_chk_fail
		.LVL22:
		.LFE186:
				.align	2
				.global	main
		main:
		.LFB185:
   20 %record(f1) r1
   21 %record(f2) r2
   22 %record(f3) r3
   23 fail=0
				str	wzr, [x29, 312]
		.LVL26:
		.LDL1:
   24       j=0
   25 l1:
   26 r1_i=0
				str	wzr, [x29, 328]
		.LVL27:
   27 k=r1_I+j
   28 r1_b3=5
				mov	w0, 5
				strb	w0, [x29, 331]
   29 test(5,X'05000000',r1_i)
				ldr	w20, [x29, 328]
				add	x19, x29, 312
				mov	x18, x19
				mov	w2, w20
				mov	w1, 83886080
				mov	w0, 5
				bl	TEST.7726
		.LVL28:
   30 test(5,x'05000000',r1_i+j)
				mov	x18, x19
				mov	w2, w20
				mov	w1, 83886080
				mov	w0, 5
				bl	TEST.7726
		.LVL29:
   31 r2_f_i=1
				mov	w22, 1
				str	w22, [x29, 1356]
   32 r2_f_b3=6
				mov	w21, 6
				strb	w21, [x29, 1359]
   33 test(6,x'06000001',r2_f_i)
				mov	w20, 1
				movk	w20, 0x600, lsl 16
				mov	x18, x19
				ldr	w2, [x29, 1356]
				mov	w1, w20
				mov	w0, 6
				bl	TEST.7726
		.LVL30:
   34 r3_f_f_i=1
				str	w22, [x29, 1624]
   35 r3_f_f_b3=6
				strb	w21, [x29, 1627]
   36 test(6,x'06000001',r3_f_f_i)
				mov	x18, x19
				ldr	w2, [x29, 1624]
				mov	w1, w20
				mov	w0, 6
				bl	TEST.7726
		.LVL31:
   37 %if fail=0 %then printstring("Test ok ".tx(swopped))
				ldr	w0, [x29, 312]
				cbz	w0, .L17
		.L14:
		.LVL32:
		.LBB25:
		.LBB26:
				mov	w0, 0
				bl	exit
		.LVL33:
		.L17:
		.LBE26:
		.LBE25:
		.LBB27:
		.LBB28:
   38 %endofprogram
?L1 unused
?I unused
   40 Statements compiled
				adrp	x0, .LANCHOR0
				ldr	w0, [x0, #:lo12:.LANCHOR0]
				add	w0, w0, w22
				sbfiz	x0, x0, 8, 32
				add	x20, x29, 1096
				mov	x8, x20
				add	x1, x29, 1880
				add	x1, x1, x0
				add	x0, x29, 840
				bl	_imp_join
		.LVL34:
				mov	x21, 256
				mov	x2, x21
				add	x1, x29, 584
				mov	x0, x20
				bl	memcpy
		.LVL35:
		.LBE28:
		.LBE27:
		.LBB29:
		.LBB30:
				add	x19, x29, 48
				mov	x2, x21
				mov	x1, x20
				mov	x0, x19
				bl	memcpy
		.LVL36:
				mov	x0, x19
				bl	_imp_printstring
		.LVL37:
				b	.L14
		.LBE30:
		.LBE29:
		.LFE185:
				.section	.rodata
				.align	3
				.set	.LANCHOR1,. + 0
		.LC1:
				.byte	9
				.string	"expected="
				.zero	245
		.LC2:
				.byte	8
				.string	" actual="
				.zero	246
		.LC3:
				.string	"(swopped)"
				.zero	1
				.bss
				.align	2
				.set	.LANCHOR0,. + 0
		SWOPPED.7689:
				.zero	4
		.Letext0: