Deleting junk files

7 files changed, 0 insertions, 1932 deletions

diff --git a/test/monniaux/binary_search/binary_search.ccomp.k1c.s.optimized01 b/test/monniaux/binary_search/binary_search.ccomp.k1c.s.optimized01
deleted file mode 100644
index 7d9df872..00000000
--- a/test/monniaux/binary_search/binary_search.ccomp.k1c.s.optimized01
+++ /dev/null
@@ -1,204 +0,0 @@
-# File generated by CompCert 3.5
-# Command line: -O3 -Wall -Wno-c11-extensions -fno-unprototyped -S binary_search.c -o binary_search.ccomp.k1c.s
-	.section	.rodata
-	.balign 1
-__stringlit_1:
-	.ascii	"position: %d\012random fill cycles: %lu\012search cycles: %lu\012\000"
-	.type	__stringlit_1, @object
-	.size	__stringlit_1, . - __stringlit_1
-	.text
-	.balign 2
-	.globl my_bsearch
-my_bsearch:
-	addd	$r17 = $r12, 0
-	addd	$r12 = $r12, -16
-;;
-	sd	0[$r12] = $r17
-;;
-;;
-	get	$r16 = $ra
-;;
-	sd	8[$r12] = $r16
-;;
-	make	$r4, 0
-	addw	$r6 = $r1, -1
-;;
-.L100:
-	addw	$r5 = $r4, $r6
-;;
-	srlw	$r3 = $r5, 1
-;;
-	zxwd	$r5 = $r3
-;;
-	slld	$r8 = $r5, 2
-;;
-	lws	$r1 = $r8[$r0]
-;;
-	compw.eq	$r32 = $r1, $r2
-;;
-	cb.wnez	$r32? .L101
-;;
-	compw.lt	$r32 = $r1, $r2
-;;
-	cb.wnez	$r32? .L102
-;;
-	addw	$r6 = $r3, -1
-	goto	.L103
-;;
-.L102:
-	addw	$r4 = $r3, 1
-;;
-.L103:
-	compw.leu	$r32 = $r4, $r6
-;;
-	cb.wnez	$r32? .L100
-;;
-	make	$r0, -1
-	goto	.L104
-;;
-.L101:
-	addd	$r0 = $r3, 0
-;;
-.L104:
-	ld	$r16 = 8[$r12]
-;;
-	set	$ra = $r16
-;;
-	addd	$r12 = $r12, 16
-;;
-	ret	
-;;
-	.type	my_bsearch, @function
-	.size	my_bsearch, . - my_bsearch
-	.text
-	.balign 2
-	.globl random_ascending_fill
-random_ascending_fill:
-	addd	$r17 = $r12, 0
-	addd	$r12 = $r12, -16
-;;
-	sd	0[$r12] = $r17
-;;
-;;
-	get	$r16 = $ra
-;;
-	sd	8[$r12] = $r16
-;;
-	make	$r7, 41
-	make	$r8, 0
-	make	$r6, 0
-;;
-.L105:
-	compw.geu	$r32 = $r6, $r1
-;;
-	cb.wnez	$r32? .L106
-;;
-	zxwd	$r2 = $r6
-	andw	$r3 = $r7, 1073741824
-;;
-	slld	$r4 = $r2, 2
-;;
-	sw	$r4[$r0] = $r8
-	addw	$r8 = $r8, 1
-	cb.weqz	$r3? .L107
-;;
-	addw	$r8 = $r8, 1
-;;
-.L107:
-	mulw	$r2 = $r7, 97
-	addw	$r6 = $r6, 1
-;;
-	addw	$r7 = $r2, 5
-	goto	.L105
-;;
-.L106:
-	ld	$r16 = 8[$r12]
-;;
-	set	$ra = $r16
-;;
-	addd	$r12 = $r12, 16
-;;
-	ret	
-;;
-	.type	random_ascending_fill, @function
-	.size	random_ascending_fill, . - random_ascending_fill
-	.text
-	.balign 2
-	.globl main
-main:
-	addd	$r17 = $r12, 0
-	addd	$r12 = $r12, -64
-;;
-	sd	0[$r12] = $r17
-;;
-;;
-	get	$r16 = $ra
-;;
-	sd	8[$r12] = $r16
-;;
-	sd	16[$r12] = $r18
-	make	$r0, 20000
-;;
-	sd	24[$r12] = $r19
-;;
-	sd	32[$r12] = $r20
-;;
-	sd	40[$r12] = $r21
-;;
-	sd	48[$r12] = $r22
-	make	$r22, 5000
-	call	malloc
-;;
-	addd	$r21 = $r0, 0
-	call	get_current_cycle
-;;
-	addd	$r18 = $r0, 0
-	addd	$r1 = $r22, 0
-	addd	$r0 = $r21, 0
-	call	random_ascending_fill
-;;
-	call	get_current_cycle
-;;
-	sbfd	$r19 = $r18, $r0
-	call	get_current_cycle
-;;
-	addd	$r20 = $r0, 0
-	make	$r2, 1502
-	addd	$r1 = $r22, 0
-	addd	$r0 = $r21, 0
-	call	my_bsearch
-;;
-	addd	$r18 = $r0, 0
-	call	get_current_cycle
-;;
-	sbfd	$r3 = $r20, $r0
-	make	$r0 = __stringlit_1
-	addd	$r2 = $r19, 0
-	addd	$r1 = $r18, 0
-	call	printf
-;;
-	addd	$r0 = $r21, 0
-	call	free
-;;
-	make	$r0, 0
-;;
-	ld	$r18 = 16[$r12]
-;;
-	ld	$r19 = 24[$r12]
-;;
-	ld	$r20 = 32[$r12]
-;;
-	ld	$r21 = 40[$r12]
-;;
-	ld	$r22 = 48[$r12]
-;;
-	ld	$r16 = 8[$r12]
-;;
-	set	$ra = $r16
-;;
-	addd	$r12 = $r12, 64
-;;
-	ret	
-;;
-	.type	main, @function
-	.size	main, . - main
diff --git a/test/monniaux/binary_search/binary_search.ccomp.k1c.s.optimized02 b/test/monniaux/binary_search/binary_search.ccomp.k1c.s.optimized02
deleted file mode 100644
index b148e33f..00000000
--- a/test/monniaux/binary_search/binary_search.ccomp.k1c.s.optimized02
+++ /dev/null
@@ -1,203 +0,0 @@
-# File generated by CompCert 3.5
-# Command line: -O3 -Wall -Wno-c11-extensions -fno-unprototyped -S binary_search.c -o binary_search.ccomp.k1c.s
-	.section	.rodata
-	.balign 1
-__stringlit_1:
-	.ascii	"position: %d\012random fill cycles: %lu\012search cycles: %lu\012\000"
-	.type	__stringlit_1, @object
-	.size	__stringlit_1, . - __stringlit_1
-	.text
-	.balign 2
-	.globl my_bsearch
-my_bsearch:
-	addd	$r17 = $r12, 0
-	addd	$r12 = $r12, -16
-;;
-	sd	0[$r12] = $r17
-;;
-;;
-	get	$r16 = $ra
-;;
-	sd	8[$r12] = $r16
-;;
-	make	$r4, 0
-	addw	$r6 = $r1, -1
-;;
-.L100:
-	addw	$r5 = $r4, $r6
-;;
-	srlw	$r3 = $r5, 1
-;;
-	zxwd	$r5 = $r3
-;;
-	slld	$r8 = $r5, 2
-;;
-	lws	$r1 = $r8[$r0]
-;;
-	compw.eq	$r32 = $r1, $r2
-	compw.lt	$r33 = $r1, $r2
-;;
-	cb.wnez	$r32? .L101
-;;
-	cb.wnez	$r33? .L102
-;;
-	addw	$r6 = $r3, -1
-	goto	.L103
-;;
-.L102:
-	addw	$r4 = $r3, 1
-;;
-.L103:
-	compw.leu	$r32 = $r4, $r6
-;;
-	cb.wnez	$r32? .L100
-;;
-	make	$r0, -1
-	goto	.L104
-;;
-.L101:
-	addd	$r0 = $r3, 0
-;;
-.L104:
-	ld	$r16 = 8[$r12]
-;;
-	set	$ra = $r16
-;;
-	addd	$r12 = $r12, 16
-;;
-	ret	
-;;
-	.type	my_bsearch, @function
-	.size	my_bsearch, . - my_bsearch
-	.text
-	.balign 2
-	.globl random_ascending_fill
-random_ascending_fill:
-	addd	$r17 = $r12, 0
-	addd	$r12 = $r12, -16
-;;
-	sd	0[$r12] = $r17
-;;
-;;
-	get	$r16 = $ra
-;;
-	sd	8[$r12] = $r16
-;;
-	make	$r7, 41
-	make	$r8, 0
-	make	$r6, 0
-;;
-.L105:
-	compw.geu	$r32 = $r6, $r1
-;;
-	cb.wnez	$r32? .L106
-;;
-	zxwd	$r2 = $r6
-	andw	$r3 = $r7, 1073741824
-;;
-	slld	$r4 = $r2, 2
-;;
-	sw	$r4[$r0] = $r8
-	addw	$r8 = $r8, 1
-	cb.weqz	$r3? .L107
-;;
-	addw	$r8 = $r8, 1
-;;
-.L107:
-	mulw	$r2 = $r7, 97
-	addw	$r6 = $r6, 1
-;;
-	addw	$r7 = $r2, 5
-	goto	.L105
-;;
-.L106:
-	ld	$r16 = 8[$r12]
-;;
-	set	$ra = $r16
-;;
-	addd	$r12 = $r12, 16
-;;
-	ret	
-;;
-	.type	random_ascending_fill, @function
-	.size	random_ascending_fill, . - random_ascending_fill
-	.text
-	.balign 2
-	.globl main
-main:
-	addd	$r17 = $r12, 0
-	addd	$r12 = $r12, -64
-;;
-	sd	0[$r12] = $r17
-;;
-;;
-	get	$r16 = $ra
-;;
-	sd	8[$r12] = $r16
-;;
-	sd	16[$r12] = $r18
-	make	$r0, 20000
-;;
-	sd	24[$r12] = $r19
-;;
-	sd	32[$r12] = $r20
-;;
-	sd	40[$r12] = $r21
-;;
-	sd	48[$r12] = $r22
-	make	$r22, 5000
-	call	malloc
-;;
-	addd	$r21 = $r0, 0
-	call	get_current_cycle
-;;
-	addd	$r18 = $r0, 0
-	addd	$r1 = $r22, 0
-	addd	$r0 = $r21, 0
-	call	random_ascending_fill
-;;
-	call	get_current_cycle
-;;
-	sbfd	$r19 = $r18, $r0
-	call	get_current_cycle
-;;
-	addd	$r20 = $r0, 0
-	make	$r2, 1502
-	addd	$r1 = $r22, 0
-	addd	$r0 = $r21, 0
-	call	my_bsearch
-;;
-	addd	$r18 = $r0, 0
-	call	get_current_cycle
-;;
-	sbfd	$r3 = $r20, $r0
-	make	$r0 = __stringlit_1
-	addd	$r2 = $r19, 0
-	addd	$r1 = $r18, 0
-	call	printf
-;;
-	addd	$r0 = $r21, 0
-	call	free
-;;
-	make	$r0, 0
-;;
-	ld	$r18 = 16[$r12]
-;;
-	ld	$r19 = 24[$r12]
-;;
-	ld	$r20 = 32[$r12]
-;;
-	ld	$r21 = 40[$r12]
-;;
-	ld	$r22 = 48[$r12]
-;;
-	ld	$r16 = 8[$r12]
-;;
-	set	$ra = $r16
-;;
-	addd	$r12 = $r12, 64
-;;
-	ret	
-;;
-	.type	main, @function
-	.size	main, . - main
diff --git a/test/monniaux/binary_search/binary_search.ccomp.k1c.s.optimized03 b/test/monniaux/binary_search/binary_search.ccomp.k1c.s.optimized03
deleted file mode 100644
index 8eabb5dd..00000000
--- a/test/monniaux/binary_search/binary_search.ccomp.k1c.s.optimized03
+++ /dev/null
@@ -1,291 +0,0 @@
-# File generated by CompCert 3.5
-# Command line: -O3 -Wall -Wno-c11-extensions -fno-unprototyped -S binary_search.c -o binary_search.ccomp.k1c.s
-	.section	.rodata
-	.balign 1
-__stringlit_1:
-	.ascii	"position1: %d\012position2: %d\012random fill cycles: %lu\012search1 cycles: %lu\012search2 cycles: %lu\012\000"
-	.type	__stringlit_1, @object
-	.size	__stringlit_1, . - __stringlit_1
-	.text
-	.balign 2
-	.globl my_bsearch
-my_bsearch:
-	addd	$r17 = $r12, 0
-	addd	$r12 = $r12, -16
-;;
-	sd	0[$r12] = $r17
-;;
-;;
-	get	$r16 = $ra
-;;
-	sd	8[$r12] = $r16
-;;
-	make	$r4, 0
-	addw	$r6 = $r1, -1
-;;
-.L100:
-	addw	$r5 = $r4, $r6
-;;
-	srlw	$r3 = $r5, 1
-;;
-	zxwd	$r5 = $r3
-;;
-	slld	$r8 = $r5, 2
-;;
-	lws	$r1 = $r8[$r0]
-;;
-	compw.eq	$r32 = $r1, $r2
-;;
-	cb.wnez	$r32? .L101
-;;
-	compw.lt	$r32 = $r1, $r2
-;;
-	cb.wnez	$r32? .L102
-;;
-	addw	$r6 = $r3, -1
-	goto	.L103
-;;
-.L102:
-	addw	$r4 = $r3, 1
-;;
-.L103:
-	compw.leu	$r32 = $r4, $r6
-;;
-	cb.wnez	$r32? .L100
-;;
-	make	$r0, -1
-	goto	.L104
-;;
-.L101:
-	addd	$r0 = $r3, 0
-;;
-.L104:
-	ld	$r16 = 8[$r12]
-;;
-	set	$ra = $r16
-;;
-	addd	$r12 = $r12, 16
-;;
-	ret	
-;;
-	.type	my_bsearch, @function
-	.size	my_bsearch, . - my_bsearch
-	.text
-	.balign 2
-	.globl my_bsearch2
-my_bsearch2:
-	addd	$r17 = $r12, 0
-	addd	$r12 = $r12, -16
-;;
-	sd	0[$r12] = $r17
-	get	$r16 = $ra
-;;
-	sd	8[$r12] = $r16
-;;
-	make	$r5, 0
-	addw	$r4 = $r1, -1
-;;
-.L105:
-	addw	$r9 = $r5, $r4
-;;
-	srlw	$r1 = $r9, 1
-;;
-	lws.xs	$r7 = $r1[$r0]
-;;
-	compw.ne	$r32 = $r7, $r2
-;;
-	cb.wnez	$r32? .L106
-;;
-	addd	$r0 = $r1, 0
-	goto	.L107
-;;
-.L106:
-	compw.lt	$r3 = $r7, $r2
-	addw	$r6 = $r1, 1
-	addw	$r1 = $r1, -1
-;;
-	cmoved.wnez $r3? $r5 = $r6
-	compw.gt	$r6 = $r7, $r2
-;;
-	cmoved.wnez $r6? $r4 = $r1
-;;
-	compw.leu	$r32 = $r5, $r4
-;;
-	cb.wnez	$r32? .L105
-;;
-	make	$r0, -1
-;;
-.L107:
-	ld	$r16 = 8[$r12]
-;;
-	set	$ra = $r16
-;;
-	addd	$r12 = $r12, 16
-;;
-	ret	
-;;
-	.type	my_bsearch2, @function
-	.size	my_bsearch2, . - my_bsearch2
-	.text
-	.balign 2
-	.globl random_ascending_fill
-random_ascending_fill:
-	addd	$r17 = $r12, 0
-	addd	$r12 = $r12, -16
-;;
-	sd	0[$r12] = $r17
-;;
-;;
-	get	$r16 = $ra
-;;
-	sd	8[$r12] = $r16
-;;
-	make	$r7, 41
-	make	$r8, 0
-	make	$r6, 0
-;;
-.L108:
-	compw.geu	$r32 = $r6, $r1
-;;
-	cb.wnez	$r32? .L109
-;;
-	zxwd	$r2 = $r6
-	andw	$r3 = $r7, 1073741824
-;;
-	slld	$r4 = $r2, 2
-;;
-	sw	$r4[$r0] = $r8
-	addw	$r8 = $r8, 1
-	cb.weqz	$r3? .L110
-;;
-	addw	$r8 = $r8, 1
-;;
-.L110:
-	mulw	$r2 = $r7, 97
-	addw	$r6 = $r6, 1
-;;
-	addw	$r7 = $r2, 5
-	goto	.L108
-;;
-.L109:
-	ld	$r16 = 8[$r12]
-;;
-	set	$ra = $r16
-;;
-	addd	$r12 = $r12, 16
-;;
-	ret	
-;;
-	.type	random_ascending_fill, @function
-	.size	random_ascending_fill, . - random_ascending_fill
-	.text
-	.balign 2
-	.globl main
-main:
-	addd	$r17 = $r12, 0
-	addd	$r12 = $r12, -80
-;;
-	sd	0[$r12] = $r17
-;;
-;;
-	get	$r16 = $ra
-;;
-	sd	8[$r12] = $r16
-;;
-	sd	16[$r12] = $r18
-	make	$r0, 20000
-;;
-	sd	24[$r12] = $r19
-;;
-	sd	32[$r12] = $r20
-;;
-	sd	40[$r12] = $r21
-;;
-	sd	48[$r12] = $r22
-;;
-	sd	56[$r12] = $r23
-	make	$r23, 1502
-;;
-	sd	64[$r12] = $r24
-	make	$r24, 5000
-;;
-	sd	72[$r12] = $r25
-	call	malloc
-;;
-	addd	$r19 = $r0, 0
-	call	get_current_cycle
-;;
-	addd	$r18 = $r0, 0
-	addd	$r1 = $r24, 0
-	addd	$r0 = $r19, 0
-	call	random_ascending_fill
-;;
-	call	get_current_cycle
-;;
-	sbfd	$r21 = $r18, $r0
-	addd	$r2 = $r23, 0
-	addd	$r1 = $r24, 0
-	addd	$r0 = $r19, 0
-	call	my_bsearch
-;;
-	call	get_current_cycle
-;;
-	addd	$r18 = $r0, 0
-	addd	$r2 = $r23, 0
-	addd	$r1 = $r24, 0
-	addd	$r0 = $r19, 0
-	call	my_bsearch
-;;
-	addd	$r22 = $r0, 0
-	call	get_current_cycle
-;;
-	sbfd	$r20 = $r18, $r0
-	call	get_current_cycle
-;;
-	addd	$r25 = $r0, 0
-	addd	$r2 = $r23, 0
-	addd	$r1 = $r24, 0
-	addd	$r0 = $r19, 0
-	call	my_bsearch2
-;;
-	addd	$r18 = $r0, 0
-	call	get_current_cycle
-;;
-	sbfd	$r5 = $r25, $r0
-	make	$r0 = __stringlit_1
-	addd	$r4 = $r20, 0
-	addd	$r3 = $r21, 0
-;;
-	addd	$r2 = $r18, 0
-	addd	$r1 = $r22, 0
-	call	printf
-;;
-	addd	$r0 = $r19, 0
-	call	free
-;;
-	make	$r0, 0
-	ld	$r16 = 8[$r12]
-;;
-	ld	$r18 = 16[$r12]
-;;
-	ld	$r19 = 24[$r12]
-;;
-	ld	$r20 = 32[$r12]
-	set	$ra = $r16
-;;
-	ld	$r21 = 40[$r12]
-;;
-	ld	$r22 = 48[$r12]
-;;
-	ld	$r23 = 56[$r12]
-;;
-	ld	$r24 = 64[$r12]
-;;
-	ld	$r25 = 72[$r12]
-;;
-	addd	$r12 = $r12, 80
-;;
-	ret	
-;;
-	.type	main, @function
-	.size	main, . - main
diff --git a/test/monniaux/binary_search/binary_search.ccomp.k1c.s.optimized04 b/test/monniaux/binary_search/binary_search.ccomp.k1c.s.optimized04
deleted file mode 100644
index 2e4ff5c6..00000000
--- a/test/monniaux/binary_search/binary_search.ccomp.k1c.s.optimized04
+++ /dev/null
@@ -1,288 +0,0 @@
-# File generated by CompCert 3.5
-# Command line: -O3 -Wall -Wno-c11-extensions -fno-unprototyped -S binary_search.c -o binary_search.ccomp.k1c.s
-	.section	.rodata
-	.balign 1
-__stringlit_1:
-	.ascii	"position1: %d\012position2: %d\012random fill cycles: %lu\012search1 cycles: %lu\012search2 cycles: %lu\012\000"
-	.type	__stringlit_1, @object
-	.size	__stringlit_1, . - __stringlit_1
-	.text
-	.balign 2
-	.globl my_bsearch
-my_bsearch:
-	addd	$r17 = $r12, 0
-	addd	$r12 = $r12, -16
-;;
-	sd	0[$r12] = $r17
-;;
-;;
-	get	$r16 = $ra
-;;
-	sd	8[$r12] = $r16
-;;
-	make	$r4, 0
-	addw	$r6 = $r1, -1
-;;
-.L100:
-	addw	$r5 = $r4, $r6
-;;
-	srlw	$r3 = $r5, 1
-;;
-	zxwd	$r5 = $r3
-;;
-	slld	$r8 = $r5, 2
-;;
-	lws	$r1 = $r8[$r0]
-;;
-	compw.eq	$r32 = $r1, $r2
-;;
-	cb.wnez	$r32? .L101
-;;
-	compw.lt	$r32 = $r1, $r2
-;;
-	cb.wnez	$r32? .L102
-;;
-	addw	$r6 = $r3, -1
-	goto	.L103
-;;
-.L102:
-	addw	$r4 = $r3, 1
-;;
-.L103:
-	compw.leu	$r32 = $r4, $r6
-;;
-	cb.wnez	$r32? .L100
-;;
-	make	$r0, -1
-	goto	.L104
-;;
-.L101:
-	addd	$r0 = $r3, 0
-;;
-.L104:
-	ld	$r16 = 8[$r12]
-;;
-	set	$ra = $r16
-;;
-	addd	$r12 = $r12, 16
-;;
-	ret	
-;;
-	.type	my_bsearch, @function
-	.size	my_bsearch, . - my_bsearch
-	.text
-	.balign 2
-	.globl my_bsearch2
-my_bsearch2:
-	addd	$r17 = $r12, 0
-	addd	$r12 = $r12, -16
-;;
-	sd	0[$r12] = $r17
-	get	$r16 = $ra
-;;
-	sd	8[$r12] = $r16
-;;
-	make	$r5, 0
-	addw	$r4 = $r1, -1
-;;
-.L105:
-	addw	$r9 = $r5, $r4
-;;
-	srlw	$r1 = $r9, 1
-;;
-	lws.xs	$r7 = $r1[$r0]
-;;
-	compw.ne	$r32 = $r7, $r2
-;;
-	cb.weqz	$r32? .L107
-;;
-	compw.lt	$r3 = $r7, $r2
-	addw	$r6 = $r1, 1
-	addw	$r1 = $r1, -1
-;;
-	cmoved.wnez $r3? $r5 = $r6
-	compw.gt	$r6 = $r7, $r2
-;;
-	cmoved.wnez $r6? $r4 = $r1
-;;
-	compw.leu	$r32 = $r5, $r4
-;;
-	cb.wnez	$r32? .L105
-;;
-	make	$r0, -1
-;;
-.L107:
-	addd	$r0 = $r1, 0
-	ld	$r16 = 8[$r12]
-;;
-	set	$ra = $r16
-;;
-	addd	$r12 = $r12, 16
-;;
-	ret	
-;;
-	.type	my_bsearch2, @function
-	.size	my_bsearch2, . - my_bsearch2
-	.text
-	.balign 2
-	.globl random_ascending_fill
-random_ascending_fill:
-	addd	$r17 = $r12, 0
-	addd	$r12 = $r12, -16
-;;
-	sd	0[$r12] = $r17
-;;
-;;
-	get	$r16 = $ra
-;;
-	sd	8[$r12] = $r16
-;;
-	make	$r7, 41
-	make	$r8, 0
-	make	$r6, 0
-;;
-.L108:
-	compw.geu	$r32 = $r6, $r1
-;;
-	cb.wnez	$r32? .L109
-;;
-	zxwd	$r2 = $r6
-	andw	$r3 = $r7, 1073741824
-;;
-	slld	$r4 = $r2, 2
-;;
-	sw	$r4[$r0] = $r8
-	addw	$r8 = $r8, 1
-	cb.weqz	$r3? .L110
-;;
-	addw	$r8 = $r8, 1
-;;
-.L110:
-	mulw	$r2 = $r7, 97
-	addw	$r6 = $r6, 1
-;;
-	addw	$r7 = $r2, 5
-	goto	.L108
-;;
-.L109:
-	ld	$r16 = 8[$r12]
-;;
-	set	$ra = $r16
-;;
-	addd	$r12 = $r12, 16
-;;
-	ret	
-;;
-	.type	random_ascending_fill, @function
-	.size	random_ascending_fill, . - random_ascending_fill
-	.text
-	.balign 2
-	.globl main
-main:
-	addd	$r17 = $r12, 0
-	addd	$r12 = $r12, -80
-;;
-	sd	0[$r12] = $r17
-;;
-;;
-	get	$r16 = $ra
-;;
-	sd	8[$r12] = $r16
-;;
-	sd	16[$r12] = $r18
-	make	$r0, 20000
-;;
-	sd	24[$r12] = $r19
-;;
-	sd	32[$r12] = $r20
-;;
-	sd	40[$r12] = $r21
-;;
-	sd	48[$r12] = $r22
-;;
-	sd	56[$r12] = $r23
-	make	$r23, 1502
-;;
-	sd	64[$r12] = $r24
-	make	$r24, 5000
-;;
-	sd	72[$r12] = $r25
-	call	malloc
-;;
-	addd	$r19 = $r0, 0
-	call	get_current_cycle
-;;
-	addd	$r18 = $r0, 0
-	addd	$r1 = $r24, 0
-	addd	$r0 = $r19, 0
-	call	random_ascending_fill
-;;
-	call	get_current_cycle
-;;
-	sbfd	$r21 = $r18, $r0
-	addd	$r2 = $r23, 0
-	addd	$r1 = $r24, 0
-	addd	$r0 = $r19, 0
-	call	my_bsearch
-;;
-	call	get_current_cycle
-;;
-	addd	$r18 = $r0, 0
-	addd	$r2 = $r23, 0
-	addd	$r1 = $r24, 0
-	addd	$r0 = $r19, 0
-	call	my_bsearch
-;;
-	addd	$r22 = $r0, 0
-	call	get_current_cycle
-;;
-	sbfd	$r20 = $r18, $r0
-	call	get_current_cycle
-;;
-	addd	$r25 = $r0, 0
-	addd	$r2 = $r23, 0
-	addd	$r1 = $r24, 0
-	addd	$r0 = $r19, 0
-	call	my_bsearch2
-;;
-	addd	$r18 = $r0, 0
-	call	get_current_cycle
-;;
-	sbfd	$r5 = $r25, $r0
-	make	$r0 = __stringlit_1
-	addd	$r4 = $r20, 0
-	addd	$r3 = $r21, 0
-;;
-	addd	$r2 = $r18, 0
-	addd	$r1 = $r22, 0
-	call	printf
-;;
-	addd	$r0 = $r19, 0
-	call	free
-;;
-	make	$r0, 0
-	ld	$r16 = 8[$r12]
-;;
-	ld	$r18 = 16[$r12]
-;;
-	ld	$r19 = 24[$r12]
-;;
-	ld	$r20 = 32[$r12]
-	set	$ra = $r16
-;;
-	ld	$r21 = 40[$r12]
-;;
-	ld	$r22 = 48[$r12]
-;;
-	ld	$r23 = 56[$r12]
-;;
-	ld	$r24 = 64[$r12]
-;;
-	ld	$r25 = 72[$r12]
-;;
-	addd	$r12 = $r12, 80
-;;
-	ret	
-;;
-	.type	main, @function
-	.size	main, . - main
diff --git a/test/monniaux/binary_search/binary_search.ccomp.k1c.s.optimized05 b/test/monniaux/binary_search/binary_search.ccomp.k1c.s.optimized05
deleted file mode 100644
index 9f54a967..00000000
--- a/test/monniaux/binary_search/binary_search.ccomp.k1c.s.optimized05
+++ /dev/null
@@ -1,287 +0,0 @@
-# File generated by CompCert 3.5
-# Command line: -O3 -Wall -Wno-c11-extensions -fno-unprototyped -S binary_search.c -o binary_search.ccomp.k1c.s
-	.section	.rodata
-	.balign 1
-__stringlit_1:
-	.ascii	"position1: %d\012position2: %d\012random fill cycles: %lu\012search1 cycles: %lu\012search2 cycles: %lu\012\000"
-	.type	__stringlit_1, @object
-	.size	__stringlit_1, . - __stringlit_1
-	.text
-	.balign 2
-	.globl my_bsearch
-my_bsearch:
-	addd	$r17 = $r12, 0
-	addd	$r12 = $r12, -16
-;;
-	sd	0[$r12] = $r17
-;;
-;;
-	get	$r16 = $ra
-;;
-	sd	8[$r12] = $r16
-;;
-	make	$r4, 0
-	addw	$r6 = $r1, -1
-;;
-.L100:
-	addw	$r5 = $r4, $r6
-;;
-	srlw	$r3 = $r5, 1
-;;
-	zxwd	$r5 = $r3
-;;
-	slld	$r8 = $r5, 2
-;;
-	lws	$r1 = $r8[$r0]
-;;
-	compw.eq	$r32 = $r1, $r2
-;;
-	cb.wnez	$r32? .L101
-;;
-	compw.lt	$r32 = $r1, $r2
-;;
-	cb.wnez	$r32? .L102
-;;
-	addw	$r6 = $r3, -1
-	goto	.L103
-;;
-.L102:
-	addw	$r4 = $r3, 1
-;;
-.L103:
-	compw.leu	$r32 = $r4, $r6
-;;
-	cb.wnez	$r32? .L100
-;;
-	make	$r0, -1
-	goto	.L104
-;;
-.L101:
-	addd	$r0 = $r3, 0
-;;
-.L104:
-	ld	$r16 = 8[$r12]
-;;
-	set	$ra = $r16
-;;
-	addd	$r12 = $r12, 16
-;;
-	ret	
-;;
-	.type	my_bsearch, @function
-	.size	my_bsearch, . - my_bsearch
-	.text
-	.balign 2
-	.globl my_bsearch2
-my_bsearch2:
-	addd	$r17 = $r12, 0
-	addd	$r12 = $r12, -16
-;;
-	sd	0[$r12] = $r17
-	get	$r16 = $ra
-;;
-	sd	8[$r12] = $r16
-;;
-	make	$r5, 0
-	addw	$r4 = $r1, -1
-;;
-.L105:
-	addw	$r9 = $r5, $r4
-;;
-	srlw	$r1 = $r9, 1
-;;
-	lws.xs	$r7 = $r1[$r0]
-;;
-	compw.ne	$r32 = $r7, $r2
-;;
-	cb.weqz	$r32? .L107
-;;
-	compw.lt	$r3 = $r7, $r2
-	compw.gt	$r8 = $r7, $r2
-	addw	$r6 = $r1, 1
-	addw	$r1 = $r1, -1
-;;
-	cmoved.wnez $r3? $r5 = $r6
-	cmoved.wnez $r8? $r4 = $r1
-;;
-	compw.leu	$r32 = $r5, $r4
-;;
-	cb.wnez	$r32? .L105
-;;
-	make	$r0, -1
-;;
-.L107:
-	addd	$r0 = $r1, 0
-	ld	$r16 = 8[$r12]
-;;
-	set	$ra = $r16
-;;
-	addd	$r12 = $r12, 16
-;;
-	ret	
-;;
-	.type	my_bsearch2, @function
-	.size	my_bsearch2, . - my_bsearch2
-	.text
-	.balign 2
-	.globl random_ascending_fill
-random_ascending_fill:
-	addd	$r17 = $r12, 0
-	addd	$r12 = $r12, -16
-;;
-	sd	0[$r12] = $r17
-;;
-;;
-	get	$r16 = $ra
-;;
-	sd	8[$r12] = $r16
-;;
-	make	$r7, 41
-	make	$r8, 0
-	make	$r6, 0
-;;
-.L108:
-	compw.geu	$r32 = $r6, $r1
-;;
-	cb.wnez	$r32? .L109
-;;
-	zxwd	$r2 = $r6
-	andw	$r3 = $r7, 1073741824
-;;
-	slld	$r4 = $r2, 2
-;;
-	sw	$r4[$r0] = $r8
-	addw	$r8 = $r8, 1
-	cb.weqz	$r3? .L110
-;;
-	addw	$r8 = $r8, 1
-;;
-.L110:
-	mulw	$r2 = $r7, 97
-	addw	$r6 = $r6, 1
-;;
-	addw	$r7 = $r2, 5
-	goto	.L108
-;;
-.L109:
-	ld	$r16 = 8[$r12]
-;;
-	set	$ra = $r16
-;;
-	addd	$r12 = $r12, 16
-;;
-	ret	
-;;
-	.type	random_ascending_fill, @function
-	.size	random_ascending_fill, . - random_ascending_fill
-	.text
-	.balign 2
-	.globl main
-main:
-	addd	$r17 = $r12, 0
-	addd	$r12 = $r12, -80
-;;
-	sd	0[$r12] = $r17
-;;
-;;
-	get	$r16 = $ra
-;;
-	sd	8[$r12] = $r16
-;;
-	sd	16[$r12] = $r18
-	make	$r0, 20000
-;;
-	sd	24[$r12] = $r19
-;;
-	sd	32[$r12] = $r20
-;;
-	sd	40[$r12] = $r21
-;;
-	sd	48[$r12] = $r22
-;;
-	sd	56[$r12] = $r23
-	make	$r23, 1502
-;;
-	sd	64[$r12] = $r24
-	make	$r24, 5000
-;;
-	sd	72[$r12] = $r25
-	call	malloc
-;;
-	addd	$r19 = $r0, 0
-	call	get_current_cycle
-;;
-	addd	$r18 = $r0, 0
-	addd	$r1 = $r24, 0
-	addd	$r0 = $r19, 0
-	call	random_ascending_fill
-;;
-	call	get_current_cycle
-;;
-	sbfd	$r21 = $r18, $r0
-	addd	$r2 = $r23, 0
-	addd	$r1 = $r24, 0
-	addd	$r0 = $r19, 0
-	call	my_bsearch
-;;
-	call	get_current_cycle
-;;
-	addd	$r18 = $r0, 0
-	addd	$r2 = $r23, 0
-	addd	$r1 = $r24, 0
-	addd	$r0 = $r19, 0
-	call	my_bsearch
-;;
-	addd	$r22 = $r0, 0
-	call	get_current_cycle
-;;
-	sbfd	$r20 = $r18, $r0
-	call	get_current_cycle
-;;
-	addd	$r25 = $r0, 0
-	addd	$r2 = $r23, 0
-	addd	$r1 = $r24, 0
-	addd	$r0 = $r19, 0
-	call	my_bsearch2
-;;
-	addd	$r18 = $r0, 0
-	call	get_current_cycle
-;;
-	sbfd	$r5 = $r25, $r0
-	make	$r0 = __stringlit_1
-	addd	$r4 = $r20, 0
-	addd	$r3 = $r21, 0
-;;
-	addd	$r2 = $r18, 0
-	addd	$r1 = $r22, 0
-	call	printf
-;;
-	addd	$r0 = $r19, 0
-	call	free
-;;
-	make	$r0, 0
-	ld	$r16 = 8[$r12]
-;;
-	ld	$r18 = 16[$r12]
-;;
-	ld	$r19 = 24[$r12]
-;;
-	ld	$r20 = 32[$r12]
-	set	$ra = $r16
-;;
-	ld	$r21 = 40[$r12]
-;;
-	ld	$r22 = 48[$r12]
-;;
-	ld	$r23 = 56[$r12]
-;;
-	ld	$r24 = 64[$r12]
-;;
-	ld	$r25 = 72[$r12]
-;;
-	addd	$r12 = $r12, 80
-;;
-	ret	
-;;
-	.type	main, @function
-	.size	main, . - main
diff --git a/test/monniaux/binary_search/binary_search.ccomp.k1c.s.optimized06 b/test/monniaux/binary_search/binary_search.ccomp.k1c.s.optimized06
deleted file mode 100644
index 79005b9c..00000000
--- a/test/monniaux/binary_search/binary_search.ccomp.k1c.s.optimized06
+++ /dev/null
@@ -1,287 +0,0 @@
-# File generated by CompCert 3.5
-# Command line: -O3 -Wall -Wno-c11-extensions -fno-unprototyped -S binary_search.c -o binary_search.ccomp.k1c.s
-	.section	.rodata
-	.balign 1
-__stringlit_1:
-	.ascii	"position1: %d\012position2: %d\012random fill cycles: %lu\012search1 cycles: %lu\012search2 cycles: %lu\012\000"
-	.type	__stringlit_1, @object
-	.size	__stringlit_1, . - __stringlit_1
-	.text
-	.balign 2
-	.globl my_bsearch
-my_bsearch:
-	addd	$r17 = $r12, 0
-	addd	$r12 = $r12, -16
-;;
-	sd	0[$r12] = $r17
-;;
-;;
-	get	$r16 = $ra
-;;
-	sd	8[$r12] = $r16
-;;
-	make	$r4, 0
-	addw	$r6 = $r1, -1
-;;
-.L100:
-	addw	$r5 = $r4, $r6
-;;
-	srlw	$r3 = $r5, 1
-;;
-	zxwd	$r5 = $r3
-;;
-	slld	$r8 = $r5, 2
-;;
-	lws	$r1 = $r8[$r0]
-;;
-	compw.eq	$r32 = $r1, $r2
-;;
-	cb.wnez	$r32? .L101
-;;
-	compw.lt	$r32 = $r1, $r2
-;;
-	cb.wnez	$r32? .L102
-;;
-	addw	$r6 = $r3, -1
-	goto	.L103
-;;
-.L102:
-	addw	$r4 = $r3, 1
-;;
-.L103:
-	compw.leu	$r32 = $r4, $r6
-;;
-	cb.wnez	$r32? .L100
-;;
-	make	$r0, -1
-	goto	.L104
-;;
-.L101:
-	addd	$r0 = $r3, 0
-;;
-.L104:
-	ld	$r16 = 8[$r12]
-;;
-	set	$ra = $r16
-;;
-	addd	$r12 = $r12, 16
-;;
-	ret	
-;;
-	.type	my_bsearch, @function
-	.size	my_bsearch, . - my_bsearch
-	.text
-	.balign 2
-	.globl my_bsearch2
-my_bsearch2:
-	addd	$r17 = $r12, 0
-	addd	$r12 = $r12, -16
-;;
-	sd	0[$r12] = $r17
-	get	$r16 = $ra
-;;
-	sd	8[$r12] = $r16
-;;
-	make	$r5, 0
-	addw	$r4 = $r1, -1
-;;
-.L105:
-	addw	$r9 = $r5, $r4
-;;
-	srlw	$r1 = $r9, 1
-;;
-	lws.xs	$r7 = $r1[$r0]
-;;
-	compw.ne	$r32 = $r7, $r2
-;;
-;;
-	compw.lt	$r3 = $r7, $r2
-	compw.gt	$r8 = $r7, $r2
-	addw	$r6 = $r1, 1
-	addw	$r1 = $r1, -1
-	cb.weqz	$r32? .L107
-;;
-	cmoved.wnez $r3? $r5 = $r6
-	cmoved.wnez $r8? $r4 = $r1
-;;
-	compw.leu	$r32 = $r5, $r4
-;;
-	cb.wnez	$r32? .L105
-;;
-	make	$r0, -1
-;;
-.L107:
-	addd	$r0 = $r1, 0
-	ld	$r16 = 8[$r12]
-;;
-	set	$ra = $r16
-;;
-	addd	$r12 = $r12, 16
-;;
-	ret	
-;;
-	.type	my_bsearch2, @function
-	.size	my_bsearch2, . - my_bsearch2
-	.text
-	.balign 2
-	.globl random_ascending_fill
-random_ascending_fill:
-	addd	$r17 = $r12, 0
-	addd	$r12 = $r12, -16
-;;
-	sd	0[$r12] = $r17
-;;
-;;
-	get	$r16 = $ra
-;;
-	sd	8[$r12] = $r16
-;;
-	make	$r7, 41
-	make	$r8, 0
-	make	$r6, 0
-;;
-.L108:
-	compw.geu	$r32 = $r6, $r1
-;;
-	cb.wnez	$r32? .L109
-;;
-	zxwd	$r2 = $r6
-	andw	$r3 = $r7, 1073741824
-;;
-	slld	$r4 = $r2, 2
-;;
-	sw	$r4[$r0] = $r8
-	addw	$r8 = $r8, 1
-	cb.weqz	$r3? .L110
-;;
-	addw	$r8 = $r8, 1
-;;
-.L110:
-	mulw	$r2 = $r7, 97
-	addw	$r6 = $r6, 1
-;;
-	addw	$r7 = $r2, 5
-	goto	.L108
-;;
-.L109:
-	ld	$r16 = 8[$r12]
-;;
-	set	$ra = $r16
-;;
-	addd	$r12 = $r12, 16
-;;
-	ret	
-;;
-	.type	random_ascending_fill, @function
-	.size	random_ascending_fill, . - random_ascending_fill
-	.text
-	.balign 2
-	.globl main
-main:
-	addd	$r17 = $r12, 0
-	addd	$r12 = $r12, -80
-;;
-	sd	0[$r12] = $r17
-;;
-;;
-	get	$r16 = $ra
-;;
-	sd	8[$r12] = $r16
-;;
-	sd	16[$r12] = $r18
-	make	$r0, 20000
-;;
-	sd	24[$r12] = $r19
-;;
-	sd	32[$r12] = $r20
-;;
-	sd	40[$r12] = $r21
-;;
-	sd	48[$r12] = $r22
-;;
-	sd	56[$r12] = $r23
-	make	$r23, 1502
-;;
-	sd	64[$r12] = $r24
-	make	$r24, 5000
-;;
-	sd	72[$r12] = $r25
-	call	malloc
-;;
-	addd	$r19 = $r0, 0
-	call	get_current_cycle
-;;
-	addd	$r18 = $r0, 0
-	addd	$r1 = $r24, 0
-	addd	$r0 = $r19, 0
-	call	random_ascending_fill
-;;
-	call	get_current_cycle
-;;
-	sbfd	$r21 = $r18, $r0
-	addd	$r2 = $r23, 0
-	addd	$r1 = $r24, 0
-	addd	$r0 = $r19, 0
-	call	my_bsearch
-;;
-	call	get_current_cycle
-;;
-	addd	$r18 = $r0, 0
-	addd	$r2 = $r23, 0
-	addd	$r1 = $r24, 0
-	addd	$r0 = $r19, 0
-	call	my_bsearch
-;;
-	addd	$r22 = $r0, 0
-	call	get_current_cycle
-;;
-	sbfd	$r20 = $r18, $r0
-	call	get_current_cycle
-;;
-	addd	$r25 = $r0, 0
-	addd	$r2 = $r23, 0
-	addd	$r1 = $r24, 0
-	addd	$r0 = $r19, 0
-	call	my_bsearch2
-;;
-	addd	$r18 = $r0, 0
-	call	get_current_cycle
-;;
-	sbfd	$r5 = $r25, $r0
-	make	$r0 = __stringlit_1
-	addd	$r4 = $r20, 0
-	addd	$r3 = $r21, 0
-;;
-	addd	$r2 = $r18, 0
-	addd	$r1 = $r22, 0
-	call	printf
-;;
-	addd	$r0 = $r19, 0
-	call	free
-;;
-	make	$r0, 0
-	ld	$r16 = 8[$r12]
-;;
-	ld	$r18 = 16[$r12]
-;;
-	ld	$r19 = 24[$r12]
-;;
-	ld	$r20 = 32[$r12]
-	set	$ra = $r16
-;;
-	ld	$r21 = 40[$r12]
-;;
-	ld	$r22 = 48[$r12]
-;;
-	ld	$r23 = 56[$r12]
-;;
-	ld	$r24 = 64[$r12]
-;;
-	ld	$r25 = 72[$r12]
-;;
-	addd	$r12 = $r12, 80
-;;
-	ret	
-;;
-	.type	main, @function
-	.size	main, . - main
diff --git a/test/monniaux/binary_search/binary_search.ccomp.k1c.s.optimized07 b/test/monniaux/binary_search/binary_search.ccomp.k1c.s.optimized07
deleted file mode 100644
index 3214c5bc..00000000
--- a/test/monniaux/binary_search/binary_search.ccomp.k1c.s.optimized07
+++ /dev/null
@@ -1,372 +0,0 @@
-# File generated by CompCert 3.5
-# Command line: -O3 -Wall -Wno-c11-extensions -fno-unprototyped -S binary_search.c -o binary_search.ccomp.k1c.s
-	.section	.rodata
-	.balign 1
-__stringlit_1:
-	.ascii	"position1: %d\012position2: %d\012position3: %d\012random fill cycles: %lu\012search1 cycles: %lu\012search2 cycles: %lu\012search3 cycles: %lu\012\000"
-	.type	__stringlit_1, @object
-	.size	__stringlit_1, . - __stringlit_1
-	.text
-	.balign 2
-	.globl my_bsearch
-my_bsearch:
-	addd	$r17 = $r12, 0
-	addd	$r12 = $r12, -16
-;;
-	sd	0[$r12] = $r17
-;;
-;;
-	get	$r16 = $ra
-;;
-	sd	8[$r12] = $r16
-;;
-	make	$r4, 0
-	addw	$r6 = $r1, -1
-;;
-.L100:
-	addw	$r5 = $r4, $r6
-;;
-	srlw	$r3 = $r5, 1
-;;
-	zxwd	$r5 = $r3
-;;
-	slld	$r8 = $r5, 2
-;;
-	lws	$r1 = $r8[$r0]
-;;
-	compw.eq	$r32 = $r1, $r2
-;;
-	cb.wnez	$r32? .L101
-;;
-	compw.lt	$r32 = $r1, $r2
-;;
-	cb.wnez	$r32? .L102
-;;
-	addw	$r6 = $r3, -1
-	goto	.L103
-;;
-.L102:
-	addw	$r4 = $r3, 1
-;;
-.L103:
-	compw.leu	$r32 = $r4, $r6
-;;
-	cb.wnez	$r32? .L100
-;;
-	make	$r0, -1
-	goto	.L104
-;;
-.L101:
-	addd	$r0 = $r3, 0
-;;
-.L104:
-	ld	$r16 = 8[$r12]
-;;
-	set	$ra = $r16
-;;
-	addd	$r12 = $r12, 16
-;;
-	ret	
-;;
-	.type	my_bsearch, @function
-	.size	my_bsearch, . - my_bsearch
-	.text
-	.balign 2
-	.globl my_bsearch2
-my_bsearch2:
-	addd	$r17 = $r12, 0
-	addd	$r12 = $r12, -16
-;;
-	sd	0[$r12] = $r17
-;;
-;;
-	get	$r16 = $ra
-;;
-	sd	8[$r12] = $r16
-;;
-	make	$r5, 0
-	addw	$r4 = $r1, -1
-;;
-.L105:
-	addw	$r9 = $r5, $r4
-;;
-	srlw	$r1 = $r9, 1
-;;
-	zxwd	$r10 = $r1
-;;
-	slld	$r8 = $r10, 2
-;;
-	lws	$r7 = $r8[$r0]
-;;
-	compw.ne	$r32 = $r7, $r2
-;;
-	cb.wnez	$r32? .L106
-;;
-	addd	$r0 = $r1, 0
-	goto	.L107
-;;
-.L106:
-	compw.lt	$r3 = $r7, $r2
-	addw	$r6 = $r1, 1
-	addw	$r1 = $r1, -1
-;;
-	cmoved.wnez $r3? $r5 = $r6
-	compw.gt	$r6 = $r7, $r2
-;;
-	cmoved.wnez $r6? $r4 = $r1
-;;
-	compw.leu	$r32 = $r5, $r4
-;;
-	cb.wnez	$r32? .L105
-;;
-	make	$r0, -1
-;;
-.L107:
-	ld	$r16 = 8[$r12]
-;;
-	set	$ra = $r16
-;;
-	addd	$r12 = $r12, 16
-;;
-	ret	
-;;
-	.type	my_bsearch2, @function
-	.size	my_bsearch2, . - my_bsearch2
-	.text
-	.balign 2
-	.globl my_bsearch3
-my_bsearch3:
-	addd	$r17 = $r12, 0
-	addd	$r12 = $r12, -16
-;;
-	sd	0[$r12] = $r17
-;;
-;;
-	get	$r16 = $ra
-;;
-	sd	8[$r12] = $r16
-;;
-	make	$r7, 0
-	addw	$r3 = $r1, -1
-;;
-.L108:
-	addw	$r11 = $r7, $r3
-;;
-	srlw	$r6 = $r11, 1
-;;
-	addw	$r1 = $r6, 1
-	lws.xs	$r4 = $r6[$r0]
-;;
-	compw.lt	$r5 = $r4, $r2
-	compw.gt	$r8 = $r4, $r2
-	compw.eq	$r32 = $r4, $r2
-;;
-	cmoved.wnez $r5? $r7 = $r1
-	addw	$r5 = $r6, -1
-;;
-	cmoved.wnez $r8? $r3 = $r5
-	cb.wnez	$r32? .L109
-;;
-	compw.leu	$r32 = $r7, $r3
-;;
-	cb.wnez	$r32? .L108
-;;
-	make	$r6, -1
-;;
-.L109:
-	addd	$r0 = $r6, 0
-	ld	$r16 = 8[$r12]
-;;
-	set	$ra = $r16
-;;
-	addd	$r12 = $r12, 16
-;;
-	ret	
-;;
-	.type	my_bsearch3, @function
-	.size	my_bsearch3, . - my_bsearch3
-	.text
-	.balign 2
-	.globl random_ascending_fill
-random_ascending_fill:
-	addd	$r17 = $r12, 0
-	addd	$r12 = $r12, -16
-;;
-	sd	0[$r12] = $r17
-;;
-;;
-	get	$r16 = $ra
-;;
-	sd	8[$r12] = $r16
-;;
-	make	$r7, 41
-	make	$r8, 0
-	make	$r6, 0
-;;
-.L110:
-	compw.geu	$r32 = $r6, $r1
-;;
-	cb.wnez	$r32? .L111
-;;
-	zxwd	$r2 = $r6
-	andw	$r3 = $r7, 1073741824
-;;
-	slld	$r4 = $r2, 2
-;;
-	sw	$r4[$r0] = $r8
-	addw	$r8 = $r8, 1
-	cb.weqz	$r3? .L112
-;;
-	addw	$r8 = $r8, 1
-;;
-.L112:
-	mulw	$r2 = $r7, 97
-	addw	$r6 = $r6, 1
-;;
-	addw	$r7 = $r2, 5
-	goto	.L110
-;;
-.L111:
-	ld	$r16 = 8[$r12]
-;;
-	set	$ra = $r16
-;;
-	addd	$r12 = $r12, 16
-;;
-	ret	
-;;
-	.type	random_ascending_fill, @function
-	.size	random_ascending_fill, . - random_ascending_fill
-	.text
-	.balign 2
-	.globl main
-main:
-	addd	$r17 = $r12, 0
-	addd	$r12 = $r12, -96
-;;
-	sd	0[$r12] = $r17
-;;
-;;
-	get	$r16 = $ra
-;;
-	sd	8[$r12] = $r16
-;;
-	sd	16[$r12] = $r18
-	make	$r0, 20000
-;;
-	sd	24[$r12] = $r19
-	make	$r19, 1502
-;;
-	sd	32[$r12] = $r20
-	make	$r20, 5000
-;;
-	sd	40[$r12] = $r21
-;;
-	sd	48[$r12] = $r22
-;;
-	sd	56[$r12] = $r23
-;;
-	sd	64[$r12] = $r24
-;;
-	sd	72[$r12] = $r25
-;;
-	sd	80[$r12] = $r26
-;;
-	sd	88[$r12] = $r27
-	call	malloc
-;;
-	addd	$r21 = $r0, 0
-	call	get_current_cycle
-;;
-	addd	$r18 = $r0, 0
-	addd	$r1 = $r20, 0
-	addd	$r0 = $r21, 0
-	call	random_ascending_fill
-;;
-	call	get_current_cycle
-;;
-	sbfd	$r24 = $r18, $r0
-	addd	$r2 = $r19, 0
-	addd	$r1 = $r20, 0
-	addd	$r0 = $r21, 0
-	call	my_bsearch
-;;
-	call	get_current_cycle
-;;
-	addd	$r18 = $r0, 0
-	addd	$r2 = $r19, 0
-	addd	$r1 = $r20, 0
-	addd	$r0 = $r21, 0
-	call	my_bsearch
-;;
-	addd	$r26 = $r0, 0
-	call	get_current_cycle
-;;
-	sbfd	$r23 = $r18, $r0
-	call	get_current_cycle
-;;
-	addd	$r18 = $r0, 0
-	addd	$r2 = $r19, 0
-	addd	$r1 = $r20, 0
-	addd	$r0 = $r21, 0
-	call	my_bsearch2
-;;
-	addd	$r25 = $r0, 0
-	call	get_current_cycle
-;;
-	sbfd	$r22 = $r18, $r0
-	call	get_current_cycle
-;;
-	addd	$r27 = $r0, 0
-	addd	$r2 = $r19, 0
-	addd	$r1 = $r20, 0
-	addd	$r0 = $r21, 0
-	call	my_bsearch3
-;;
-	addd	$r18 = $r0, 0
-	call	get_current_cycle
-;;
-	sbfd	$r7 = $r27, $r0
-	make	$r0 = __stringlit_1
-	addd	$r6 = $r22, 0
-	addd	$r5 = $r23, 0
-;;
-	addd	$r4 = $r24, 0
-	addd	$r3 = $r18, 0
-	addd	$r2 = $r25, 0
-	addd	$r1 = $r26, 0
-	call	printf
-;;
-	addd	$r0 = $r21, 0
-	call	free
-;;
-	make	$r0, 0
-	ld	$r16 = 8[$r12]
-;;
-	ld	$r18 = 16[$r12]
-;;
-	ld	$r19 = 24[$r12]
-;;
-	ld	$r20 = 32[$r12]
-	set	$ra = $r16
-;;
-	ld	$r21 = 40[$r12]
-;;
-	ld	$r22 = 48[$r12]
-;;
-	ld	$r23 = 56[$r12]
-;;
-	ld	$r24 = 64[$r12]
-;;
-	ld	$r25 = 72[$r12]
-;;
-	ld	$r26 = 80[$r12]
-;;
-	ld	$r27 = 88[$r12]
-;;
-	addd	$r12 = $r12, 96
-;;
-	ret	
-;;
-	.type	main, @function
-	.size	main, . - main