Edinburgh IMP77 Compiler - Version 8.4
    1 %externalroutine toplev
		.Ltext0:
				.globl	next_free_bound_index
				.bss
				.align 4
		next_free_bound_index:
				.zero	4
				.comm	_lb,384,32
				.comm	_ub,384,32
				.section	.rodata
		.LC1:
				.string	"Illegal cycle I2 = I3, 1, I1"
				.align 32
		.LC0:
				.byte	18
				.string	"test-in/test10.imp"
				.zero	236
				.globl	TOPLEV
		TOPLEV:
		.LFB189:
				pushl	%ebp
				movl	%esp, %ebp
				pushl	%edi
				pushl	%esi
				pushl	%ebx
				subl	$1612, %esp
				call	__x86.get_pc_thunk.bx
				addl	$_GLOBAL_OFFSET_TABLE_, %ebx
				movl	%gs:20, %eax
				movl	%eax, -28(%ebp)
				xorl	%eax, %eax
    2   %longreal lr1
    3   %integer i, i1 = 1, i2 = 2, i3 = 3
				movl	$1, -1604(%ebp)
				movl	$2, -1600(%ebp)
				movl	$3, -1596(%ebp)
    4
    5   i = i1 %if i2 = i3
				movl	-1600(%ebp), %eax
				cmpl	-1596(%ebp), %eax
				jne	.L46
				movl	-1604(%ebp), %eax
				movl	%eax, -1592(%ebp)
				jmp	.L7
		.L3:
		.L46:
				nop
		.L4:
		.L7:
    6 %comment  i = i1 %if i2 = i3
    7   i = i1 %while i2 = i3
				movl	-1600(%ebp), %eax
				cmpl	-1596(%ebp), %eax
				je	.L5
				jmp	.L6
		.L5:
				movl	-1604(%ebp), %eax
				movl	%eax, -1592(%ebp)
				jmp	.L7
		.L6:
		.L8:
    8 %comment  i = i1 %while i2 = i3
    9   i = i1 %until i2 = i3
				movl	-1604(%ebp), %eax
				movl	%eax, -1592(%ebp)
				movl	-1600(%ebp), %eax
				cmpl	-1596(%ebp), %eax
				je	.L47
				jmp	.L6
		.L47:
				nop
		.L10:
   10 %comment  i = i1 %until i2 = i3
   11   i = i1 %unless i2 = i3
				movl	-1600(%ebp), %eax
				cmpl	-1596(%ebp), %eax
				je	.L48
				movl	-1604(%ebp), %eax
				movl	%eax, -1592(%ebp)
				jmp	.L12
		.L48:
				nop
		.L12:
		.LBB2:
   12 %comment  i = i1 %unless i2 = i3
   13   i = i1 %for i2 = i3, 1, i1
				movl	-1596(%ebp), %eax
				movl	%eax, -1588(%ebp)
				movl	-1604(%ebp), %eax
				movl	%eax, -1584(%ebp)
		.LBB3:
				movl	-1584(%ebp), %eax
				subl	-1588(%ebp), %eax
				movl	%eax, -1580(%ebp)
				movl	-1580(%ebp), %eax
				xorl	$1, %eax
				shrl	$31, %eax
				movzbl	%al, %eax
		.LBE3:
				testl	%eax, %eax
				je	.L13
				leal	-1052(%ebp), %eax
				subl	$8, %esp
				leal	.LC1@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	.L14
				movl	_imp_current_line@GOT(%ebx), %eax
				movl	(%eax), %eax
				movl	%eax, -1612(%ebp)
				jmp	.L15
		.L14:
				movl	$13, -1612(%ebp)
		.L15:
				movl	_imp_current_file@GOT(%ebx), %eax
				movl	(%eax), %eax
				testl	%eax, %eax
				je	.L16
				movl	_imp_current_file@GOT(%ebx), %eax
				movl	(%eax), %edx
				leal	-796(%ebp), %eax
				subl	$8, %esp
				pushl	%edx
				pushl	%eax
				call	_imp_c2istr@PLT
				addl	$12, %esp
				jmp	.L17
		.L16:
		.LBB4:
				leal	-284(%ebp), %eax
				leal	.LC0@GOTOFF(%ebx), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-1564(%ebp), %eax
				leal	-284(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
		.LBE4:
				leal	-796(%ebp), %eax
				leal	-1564(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
		.L17:
				pushl	$0
				pushl	$1
				pushl	$5
				subl	$256, %esp
				movl	%esp, %eax
				movl	%eax, %edi
				leal	-1052(%ebp), %eax
				movl	$64, %edx
				movl	%eax, %esi
				movl	%edx, %ecx
				rep movsl
				pushl	-1612(%ebp)
				subl	$256, %esp
				movl	%esp, %eax
				movl	%eax, %edi
				leal	-796(%ebp), %eax
				movl	$64, %edx
				movl	%eax, %esi
				movl	%edx, %ecx
				rep movsl
				call	_signal_event@PLT
				addl	$528, %esp
		.L13:
				movl	-1588(%ebp), %eax
				subl	$1, %eax
				movl	%eax, -1600(%ebp)
		.L18:
				movl	-1600(%ebp), %eax
				cmpl	-1584(%ebp), %eax
				je	.L49
				addl	$1, -1600(%ebp)
				movl	-1604(%ebp), %eax
				movl	%eax, -1592(%ebp)
				jmp	.L18
		.L49:
				nop
		.L20:
		.LBE2:
   14 %comment  i = i1 %for i2 = i3, 1, i1
   15
   16 %comment
   17   i = i1 %and i1 = i2 %if i2 = i3
				movl	-1600(%ebp), %eax
				cmpl	-1596(%ebp), %eax
				jne	.L50
				movl	-1604(%ebp), %eax
				movl	%eax, -1592(%ebp)
				movl	-1600(%ebp), %eax
				movl	%eax, -1604(%ebp)
				jmp	.L26
		.L22:
		.L50:
				nop
		.L23:
		.L26:
   18 %comment  i = i1 %and i1 = i2 %if i2 = i3
   19   i = i1 %and i1 = i2 %while i2 = i3
				movl	-1600(%ebp), %eax
				cmpl	-1596(%ebp), %eax
				je	.L24
				jmp	.L25
		.L24:
				movl	-1604(%ebp), %eax
				movl	%eax, -1592(%ebp)
				movl	-1600(%ebp), %eax
				movl	%eax, -1604(%ebp)
				jmp	.L26
		.L25:
		.L27:
   20 %comment  i = i1 %and i1 = i2 %while i2 = i3
   21   i = i1 %and i1 = i2 %until i2 = i3
				movl	-1604(%ebp), %eax
				movl	%eax, -1592(%ebp)
				movl	-1600(%ebp), %eax
				movl	%eax, -1604(%ebp)
				movl	-1600(%ebp), %eax
				cmpl	-1596(%ebp), %eax
				je	.L51
				jmp	.L25
		.L51:
				nop
		.L29:
   22 %comment  i = i1 %and i1 = i2 %until i2 = i3
   23   i = i1 %and i1 = i2 %unless i2 = i3
				movl	-1600(%ebp), %eax
				cmpl	-1596(%ebp), %eax
				je	.L52
				movl	-1604(%ebp), %eax
				movl	%eax, -1592(%ebp)
				movl	-1600(%ebp), %eax
				movl	%eax, -1604(%ebp)
				jmp	.L31
		.L52:
				nop
		.L31:
		.LBB5:
   24 %comment  i = i1 %and i1 = i2 %unless i2 = i3
   25   i = i1 %and i1 = i2 %for i2 = i3, 1, i1
				movl	-1596(%ebp), %eax
				movl	%eax, -1576(%ebp)
				movl	-1604(%ebp), %eax
				movl	%eax, -1572(%ebp)
		.LBB6:
				movl	-1572(%ebp), %eax
				subl	-1576(%ebp), %eax
				movl	%eax, -1568(%ebp)
				movl	-1568(%ebp), %eax
				xorl	$1, %eax
				shrl	$31, %eax
				movzbl	%al, %eax
		.LBE6:
				testl	%eax, %eax
				je	.L32
				leal	-540(%ebp), %eax
				subl	$8, %esp
				leal	.LC1@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	.L33
				movl	_imp_current_line@GOT(%ebx), %eax
				movl	(%eax), %eax
				movl	%eax, -1612(%ebp)
				jmp	.L34
		.L33:
				movl	$25, -1612(%ebp)
		.L34:
				movl	_imp_current_file@GOT(%ebx), %eax
				movl	(%eax), %eax
				testl	%eax, %eax
				je	.L35
				movl	_imp_current_file@GOT(%ebx), %eax
				movl	(%eax), %edx
				leal	-284(%ebp), %eax
				subl	$8, %esp
				pushl	%edx
				pushl	%eax
				call	_imp_c2istr@PLT
				addl	$12, %esp
				jmp	.L36
		.L35:
		.LBB7:
				leal	-284(%ebp), %eax
				leal	.LC0@GOTOFF(%ebx), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-1308(%ebp), %eax
				leal	-284(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
		.LBE7:
				leal	-284(%ebp), %eax
				leal	-1308(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
		.L36:
				pushl	$0
				pushl	$1
				pushl	$5
				subl	$256, %esp
				movl	%esp, %eax
				movl	%eax, %edi
				leal	-540(%ebp), %eax
				movl	$64, %edx
				movl	%eax, %esi
				movl	%edx, %ecx
				rep movsl
				pushl	-1612(%ebp)
				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	_signal_event@PLT
				addl	$528, %esp
		.L32:
				movl	-1576(%ebp), %eax
				subl	$1, %eax
				movl	%eax, -1600(%ebp)
		.L37:
				movl	-1600(%ebp), %eax
				cmpl	-1572(%ebp), %eax
				je	.L53
				addl	$1, -1600(%ebp)
				movl	-1604(%ebp), %eax
				movl	%eax, -1592(%ebp)
				movl	-1600(%ebp), %eax
				movl	%eax, -1604(%ebp)
				jmp	.L37
		.L53:
				nop
		.L39:
		.LBE5:
   26 %comment  i = i1 %and i1 = i2 %for i2 = i3, 1, i1
   27
   28 %end
				nop
				movl	-28(%ebp), %eax
				xorl	%gs:20, %eax
				je	.L41
				call	__stack_chk_fail_local
		.L41:
				leal	-12(%ebp), %esp
				popl	%ebx
				popl	%esi
				popl	%edi
				popl	%ebp
				ret
		.LFE189:
				.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:
		.LFB190:
				movl	(%esp), %ebx
				ret
		.LFE190:
		.Letext0:
?LR1 unused
   29 %endoffile
   15 Statements compiled