Edinburgh IMP77 Compiler - Version 8.4
    1 %record %format Global Fm ( %integer Blocks %or
		.Ltext0:
		FAIL:
		.LFB189:
    2    %integer %array Pad(1:20) )
    3
    4 %const %integer Max Vars = 16_0 FFFF
    5
    6 %record %format Var Fm ( %integer a, b, c )
    7
    8 %routine Fail ( %string(255) S )
				pushl	%ebp
				movl	%esp, %ebp
				pushl	%edi
				pushl	%esi
				pushl	%ebx
				subl	$284, %esp
				call	__x86.get_pc_thunk.bx
				addl	$_GLOBAL_OFFSET_TABLE_, %ebx
				movl	%gs:20, %eax
				movl	%eax, -28(%ebp)
				xorl	%eax, %eax
		.LBB34:
    9    Print String(S);  Newline
				leal	-284(%ebp), %eax
				leal	8(%ebp), %esi
				movl	$64, %edx
				movl	%eax, %edi
				movl	%edx, %ecx
				rep movsl
				leal	-284(%ebp), %edx
				leal	-284(%ebp), %eax
				movl	%edx, %esi
				movl	$64, %edx
				movl	%eax, %edi
				movl	%edx, %ecx
				rep movsl
		.LBE34:
		.LBB35:
		.LBB36:
				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
		.LBE36:
		.LBE35:
		.LBB37:
		.LBB38:
				call	_imp_newline@PLT
				movl	$0, -288(%ebp)
		.LBE38:
		.LBE37:
		.LBB39:
		.LBB40:
				subl	$12, %esp
				pushl	-288(%ebp)
				call	exit@PLT
		.LBE40:
		.LBE39:
		.LFE189:
				.section	.rodata
				.align 32
		.LC2:
				.byte	12
				.string	"Entered Var("
				.zero	242
				.align 32
		.LC3:
				.byte	5
				.string	"P2/77"
				.zero	249
		VAR.6059:
		.LFB191:
   10    %stop
   11 %end
   12
   13 %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	$2424, %esp
				call	__x86.get_pc_thunk.bx
				addl	$_GLOBAL_OFFSET_TABLE_, %ebx
				movl	%ecx, %eax
				movl	4(%eax), %edx
				movl	%edx, -2428(%ebp)
				movl	%gs:20, %esi
				movl	%esi, -28(%ebp)
				xorl	%esi, %esi
				leal	8(%ebp), %edx
				movl	%edx, -32(%ebp)
				subl	$8, %esp
				pushl	-2428(%ebp)
				pushl	(%eax)
				call	_imp_initialise@PLT
				addl	$16, %esp
   14
   15    %recordformat Varsfm(%record(Varfm)%array Var(0:255))
   16    %constrecord(Varsfm)%name Varsfm Type == 0
				movl	$0, -2420(%ebp)
   17    %recordformat Varpfm(%record(Varsfm)%name P)
   18    %record(Varpfm)%array Varp(0:Max Vars>>8)
				leal	-2404(%ebp), %edx
				movl	$0, %eax
				movl	$17, %ecx
				movl	%edx, %edi
				rep stosl
				leal	-1056(%ebp), %eax
				movl	%eax, -2404(%ebp)
				movl	$4, -2400(%ebp)
		.LBB58:
   19
   20    %record(Varfm)%map Var(%integer Index)
				pushl	%ebp
				movl	%esp, %ebp
				pushl	%edi
				pushl	%esi
				pushl	%ebx
				subl	$1084, %esp
				call	__x86.get_pc_thunk.bx
				addl	$_GLOBAL_OFFSET_TABLE_, %ebx
				movl	%ecx, -1088(%ebp)
				movl	%ecx, -1084(%ebp)
				movl	%gs:20, %eax
				movl	%eax, -28(%ebp)
				xorl	%eax, %eax
   21       %own %record(Var Fm) Special Case Var
   22       %result == Special Case Var %if Index = -1
				cmpl	$-1, 8(%ebp)
				jne	.L17
				leal	SPECIALCASEVAR.6061@GOTOFF(%ebx), %eax
				jmp	.L6
		.L17:
				nop
		.L5:
		.LBB41:
   23       Print String("Entered Var(");  Write(Index, 0)
				leal	-284(%ebp), %eax
				leal	.LC2@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	-284(%ebp), %eax
				leal	-1052(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
		.LBE41:
		.LBB42:
		.LBB43:
				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
		.LBE43:
		.LBE42:
				subl	$8, %esp
				pushl	$0
				pushl	8(%ebp)
				call	_imp_writeint@PLT
				addl	$16, %esp
				movb	$41, -1073(%ebp)
		.LBB44:
		.LBB45:
				movsbl	-1073(%ebp), %eax
				subl	$12, %esp
				pushl	%eax
				call	_imp_printsymbol@PLT
				addl	$16, %esp
		.LBE45:
		.LBE44:
		.LBB46:
		.LBB47:
				call	_imp_newline@PLT
		.LBE47:
		.LBE46:
		.LBB48:
   24       Print Symbol(')');  Newline
   25       Fail("P2/77") %unless 0 <= Index <= Max Vars
				movl	8(%ebp), %eax
				movl	%eax, -1072(%ebp)
				cmpl	$0, -1072(%ebp)
				js	.L18
				cmpl	$65535, -1072(%ebp)
				jle	.L19
		.LBE48:
				jmp	.L8
		.L18:
		.LBB49:
				nop
		.L8:
		.LBE49:
		.LBB50:
				leal	-796(%ebp), %eax
				leal	.LC3@GOTOFF(%ebx), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-540(%ebp), %eax
				leal	-796(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
		.LBE50:
				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	FAIL
				addl	$256, %esp
				jmp	.L9
		.L19:
		.LBB51:
				nop
		.L9:
		.LBE51:
   26       %record(Varpfm)%name V == Varp(Index>>8)
				movl	8(%ebp), %eax
				shrl	$8, %eax
				sall	$2, %eax
				addl	-1088(%ebp), %eax
				movl	%eax, -1068(%ebp)
   27       %if V_P == Nil %start
				movl	-1068(%ebp), %eax
				movl	(%eax), %eax
				movl	%eax, -1060(%ebp)
		.LBB52:
		.LBB53:
				movl	-1060(%ebp), %edx
				movl	$0, -1064(%ebp)
		.LBE53:
		.LBE52:
		.LBB54:
		.LBB55:
				movl	-1064(%ebp), %eax
		.LBE55:
		.LBE54:
				cmpl	%eax, %edx
				jne	.L20
				movl	$3072, -1056(%ebp)
		.LBB56:
		.LBB57:
				movl	-1056(%ebp), %eax
				subl	$12, %esp
				pushl	%eax
				call	malloc@PLT
				addl	$16, %esp
				movl	%eax, %edx
		.LBE57:
		.LBE56:
				nop
		.L13:
   28          V_P == NEW(Varsfm Type)
				movl	-1068(%ebp), %eax
				movl	%edx, (%eax)
				jmp	.L13
		.L20:
   29       %finish
   30       %result == V_P_Var(Index&255)
				movl	-1068(%ebp), %eax
				movl	(%eax), %ecx
				movl	8(%ebp), %eax
				movzbl	%al, %edx
				movl	%edx, %eax
				addl	%eax, %eax
				addl	%edx, %eax
				sall	$2, %eax
				addl	%ecx, %eax
		.L6:
   31    %end
				movl	-28(%ebp), %ebx
				xorl	%gs:20, %ebx
				je	.L15
				call	__stack_chk_fail_local
		.L15:
				leal	-12(%ebp), %esp
				popl	%ebx
				popl	%esi
				popl	%edi
				popl	%ebp
				ret
		.LFE191:
				.section	.rodata
				.align 4
		.LC4:
				.string	"Illegal cycle J = 0, 1, (unsigned int)65535 >> 8"
				.align 32
		.LC0:
				.byte	18
				.string	"test-in/fc0001.imp"
				.zero	236
				.align 32
		.LC1:
				.byte	16
				.string	"Back from Var(0)"
				.zero	238
				.globl	main
		main:
		.LFB190:
   32
   33    %integer J
   34
   35    VarP(J)_P == Nil %for J = 0, 1, Max Vars >>8
				movl	$255, -2416(%ebp)
		.LBB59:
				movl	-2416(%ebp), %eax
				movl	%eax, -2412(%ebp)
				movl	-2412(%ebp), %eax
				xorl	$1, %eax
				shrl	$31, %eax
				movzbl	%al, %eax
		.LBE59:
				testl	%eax, %eax
				je	.L22
				leal	-1824(%ebp), %eax
				subl	$8, %esp
				leal	.LC4@GOTOFF(%ebx), %edx
				pushl	%edx
				pushl	%eax
				call	_imp_c2istr@PLT
				addl	$12, %esp
				movl	_imp_current_line@GOT(%ebx), %eax
				movl	(%eax), %eax
				testl	%eax, %eax
				je	.L23
				movl	_imp_current_line@GOT(%ebx), %eax
				movl	(%eax), %eax
				movl	%eax, -2432(%ebp)
				jmp	.L24
		.L23:
				movl	$35, -2432(%ebp)
		.L24:
				movl	_imp_current_file@GOT(%ebx), %eax
				movl	(%eax), %eax
				testl	%eax, %eax
				je	.L25
				movl	_imp_current_file@GOT(%ebx), %eax
				movl	(%eax), %edx
				leal	-1568(%ebp), %eax
				subl	$8, %esp
				pushl	%edx
				pushl	%eax
				call	_imp_c2istr@PLT
				addl	$12, %esp
				jmp	.L26
		.L25:
		.LBB60:
				leal	-1312(%ebp), %eax
				leal	.LC0@GOTOFF(%ebx), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-2336(%ebp), %eax
				leal	-1312(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
		.LBE60:
				leal	-1568(%ebp), %eax
				leal	-2336(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
		.L26:
				pushl	$0
				pushl	$1
				pushl	$5
				subl	$256, %esp
				movl	%esp, %eax
				movl	%eax, %edi
				leal	-1824(%ebp), %eax
				movl	$64, %edx
				movl	%eax, %esi
				movl	%edx, %ecx
				rep movsl
				pushl	-2432(%ebp)
				subl	$256, %esp
				movl	%esp, %eax
				movl	%eax, %edi
				leal	-1568(%ebp), %eax
				movl	$64, %edx
				movl	%eax, %esi
				movl	%edx, %ecx
				rep movsl
				call	_signal_event@PLT
				addl	$528, %esp
		.L22:
				movl	$-1, -2424(%ebp)
		.L27:
				movl	-2424(%ebp), %eax
				cmpl	-2416(%ebp), %eax
				je	.L32
				addl	$1, -2424(%ebp)
				movl	-2424(%ebp), %eax
				movl	$0, -1056(%ebp,%eax,4)
				jmp	.L27
		.L32:
				nop
		.L29:
		.LBE58:
   36    Var(0) = 0
				subl	$12, %esp
				leal	-1056(%ebp), %eax
				pushl	$0
				movl	%eax, %ecx
				call	VAR.6059
				addl	$16, %esp
				movl	$0, (%eax)
				movl	$0, 4(%eax)
				movl	$0, 8(%eax)
		.LBB61:
   37    Print String("Back from Var(0)");  Newline
				leal	-1312(%ebp), %eax
				leal	.LC1@GOTOFF(%ebx), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-2080(%ebp), %eax
				leal	-1312(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-1312(%ebp), %eax
				leal	-2080(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
		.LBE61:
		.LBB62:
		.LBB63:
				subl	$256, %esp
				movl	%esp, %eax
				movl	%eax, %edi
				leal	-1312(%ebp), %eax
				movl	$64, %edx
				movl	%eax, %esi
				movl	%edx, %ecx
				rep movsl
				call	_imp_printstring@PLT
				addl	$256, %esp
		.LBE63:
		.LBE62:
		.LBB64:
		.LBB65:
				call	_imp_newline@PLT
				movl	$0, -2408(%ebp)
		.LBE65:
		.LBE64:
		.LBB66:
		.LBB67:
				subl	$12, %esp
				pushl	-2408(%ebp)
				call	exit@PLT
		.LBE67:
		.LBE66:
		.LFE190:
				.comm	SPECIALCASEVAR.6061,12,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:
		.LFB192:
				movl	(%esp), %ebx
				ret
		.LFE192:
		.Letext0:
   38
   39 %end %of %program
   33 Statements compiled