Edinburgh IMP77 Compiler - Version 8.4
    1 %externalintegerfn main
		.Ltext0:
		_imp_SELECTINPUT:
		.LFB93:
				pushl	%ebp
				movl	%esp, %ebp
				pushl	%ebx
				subl	$4, %esp
				call	__x86.get_pc_thunk.ax
				addl	$_GLOBAL_OFFSET_TABLE_, %eax
				cmpl	$0, 8(%ebp)
				js	.L4
				movl	_imp_InStream@GOT(%eax), %edx
				movl	8(%ebp), %ecx
				movl	%ecx, (%edx)
				movl	_imp_infile@GOT(%eax), %ecx
				movl	8(%ebp), %edx
				imull	$276, %edx, %edx
				addl	%ecx, %edx
				addl	$4, %edx
				movl	(%edx), %ecx
				movl	_imp_InFile@GOT(%eax), %edx
				movl	%ecx, (%edx)
				subl	$12, %esp
				leal	__PRETTY_FUNCTION__.5621@GOTOFF(%eax), %edx
				pushl	%edx
				movl	%eax, %ebx
				call	check_instream@PLT
				addl	$16, %esp
				jmp	.L1
		.L4:
				nop
		.L1:
				movl	-4(%ebp), %ebx
				leave
				ret
		.LFE93:
		_imp_SELECTOUTPUT:
		.LFB94:
				pushl	%ebp
				movl	%esp, %ebp
				pushl	%ebx
				subl	$4, %esp
				call	__x86.get_pc_thunk.ax
				addl	$_GLOBAL_OFFSET_TABLE_, %eax
				cmpl	$0, 8(%ebp)
				js	.L8
				movl	_imp_OutStream@GOT(%eax), %edx
				movl	8(%ebp), %ecx
				movl	%ecx, (%edx)
				movl	_imp_outfile@GOT(%eax), %ecx
				movl	8(%ebp), %edx
				imull	$276, %edx, %edx
				addl	%ecx, %edx
				addl	$4, %edx
				movl	(%edx), %ecx
				movl	_imp_OutFile@GOT(%eax), %edx
				movl	%ecx, (%edx)
				subl	$12, %esp
				leal	__PRETTY_FUNCTION__.5625@GOTOFF(%eax), %edx
				pushl	%edx
				movl	%eax, %ebx
				call	check_outstream@PLT
				addl	$16, %esp
				jmp	.L5
		.L8:
				nop
		.L5:
				movl	-4(%ebp), %ebx
				leave
				ret
		.LFE94:
				.section	.rodata
				.align 32
		.LC0:
				.byte	17
				.string	"1+1+1+1+1+1+1+1+1"
				.zero	237
				.align 32
		.LC1:
				.byte	1
				.string	"+"
				.zero	253
				.globl	MAIN
		MAIN:
		.LFB189:
				pushl	%ebp
				movl	%esp, %ebp
				pushl	%edi
				pushl	%esi
				pushl	%ebx
				subl	$1692, %esp
				call	__x86.get_pc_thunk.bx
				addl	$_GLOBAL_OFFSET_TABLE_, %ebx
				movl	%gs:20, %eax
				movl	%eax, -28(%ebp)
				xorl	%eax, %eax
    2 %string (255) a, s
    3 %integer i, j, k, l;
    4 %integername p, q
    5   i = 20; j = 25; k = 21; l = 27;
				movl	$20, -1672(%ebp)
				movl	$25, -1668(%ebp)
				movl	$21, -1660(%ebp)
				movl	$27, -1664(%ebp)
    6   p == j; q == l;
				leal	-1668(%ebp), %eax
				movl	%eax, -1656(%ebp)
				leal	-1664(%ebp), %eax
				movl	%eax, -1652(%ebp)
		.L10:
    7   %cycle
    8     i = j; p = q
				movl	-1668(%ebp), %eax
				movl	%eax, -1672(%ebp)
				movl	-1652(%ebp), %eax
				movl	(%eax), %edx
				movl	-1656(%ebp), %eax
				movl	%edx, (%eax)
    9   %repeat %until k=3 %or (i=p %and l=1)
				cmpl	$3, -1660(%ebp)
				je	.L33
				movl	-1656(%ebp), %eax
				movl	(%eax), %edx
				movl	-1672(%ebp), %eax
				cmpl	%eax, %edx
				jne	.L34
				movl	-1664(%ebp), %eax
				cmpl	$1, %eax
				je	.L35
				jmp	.L14
		.L34:
				nop
		.L14:
				jmp	.L10
		.L33:
				nop
				jmp	.L12
		.L35:
				nop
		.L12:
		.LBB21:
   10   %begin
				movl	%esp, %eax
				movl	%eax, -1692(%ebp)
   11 !   %integerarray ia1(0 /* crashes if i */ :j)
   12     %integerarray ia1(0:l)
				movl	-1664(%ebp), %eax
				addl	$1, %eax
				leal	-1(%eax), %edx
				movl	%edx, -1648(%ebp)
				sall	$2, %eax
				leal	3(%eax), %edx
				movl	$16, %eax
				subl	$1, %eax
				addl	%edx, %eax
				movl	$16, %esi
				movl	$0, %edx
				divl	%esi
				imull	$16, %eax, %eax
				subl	%eax, %esp
				movl	%esp, %eax
				addl	$3, %eax
				shrl	$2, %eax
				sall	$2, %eax
				movl	%eax, -1644(%ebp)
				leal	-1632(%ebp), %edx
				movl	$0, %eax
				movl	$17, %ecx
				movl	%edx, %edi
				rep stosl
				movl	-1644(%ebp), %eax
				movl	%eax, -1632(%ebp)
				movl	$4, -1628(%ebp)
   13
   14     select input(0)
				subl	$12, %esp
				pushl	$0
				call	_imp_SELECTINPUT
				addl	$16, %esp
   15     select output(0)
				subl	$12, %esp
				pushl	$0
				call	_imp_SELECTOUTPUT
				addl	$16, %esp
		.LBB22:
		.LBB23:
   16     s = "1+1+1+1+1+1+1+1+1"
				leal	-284(%ebp), %eax
				leal	.LC0@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
		.LBE23:
				leal	-284(%ebp), %eax
				leal	-1052(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-284(%ebp), %eax
		.LBE22:
				subl	$4, %esp
				pushl	$255
				pushl	%eax
				leal	-1308(%ebp), %eax
				pushl	%eax
				call	_imp_strncpy@PLT
				addl	$16, %esp
		.L15:
		.LBB24:
		.LBB25:
   17     %while s -> a.("+").s %cycle
				leal	-284(%ebp), %eax
				leal	.LC1@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
		.LBE25:
				leal	-284(%ebp), %eax
				leal	-796(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-284(%ebp), %eax
				movl	%eax, -1696(%ebp)
		.LBE24:
		.LBB26:
				leal	-284(%ebp), %eax
				leal	-1308(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-284(%ebp), %ecx
				movl	%ecx, -1700(%ebp)
		.LBE26:
				subl	$8, %esp
				leal	-1308(%ebp), %eax
				pushl	%eax
				subl	$256, %esp
				movl	%esp, %eax
				movl	%eax, %edx
				movl	-1696(%ebp), %esi
				movl	$64, %eax
				movl	%edx, %edi
				movl	%eax, %ecx
				rep movsl
				leal	-1564(%ebp), %eax
				pushl	%eax
				subl	$256, %esp
				movl	%esp, %eax
				movl	%eax, %edx
				movl	-1700(%ebp), %esi
				movl	$64, %eax
				movl	%edx, %edi
				movl	%eax, %ecx
				rep movsl
				call	_imp_resolve@PLT
				addl	$528, %esp
				testl	%eax, %eax
				je	.L36
				leal	-1672(%ebp), %eax
				movl	%eax, -1640(%ebp)
		.LBB27:
		.LBB28:
				subl	$12, %esp
				pushl	-1640(%ebp)
				call	_imp_readch@PLT
				addl	$16, %esp
		.LBE28:
		.LBE27:
				nop
				jmp	.L25
		.L37:
   18        readch(i)
   19        %exit %if i < 0
				movl	-1672(%ebp), %eax
				testl	%eax, %eax
				js	.L37
				nop
		.L19:
				nop
		.L20:
		.L25:
   20        print symbol(i)
				movl	-1672(%ebp), %eax
				movsbl	%al, %eax
				movb	%al, -1675(%ebp)
		.LBB29:
		.LBB30:
				movsbl	-1675(%ebp), %eax
				subl	$12, %esp
				pushl	%eax
				call	_imp_printsymbol@PLT
				addl	$16, %esp
		.LBE30:
		.LBE29:
   21     %repeat
				jmp	.L15
		.L17:
		.L36:
   22
   23     %cycle
   24        %exit %if i < 0
				movl	-1672(%ebp), %eax
				testl	%eax, %eax
				js	.L38
				nop
		.L22:
				nop
				jmp	.L23
		.L39:
				nop
		.L23:
   25        print symbol(i)
				movl	-1672(%ebp), %eax
				movsbl	%al, %eax
				movb	%al, -1674(%ebp)
		.LBB31:
		.LBB32:
				movsbl	-1674(%ebp), %eax
				subl	$12, %esp
				pushl	%eax
				call	_imp_printsymbol@PLT
				addl	$16, %esp
		.LBE32:
		.LBE31:
		.LBB33:
		.LBB34:
   26     %repeat %until %not s -> a.("+").s
				leal	-540(%ebp), %eax
				leal	.LC1@GOTOFF(%ebx), %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
		.LBE34:
				leal	-540(%ebp), %eax
				leal	-284(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-540(%ebp), %eax
				movl	%eax, -1696(%ebp)
		.LBE33:
		.LBB35:
				leal	-540(%ebp), %eax
				leal	-1308(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-540(%ebp), %edi
				movl	%edi, -1700(%ebp)
		.LBE35:
				subl	$8, %esp
				leal	-1308(%ebp), %eax
				pushl	%eax
				subl	$256, %esp
				movl	%esp, %eax
				movl	%eax, %edx
				movl	-1696(%ebp), %esi
				movl	$64, %eax
				movl	%edx, %edi
				movl	%eax, %ecx
				rep movsl
				leal	-1564(%ebp), %eax
				pushl	%eax
				subl	$256, %esp
				movl	%esp, %eax
				movl	%eax, %edx
				movl	-1700(%ebp), %esi
				movl	$64, %eax
				movl	%edx, %edi
				movl	%eax, %ecx
				rep movsl
				call	_imp_resolve@PLT
				addl	$528, %esp
				testl	%eax, %eax
				je	.L39
				jmp	.L25
		.L38:
   27
   28     %for i = 0,1,10 %cycle
				movl	$-1, -1672(%ebp)
		.L26:
				movl	-1672(%ebp), %eax
				cmpl	$10, %eax
				je	.L40
				movl	-1672(%ebp), %eax
				addl	$1, %eax
				movl	%eax, -1672(%ebp)
				nop
				jmp	.L28
		.L41:
?Non-local
   29        %exit %if i < 0
				movl	-1672(%ebp), %eax
				testl	%eax, %eax
				js	.L41
				nop
		.L30:
				nop
		.L28:
   30        print symbol(i)
				movl	-1672(%ebp), %eax
				movsbl	%al, %eax
				movb	%al, -1673(%ebp)
		.LBB36:
		.LBB37:
				movsbl	-1673(%ebp), %eax
				subl	$12, %esp
				pushl	%eax
				call	_imp_printsymbol@PLT
				addl	$16, %esp
		.LBE37:
		.LBE36:
   31     %repeat
				jmp	.L26
		.L40:
   32
   33     i = ia1(24)
				movl	-1644(%ebp), %eax
				movl	96(%eax), %eax
				movl	%eax, -1672(%ebp)
   34   %end
				nop
		.L31:
				movl	-1692(%ebp), %esp
				movl	$0, -1636(%ebp)
		.LBE21:
		.LBB38:
		.LBB39:
				subl	$12, %esp
				pushl	-1636(%ebp)
				call	exit@PLT
		.LBE39:
		.LBE38:
		.LFE189:
				.section	.rodata
				.align 4
		__PRETTY_FUNCTION__.5621:
				.string	"_imp_SELECTINPUT"
				.align 4
		__PRETTY_FUNCTION__.5625:
				.string	"_imp_SELECTOUTPUT"
				.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:
		.LFB190:
				movl	(%esp), %eax
				ret
		.LFE190:
				.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:
   35   %stop
   36 %end
   37
   38 %endoffile
   37 Statements compiled