Edinburgh IMP77 Compiler - Version 8.4
    1 ! Imp needs some perm code to determine upper and lower bounds of arrays
		.Ltext0:
				.section	.rodata
				.align 4
		.LC2:
				.string	"Illegal cycle A0 = _imp_LB(A, 0), 1, _imp_UB(A, 0)"
				.align 4
		.LC3:
				.string	"Illegal cycle A1 = _imp_LB(A, 1), 1, _imp_UB(A, 1)"
				.align 32
		.LC0:
				.byte	22
				.string	"test-in/conformant.imp"
				.zero	232
				.align 32
		.LC1:
				.byte	2
				.string	", "
				.zero	252
		PRINTARRAY.6028:
		.LFB190:
    2 ! which might look something like this...
    3 %permintegerfnspec LB(%integerarray(2)%name A, %integer index)
    4 %permintegerfnspec UB(%integerarray(2)%name A, %integer index)
    5
    6 %begin
				leal	4(%esp), %ecx
				andl	$-16, %esp
				pushl	-4(%ecx)
				pushl	%ebp
				movl	%esp, %ebp
				pushl	%edi
				pushl	%ebx
				pushl	%ecx
				subl	$268, %esp
				call	__x86.get_pc_thunk.bx
				addl	$_GLOBAL_OFFSET_TABLE_, %ebx
				movl	%ecx, %eax
				movl	4(%eax), %edx
				movl	%edx, -268(%ebp)
				movl	%gs:20, %edi
				movl	%edi, -28(%ebp)
				xorl	%edi, %edi
				leal	8(%ebp), %edx
				movl	%edx, -252(%ebp)
				subl	$8, %esp
				pushl	-268(%ebp)
				pushl	(%eax)
				call	_imp_initialise@PLT
				addl	$16, %esp
    7
    8   %routine printarray(%integerarray(2)%name A)
				pushl	%ebp
				movl	%esp, %ebp
				pushl	%edi
				pushl	%esi
				pushl	%ebx
				subl	$2380, %esp
				call	__x86.get_pc_thunk.bx
				addl	$_GLOBAL_OFFSET_TABLE_, %ebx
				movl	8(%ebp), %eax
				movl	%eax, -2380(%ebp)
				movl	%ecx, -2384(%ebp)
				movl	%gs:20, %eax
				movl	%eax, -28(%ebp)
				xorl	%eax, %eax
		.LBB17:
    9     %integer A0, A1
   10     ! Imp needs some perm code to determine upper and lower bounds of arrays
   11     %for A0 = LB(A,0), 1, UB(A,0) %cycle
				subl	$8, %esp
				pushl	$0
				pushl	-2380(%ebp)
				call	_imp_LB@PLT
				addl	$16, %esp
				movl	%eax, -2356(%ebp)
				subl	$8, %esp
				pushl	$0
				pushl	-2380(%ebp)
				call	_imp_UB@PLT
				addl	$16, %esp
				movl	%eax, -2352(%ebp)
		.LBB18:
				movl	-2352(%ebp), %eax
				subl	-2356(%ebp), %eax
				movl	%eax, -2348(%ebp)
				movl	-2348(%ebp), %eax
				xorl	$1, %eax
				shrl	$31, %eax
				movzbl	%al, %eax
		.LBE18:
				testl	%eax, %eax
				je	.L2
				leal	-1308(%ebp), %eax
				subl	$8, %esp
				leal	.LC2@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	.L3
				movl	_imp_current_line@GOT(%ebx), %eax
				movl	(%eax), %eax
				movl	%eax, -2388(%ebp)
				jmp	.L4
		.L3:
				movl	$11, -2388(%ebp)
		.L4:
				movl	_imp_current_file@GOT(%ebx), %eax
				movl	(%eax), %eax
				testl	%eax, %eax
				je	.L5
				movl	_imp_current_file@GOT(%ebx), %eax
				movl	(%eax), %edx
				leal	-1052(%ebp), %eax
				subl	$8, %esp
				pushl	%edx
				pushl	%eax
				call	_imp_c2istr@PLT
				addl	$12, %esp
				jmp	.L6
		.L5:
		.LBB19:
				leal	-284(%ebp), %eax
				leal	.LC0@GOTOFF(%ebx), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-2332(%ebp), %eax
				leal	-284(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
		.LBE19:
				leal	-1052(%ebp), %eax
				leal	-2332(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
		.L6:
				pushl	$0
				pushl	$1
				pushl	$5
				subl	$256, %esp
				movl	%esp, %eax
				movl	%eax, %edi
				leal	-1308(%ebp), %eax
				movl	$64, %edx
				movl	%eax, %esi
				movl	%edx, %ecx
				rep movsl
				pushl	-2388(%ebp)
				subl	$256, %esp
				movl	%esp, %eax
				movl	%eax, %edi
				leal	-1052(%ebp), %eax
				movl	$64, %edx
				movl	%eax, %esi
				movl	%edx, %ecx
				rep movsl
				call	_signal_event@PLT
				addl	$528, %esp
		.L2:
				movl	-2356(%ebp), %eax
				subl	$1, %eax
				movl	%eax, -2364(%ebp)
		.L7:
				movl	-2364(%ebp), %eax
				cmpl	-2352(%ebp), %eax
				je	.L22
				addl	$1, -2364(%ebp)
		.LBB20:
				nop
		.L9:
		.LBE17:
		.LBB28:
		.LBB29:
				call	_imp_newline@PLT
		.LBE29:
		.LBE28:
   12       %for A1 = LB(A,1), 1, UB(A,1) %cycle
				subl	$8, %esp
				pushl	$1
				pushl	-2380(%ebp)
				call	_imp_LB@PLT
				addl	$16, %esp
				movl	%eax, -2344(%ebp)
				subl	$8, %esp
				pushl	$1
				pushl	-2380(%ebp)
				call	_imp_UB@PLT
				addl	$16, %esp
				movl	%eax, -2340(%ebp)
		.LBB21:
				movl	-2340(%ebp), %eax
				subl	-2344(%ebp), %eax
				movl	%eax, -2336(%ebp)
				movl	-2336(%ebp), %eax
				xorl	$1, %eax
				shrl	$31, %eax
				movzbl	%al, %eax
		.LBE21:
				testl	%eax, %eax
				je	.L10
				leal	-796(%ebp), %eax
				subl	$8, %esp
				leal	.LC3@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	.L11
				movl	_imp_current_line@GOT(%ebx), %eax
				movl	(%eax), %eax
				movl	%eax, -2388(%ebp)
				jmp	.L12
		.L11:
				movl	$12, -2388(%ebp)
		.L12:
				movl	_imp_current_file@GOT(%ebx), %eax
				movl	(%eax), %eax
				testl	%eax, %eax
				je	.L13
				movl	_imp_current_file@GOT(%ebx), %eax
				movl	(%eax), %edx
				leal	-540(%ebp), %eax
				subl	$8, %esp
				pushl	%edx
				pushl	%eax
				call	_imp_c2istr@PLT
				addl	$12, %esp
				jmp	.L14
		.L13:
		.LBB22:
				leal	-1820(%ebp), %eax
				leal	.LC0@GOTOFF(%ebx), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-2076(%ebp), %eax
				leal	-1820(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
		.LBE22:
				leal	-540(%ebp), %eax
				leal	-2076(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
		.L14:
				pushl	$0
				pushl	$1
				pushl	$5
				subl	$256, %esp
				movl	%esp, %eax
				movl	%eax, %edi
				leal	-796(%ebp), %eax
				movl	$64, %edx
				movl	%eax, %esi
				movl	%edx, %ecx
				rep movsl
				pushl	-2388(%ebp)
				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	_signal_event@PLT
				addl	$528, %esp
		.L10:
				movl	-2344(%ebp), %eax
				subl	$1, %eax
				movl	%eax, -2360(%ebp)
		.L15:
				movl	-2360(%ebp), %eax
				cmpl	-2340(%ebp), %eax
				je	.L23
				addl	$1, -2360(%ebp)
				nop
		.L17:
		.LBE20:
		.LBB26:
		.LBB27:
				call	_imp_newline@PLT
		.LBE27:
		.LBE26:
   13         write(A(A0, A1), 3); print string(", ")
				movl	-2360(%ebp), %eax
				leal	0(,%eax,4), %edx
				movl	-2380(%ebp), %eax
				addl	%edx, %eax
				movl	(%eax), %eax
				subl	$8, %esp
				pushl	$3
				pushl	%eax
				call	_imp_writeint@PLT
				addl	$16, %esp
		.LBB23:
				leal	-1820(%ebp), %eax
				leal	.LC1@GOTOFF(%ebx), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-1564(%ebp), %eax
				leal	-1820(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-284(%ebp), %eax
				leal	-1564(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
		.LBE23:
		.LBB24:
		.LBB25:
				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
		.LBE25:
		.LBE24:
   14       %repeat
				jmp	.L15
		.L23:
   15       newline
   16     %repeat
				jmp	.L7
		.L22:
   17     newline
   18   %end
				nop
				movl	-28(%ebp), %eax
				xorl	%gs:20, %eax
				je	.L19
				call	__stack_chk_fail_local
		.L19:
				leal	-12(%ebp), %esp
				popl	%ebx
				popl	%esi
				popl	%edi
				popl	%ebp
				ret
		.LFE190:
				.globl	main
		main:
		.LFB189:
   19
   20   %integername element
   21   %integer i
   22
   23   ! imp77 doesn't allow initialised multi-dimensional arrays.  (Imp80 would!)
   24   ! So I'll initialise these explicitly:
   25   %integerarray fred(0:1, 0:2)       { simple case }
				leal	-164(%ebp), %edx
				movl	$0, %eax
				movl	$17, %ecx
				movl	%edx, %edi
				rep stosl
				leal	-236(%ebp), %eax
				movl	%eax, -164(%ebp)
				movl	$4, -160(%ebp)
   26   %integerarray jim(11:13, 100:103)  { non-zero lower bounds }
				leal	-96(%ebp), %edx
				movl	$0, %eax
				movl	$17, %ecx
				movl	%edx, %edi
				rep stosl
				leal	-212(%ebp), %eax
				movl	%eax, -96(%ebp)
				movl	$4, -92(%ebp)
   27   element == fred(0,0); element = i %and element == element++1 %for i = 0, 1, 5
				leal	-236(%ebp), %eax
				movl	%eax, -248(%ebp)
				movl	$-1, -244(%ebp)
		.L25:
				cmpl	$5, -244(%ebp)
				je	.L34
				addl	$1, -244(%ebp)
				movl	-248(%ebp), %eax
				movl	-244(%ebp), %edx
				movl	%edx, (%eax)
				addl	$4, -248(%ebp)
				jmp	.L25
		.L34:
				nop
		.L27:
   28   element == jim(11,100); element = i %and element == element++1 %for i = 0, 1, 11
				leal	-212(%ebp), %eax
				movl	%eax, -248(%ebp)
				movl	$-1, -244(%ebp)
		.L28:
				cmpl	$11, -244(%ebp)
				je	.L35
				addl	$1, -244(%ebp)
				movl	-248(%ebp), %eax
				movl	-244(%ebp), %edx
				movl	%edx, (%eax)
				addl	$4, -248(%ebp)
				jmp	.L28
		.L35:
				nop
		.L30:
   29
   30   printarray(fred)
				subl	$12, %esp
				leal	-252(%ebp), %eax
				leal	-236(%ebp), %edx
				pushl	%edx
				movl	%eax, %ecx
				call	PRINTARRAY.6028
				addl	$16, %esp
   31   printarray(jim)
				subl	$12, %esp
				leal	-252(%ebp), %eax
				leal	-212(%ebp), %edx
				pushl	%edx
				movl	%eax, %ecx
				call	PRINTARRAY.6028
				addl	$16, %esp
				movl	$0, -240(%ebp)
		.LBB30:
		.LBB31:
				subl	$12, %esp
				pushl	-240(%ebp)
				call	exit@PLT
		.LBE31:
		.LBE30:
		.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:
		.LFB191:
				movl	(%esp), %ebx
				ret
		.LFE191:
		.Letext0:
   32
   33 %endofprogram
   25 Statements compiled