Edinburgh IMP77 Compiler - Version 8.4
    1 ! microsoft copilot "write a quicksort function in the Imp77 language"
		.Ltext0:
		QUICKSORT.6024:
		.LFB190:
    2 %begin
				leal	4(%esp), %ecx
				andl	$-16, %esp
				pushl	-4(%ecx)
				pushl	%ebp
				movl	%esp, %ebp
				pushl	%edi
				pushl	%esi
				pushl	%ebx
				pushl	%ecx
				subl	$1144, %esp
				call	__x86.get_pc_thunk.bx
				addl	$_GLOBAL_OFFSET_TABLE_, %ebx
				movl	%ecx, %eax
				movl	4(%eax), %edx
				movl	%edx, -1148(%ebp)
				movl	%gs:20, %esi
				movl	%esi, -28(%ebp)
				xorl	%esi, %esi
				leal	8(%ebp), %edx
				movl	%edx, -1132(%ebp)
				subl	$8, %esp
				pushl	-1148(%ebp)
				pushl	(%eax)
				call	_imp_initialise@PLT
				addl	$16, %esp
    3    %routine quicksort(%integer %array %name a, %integer left, %integer right)
				pushl	%ebp
				movl	%esp, %ebp
				pushl	%ebx
				subl	$36, %esp
				call	__x86.get_pc_thunk.ax
				addl	$_GLOBAL_OFFSET_TABLE_, %eax
				movl	%ecx, %ebx
				movl	%ecx, -28(%ebp)
    4       %integer i, j, pivot, temp
    5       i = left
				movl	12(%ebp), %eax
				movl	%eax, -24(%ebp)
    6       j = right
				movl	16(%ebp), %eax
				movl	%eax, -20(%ebp)
    7       pivot = a((left + right) // 2)
				movl	12(%ebp), %edx
				movl	16(%ebp), %eax
				addl	%edx, %eax
				movl	%eax, %edx
				shrl	$31, %edx
				addl	%edx, %eax
				sarl	%eax
				leal	0(,%eax,4), %edx
				movl	8(%ebp), %eax
				addl	%edx, %eax
				movl	(%eax), %eax
				movl	%eax, -16(%ebp)
		.L2:
		.L3:
    8       %cycle
    9          i = i + 1 %while a(i) < pivot
				movl	-24(%ebp), %eax
				leal	0(,%eax,4), %edx
				movl	8(%ebp), %eax
				addl	%edx, %eax
				movl	(%eax), %eax
				cmpl	%eax, -16(%ebp)
				jg	.L4
				jmp	.L5
		.L4:
				addl	$1, -24(%ebp)
				jmp	.L2
		.L5:
		.L6:
   10          j = j - 1 %while a(j) > pivot
				movl	-20(%ebp), %eax
				leal	0(,%eax,4), %edx
				movl	8(%ebp), %eax
				addl	%edx, %eax
				movl	(%eax), %eax
				cmpl	%eax, -16(%ebp)
				jge	.L18
				subl	$1, -20(%ebp)
				jmp	.L5
		.L18:
				nop
		.L8:
   11          %exit %if i > j
				movl	-24(%ebp), %eax
				cmpl	-20(%ebp), %eax
				jg	.L19
				nop
		.L10:
				nop
		.L11:
   12          temp = a(i)
				movl	-24(%ebp), %eax
				leal	0(,%eax,4), %edx
				movl	8(%ebp), %eax
				addl	%edx, %eax
				movl	(%eax), %eax
				movl	%eax, -12(%ebp)
   13          a(i) = a(j)
				movl	-20(%ebp), %eax
				leal	0(,%eax,4), %edx
				movl	8(%ebp), %eax
				addl	%edx, %eax
				movl	-24(%ebp), %edx
				leal	0(,%edx,4), %ecx
				movl	8(%ebp), %edx
				addl	%ecx, %edx
				movl	(%eax), %eax
				movl	%eax, (%edx)
   14          a(j) = temp
				movl	-20(%ebp), %eax
				leal	0(,%eax,4), %edx
				movl	8(%ebp), %eax
				addl	%eax, %edx
				movl	-12(%ebp), %eax
				movl	%eax, (%edx)
   15          i = i + 1
				addl	$1, -24(%ebp)
   16          j = j - 1
				subl	$1, -20(%ebp)
   17       %repeat
				jmp	.L2
		.L19:
   18       quicksort(a, left, j) %if left < j
				movl	12(%ebp), %eax
				cmpl	-20(%ebp), %eax
				jge	.L20
				subl	$4, %esp
				pushl	-20(%ebp)
				pushl	12(%ebp)
				pushl	8(%ebp)
				movl	%ebx, %ecx
				call	QUICKSORT.6024
				addl	$16, %esp
				jmp	.L13
		.L20:
				nop
		.L13:
   19       quicksort(a, i, right) %if i < right
				movl	-24(%ebp), %eax
				cmpl	16(%ebp), %eax
				jge	.L21
				subl	$4, %esp
				pushl	16(%ebp)
				pushl	-24(%ebp)
				pushl	8(%ebp)
				movl	%ebx, %ecx
				call	QUICKSORT.6024
				addl	$16, %esp
				nop
		.L15:
				nop
				movl	-4(%ebp), %ebx
				leave
				ret
		.LFE190:
				.section	.rodata
				.align 32
		.LC0:
				.byte	8
				.string	"Before: "
				.zero	246
				.align 32
		.LC1:
				.byte	8
				.string	"After:  "
				.zero	246
				.globl	main
		main:
		.LFB189:
   20    %end
				jmp	.L15
		.L21:
   21    %own %integer %array data(0 : 9) = 6, 5, 4, 3, 2, 1, 7, 8, 9, 0
				leal	-1120(%ebp), %edx
				movl	$0, %eax
				movl	$17, %ecx
				movl	%edx, %edi
				rep stosl
				leal	DATA.6039@GOTOFF(%ebx), %eax
				movl	%eax, -1120(%ebp)
				movl	$4, -1116(%ebp)
		.LBB14:
   22    %integer i
   23
   24    printstring("Before: "); write(data(i),-1) %for i = 0,1,9; newline
				leal	-284(%ebp), %eax
				leal	.LC0@GOTOFF(%ebx), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-1052(%ebp), %eax
				leal	-284(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-540(%ebp), %eax
				leal	-1052(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
		.LBE14:
		.LBB15:
		.LBB16:
				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	_imp_printstring@PLT
				addl	$256, %esp
		.LBE16:
		.LBE15:
				movl	$-1, -1128(%ebp)
		.L23:
				cmpl	$9, -1128(%ebp)
				je	.L32
				addl	$1, -1128(%ebp)
				movl	-1128(%ebp), %eax
				movl	DATA.6039@GOTOFF(%ebx,%eax,4), %eax
				subl	$8, %esp
				pushl	$-1
				pushl	%eax
				call	_imp_writeint@PLT
				addl	$16, %esp
				jmp	.L23
		.L32:
				nop
		.L25:
		.LBB17:
		.LBB18:
				call	_imp_newline@PLT
		.LBE18:
		.LBE17:
   25    quicksort(data, 0, 9)
				subl	$4, %esp
				leal	-1132(%ebp), %eax
				pushl	$9
				pushl	$0
				leal	DATA.6039@GOTOFF(%ebx), %edx
				pushl	%edx
				movl	%eax, %ecx
				call	QUICKSORT.6024
				addl	$16, %esp
		.LBB19:
   26    printstring("After:  "); write(data(i),-1) %for i = 0,1,9; newline
				leal	-284(%ebp), %eax
				leal	.LC1@GOTOFF(%ebx), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-796(%ebp), %eax
				leal	-284(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
				leal	-284(%ebp), %eax
				leal	-796(%ebp), %edx
				movl	$64, %ecx
				movl	%eax, %edi
				movl	%edx, %esi
				rep movsl
		.LBE19:
		.LBB20:
		.LBB21:
				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
		.LBE21:
		.LBE20:
				movl	$-1, -1128(%ebp)
		.L26:
				cmpl	$9, -1128(%ebp)
				je	.L33
				addl	$1, -1128(%ebp)
				movl	-1128(%ebp), %eax
				movl	DATA.6039@GOTOFF(%ebx,%eax,4), %eax
				subl	$8, %esp
				pushl	$-1
				pushl	%eax
				call	_imp_writeint@PLT
				addl	$16, %esp
				jmp	.L26
		.L33:
				nop
		.L28:
		.LBB22:
		.LBB23:
				call	_imp_newline@PLT
				movl	$0, -1124(%ebp)
		.LBE23:
		.LBE22:
		.LBB24:
		.LBB25:
				subl	$12, %esp
				pushl	-1124(%ebp)
				call	exit@PLT
		.LBE25:
		.LBE24:
		.LFE189:
				.data
				.align 32
		DATA.6039:
				.long	6
				.long	5
				.long	4
				.long	3
				.long	2
				.long	1
				.long	7
				.long	8
				.long	9
				.long	0
				.section	.text.__x86.get_pc_thunk.ax,"axG",@progbits,__x86.get_pc_thunk.ax,comdat
				.globl	__x86.get_pc_thunk.ax
				.hidden	__x86.get_pc_thunk.ax
		__x86.get_pc_thunk.ax:
		.LFB191:
				movl	(%esp), %eax
				ret
		.LFE191:
				.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:
		.LFB192:
				movl	(%esp), %ebx
				ret
		.LFE192:
		.Letext0:
   27
   28 %end %of %program
   29 Statements compiled