Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
		.Ltext0:
				.section	.rodata.str1.1,"aMS",@progbits,1
		.LC0:
				.string	"Illegal cycle H = I,  -1, K"
		.LC1:
				.string	"Illegal cycle H = I,  -1, 1"
				.globl	main
		main:
		.LFB185:
		.LVL0:
				pushq	%rbx
				subq	$2320, %rsp
				movq	%fs:40, %rax
				movq	%rax, 2312(%rsp)
				xorl	%eax, %eax
    2   %integer h, i, j, k
				call	_imp_initialise@PLT
		.LVL1:
		.LDL1:
		.LDL2:
		.LDL3:
		.LDL4:
		.LBB43:
    3   i = 1; j = 2; k = 3
    4   %cycle h = i,j,k
    5   %repeat
    6   %cycle h = i,1,k
    7   %repeat
    8   %cycle h = i,-1,k
    9   %repeat
   10   %cycle h = 1,1,3
				leaq	768(%rsp), %rdi
				leaq	.LC0(%rip), %rsi
				call	_imp_c2istr@PLT
		.LVL2:
				movl	_imp_current_line(%rip), %ebx
				testl	%ebx, %ebx
				movl	$10, %eax
				cmove	%eax, %ebx
				movq	_imp_current_file(%rip), %rsi
				testq	%rsi, %rsi
				je	.L3
				leaq	1024(%rsp), %rdi
				call	_imp_c2istr@PLT
		.LVL3:
		.L4:
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1016(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				movl	$0, %ecx
				movl	$1, %edx
				movl	$5, %esi
				movl	%ebx, %edi
				call	_signal_event@PLT
		.LVL4:
				addq	$512, %rsp
				movl	$-1, %eax
		.LVL5:
		.L5:
		.LDL5:
				movabsq	$8603403804667503988, %rax
				movabsq	$4122536885126263855, %rdx
				movq	%rax, 2049(%rsp)
				movq	%rdx, 2057(%rsp)
				movq	$1886218542, 2065(%rsp)
				movq	$0, 2073(%rsp)
				leaq	2081(%rsp), %rdi
				movl	$223, %ecx
				movl	$0, %eax
				rep stosb
				movb	$20, 2048(%rsp)
				movq	%rsp, %rdi
				leaq	2048(%rsp), %rsi
				movl	$32, %ecx
				rep movsq
		.LVL15:
		.LBE44:
				movb	$20, (%rsp)
				leaq	1024(%rsp), %rdi
				movq	%rsp, %rsi
				movl	$32, %ecx
				rep movsq
				jmp	.L4
		.LVL16:
		.L7:
		.LBE51:
		.LBB52:
		.LBB46:
   11   %repeat
   12   %cycle h = 3,-1,1
   13   %repeat
				subl	$1, %eax
		.LVL6:
				jne	.L5
		.LDL6:
		.LDL7:
		.LDL8:
		.LDL9:
		.LDL10:
		.LDL11:
		.LDL12:
		.LDL13:
		.LDL14:
		.LDL15:
		.LVL7:
		.LDL16:
		.LBE43:
		.LBB45:
   14   %cycle h = 1,1,k
   15   %repeat
   16   %cycle h = k,-1,1
   17   %repeat
   18   %cycle h = i,1,3
   19   %repeat
   20   %cycle h = i,-1,1
   21   %repeat
   22   %cycle h = 1,i,3
				leaq	1280(%rsp), %rdi
				leaq	.LC1(%rip), %rsi
				call	_imp_c2istr@PLT
		.LVL8:
				movl	_imp_current_line(%rip), %ebx
				testl	%ebx, %ebx
				movl	$22, %eax
				cmove	%eax, %ebx
				movq	_imp_current_file(%rip), %rsi
				testq	%rsi, %rsi
				je	.L7
				leaq	1536(%rsp), %rdi
				call	_imp_c2istr@PLT
		.LVL9:
		.L8:
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	1528(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				movl	$0, %ecx
				movl	$1, %edx
				movl	$5, %esi
				movl	%ebx, %edi
				call	_signal_event@PLT
		.LVL10:
		.LDL17:
		.LDL18:
		.LDL19:
		.LDL20:
		.LDL21:
		.LDL22:
		.LDL23:
		.LDL24:
		.LBE45:
		.LBB47:
				movabsq	$8603403804667503988, %rax
				movabsq	$4122536885126263855, %rdx
				movq	%rax, 2049(%rsp)
				movq	%rdx, 2057(%rsp)
				movq	$1886218542, 2065(%rsp)
				movq	$0, 2073(%rsp)
				leaq	2081(%rsp), %rdi
				movl	$223, %ecx
				movl	$0, %eax
				rep stosb
				movb	$20, 2048(%rsp)
				leaq	256(%rsp), %rdi
				leaq	2048(%rsp), %rsi
				movl	$32, %ecx
				rep movsq
		.LVL17:
		.LBE46:
				movb	$20, 256(%rsp)
				leaq	1536(%rsp), %rdi
				leaq	256(%rsp), %rsi
				movl	$32, %ecx
				rep movsq
				jmp	.L8
		.LVL18:
		.L10:
		.LBE52:
		.LBB53:
		.LBB48:
				movabsq	$8603403804667503988, %rax
				movabsq	$4122536885126263855, %rdx
				movq	%rax, 2049(%rsp)
				movq	%rdx, 2057(%rsp)
				movq	$1886218542, 2065(%rsp)
				movq	$0, 2073(%rsp)
				leaq	2081(%rsp), %rdi
				movl	$223, %ecx
				movl	$0, %eax
				rep stosb
				movb	$20, 2048(%rsp)
				leaq	512(%rsp), %rdi
				leaq	2048(%rsp), %rsi
				movl	$32, %ecx
				rep movsq
		.LVL19:
		.LBE48:
				movb	$20, 512(%rsp)
				leaq	2048(%rsp), %rdi
				leaq	512(%rsp), %rsi
				movl	$32, %ecx
				rep movsq
				jmp	.L11
		.LBE53:
		.LFE185:
		.Letext0:
   23   %repeat
   24   %cycle h = 1,i,k
   25   %repeat
   26   %cycle h = i,j,3
   27   %repeat
   28   %cycle h = i,-1,1
   29   %repeat
   30   %cycle h = 1,i,3
				leaq	2304(%rsp), %rdi
				addq	$512, %rsp
				leaq	.LC1(%rip), %rsi
				call	_imp_c2istr@PLT
		.LVL11:
				movl	_imp_current_line(%rip), %ebx
				testl	%ebx, %ebx
				movl	$30, %eax
				cmove	%eax, %ebx
				movq	_imp_current_file(%rip), %rsi
				testq	%rsi, %rsi
				je	.L10
				leaq	2048(%rsp), %rdi
				call	_imp_c2istr@PLT
		.LVL12:
		.L11:
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2040(%rsp)
				pushq	2552(%rsp)
				pushq	2552(%rsp)
				pushq	2552(%rsp)
				pushq	2552(%rsp)
				pushq	2552(%rsp)
				pushq	2552(%rsp)
				pushq	2552(%rsp)
				pushq	2552(%rsp)
				pushq	2552(%rsp)
				pushq	2552(%rsp)
				pushq	2552(%rsp)
				pushq	2552(%rsp)
				pushq	2552(%rsp)
				pushq	2552(%rsp)
				pushq	2552(%rsp)
				pushq	2552(%rsp)
				pushq	2552(%rsp)
				pushq	2552(%rsp)
				pushq	2552(%rsp)
				pushq	2552(%rsp)
				pushq	2552(%rsp)
				pushq	2552(%rsp)
				pushq	2552(%rsp)
				pushq	2552(%rsp)
				pushq	2552(%rsp)
				pushq	2552(%rsp)
				pushq	2552(%rsp)
				pushq	2552(%rsp)
				pushq	2552(%rsp)
				pushq	2552(%rsp)
				pushq	2552(%rsp)
				pushq	2552(%rsp)
				movl	$0, %ecx
				movl	$1, %edx
				movl	$5, %esi
				movl	%ebx, %edi
				call	_signal_event@PLT
		.LVL13:
		.LDL25:
		.LDL26:
		.LDL27:
		.LDL28:
		.LDL29:
		.LDL30:
		.LBE47:
		.LBB49:
		.LBB50:
				addq	$512, %rsp
				movl	$0, %edi
				call	exit@PLT
		.LVL14:
		.L3:
		.LBE50:
		.LBE49:
		.LBB51:
		.LBB44:
   31   %repeat
   32   i = -1
   33   %cycle h = 3,i,1
   34   %repeat
   35 %endofprogram
   37 Statements compiled