Edinburgh IMP77 Compiler - Version 8.4
    1 %begin
		.Ltext0:
				.globl	main
		main:
		.LFB185:
		.LVL0:
				pushq	%r14
				pushq	%r13
				pushq	%r12
				pushq	%rbp
				pushq	%rbx
				subq	$2080, %rsp
				movq	%fs:40, %rax
				movq	%rax, 2072(%rsp)
				xorl	%eax, %eax
    2
				call	_imp_initialise@PLT
		.LVL1:
		.LBB58:
    3   %integerfn getchar
    4     %integer sym
    5     readsymbol(sym)
    6     printstring("Call returned "); printsymbol(sym); newline
				movabsq	$8387235364630978883, %rax
				movabsq	$35615570555509, %rdx
				movq	%rax, 1553(%rsp)
				movq	%rdx, 1561(%rsp)
				movb	$0, 1569(%rsp)
				movw	$0, 1570(%rsp)
				movl	$0, 1572(%rsp)
				leaq	1576(%rsp), %rdi
				movl	$29, %ecx
				movq	%rbp, %rax
				rep stosq
		.LVL7:
				movb	$14, 1552(%rsp)
				movq	1552(%rsp), %rax
				movq	1560(%rsp), %rdx
				movq	%rax, 1808(%rsp)
				movq	%rdx, 1816(%rsp)
				movdqa	1568(%rsp), %xmm3
				movaps	%xmm3, 1824(%rsp)
				movdqa	1584(%rsp), %xmm4
				movaps	%xmm4, 1840(%rsp)
				movdqa	1600(%rsp), %xmm5
				movaps	%xmm5, 1856(%rsp)
				movdqa	1616(%rsp), %xmm6
				movaps	%xmm6, 1872(%rsp)
				movdqa	1632(%rsp), %xmm7
				movaps	%xmm7, 1888(%rsp)
				movdqa	1648(%rsp), %xmm0
				movaps	%xmm0, 1904(%rsp)
				movdqa	1664(%rsp), %xmm1
				movaps	%xmm1, 1920(%rsp)
				movdqa	1680(%rsp), %xmm2
				movaps	%xmm2, 1936(%rsp)
				movdqa	1696(%rsp), %xmm3
				movaps	%xmm3, 1952(%rsp)
				movdqa	1712(%rsp), %xmm4
				movaps	%xmm4, 1968(%rsp)
				movq	1728(%rsp), %r13
				movq	1736(%rsp), %r14
				movq	%r13, 1984(%rsp)
				movq	%r14, 1992(%rsp)
				movq	1744(%rsp), %rsi
				movq	1752(%rsp), %rdi
				movq	%rsi, 2000(%rsp)
				movq	%rdi, 2008(%rsp)
				movq	1760(%rsp), %r9
				movq	1768(%rsp), %r10
				movq	%r9, 2016(%rsp)
				movq	%r10, 2024(%rsp)
				movq	1776(%rsp), %rcx
				movq	1784(%rsp), %rbx
				movq	%rcx, 2032(%rsp)
				movq	%rbx, 2040(%rsp)
				movq	1792(%rsp), %r11
				movq	1800(%rsp), %r12
				movq	%r11, 2048(%rsp)
				movq	%r12, 2056(%rsp)
		.LVL8:
				movb	$14, 1808(%rsp)
				movq	1808(%rsp), %rax
				movq	1816(%rsp), %rdx
				movq	%rax, 1552(%rsp)
				movq	%rdx, 1560(%rsp)
		.LBE68:
		.LBB69:
		.LBB70:
				pushq	%r12
				pushq	%r11
				pushq	%rbx
				pushq	%rcx
				pushq	%r10
				pushq	%r9
				pushq	%rdi
				pushq	%rsi
				pushq	%r14
				pushq	%r13
				pushq	1800(%rsp)
				pushq	1800(%rsp)
				pushq	1800(%rsp)
				pushq	1800(%rsp)
				pushq	1800(%rsp)
				pushq	1800(%rsp)
				pushq	1800(%rsp)
				pushq	1800(%rsp)
				pushq	1800(%rsp)
				pushq	1800(%rsp)
				pushq	1800(%rsp)
				pushq	1800(%rsp)
				pushq	1800(%rsp)
				pushq	1800(%rsp)
				pushq	1800(%rsp)
				pushq	1800(%rsp)
				pushq	1800(%rsp)
				pushq	1800(%rsp)
				pushq	1800(%rsp)
				pushq	1800(%rsp)
				pushq	%rdx
				pushq	%rax
				call	_imp_printstring@PLT
		.LVL9:
		.LBE70:
		.LBE69:
		.LBB71:
		.LBB72:
				addq	$256, %rsp
		.LBE72:
		.LBE71:
    7     %result = sym
				movsbl	12(%rsp), %edi
		.LBB74:
		.LBB73:
				call	_imp_printsymbol@PLT
		.LVL10:
		.LBE73:
		.LBE74:
		.LBB75:
		.LBB76:
				call	_imp_newline@PLT
		.LVL11:
		.LBE76:
		.LBE75:
		.LBE65:
		.LBE64:
    8   %end
    9
   10   printstring("Please enter the word BUG when I ask for data:"); newline
				movabsq	$7286935743315143760, %rax
				movabsq	$7307218078115656814, %rdx
				movq	%rax, 1809(%rsp)
				movq	%rdx, 1817(%rsp)
				movabsq	$6143508457475503904, %rax
				movabsq	$5269332945846870087, %rdx
				movq	%rax, 1825(%rsp)
				movq	%rdx, 1833(%rsp)
				movabsq	$8245921732166377760, %rax
				movabsq	$64190238778400, %rdx
				movq	%rax, 1841(%rsp)
				movq	%rdx, 1849(%rsp)
				movl	$0, %ebp
				movb	$0, 1857(%rsp)
				movw	$0, 1858(%rsp)
				movl	$0, 1860(%rsp)
				leaq	1864(%rsp), %rdi
				movl	$25, %ecx
				movq	%rbp, %rax
				rep stosq
				movb	$46, 1808(%rsp)
				movq	1808(%rsp), %rax
				movq	1816(%rsp), %rdx
				movq	%rax, 16(%rsp)
				movq	%rdx, 24(%rsp)
				movdqa	1824(%rsp), %xmm0
				movaps	%xmm0, 32(%rsp)
				movdqa	1840(%rsp), %xmm1
				movaps	%xmm1, 48(%rsp)
				movdqa	1856(%rsp), %xmm2
				movaps	%xmm2, 64(%rsp)
				movdqa	1872(%rsp), %xmm3
				movaps	%xmm3, 80(%rsp)
				movdqa	1888(%rsp), %xmm4
				movaps	%xmm4, 96(%rsp)
				movdqa	1904(%rsp), %xmm5
				movaps	%xmm5, 112(%rsp)
				movdqa	1920(%rsp), %xmm6
				movaps	%xmm6, 128(%rsp)
				movdqa	1936(%rsp), %xmm7
				movaps	%xmm7, 144(%rsp)
				movdqa	1952(%rsp), %xmm0
				movaps	%xmm0, 160(%rsp)
				movq	1968(%rsp), %r13
				movq	1976(%rsp), %r14
				movq	%r13, 176(%rsp)
				movq	%r14, 184(%rsp)
				movq	1984(%rsp), %rax
				movq	1992(%rsp), %rdx
				movq	%rax, 192(%rsp)
				movq	%rdx, 200(%rsp)
				movq	2000(%rsp), %rcx
				movq	2008(%rsp), %rbx
				movq	%rcx, 208(%rsp)
				movq	%rbx, 216(%rsp)
				movq	2016(%rsp), %rsi
				movq	2024(%rsp), %rdi
				movq	%rsi, 224(%rsp)
				movq	%rdi, 232(%rsp)
				movq	2032(%rsp), %r9
				movq	2040(%rsp), %r10
				movq	%r9, 240(%rsp)
				movq	%r10, 248(%rsp)
				movq	2048(%rsp), %r11
				movq	2056(%rsp), %r12
				movq	%r11, 256(%rsp)
				movq	%r12, 264(%rsp)
		.LVL2:
				movb	$46, 16(%rsp)
				movdqa	16(%rsp), %xmm1
				movaps	%xmm1, 784(%rsp)
				movdqa	1824(%rsp), %xmm2
				movaps	%xmm2, 800(%rsp)
				movdqa	1840(%rsp), %xmm3
				movaps	%xmm3, 816(%rsp)
				movdqa	1856(%rsp), %xmm4
				movaps	%xmm4, 832(%rsp)
				movdqa	1872(%rsp), %xmm5
				movaps	%xmm5, 848(%rsp)
				movdqa	1888(%rsp), %xmm6
				movaps	%xmm6, 864(%rsp)
				movdqa	1904(%rsp), %xmm7
				movaps	%xmm7, 880(%rsp)
				movdqa	1920(%rsp), %xmm0
				movaps	%xmm0, 896(%rsp)
				movdqa	1936(%rsp), %xmm1
				movaps	%xmm1, 912(%rsp)
				movdqa	1952(%rsp), %xmm2
				movaps	%xmm2, 928(%rsp)
				movq	%r13, 944(%rsp)
				movq	%r14, 952(%rsp)
				movq	%rax, 960(%rsp)
				movq	%rdx, 968(%rsp)
				movq	%rcx, 976(%rsp)
				movq	%rbx, 984(%rsp)
				movq	%rsi, 992(%rsp)
				movq	%rdi, 1000(%rsp)
				movq	%r9, 1008(%rsp)
				movq	%r10, 1016(%rsp)
				movq	%r11, 1024(%rsp)
				movq	%r12, 1032(%rsp)
		.LBE58:
		.LBB59:
		.LBB60:
				pushq	%r12
				pushq	%r11
				pushq	%r10
				pushq	%r9
				pushq	%rdi
				pushq	%rsi
				pushq	%rbx
				pushq	%rcx
				pushq	%rdx
				pushq	%rax
				pushq	%r14
				pushq	%r13
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	2056(%rsp)
				pushq	264(%rsp)
				pushq	264(%rsp)
				call	_imp_printstring@PLT
		.LVL3:
		.LBE60:
		.LBE59:
		.LBB61:
		.LBB62:
				addq	$256, %rsp
				call	_imp_newline@PLT
		.LVL4:
		.LBE62:
		.LBE61:
		.LBB63:
		.LBB64:
		.LBB65:
		.LBB66:
		.LBB67:
				leaq	12(%rsp), %rdi
		.LVL5:
				call	_imp_readsymbol@PLT
		.LVL6:
		.LBE67:
		.LBE66:
		.LBB68:
   11
   12   %if 'A' <= getchar <= 'C' %start
   13     printstring("Test successful."); newline
				movabsq	$7166760965259879764, %rax
				movabsq	$3345177706113492323, %rdx
				movq	%rax, 1297(%rsp)
				movq	%rdx, 1305(%rsp)
				movq	$0, 1313(%rsp)
				movq	$0, 1321(%rsp)
				leaq	1329(%rsp), %rdi
				movl	$223, %ecx
				movl	$0, %eax
				rep stosb
				movb	$16, 1296(%rsp)
				leaq	272(%rsp), %rdi
				leaq	1296(%rsp), %rsi
				movl	$32, %ecx
				rep movsq
		.LVL17:
				movb	$16, 272(%rsp)
				leaq	1040(%rsp), %rdi
				leaq	272(%rsp), %rsi
				movl	$32, %ecx
				rep movsq
		.LBE84:
		.LBB85:
		.LBB86:
				subq	$256, %rsp
				leaq	1296(%rsp), %rsi
				movl	$32, %ecx
				movq	%rsp, %rdi
				rep movsq
				call	_imp_printstring@PLT
		.LVL18:
		.LBE86:
		.LBE85:
		.LBB87:
		.LBB88:
				addq	$256, %rsp
				call	_imp_newline@PLT
		.LVL19:
				jmp	.L3
		.LBE88:
		.LBE87:
		.LFE185:
		.Letext0:
   14   %else
   15     printstring("Test failed - getchar was called twice."); newline
				movabsq	$7593462736302073172, %rax
				movabsq	$7306844298620986732, %rdx
				movq	%rax, 1297(%rsp)
				movq	%rdx, 1305(%rsp)
				movabsq	$7023117819540169588, %rax
				movabsq	$7234307589186723955, %rdx
				movq	%rax, 1313(%rsp)
				movq	%rdx, 1321(%rsp)
				movabsq	$13059326574294048, %rax
				movl	$0, %edx
				movq	%rax, 1329(%rsp)
				movq	%rdx, 1337(%rsp)
				movb	$0, 1345(%rsp)
				movw	$0, 1346(%rsp)
				movl	$0, 1348(%rsp)
				leaq	1352(%rsp), %rdi
				movl	$25, %ecx
				movl	$0, %eax
				rep stosq
				movb	$39, 1296(%rsp)
				movq	1296(%rsp), %rax
				movq	1304(%rsp), %rdx
				movq	%rax, 528(%rsp)
				movq	%rdx, 536(%rsp)
		.LVL13:
				movb	$39, 528(%rsp)
		.LBE77:
		.LBB78:
		.LBB79:
				pushq	1544(%rsp)
				pushq	1544(%rsp)
				pushq	1544(%rsp)
				pushq	1544(%rsp)
				pushq	1544(%rsp)
				pushq	1544(%rsp)
				pushq	1544(%rsp)
				pushq	1544(%rsp)
				pushq	1544(%rsp)
				pushq	1544(%rsp)
				pushq	1544(%rsp)
				pushq	1544(%rsp)
				pushq	1544(%rsp)
				pushq	1544(%rsp)
				pushq	1544(%rsp)
				pushq	1544(%rsp)
				pushq	1544(%rsp)
				pushq	1544(%rsp)
				pushq	1544(%rsp)
				pushq	1544(%rsp)
				pushq	1544(%rsp)
				pushq	1544(%rsp)
				pushq	1544(%rsp)
				pushq	1544(%rsp)
				pushq	1544(%rsp)
				pushq	1544(%rsp)
				pushq	1544(%rsp)
				pushq	1544(%rsp)
				pushq	1544(%rsp)
				pushq	1544(%rsp)
				pushq	776(%rsp)
				pushq	776(%rsp)
				call	_imp_printstring@PLT
		.LVL14:
		.LBE79:
		.LBE78:
		.LBB80:
		.LBB81:
				addq	$256, %rsp
				call	_imp_newline@PLT
		.LVL15:
		.L3:
		.LBE81:
		.LBE80:
		.LBB82:
		.LBB83:
				movl	$0, %edi
				call	exit@PLT
		.LVL16:
		.L6:
		.LBE83:
		.LBE82:
		.LBB84:
   16   %finish
   17
				movl	12(%rsp), %eax
				subl	$65, %eax
				cmpl	$2, %eax
				jbe	.L6
		.L2:
		.LVL12:
		.LBE63:
		.LBB77:
   18 %endofprogram
   19 Statements compiled