Edinburgh IMP77 Compiler - Version 8.4
    1 %externalroutinespec pass
		.Ltext0:
				.section	.rodata
				.align 32
		.LC0:
				.byte	3
				.string	"one"
				.zero	251
				.align 32
		.LC1:
				.byte	3
				.string	"two"
				.zero	251
				.align 32
		.LC2:
				.byte	5
				.string	"three"
				.zero	249
				.align 32
		.LC3:
				.byte	4
				.string	"four"
				.zero	250
				.align 32
		.LC4:
				.byte	3
				.string	"333"
				.zero	251
		CHECKSTAR:
		.LFB189:
    2 %externalroutinespec fail
    3 %constinteger three = 3, four = 4
    4 %routine checkstar(%string(*)%array%name s)
				pushl	%ebp
				movl	%esp, %ebp
				pushl	%edi
				pushl	%esi
				pushl	%ebx
				subl	$556, %esp
				call	__x86.get_pc_thunk.bx
				addl	$_GLOBAL_OFFSET_TABLE_, %ebx
				movl	8(%ebp), %eax
				movl	%eax, -556(%ebp)
				movl	%gs:20, %eax
				movl	%eax, -28(%ebp)
				xorl	%eax, %eax
		.LBB2:
    5   %if s(1) = "one" %and s(2) = "two" %and s(3) = "three" %c
				leal	-284(%ebp), %eax
				leal	.LC0@GOTOFF(%ebx), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-284(%ebp), %eax
		.LBE2:
				movl	-556(%ebp), %edx
				addl	$256, %edx
				subl	$8, %esp
				pushl	%eax
				pushl	%edx
				call	_imp_strcmp@PLT
				addl	$16, %esp
				testl	%eax, %eax
				jne	.L10
		.LBB3:
				leal	-284(%ebp), %eax
				leal	.LC1@GOTOFF(%ebx), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-284(%ebp), %eax
		.LBE3:
				movl	-556(%ebp), %edx
				addl	$512, %edx
				subl	$8, %esp
				pushl	%eax
				pushl	%edx
				call	_imp_strcmp@PLT
				addl	$16, %esp
				testl	%eax, %eax
				jne	.L11
		.LBB4:
				leal	-284(%ebp), %eax
				leal	.LC2@GOTOFF(%ebx), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-284(%ebp), %eax
		.LBE4:
				movl	-556(%ebp), %edx
				addl	$768, %edx
				subl	$8, %esp
				pushl	%eax
				pushl	%edx
				call	_imp_strcmp@PLT
				addl	$16, %esp
				testl	%eax, %eax
				jne	.L12
		.LBB5:
				leal	-284(%ebp), %eax
				leal	.LC3@GOTOFF(%ebx), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-284(%ebp), %eax
		.LBE5:
				movl	-556(%ebp), %edx
				addl	$1024, %edx
				subl	$8, %esp
				pushl	%eax
				pushl	%edx
				call	_imp_strcmp@PLT
				addl	$16, %esp
				testl	%eax, %eax
				jne	.L13
				call	PASS@PLT
				jmp	.L7
		.L10:
				nop
				jmp	.L3
		.L11:
				nop
				jmp	.L3
		.L12:
				nop
				jmp	.L3
		.L13:
				nop
		.L3:
				call	FAIL@PLT
		.L7:
		.LBB6:
    6   %and s(four) = "four" %then pass %else fail
    7   s(three) = "333"
				leal	-540(%ebp), %eax
				leal	.LC4@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
		.LBE6:
				movl	-556(%ebp), %eax
				addl	$768, %eax
				movl	%eax, %edx
				leal	-284(%ebp), %eax
				movl	$256, %ecx
				movl	(%eax), %ebx
				movl	%ebx, (%edx)
				movl	-4(%eax,%ecx), %ebx
				movl	%ebx, -4(%edx,%ecx)
				leal	4(%edx), %ebx
				andl	$-4, %ebx
				subl	%ebx, %edx
				subl	%edx, %eax
				addl	%edx, %ecx
				andl	$-4, %ecx
				shrl	$2, %ecx
				movl	%ecx, %edx
				movl	%ebx, %edi
				movl	%eax, %esi
				movl	%edx, %ecx
				rep movsl
    8 %end
				nop
				movl	-28(%ebp), %eax
				xorl	%gs:20, %eax
				je	.L9
				call	__stack_chk_fail_local
		.L9:
				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:
    9
   10 %endoffile
    8 Statements compiled