Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
		.Ltext0:
		_imp_EVENT:
		.LFB0:
				pushl	%ebp
				movl	%esp, %ebp
				pushl	%edi
				pushl	%esi
				pushl	%ebx
				call	__x86.get_pc_thunk.ax
				addl	$_GLOBAL_OFFSET_TABLE_, %eax
				movl	8(%ebp), %edx
				movl	_imp_event@GOT(%eax), %eax
				movl	%eax, %ebx
				movl	$173, %eax
				movl	%edx, %edi
				movl	%ebx, %esi
				movl	%eax, %ecx
				rep movsl
				movl	8(%ebp), %eax
				popl	%ebx
				popl	%esi
				popl	%edi
				popl	%ebp
				ret	$4
		.LFE0:
				.section	.rodata
		.LC4:
				.string	""
				.align 32
		.LC1:
				.byte	26
				.string	"Entered from THEPROCEDURE "
				.zero	228
				.align 32
		.LC2:
				.byte	16
				.string	"LOCALVARIABLE = "
				.zero	238
				.align 32
		.LC3:
				.byte	21
				.string	"test-in/unwinding.imp"
				.zero	233
		THEPROCEDURE.6032:
		.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	$824, %esp
				call	__x86.get_pc_thunk.bx
				addl	$_GLOBAL_OFFSET_TABLE_, %ebx
				movl	%ebx, %esi
				movl	%esi, -832(%ebp)
				movl	%ecx, %eax
				movl	4(%eax), %edx
				movl	%edx, -828(%ebp)
				movl	%gs:20, %ebx
				movl	%ebx, -28(%ebp)
				xorl	%ebx, %ebx
				leal	8(%ebp), %edx
				movl	%edx, -816(%ebp)
				subl	$8, %esp
				pushl	-828(%ebp)
				pushl	(%eax)
				movl	%esi, %ebx
				call	_imp_initialise@PLT
				addl	$16, %esp
    2
    3    %on %event 15 %start
				subl	$8, %esp
				pushl	$1
				movl	%esi, %ebx
				movl	_imp_event@GOT(%ebx), %eax
				leal	532(%eax), %eax
				pushl	%eax
				movl	%esi, %ebx
				call	__sigsetjmp@PLT
				addl	$16, %esp
				testl	%eax, %eax
				jne	.L25
		.LBB41:
				movl	$15, -796(%ebp)
				movl	$0, -812(%ebp)
		.LBB42:
				movl	$0, -808(%ebp)
				jmp	.L26
		.L27:
				movl	-808(%ebp), %eax
				movl	-796(%ebp,%eax,4), %eax
				movl	$1, %edx
				movl	%eax, %ecx
				sall	%cl, %edx
				movl	%edx, %eax
				orl	%eax, -812(%ebp)
				addl	$1, -808(%ebp)
		.L26:
				cmpl	$0, -808(%ebp)
				je	.L27
		.LBE42:
				movl	-812(%ebp), %eax
		.LBE41:
				subl	$8, %esp
				pushl	%eax
				movl	-832(%ebp), %ebx
				movl	_imp_event@GOT(%ebx), %eax
				pushl	%eax
				call	_imp_on_event_enter@PLT
				addl	$16, %esp
				testl	%eax, %eax
				jne	.L31
		.L25:
		.LBB43:
				nop
		.L28:
    4      print string("END OF DIAGNOSTICS"); newline
				leal	-796(%ebp), %eax
				movl	-832(%ebp), %ebx
				leal	.LC0@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
				leal	-284(%ebp), %eax
				leal	-540(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
		.LBE43:
		.LBB44:
		.LBB45:
				subl	$256, %esp
				movl	%esp, %eax
				movl	%eax, %edi
				leal	-284(%ebp), %eax
				movl	$64, %edx
				movl	%eax, %esi
				movl	%edx, %ecx
				rep movsl
				movl	%ebx, %edi
				movl	%edi, %ebx
				call	_imp_printstring@PLT
				addl	$256, %esp
		.LBE45:
		.LBE44:
		.LBB46:
		.LBB47:
				movl	%edi, %ebx
				call	_imp_newline@PLT
				movl	$0, -804(%ebp)
		.LBE47:
		.LBE46:
		.LBB48:
		.LBB49:
				subl	$12, %esp
				pushl	-804(%ebp)
				movl	%edi, %ebx
				call	exit@PLT
		.L31:
		.LBE49:
		.LBE48:
    5      %stop
    6    %finish
    7
    8    %routine the procedure(%integer i)
				pushl	%ebp
				movl	%esp, %ebp
				pushl	%edi
				pushl	%esi
				pushl	%ebx
				subl	$4268, %esp
				call	__x86.get_pc_thunk.bx
				addl	$_GLOBAL_OFFSET_TABLE_, %ebx
				movl	%ebx, -4256(%ebp)
				movl	%ecx, -4276(%ebp)
				movl	%ecx, -4252(%ebp)
				movl	%gs:20, %eax
				movl	%eax, -28(%ebp)
				xorl	%eax, %eax
    9      %integer local variable
   10      local variable = i
				movl	8(%ebp), %eax
				movl	%eax, -4236(%ebp)
   11
   12      %on %event 15 %start
				subl	$8, %esp
				pushl	$1
				movl	_imp_event@GOT(%ebx), %eax
				leal	532(%eax), %eax
				pushl	%eax
				call	__sigsetjmp@PLT
				addl	$16, %esp
				testl	%eax, %eax
				jne	.L5
		.LBB27:
				movl	$15, -3460(%ebp)
				movl	$0, -4240(%ebp)
		.LBB28:
				movl	$0, -4244(%ebp)
				jmp	.L6
		.L7:
				movl	-4244(%ebp), %eax
				movl	-3460(%ebp,%eax,4), %eax
				movl	$1, %edx
				movl	%eax, %ecx
				sall	%cl, %edx
				movl	%edx, %eax
				orl	%eax, -4240(%ebp)
				addl	$1, -4244(%ebp)
		.L6:
				cmpl	$0, -4244(%ebp)
				je	.L7
		.LBE28:
				movl	-4240(%ebp), %eax
		.LBE27:
				subl	$8, %esp
				pushl	%eax
				movl	-4256(%ebp), %ebx
				movl	_imp_event@GOT(%ebx), %eax
				pushl	%eax
				call	_imp_on_event_enter@PLT
				addl	$16, %esp
				testl	%eax, %eax
				jne	.L21
		.L5:
		.LBB29:
				nop
		.L8:
   13        print string("Entered from THEPROCEDURE "); write(i, -1); newlines(2)
				leal	-3460(%ebp), %eax
				movl	-4256(%ebp), %ebx
				leal	.LC1@GOTOFF(%ebx), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-4228(%ebp), %eax
				leal	-3460(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-1924(%ebp), %eax
				leal	-4228(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
		.LBE29:
		.LBB30:
		.LBB31:
				subl	$256, %esp
				movl	%esp, %eax
				movl	%eax, %edi
				leal	-1924(%ebp), %eax
				movl	$64, %edx
				movl	%eax, %esi
				movl	%edx, %ecx
				rep movsl
				movl	%ebx, %edi
				movl	%edi, %ebx
				call	_imp_printstring@PLT
				addl	$256, %esp
		.LBE31:
		.LBE30:
				subl	$8, %esp
				pushl	$-1
				pushl	8(%ebp)
				movl	%edi, %ebx
				call	_imp_writeint@PLT
				addl	$16, %esp
				movl	$2, -4232(%ebp)
		.LBB32:
		.LBB33:
				subl	$12, %esp
				pushl	-4232(%ebp)
				movl	%edi, %ebx
				call	_imp_newlines@PLT
				addl	$16, %esp
		.LBE33:
		.LBE32:
		.LBB34:
   14        print string("LOCALVARIABLE = "); write(local variable, 0); newline
				leal	-3460(%ebp), %eax
				movl	%edi, %ebx
				leal	.LC2@GOTOFF(%ebx), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-3972(%ebp), %eax
				leal	-3460(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-1668(%ebp), %eax
				leal	-3972(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
		.LBE34:
		.LBB35:
		.LBB36:
				subl	$256, %esp
				movl	%esp, %eax
				movl	%eax, %edi
				leal	-1668(%ebp), %eax
				movl	$64, %edx
				movl	%eax, %esi
				movl	%edx, %ecx
				rep movsl
				movl	%ebx, %esi
				movl	%esi, %ebx
				call	_imp_printstring@PLT
				addl	$256, %esp
		.LBE36:
		.LBE35:
				subl	$8, %esp
				pushl	$0
				pushl	-4236(%ebp)
				movl	%esi, %ebx
				call	_imp_writeint@PLT
				addl	$16, %esp
		.LBB37:
		.LBB38:
				movl	%esi, %ebx
				call	_imp_newline@PLT
		.LBE38:
		.LBE37:
   15        ! For comparative testing: Vax compiler needs event_extra not event_info
   16        %signal 15, event_sub, event_info  { pass up one level to caller }
				leal	-1412(%ebp), %eax
				subl	$12, %esp
				pushl	%eax
				call	_imp_EVENT
				addl	$12, %esp
				movl	-1404(%ebp), %eax
				movl	%eax, -4268(%ebp)
				leal	-720(%ebp), %eax
				subl	$12, %esp
				pushl	%eax
				call	_imp_EVENT
				addl	$12, %esp
				movl	-716(%ebp), %eax
				movl	%eax, -4272(%ebp)
				leal	-2948(%ebp), %eax
				subl	$8, %esp
				movl	%esi, %ebx
				leal	.LC4@GOTOFF(%ebx), %edx
				pushl	%edx
				pushl	%eax
				movl	%esi, %ebx
				call	_imp_c2istr@PLT
				addl	$12, %esp
				movl	%esi, %ebx
				movl	_imp_current_line@GOT(%ebx), %eax
				movl	(%eax), %eax
				testl	%eax, %eax
				je	.L9
				movl	-4256(%ebp), %eax
				movl	_imp_current_line@GOT(%eax), %eax
				movl	(%eax), %eax
				movl	%eax, -4260(%ebp)
				jmp	.L10
		.L9:
				movl	$16, -4260(%ebp)
		.L10:
				movl	-4256(%ebp), %eax
				movl	_imp_current_file@GOT(%eax), %eax
				movl	(%eax), %eax
				testl	%eax, %eax
				je	.L11
				movl	-4256(%ebp), %ebx
				movl	_imp_current_file@GOT(%ebx), %eax
				movl	(%eax), %edx
				leal	-2692(%ebp), %eax
				subl	$8, %esp
				pushl	%edx
				pushl	%eax
				call	_imp_c2istr@PLT
				addl	$12, %esp
				jmp	.L12
		.L11:
		.LBB39:
				leal	-3460(%ebp), %edx
				movl	-4256(%ebp), %eax
				leal	.LC3@GOTOFF(%eax), %esi
				movl	$64, %eax
				movl	%edx, %edi
				movl	%eax, %ecx
				rep movsl
				leal	-3716(%ebp), %edx
				leal	-3460(%ebp), %esi
				movl	$64, %eax
				movl	%edx, %edi
				movl	%eax, %ecx
				rep movsl
		.LBE39:
				leal	-2692(%ebp), %edx
				leal	-3716(%ebp), %esi
				movl	$64, %eax
				movl	%edx, %edi
				movl	%eax, %ecx
				rep movsl
		.L12:
				pushl	-4268(%ebp)
				pushl	-4272(%ebp)
				pushl	$15
				subl	$256, %esp
				movl	%esp, %eax
				movl	%eax, %edi
				leal	-2948(%ebp), %eax
				movl	$64, %edx
				movl	%eax, %esi
				movl	%edx, %ecx
				rep movsl
				pushl	-4260(%ebp)
				subl	$256, %esp
				movl	%esp, %eax
				movl	%eax, %edi
				leal	-2692(%ebp), %eax
				movl	$64, %edx
				movl	%eax, %esi
				movl	%edx, %ecx
				rep movsl
				movl	-4256(%ebp), %ebx
				call	_signal_event@PLT
				addl	$528, %esp
				jmp	.L8
		.L21:
   17      %finish
   18
   19      %signal 15, 1 %if i >= 10
				cmpl	$9, 8(%ebp)
				jle	.L22
				leal	-2436(%ebp), %eax
				subl	$8, %esp
				movl	-4256(%ebp), %edi
				movl	%edi, %ecx
				leal	.LC4@GOTOFF(%ecx), %edx
				pushl	%edx
				pushl	%eax
				movl	%edi, %ebx
				call	_imp_c2istr@PLT
				addl	$12, %esp
				movl	%edi, %ecx
				movl	_imp_current_line@GOT(%ecx), %eax
				movl	(%eax), %eax
				testl	%eax, %eax
				je	.L15
				movl	-4256(%ebp), %eax
				movl	_imp_current_line@GOT(%eax), %eax
				movl	(%eax), %eax
				movl	%eax, -4264(%ebp)
				jmp	.L16
		.L15:
				movl	$19, -4264(%ebp)
		.L16:
				movl	-4256(%ebp), %eax
				movl	_imp_current_file@GOT(%eax), %eax
				movl	(%eax), %eax
				testl	%eax, %eax
				je	.L17
				movl	-4256(%ebp), %ebx
				movl	_imp_current_file@GOT(%ebx), %eax
				movl	(%eax), %edx
				leal	-2180(%ebp), %eax
				subl	$8, %esp
				pushl	%edx
				pushl	%eax
				call	_imp_c2istr@PLT
				addl	$12, %esp
				jmp	.L18
		.L17:
		.LBB40:
				leal	-3460(%ebp), %eax
				movl	-4256(%ebp), %ecx
				leal	.LC3@GOTOFF(%ecx), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-3204(%ebp), %eax
				leal	-3460(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
		.LBE40:
				leal	-2180(%ebp), %eax
				leal	-3204(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
		.L18:
				pushl	$0
				pushl	$1
				pushl	$15
				subl	$256, %esp
				movl	%esp, %eax
				movl	%eax, %edi
				leal	-2436(%ebp), %eax
				movl	$64, %edx
				movl	%eax, %esi
				movl	%edx, %ecx
				rep movsl
				pushl	-4264(%ebp)
				subl	$256, %esp
				movl	%esp, %eax
				movl	%eax, %edi
				leal	-2180(%ebp), %eax
				movl	$64, %edx
				movl	%eax, %esi
				movl	%edx, %ecx
				rep movsl
				movl	-4256(%ebp), %ebx
				call	_signal_event@PLT
				addl	$528, %esp
				jmp	.L14
		.L22:
				nop
		.L14:
   20      the procedure(i+3)
				movl	8(%ebp), %eax
				addl	$3, %eax
				subl	$12, %esp
				pushl	%eax
				movl	-4276(%ebp), %ecx
				call	THEPROCEDURE.6032
				addl	$16, %esp
   21    %end
				nop
				movl	-28(%ebp), %eax
				xorl	%gs:20, %eax
				je	.L20
				call	__stack_chk_fail_local
		.L20:
				leal	-12(%ebp), %esp
				popl	%ebx
				popl	%esi
				popl	%edi
				popl	%ebp
				ret
		.LFE190:
				.section	.rodata
				.align 32
		.LC0:
				.byte	18
				.string	"END OF DIAGNOSTICS"
				.zero	236
				.globl	main
		main:
		.LFB189:
   22
   23    the procedure(1)
				subl	$12, %esp
				leal	-816(%ebp), %eax
				pushl	$1
				movl	%eax, %ecx
				call	THEPROCEDURE.6032
				addl	$16, %esp
				movl	$0, -800(%ebp)
		.LBB50:
		.LBB51:
				subl	$12, %esp
				pushl	-800(%ebp)
				movl	-832(%ebp), %ebx
				call	exit@PLT
		.LBE51:
		.LBE50:
		.LFE189:
				.section	.text.__x86.get_pc_thunk.ax,"axG",@progbits,__x86.get_pc_thunk.ax,comdat
				.globl	__x86.get_pc_thunk.ax
				.hidden	__x86.get_pc_thunk.ax
		__x86.get_pc_thunk.ax:
		.LFB191:
				movl	(%esp), %eax
				ret
		.LFE191:
				.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:
   24
   25 %endofprogram
   23 Statements compiled