bitsliced-aes done

2 files changed, 0 insertions, 3272 deletions

diff --git a/test/monniaux/bitsliced-aes/bs.ccomp.k1c.s.optimized b/test/monniaux/bitsliced-aes/bs.ccomp.k1c.s.optimized
deleted file mode 100644
index d939f856..00000000
--- a/test/monniaux/bitsliced-aes/bs.ccomp.k1c.s.optimized
+++ /dev/null
@@ -1,3268 +0,0 @@
-# File generated by CompCert 3.5
-# Command line: -O3 -Wall -Wno-c11-extensions -fno-unprototyped -S bs.c -o bs.ccomp.k1c.s
-	.text
-	.balign 2
-	.globl bs_addroundkey
-bs_addroundkey:
-	addd	$r17 = $r12, 0
-	addd	$r12 = $r12, -16
-;;
-	sd	0[$r12] = $r17
-;;
-;;
-	get	$r16 = $ra
-;;
-	sd	8[$r12] = $r16
-;;
-	make	$r5, 0
-;;
-.L100:
-	sxwd	$r6 = $r5
-	addw	$r5 = $r5, 1
-	make	$r32, 128
-;;
-	slld	$r2 = $r6, 3
-	compw.lt	$r32 = $r5, $r32
-;;
-	addd	$r3 = $r0, $r2
-	addd	$r4 = $r1, $r2
-;;
-	ld	$r7 = 0[$r3]
-;;
-	ld	$r9 = 0[$r4]
-;;
-	xord	$r6 = $r7, $r9
-;;
-	sd	0[$r3] = $r6
-;;
-	cb.wnez	$r32? .L100
-;;
-	ld	$r16 = 8[$r12]
-;;
-	set	$ra = $r16
-;;
-	addd	$r12 = $r12, 16
-;;
-	ret	
-;;
-	.type	bs_addroundkey, @function
-	.size	bs_addroundkey, . - bs_addroundkey
-	.text
-	.balign 2
-	.globl bs_apply_sbox
-bs_apply_sbox:
-	addd	$r17 = $r12, 0
-	addd	$r12 = $r12, -32
-;;
-	sd	0[$r12] = $r17
-;;
-;;
-	get	$r16 = $ra
-;;
-	sd	8[$r12] = $r16
-;;
-	sd	16[$r12] = $r18
-	addd	$r18 = $r0, 0
-;;
-	sd	24[$r12] = $r19
-	make	$r19, 0
-;;
-.L101:
-	sxwd	$r1 = $r19
-;;
-	slld	$r0 = $r1, 3
-;;
-	addd	$r0 = $r18, $r0
-	call	bs_sbox
-;;
-	addw	$r19 = $r19, 8
-	make	$r32, 128
-;;
-	compw.lt	$r32 = $r19, $r32
-;;
-	cb.wnez	$r32? .L101
-;;
-	ld	$r18 = 16[$r12]
-;;
-	ld	$r19 = 24[$r12]
-;;
-	ld	$r16 = 8[$r12]
-;;
-	set	$ra = $r16
-;;
-	addd	$r12 = $r12, 32
-;;
-	ret	
-;;
-	.type	bs_apply_sbox, @function
-	.size	bs_apply_sbox, . - bs_apply_sbox
-	.text
-	.balign 2
-	.globl bs_apply_sbox_rev
-bs_apply_sbox_rev:
-	addd	$r17 = $r12, 0
-	addd	$r12 = $r12, -32
-;;
-	sd	0[$r12] = $r17
-;;
-;;
-	get	$r16 = $ra
-;;
-	sd	8[$r12] = $r16
-;;
-	sd	16[$r12] = $r18
-	addd	$r18 = $r0, 0
-;;
-	sd	24[$r12] = $r19
-	make	$r19, 0
-;;
-.L102:
-	sxwd	$r1 = $r19
-;;
-	slld	$r0 = $r1, 3
-;;
-	addd	$r0 = $r18, $r0
-	call	bs_sbox_rev
-;;
-	addw	$r19 = $r19, 8
-	make	$r32, 128
-;;
-	compw.lt	$r32 = $r19, $r32
-;;
-	cb.wnez	$r32? .L102
-;;
-	ld	$r18 = 16[$r12]
-;;
-	ld	$r19 = 24[$r12]
-;;
-	ld	$r16 = 8[$r12]
-;;
-	set	$ra = $r16
-;;
-	addd	$r12 = $r12, 32
-;;
-	ret	
-;;
-	.type	bs_apply_sbox_rev, @function
-	.size	bs_apply_sbox_rev, . - bs_apply_sbox_rev
-	.text
-	.balign 2
-	.globl bs_sbox_rev
-bs_sbox_rev:
-	addd	$r17 = $r12, 0
-	addd	$r12 = $r12, -96
-;;
-	sd	0[$r12] = $r17
-;;
-;;
-	get	$r16 = $ra
-;;
-	sd	8[$r12] = $r16
-;;
-	sd	16[$r12] = $r18
-;;
-	sd	24[$r12] = $r19
-;;
-	ld	$r7 = 48[$r0]
-;;
-	ld	$r3 = 56[$r0]
-;;
-	ld	$r4 = 32[$r0]
-	nxord	$r40 = $r3, $r7
-;;
-	xord	$r10 = $r3, $r4
-	nxord	$r11 = $r7, $r4
-	ld	$r2 = 8[$r0]
-;;
-	ld	$r5 = 24[$r0]
-	nxord	$r45 = $r7, $r10
-	xord	$r59 = $r7, $r2
-;;
-	xord	$r41 = $r4, $r5
-	ld	$r1 = 0[$r0]
-	xord	$r60 = $r5, $r45
-	andd	$r33 = $r10, $r45
-;;
-	nxord	$r35 = $r5, $r1
-	xord	$r63 = $r2, $r1
-	nxord	$r39 = $r1, $r41
-	ld	$r6 = 40[$r0]
-;;
-	xord	$r46 = $r11, $r63
-	xord	$r54 = $r40, $r35
-	ld	$r7 = 16[$r0]
-	nxord	$r57 = $r6, $r5
-;;
-	xord	$r52 = $r40, $r63
-	xord	$r50 = $r41, $r63
-	nxord	$r47 = $r6, $r7
-	nxord	$r38 = $r7, $r2
-;;
-	nxord	$r58 = $r6, $r46
-	xord	$r19 = $r11, $r47
-	xord	$r63 = $r59, $r57
-	xord	$r7 = $r41, $r38
-;;
-	xord	$r44 = $r35, $r59
-	xord	$r18 = $r3, $r47
-	xord	$r3 = $r54, $r7
-	xord	$r55 = $r54, $r38
-;;
-	nxord	$r34 = $r6, $r41
-	xord	$r2 = $r50, $r63
-	andd	$r57 = $r52, $r19
-	andd	$r17 = $r50, $r63
-;;
-	xord	$r36 = $r55, $r57
-	andd	$r62 = $r46, $r18
-	andd	$r53 = $r11, $r39
-	xord	$r6 = $r2, $r17
-;;
-	andd	$r42 = $r44, $r58
-	andd	$r15 = $r41, $r3
-	andd	$r2 = $r60, $r7
-	andd	$r37 = $r40, $r54
-;;
-	xord	$r59 = $r62, $r57
-	xord	$r51 = $r42, $r17
-	xord	$r8 = $r2, $r15
-	xord	$r4 = $r37, $r15
-;;
-	xord	$r5 = $r36, $r33
-	xord	$r38 = $r59, $r35
-	xord	$r48 = $r6, $r53
-	xord	$r47 = $r51, $r4
-;;
-	xord	$r53 = $r5, $r8
-	xord	$r43 = $r38, $r4
-	xord	$r56 = $r48, $r8
-	xord	$r57 = $r47, $r34
-;;
-	xord	$r49 = $r56, $r57
-	andd	$r48 = $r56, $r53
-	xord	$r47 = $r53, $r43
-	andd	$r9 = $r53, $r57
-;;
-	xord	$r36 = $r43, $r48
-	xord	$r35 = $r57, $r48
-	andd	$r62 = $r47, $r9
-	xord	$r17 = $r47, $r48
-;;
-	andd	$r15 = $r35, $r47
-	andd	$r42 = $r36, $r49
-	andd	$r47 = $r43, $r56
-	xord	$r59 = $r49, $r48
-;;
-	andd	$r37 = $r49, $r47
-	xord	$r5 = $r43, $r15
-	xord	$r4 = $r62, $r17
-	xord	$r55 = $r57, $r42
-;;
-	xord	$r1 = $r37, $r59
-	xord	$r2 = $r5, $r55
-	xord	$r47 = $r5, $r4
-	andd	$r35 = $r4, $r39
-;;
-	xord	$r61 = $r4, $r1
-	xord	$r33 = $r55, $r1
-	andd	$r62 = $r1, $r45
-	andd	$r45 = $r55, $r18
-;;
-	xord	$r48 = $r2, $r61
-	andd	$r49 = $r2, $r3
-	andd	$r6 = $r1, $r10
-	andd	$r3 = $r47, $r50
-;;
-	andd	$r56 = $r47, $r63
-	andd	$r42 = $r5, $r58
-	andd	$r1 = $r4, $r11
-	andd	$r57 = $r2, $r41
-;;
-	andd	$r9 = $r61, $r54
-	andd	$r51 = $r33, $r52
-	andd	$r58 = $r55, $r46
-	andd	$r53 = $r5, $r44
-;;
-	andd	$r41 = $r48, $r60
-	andd	$r10 = $r61, $r40
-	xord	$r59 = $r49, $r57
-	xord	$r61 = $r3, $r1
-;;
-	andd	$r34 = $r33, $r19
-	andd	$r39 = $r48, $r7
-	xord	$r55 = $r9, $r41
-	xord	$r60 = $r45, $r6
-;;
-	xord	$r48 = $r62, $r35
-	xord	$r15 = $r56, $r53
-	xord	$r44 = $r59, $r61
-	xord	$r49 = $r51, $r10
-;;
-	xord	$r54 = $r34, $r42
-	xord	$r51 = $r58, $r60
-	xord	$r59 = $r59, $r48
-	xord	$r8 = $r56, $r42
-;;
-	xord	$r47 = $r9, $r1
-	xord	$r11 = $r60, $r15
-	xord	$r40 = $r55, $r44
-	xord	$r60 = $r15, $r51
-;;
-	xord	$r52 = $r56, $r41
-	xord	$r56 = $r10, $r54
-	xord	$r2 = $r49, $r59
-	xord	$r5 = $r59, $r60
-;;
-	xord	$r7 = $r3, $r55
-	xord	$r61 = $r51, $r56
-	xord	$r59 = $r47, $r11
-	xord	$r47 = $r8, $r40
-;;
-	xord	$r63 = $r35, $r39
-	xord	$r4 = $r34, $r45
-	sd	88[$r12] = $r47
-	xord	$r51 = $r2, $r59
-;;
-	xord	$r10 = $r55, $r48
-	xord	$r50 = $r44, $r63
-	sd	80[$r12] = $r51
-	xord	$r37 = $r7, $r5
-;;
-	xord	$r53 = $r54, $r44
-	sd	72[$r12] = $r37
-	xord	$r37 = $r4, $r40
-	xord	$r40 = $r50, $r61
-;;
-	xord	$r1 = $r58, $r57
-	sd	64[$r12] = $r37
-	xord	$r46 = $r10, $r53
-	xord	$r7 = $r52, $r50
-;;
-	sd	56[$r12] = $r40
-	xord	$r49 = $r49, $r1
-	addd	$r1 = $r12, 32
-	make	$r2, 64
-;;
-	sd	48[$r12] = $r46
-;;
-	sd	40[$r12] = $r7
-;;
-	sd	32[$r12] = $r49
-	call	memmove
-;;
-	ld	$r18 = 16[$r12]
-;;
-	ld	$r19 = 24[$r12]
-;;
-	ld	$r16 = 8[$r12]
-;;
-	set	$ra = $r16
-;;
-	addd	$r12 = $r12, 96
-;;
-	ret	
-;;
-	.type	bs_sbox_rev, @function
-	.size	bs_sbox_rev, . - bs_sbox_rev
-	.text
-	.balign 2
-	.globl bs_sbox
-bs_sbox:
-	addd	$r17 = $r12, 0
-	addd	$r12 = $r12, -80
-;;
-	sd	0[$r12] = $r17
-;;
-;;
-	get	$r16 = $ra
-;;
-	sd	8[$r12] = $r16
-;;
-	ld	$r5 = 56[$r0]
-;;
-	ld	$r6 = 32[$r0]
-;;
-	xord	$r41 = $r5, $r6
-	ld	$r2 = 16[$r0]
-;;
-	xord	$r42 = $r5, $r2
-	ld	$r4 = 8[$r0]
-	xord	$r49 = $r6, $r2
-;;
-	xord	$r48 = $r5, $r4
-	ld	$r55 = 24[$r0]
-;;
-	xord	$r9 = $r55, $r4
-	ld	$r3 = 48[$r0]
-;;
-	xord	$r5 = $r41, $r9
-	ld	$r7 = 40[$r0]
-	xord	$r34 = $r3, $r2
-;;
-	xord	$r10 = $r3, $r7
-	ld	$r1 = 0[$r0]
-	xord	$r11 = $r7, $r2
-	xord	$r3 = $r48, $r49
-;;
-	xord	$r33 = $r9, $r34
-	xord	$r8 = $r9, $r11
-	xord	$r44 = $r6, $r1
-	xord	$r47 = $r4, $r1
-;;
-	xord	$r59 = $r1, $r10
-	xord	$r7 = $r5, $r34
-	xord	$r9 = $r10, $r44
-	xord	$r4 = $r10, $r47
-;;
-	xord	$r61 = $r1, $r5
-	xord	$r57 = $r5, $r10
-	andd	$r50 = $r3, $r5
-	andd	$r43 = $r9, $r1
-;;
-	xord	$r34 = $r59, $r8
-	xord	$r6 = $r41, $r9
-	xord	$r35 = $r42, $r4
-	xord	$r36 = $r48, $r8
-;;
-	xord	$r38 = $r41, $r11
-	xord	$r40 = $r7, $r50
-	xord	$r11 = $r43, $r50
-	andd	$r50 = $r48, $r8
-;;
-	xord	$r15 = $r42, $r57
-	andd	$r62 = $r35, $r61
-	andd	$r37 = $r4, $r59
-	xord	$r52 = $r36, $r50
-;;
-	andd	$r53 = $r6, $r34
-	andd	$r55 = $r41, $r33
-	andd	$r46 = $r49, $r38
-	andd	$r54 = $r42, $r57
-;;
-	xord	$r39 = $r53, $r50
-	xord	$r60 = $r46, $r55
-	xord	$r55 = $r54, $r55
-	xord	$r10 = $r40, $r62
-;;
-	xord	$r44 = $r6, $r34
-	xord	$r43 = $r11, $r15
-	xord	$r15 = $r52, $r37
-	xord	$r17 = $r39, $r55
-;;
-	xord	$r45 = $r10, $r60
-	xord	$r55 = $r43, $r55
-	xord	$r50 = $r15, $r60
-	xord	$r46 = $r17, $r44
-;;
-	xord	$r63 = $r50, $r46
-	andd	$r43 = $r50, $r45
-	xord	$r56 = $r45, $r55
-	andd	$r54 = $r45, $r46
-;;
-	xord	$r36 = $r55, $r43
-	xord	$r47 = $r46, $r43
-	andd	$r40 = $r56, $r54
-	andd	$r60 = $r55, $r50
-;;
-	andd	$r2 = $r47, $r56
-	andd	$r58 = $r36, $r63
-	xord	$r36 = $r56, $r43
-	andd	$r15 = $r63, $r60
-;;
-	xord	$r47 = $r63, $r43
-	xord	$r17 = $r55, $r2
-	xord	$r50 = $r40, $r36
-	xord	$r52 = $r46, $r58
-;;
-	xord	$r58 = $r15, $r47
-	xord	$r51 = $r17, $r52
-	xord	$r7 = $r17, $r50
-	andd	$r43 = $r52, $r1
-;;
-	xord	$r53 = $r50, $r58
-	xord	$r62 = $r52, $r58
-	andd	$r44 = $r7, $r8
-	andd	$r8 = $r50, $r59
-;;
-	xord	$r40 = $r51, $r53
-	andd	$r45 = $r58, $r61
-	andd	$r54 = $r51, $r33
-	andd	$r10 = $r58, $r35
-;;
-	andd	$r47 = $r40, $r38
-	andd	$r46 = $r62, $r3
-	andd	$r2 = $r51, $r41
-	xord	$r35 = $r8, $r10
-;;
-	andd	$r5 = $r62, $r5
-	andd	$r36 = $r17, $r34
-	andd	$r39 = $r53, $r57
-	andd	$r56 = $r7, $r48
-;;
-	andd	$r41 = $r40, $r49
-	xord	$r34 = $r45, $r46
-	xord	$r51 = $r44, $r2
-	xord	$r62 = $r54, $r47
-;;
-	andd	$r38 = $r52, $r9
-	andd	$r37 = $r50, $r4
-	andd	$r9 = $r17, $r6
-	xord	$r59 = $r46, $r35
-;;
-	andd	$r61 = $r53, $r42
-	xord	$r1 = $r2, $r41
-	xord	$r63 = $r5, $r43
-	xord	$r33 = $r39, $r56
-;;
-	xord	$r42 = $r41, $r51
-	xord	$r51 = $r5, $r34
-	xord	$r52 = $r36, $r37
-	xord	$r49 = $r59, $r62
-;;
-	xord	$r57 = $r47, $r33
-	xord	$r3 = $r9, $r63
-	xord	$r11 = $r54, $r2
-	xord	$r50 = $r10, $r1
-;;
-	xord	$r37 = $r43, $r36
-	xord	$r6 = $r56, $r52
-	xord	$r9 = $r51, $r62
-	xord	$r40 = $r42, $r49
-;;
-	xord	$r36 = $r61, $r33
-	xord	$r10 = $r42, $r57
-	xord	$r56 = $r52, $r57
-	xord	$r57 = $r3, $r11
-;;
-	xord	$r5 = $r35, $r51
-	sd	72[$r12] = $r40
-	nxord	$r43 = $r50, $r9
-	nxord	$r17 = $r36, $r57
-;;
-	xord	$r39 = $r8, $r1
-	xord	$r53 = $r38, $r35
-	xord	$r8 = $r1, $r35
-	sd	64[$r12] = $r43
-;;
-	xord	$r7 = $r34, $r37
-	xord	$r58 = $r3, $r53
-	sd	56[$r12] = $r17
-	xord	$r38 = $r42, $r5
-;;
-	xord	$r48 = $r6, $r63
-	sd	48[$r12] = $r38
-	xord	$r1 = $r8, $r7
-	xord	$r43 = $r10, $r58
-;;
-	sd	40[$r12] = $r1
-	nxord	$r4 = $r39, $r56
-	nxord	$r34 = $r42, $r48
-	addd	$r1 = $r12, 16
-;;
-	sd	32[$r12] = $r43
-	make	$r2, 64
-;;
-	sd	24[$r12] = $r4
-;;
-	sd	16[$r12] = $r34
-	call	memmove
-;;
-	ld	$r16 = 8[$r12]
-;;
-	set	$ra = $r16
-;;
-	addd	$r12 = $r12, 80
-;;
-	ret	
-;;
-	.type	bs_sbox, @function
-	.size	bs_sbox, . - bs_sbox
-	.text
-	.balign 2
-	.globl bs_transpose
-bs_transpose:
-	addd	$r17 = $r12, 0
-	addd	$r12 = $r12, -1056
-;;
-	sd	0[$r12] = $r17
-;;
-;;
-	get	$r16 = $ra
-;;
-	sd	8[$r12] = $r16
-;;
-	sd	16[$r12] = $r18
-	addd	$r18 = $r0, 0
-	addd	$r0 = $r12, 24
-	make	$r1, 0
-;;
-	make	$r2, 1024
-	call	memset
-;;
-	addd	$r0 = $r12, 24
-	addd	$r1 = $r18, 0
-	call	bs_transpose_dst
-;;
-	addd	$r1 = $r12, 24
-	make	$r2, 1024
-	addd	$r0 = $r18, 0
-	call	memmove
-;;
-	ld	$r16 = 8[$r12]
-;;
-	ld	$r18 = 16[$r12]
-;;
-	set	$ra = $r16
-;;
-	addd	$r12 = $r12, 1056
-;;
-	ret	
-;;
-	.type	bs_transpose, @function
-	.size	bs_transpose, . - bs_transpose
-	.text
-	.balign 2
-	.globl bs_transpose_dst
-bs_transpose_dst:
-	addd	$r17 = $r12, 0
-	addd	$r12 = $r12, -16
-;;
-	sd	0[$r12] = $r17
-;;
-;;
-	get	$r16 = $ra
-;;
-	sd	8[$r12] = $r16
-;;
-	make	$r4, 0
-;;
-.L103:
-	make	$r35, 1
-	make	$r17, 0
-;;
-	slld	$r41 = $r35, $r4
-;;
-	addw	$r9 = $r41, 0
-;;
-.L104:
-	sllw	$r10 = $r4, 1
-	sllw	$r42 = $r17, 6
-	make	$r6, 0
-;;
-	addw	$r36 = $r10, $r17
-;;
-	sxwd	$r15 = $r36
-;;
-	slld	$r2 = $r15, 3
-;;
-	addd	$r8 = $r1, $r2
-;;
-	ld	$r11 = 0[$r8]
-;;
-.L105:
-	addw	$r40 = $r42, $r6
-	make	$r2, 0
-	make	$r44, 1
-	make	$r32, 64
-;;
-	sxwd	$r34 = $r40
-	sxwd	$r39 = $r9
-	slld	$r37 = $r44, $r6
-	addw	$r6 = $r6, 1
-;;
-	ld.xs	$r7 = $r34[$r0]
-	andd	$r33 = $r11, $r37
-	compw.lt	$r32 = $r6, $r32
-;;
-	cmoved.dnez $r33? $r2 = $r39
-;;
-	ord	$r38 = $r7, $r2
-;;
-	sd.xs	$r34[$r0] = $r38
-	cb.wnez	$r32? .L105
-;;
-	addw	$r17 = $r17, 1
-	make	$r32, 2
-;;
-	compw.lt	$r32 = $r17, $r32
-;;
-	cb.wnez	$r32? .L104
-;;
-	addw	$r4 = $r4, 1
-	make	$r32, 64
-;;
-	compw.lt	$r32 = $r4, $r32
-;;
-	cb.wnez	$r32? .L103
-;;
-	ld	$r16 = 8[$r12]
-;;
-	set	$ra = $r16
-;;
-	addd	$r12 = $r12, 16
-;;
-	ret	
-;;
-	.type	bs_transpose_dst, @function
-	.size	bs_transpose_dst, . - bs_transpose_dst
-	.text
-	.balign 2
-	.globl bs_transpose_rev
-bs_transpose_rev:
-	addd	$r17 = $r12, 0
-	addd	$r12 = $r12, -1056
-;;
-	sd	0[$r12] = $r17
-;;
-;;
-	get	$r16 = $ra
-;;
-	sd	8[$r12] = $r16
-;;
-	sd	16[$r12] = $r18
-	addd	$r18 = $r0, 0
-	addd	$r0 = $r12, 24
-	make	$r1, 0
-;;
-	make	$r2, 1024
-	call	memset
-;;
-	make	$r3, 0
-;;
-.L106:
-	sxwd	$r8 = $r3
-	sraw	$r32 = $r3, 31
-	make	$r11, 0
-;;
-	slld	$r34 = $r8, 3
-	srlw	$r32 = $r32, 26
-;;
-	addd	$r6 = $r18, $r34
-	addw	$r32 = $r3, $r32
-;;
-	sraw	$r2 = $r32, 6
-;;
-	sxwd	$r5 = $r2
-;;
-	ld	$r36 = 0[$r6]
-;;
-.L107:
-	make	$r39, 1
-;;
-	slld	$r38 = $r39, $r11
-;;
-	andd	$r17 = $r36, $r38
-;;
-	cb.deqz	$r17? .L108
-;;
-	make	$r44, 1
-	sraw	$r32 = $r3, 31
-;;
-	srlw	$r32 = $r32, 26
-;;
-	addw	$r32 = $r3, $r32
-;;
-	sraw	$r40 = $r32, 6
-;;
-	sllw	$r9 = $r40, 6
-;;
-	sbfw	$r45 = $r9, $r3
-;;
-	slld	$r0 = $r44, $r45
-	goto	.L109
-;;
-.L108:
-	make	$r0, 0
-;;
-.L109:
-	addd	$r37 = $r12, 24
-	sllw	$r46 = $r11, 1
-	addw	$r11 = $r11, 1
-	make	$r32, 64
-;;
-	sxwd	$r7 = $r46
-	compw.lt	$r32 = $r11, $r32
-;;
-	addd	$r4 = $r7, $r5
-;;
-	slld	$r10 = $r4, 3
-;;
-	addd	$r1 = $r37, $r10
-;;
-	ld	$r41 = 0[$r1]
-;;
-	ord	$r35 = $r41, $r0
-;;
-	sd	0[$r1] = $r35
-;;
-	cb.wnez	$r32? .L107
-;;
-	addw	$r3 = $r3, 1
-	make	$r32, 128
-;;
-	compw.lt	$r32 = $r3, $r32
-;;
-	cb.wnez	$r32? .L106
-;;
-	addd	$r1 = $r12, 24
-	make	$r2, 1024
-	addd	$r0 = $r18, 0
-	call	memmove
-;;
-	ld	$r16 = 8[$r12]
-;;
-	ld	$r18 = 16[$r12]
-;;
-	set	$ra = $r16
-;;
-	addd	$r12 = $r12, 1056
-;;
-	ret	
-;;
-	.type	bs_transpose_rev, @function
-	.size	bs_transpose_rev, . - bs_transpose_rev
-	.text
-	.balign 2
-	.globl bs_shiftrows
-bs_shiftrows:
-	addd	$r17 = $r12, 0
-	addd	$r12 = $r12, -1040
-;;
-	sd	0[$r12] = $r17
-;;
-;;
-	get	$r16 = $ra
-;;
-	sd	8[$r12] = $r16
-;;
-	addd	$r50 = $r12, 16
-	addd	$r1 = $r0, 0
-	addd	$r43 = $r0, 256
-	addd	$r8 = $r0, 512
-;;
-	addd	$r60 = $r0, 768
-	make	$r15, 0
-	make	$r52, 32
-	make	$r3, 64
-;;
-	make	$r36, 96
-	make	$r7, 0
-;;
-.L110:
-	ld	$r5 = 0[$r1]
-	addw	$r59 = $r52, 40
-	addw	$r7 = $r7, 1
-	make	$r32, 4
-;;
-	sd	0[$r50] = $r5
-	andw	$r52 = $r59, 127
-	addw	$r63 = $r36, 40
-	compw.lt	$r32 = $r7, $r32
-;;
-	andw	$r36 = $r63, 127
-	sxwd	$r62 = $r52
-;;
-	slld	$r53 = $r62, 3
-;;
-	ld	$r11 = 8[$r1]
-;;
-	sd	8[$r50] = $r11
-;;
-	ld	$r61 = 16[$r1]
-;;
-	sd	16[$r50] = $r61
-;;
-	ld	$r6 = 24[$r1]
-;;
-	sd	24[$r50] = $r6
-;;
-	ld	$r56 = 32[$r1]
-;;
-	sd	32[$r50] = $r56
-;;
-	ld	$r2 = 40[$r1]
-;;
-	sd	40[$r50] = $r2
-	addw	$r2 = $r3, 40
-;;
-	andw	$r3 = $r2, 127
-	sxwd	$r2 = $r36
-;;
-	sxwd	$r5 = $r3
-	slld	$r39 = $r2, 3
-;;
-	ld	$r38 = 48[$r1]
-	slld	$r46 = $r5, 3
-;;
-	sd	48[$r50] = $r38
-;;
-	ld	$r54 = 56[$r1]
-;;
-	sd	56[$r50] = $r54
-;;
-	ld	$r4 = 0[$r43]
-;;
-	sd	256[$r50] = $r4
-;;
-	ld	$r58 = 8[$r43]
-;;
-	sd	264[$r50] = $r58
-;;
-	ld	$r10 = 16[$r43]
-;;
-	sd	272[$r50] = $r10
-;;
-	ld	$r34 = 24[$r43]
-;;
-	sd	280[$r50] = $r34
-;;
-	ld	$r51 = 32[$r43]
-;;
-	sd	288[$r50] = $r51
-;;
-	ld	$r9 = 40[$r43]
-;;
-	sd	296[$r50] = $r9
-;;
-	ld	$r1 = 48[$r43]
-;;
-	sd	304[$r50] = $r1
-;;
-	ld	$r4 = 56[$r43]
-	addd	$r43 = $r0, $r53
-;;
-	sd	312[$r50] = $r4
-;;
-	ld	$r41 = 0[$r8]
-;;
-	sd	512[$r50] = $r41
-;;
-	ld	$r9 = 8[$r8]
-;;
-	sd	520[$r50] = $r9
-;;
-	ld	$r6 = 16[$r8]
-;;
-	sd	528[$r50] = $r6
-;;
-	ld	$r9 = 24[$r8]
-;;
-	sd	536[$r50] = $r9
-;;
-	ld	$r42 = 32[$r8]
-;;
-	sd	544[$r50] = $r42
-;;
-	ld	$r35 = 40[$r8]
-;;
-	sd	552[$r50] = $r35
-;;
-	ld	$r10 = 48[$r8]
-;;
-	sd	560[$r50] = $r10
-;;
-	ld	$r57 = 56[$r8]
-;;
-	sd	568[$r50] = $r57
-;;
-	ld	$r17 = 0[$r60]
-;;
-	sd	768[$r50] = $r17
-;;
-	ld	$r8 = 8[$r60]
-;;
-	sd	776[$r50] = $r8
-	addw	$r8 = $r15, 40
-;;
-	andw	$r15 = $r8, 127
-	addd	$r8 = $r0, $r46
-;;
-	sxwd	$r37 = $r15
-;;
-	ld	$r48 = 16[$r60]
-	slld	$r40 = $r37, 3
-;;
-	sd	784[$r50] = $r48
-	addd	$r1 = $r0, $r40
-;;
-	ld	$r33 = 24[$r60]
-;;
-	sd	792[$r50] = $r33
-;;
-	ld	$r47 = 32[$r60]
-;;
-	sd	800[$r50] = $r47
-;;
-	ld	$r4 = 40[$r60]
-;;
-	sd	808[$r50] = $r4
-;;
-	ld	$r44 = 48[$r60]
-;;
-	sd	816[$r50] = $r44
-;;
-	ld	$r49 = 56[$r60]
-	addd	$r60 = $r0, $r39
-;;
-	sd	824[$r50] = $r49
-	addd	$r50 = $r50, 64
-	cb.wnez	$r32? .L110
-;;
-	addd	$r1 = $r12, 16
-	make	$r2, 1024
-	call	memmove
-;;
-	ld	$r16 = 8[$r12]
-;;
-	set	$ra = $r16
-;;
-	addd	$r12 = $r12, 1040
-;;
-	ret	
-;;
-	.type	bs_shiftrows, @function
-	.size	bs_shiftrows, . - bs_shiftrows
-	.text
-	.balign 2
-	.globl bs_shiftrows_rev
-bs_shiftrows_rev:
-	addd	$r17 = $r12, 0
-	addd	$r12 = $r12, -1040
-;;
-	sd	0[$r12] = $r17
-;;
-;;
-	get	$r16 = $ra
-;;
-	sd	8[$r12] = $r16
-;;
-	addd	$r56 = $r12, 16
-	addd	$r34 = $r12, 16
-	addd	$r45 = $r12, 272
-	addd	$r6 = $r12, 528
-;;
-	addd	$r62 = $r12, 784
-	make	$r4, 0
-	make	$r10, 32
-	make	$r55, 64
-;;
-	make	$r2, 96
-	make	$r59, 0
-;;
-.L111:
-	ld	$r43 = 0[$r0]
-	addw	$r9 = $r4, 40
-	addw	$r59 = $r59, 1
-	make	$r32, 4
-;;
-	sd	0[$r34] = $r43
-	andw	$r4 = $r9, 127
-	addw	$r51 = $r10, 40
-	compw.lt	$r32 = $r59, $r32
-;;
-	andw	$r10 = $r51, 127
-	sxwd	$r39 = $r4
-;;
-	slld	$r60 = $r39, 3
-;;
-	ld	$r57 = 8[$r0]
-;;
-	sd	8[$r34] = $r57
-;;
-	ld	$r63 = 16[$r0]
-;;
-	sd	16[$r34] = $r63
-;;
-	ld	$r7 = 24[$r0]
-;;
-	sd	24[$r34] = $r7
-;;
-	ld	$r44 = 32[$r0]
-;;
-	sd	32[$r34] = $r44
-;;
-	ld	$r42 = 40[$r0]
-;;
-	sd	40[$r34] = $r42
-;;
-	ld	$r40 = 48[$r0]
-;;
-	sd	48[$r34] = $r40
-;;
-	ld	$r61 = 56[$r0]
-;;
-	sd	56[$r34] = $r61
-	addd	$r34 = $r56, $r60
-;;
-	ld	$r35 = 256[$r0]
-;;
-	sd	0[$r45] = $r35
-;;
-	ld	$r1 = 264[$r0]
-;;
-	sd	8[$r45] = $r1
-	addw	$r1 = $r2, 40
-;;
-	andw	$r2 = $r1, 127
-;;
-	ld	$r49 = 272[$r0]
-;;
-	sd	16[$r45] = $r49
-;;
-	ld	$r37 = 280[$r0]
-;;
-	sd	24[$r45] = $r37
-;;
-	ld	$r54 = 288[$r0]
-;;
-	sd	32[$r45] = $r54
-;;
-	ld	$r15 = 296[$r0]
-;;
-	sd	40[$r45] = $r15
-;;
-	ld	$r3 = 304[$r0]
-;;
-	sd	48[$r45] = $r3
-;;
-	ld	$r5 = 312[$r0]
-;;
-	sd	56[$r45] = $r5
-	sxwd	$r5 = $r2
-;;
-	slld	$r38 = $r5, 3
-;;
-	ld	$r53 = 512[$r0]
-;;
-	sd	0[$r6] = $r53
-;;
-	ld	$r33 = 520[$r0]
-;;
-	sd	8[$r6] = $r33
-;;
-	ld	$r8 = 528[$r0]
-;;
-	sd	16[$r6] = $r8
-;;
-	ld	$r11 = 536[$r0]
-;;
-	sd	24[$r6] = $r11
-;;
-	ld	$r47 = 544[$r0]
-;;
-	sd	32[$r6] = $r47
-;;
-	ld	$r3 = 552[$r0]
-;;
-	sd	40[$r6] = $r3
-;;
-	ld	$r17 = 560[$r0]
-;;
-	sd	48[$r6] = $r17
-;;
-	ld	$r52 = 568[$r0]
-;;
-	sd	56[$r6] = $r52
-	sxwd	$r6 = $r10
-;;
-	slld	$r1 = $r6, 3
-;;
-	addd	$r45 = $r56, $r1
-;;
-	ld	$r8 = 768[$r0]
-;;
-	sd	0[$r62] = $r8
-;;
-	ld	$r41 = 776[$r0]
-;;
-	sd	8[$r62] = $r41
-;;
-	ld	$r3 = 784[$r0]
-;;
-	sd	16[$r62] = $r3
-	addw	$r3 = $r55, 40
-;;
-	andw	$r55 = $r3, 127
-;;
-	sxwd	$r7 = $r55
-;;
-	ld	$r36 = 792[$r0]
-	slld	$r58 = $r7, 3
-;;
-	sd	24[$r62] = $r36
-	addd	$r6 = $r56, $r58
-;;
-	ld	$r48 = 800[$r0]
-;;
-	sd	32[$r62] = $r48
-;;
-	ld	$r11 = 808[$r0]
-;;
-	sd	40[$r62] = $r11
-;;
-	ld	$r46 = 816[$r0]
-;;
-	sd	48[$r62] = $r46
-;;
-	ld	$r50 = 824[$r0]
-	addd	$r0 = $r0, 64
-;;
-	sd	56[$r62] = $r50
-	addd	$r62 = $r56, $r38
-	cb.wnez	$r32? .L111
-;;
-	addd	$r0 = $r0, -256
-	addd	$r1 = $r12, 16
-	make	$r2, 1024
-	call	memmove
-;;
-	ld	$r16 = 8[$r12]
-;;
-	set	$ra = $r16
-;;
-	addd	$r12 = $r12, 1040
-;;
-	ret	
-;;
-	.type	bs_shiftrows_rev, @function
-	.size	bs_shiftrows_rev, . - bs_shiftrows_rev
-	.text
-	.balign 2
-	.globl bs_shiftmix
-bs_shiftmix:
-	addd	$r17 = $r12, 0
-	addd	$r12 = $r12, -1088
-;;
-	sd	0[$r12] = $r17
-;;
-;;
-	get	$r16 = $ra
-;;
-	sd	8[$r12] = $r16
-;;
-	sd	16[$r12] = $r18
-	addd	$r4 = $r0, 256
-	addd	$r1 = $r0, 512
-	addd	$r3 = $r0, 768
-;;
-	sd	24[$r12] = $r19
-	addd	$r19 = $r12, 64
-	make	$r18, 0
-	addd	$r2 = $r0, 0
-;;
-	sd	32[$r12] = $r20
-	make	$r20, 64
-;;
-	sd	40[$r12] = $r21
-	make	$r21, 96
-;;
-	sd	48[$r12] = $r22
-	make	$r22, 32
-;;
-	sd	56[$r12] = $r23
-	make	$r23, 0
-;;
-.L112:
-	ld	$r46 = 64[$r4]
-	addw	$r23 = $r23, 1
-	make	$r32, 4
-;;
-	ld	$r8 = 128[$r1]
-	compw.lt	$r32 = $r23, $r32
-;;
-	ld	$r5 = 56[$r2]
-	xord	$r57 = $r46, $r8
-;;
-	ld	$r59 = 120[$r4]
-;;
-	xord	$r7 = $r5, $r59
-	ld	$r17 = 192[$r3]
-;;
-	xord	$r5 = $r57, $r17
-;;
-	xord	$r61 = $r5, $r7
-;;
-	sd	0[$r19] = $r61
-;;
-	ld	$r48 = 0[$r2]
-;;
-	ld	$r62 = 64[$r4]
-;;
-	xord	$r42 = $r48, $r62
-	ld	$r60 = 72[$r4]
-;;
-	xord	$r5 = $r42, $r60
-	ld	$r61 = 136[$r1]
-;;
-	xord	$r45 = $r5, $r61
-	ld	$r40 = 200[$r3]
-;;
-	xord	$r45 = $r45, $r40
-;;
-	xord	$r5 = $r45, $r7
-;;
-	sd	8[$r19] = $r5
-;;
-	ld	$r11 = 8[$r2]
-;;
-	ld	$r51 = 72[$r4]
-;;
-	xord	$r45 = $r11, $r51
-	ld	$r40 = 80[$r4]
-;;
-	xord	$r37 = $r45, $r40
-	ld	$r39 = 144[$r1]
-;;
-	xord	$r6 = $r37, $r39
-	ld	$r42 = 208[$r3]
-;;
-	xord	$r59 = $r6, $r42
-;;
-	sd	16[$r19] = $r59
-;;
-	ld	$r6 = 16[$r2]
-;;
-	ld	$r44 = 80[$r4]
-;;
-	xord	$r43 = $r6, $r44
-	ld	$r9 = 88[$r4]
-;;
-	xord	$r52 = $r43, $r9
-	ld	$r46 = 152[$r1]
-;;
-	xord	$r42 = $r52, $r46
-	ld	$r48 = 216[$r3]
-;;
-	xord	$r5 = $r42, $r48
-;;
-	xord	$r55 = $r5, $r7
-;;
-	sd	24[$r19] = $r55
-;;
-	ld	$r34 = 24[$r2]
-;;
-	ld	$r8 = 88[$r4]
-;;
-	xord	$r62 = $r34, $r8
-	ld	$r47 = 96[$r4]
-;;
-	xord	$r38 = $r62, $r47
-	ld	$r50 = 160[$r1]
-;;
-	xord	$r34 = $r38, $r50
-	ld	$r56 = 224[$r3]
-;;
-	xord	$r8 = $r34, $r56
-;;
-	xord	$r11 = $r8, $r7
-;;
-	sd	32[$r19] = $r11
-;;
-	ld	$r5 = 96[$r4]
-;;
-	ld	$r53 = 32[$r2]
-;;
-	xord	$r44 = $r53, $r5
-	ld	$r54 = 168[$r1]
-;;
-	ld	$r5 = 104[$r4]
-;;
-	xord	$r40 = $r44, $r5
-;;
-	xord	$r10 = $r40, $r54
-;;
-	ld	$r5 = 232[$r3]
-;;
-	xord	$r39 = $r10, $r5
-;;
-	sd	40[$r19] = $r39
-;;
-	ld	$r5 = 40[$r2]
-;;
-	ld	$r58 = 104[$r4]
-;;
-	xord	$r17 = $r5, $r58
-	ld	$r15 = 112[$r4]
-;;
-	xord	$r37 = $r17, $r15
-	ld	$r5 = 176[$r1]
-;;
-	xord	$r57 = $r37, $r5
-	ld	$r51 = 240[$r3]
-;;
-	xord	$r57 = $r57, $r51
-;;
-	sd	48[$r19] = $r57
-;;
-	ld	$r40 = 48[$r2]
-;;
-	ld	$r52 = 112[$r4]
-;;
-	xord	$r35 = $r40, $r52
-	ld	$r5 = 120[$r4]
-;;
-	xord	$r5 = $r35, $r5
-	ld	$r49 = 184[$r1]
-;;
-	xord	$r15 = $r5, $r49
-	ld	$r34 = 248[$r3]
-;;
-	xord	$r46 = $r15, $r34
-;;
-	sd	56[$r19] = $r46
-;;
-	ld	$r33 = 0[$r2]
-;;
-	ld	$r36 = 128[$r1]
-;;
-	ld	$r48 = 120[$r4]
-	xord	$r42 = $r33, $r36
-;;
-	ld	$r5 = 184[$r1]
-;;
-	xord	$r34 = $r48, $r5
-	ld	$r47 = 192[$r3]
-;;
-	xord	$r60 = $r42, $r47
-;;
-	xord	$r60 = $r60, $r34
-;;
-	sd	64[$r19] = $r60
-;;
-	ld	$r43 = 8[$r2]
-;;
-	ld	$r47 = 64[$r4]
-;;
-	xord	$r63 = $r43, $r47
-	ld	$r52 = 128[$r1]
-;;
-	xord	$r5 = $r63, $r52
-	ld	$r7 = 136[$r1]
-;;
-	xord	$r60 = $r5, $r7
-	ld	$r15 = 200[$r3]
-;;
-	xord	$r55 = $r60, $r15
-;;
-	xord	$r48 = $r55, $r34
-;;
-	sd	72[$r19] = $r48
-;;
-	ld	$r56 = 16[$r2]
-;;
-	ld	$r5 = 72[$r4]
-;;
-	xord	$r7 = $r56, $r5
-	ld	$r46 = 136[$r1]
-;;
-	xord	$r41 = $r7, $r46
-	ld	$r40 = 144[$r1]
-;;
-	xord	$r5 = $r41, $r40
-	ld	$r47 = 208[$r3]
-;;
-	xord	$r5 = $r5, $r47
-;;
-	sd	80[$r19] = $r5
-;;
-	ld	$r52 = 24[$r2]
-;;
-	ld	$r54 = 80[$r4]
-;;
-	xord	$r35 = $r52, $r54
-	ld	$r63 = 144[$r1]
-;;
-	xord	$r7 = $r35, $r63
-	ld	$r8 = 152[$r1]
-;;
-	xord	$r33 = $r7, $r8
-	ld	$r37 = 216[$r3]
-;;
-	xord	$r56 = $r33, $r37
-;;
-	xord	$r54 = $r56, $r34
-;;
-	sd	88[$r19] = $r54
-;;
-	ld	$r9 = 32[$r2]
-;;
-	ld	$r6 = 88[$r4]
-;;
-	xord	$r44 = $r9, $r6
-	ld	$r51 = 152[$r1]
-;;
-	xord	$r35 = $r44, $r51
-	ld	$r52 = 160[$r1]
-;;
-	xord	$r38 = $r35, $r52
-	ld	$r9 = 224[$r3]
-;;
-	xord	$r62 = $r38, $r9
-;;
-	xord	$r6 = $r62, $r34
-;;
-	sd	96[$r19] = $r6
-;;
-	ld	$r15 = 40[$r2]
-;;
-	ld	$r17 = 96[$r4]
-;;
-	xord	$r36 = $r15, $r17
-	ld	$r5 = 160[$r1]
-;;
-	xord	$r50 = $r36, $r5
-	ld	$r51 = 168[$r1]
-;;
-	xord	$r37 = $r50, $r51
-	ld	$r42 = 232[$r3]
-;;
-	xord	$r58 = $r37, $r42
-;;
-	sd	104[$r19] = $r58
-;;
-	ld	$r56 = 48[$r2]
-;;
-	ld	$r41 = 104[$r4]
-;;
-	xord	$r11 = $r56, $r41
-	ld	$r48 = 168[$r1]
-;;
-	xord	$r51 = $r11, $r48
-	ld	$r58 = 176[$r1]
-;;
-	xord	$r61 = $r51, $r58
-	ld	$r5 = 240[$r3]
-;;
-	xord	$r61 = $r61, $r5
-;;
-	sd	112[$r19] = $r61
-;;
-	ld	$r34 = 56[$r2]
-;;
-	ld	$r56 = 112[$r4]
-;;
-	xord	$r46 = $r34, $r56
-	ld	$r9 = 176[$r1]
-;;
-	xord	$r62 = $r46, $r9
-	ld	$r33 = 184[$r1]
-;;
-	xord	$r46 = $r62, $r33
-	ld	$r61 = 248[$r3]
-;;
-	xord	$r40 = $r46, $r61
-;;
-	sd	120[$r19] = $r40
-;;
-	ld	$r5 = 184[$r1]
-;;
-	ld	$r59 = 248[$r3]
-;;
-	xord	$r43 = $r5, $r59
-	ld	$r55 = 0[$r2]
-;;
-	ld	$r5 = 64[$r4]
-;;
-	xord	$r42 = $r55, $r5
-	ld	$r35 = 192[$r3]
-;;
-	xord	$r49 = $r42, $r35
-;;
-	xord	$r5 = $r49, $r43
-;;
-	sd	128[$r19] = $r5
-;;
-	ld	$r57 = 8[$r2]
-;;
-	ld	$r5 = 72[$r4]
-;;
-	xord	$r44 = $r57, $r5
-	ld	$r45 = 128[$r1]
-;;
-	xord	$r17 = $r44, $r45
-	ld	$r33 = 192[$r3]
-;;
-	xord	$r52 = $r17, $r33
-	ld	$r39 = 200[$r3]
-;;
-	xord	$r35 = $r52, $r39
-;;
-	xord	$r62 = $r35, $r43
-;;
-	sd	136[$r19] = $r62
-;;
-	ld	$r5 = 16[$r2]
-;;
-	ld	$r39 = 80[$r4]
-;;
-	xord	$r36 = $r5, $r39
-	ld	$r41 = 136[$r1]
-;;
-	xord	$r6 = $r36, $r41
-	ld	$r5 = 200[$r3]
-;;
-	xord	$r35 = $r6, $r5
-	ld	$r11 = 208[$r3]
-;;
-	xord	$r37 = $r35, $r11
-;;
-	sd	144[$r19] = $r37
-;;
-	ld	$r5 = 24[$r2]
-;;
-	ld	$r63 = 88[$r4]
-;;
-	xord	$r33 = $r5, $r63
-	ld	$r45 = 144[$r1]
-;;
-	xord	$r49 = $r33, $r45
-	ld	$r36 = 208[$r3]
-;;
-	xord	$r55 = $r49, $r36
-	ld	$r8 = 216[$r3]
-;;
-	xord	$r41 = $r55, $r8
-;;
-	xord	$r58 = $r41, $r43
-;;
-	sd	152[$r19] = $r58
-;;
-	ld	$r6 = 32[$r2]
-;;
-	ld	$r47 = 96[$r4]
-;;
-	xord	$r11 = $r6, $r47
-	ld	$r61 = 152[$r1]
-;;
-	xord	$r44 = $r11, $r61
-	ld	$r9 = 216[$r3]
-;;
-	xord	$r59 = $r44, $r9
-	ld	$r34 = 224[$r3]
-;;
-	xord	$r7 = $r59, $r34
-;;
-	xord	$r17 = $r7, $r43
-;;
-	sd	160[$r19] = $r17
-;;
-	ld	$r54 = 40[$r2]
-;;
-	ld	$r53 = 104[$r4]
-;;
-	xord	$r7 = $r54, $r53
-	ld	$r59 = 160[$r1]
-;;
-	xord	$r37 = $r7, $r59
-	ld	$r41 = 224[$r3]
-;;
-	xord	$r10 = $r37, $r41
-	ld	$r46 = 232[$r3]
-;;
-	xord	$r10 = $r10, $r46
-;;
-	sd	168[$r19] = $r10
-;;
-	ld	$r58 = 48[$r2]
-;;
-	ld	$r5 = 112[$r4]
-;;
-	xord	$r40 = $r58, $r5
-	ld	$r38 = 168[$r1]
-;;
-	xord	$r57 = $r40, $r38
-	ld	$r51 = 232[$r3]
-;;
-	xord	$r60 = $r57, $r51
-	ld	$r55 = 240[$r3]
-;;
-	xord	$r53 = $r60, $r55
-;;
-	sd	176[$r19] = $r53
-;;
-	ld	$r45 = 56[$r2]
-;;
-	ld	$r41 = 120[$r4]
-;;
-	xord	$r5 = $r45, $r41
-	ld	$r53 = 176[$r1]
-;;
-	xord	$r38 = $r5, $r53
-	ld	$r8 = 240[$r3]
-;;
-	xord	$r43 = $r38, $r8
-	ld	$r63 = 248[$r3]
-;;
-	xord	$r6 = $r43, $r63
-;;
-	sd	184[$r19] = $r6
-;;
-	ld	$r8 = 0[$r2]
-;;
-	ld	$r58 = 64[$r4]
-;;
-	ld	$r35 = 56[$r2]
-	xord	$r54 = $r8, $r58
-;;
-	ld	$r5 = 248[$r3]
-;;
-	xord	$r50 = $r35, $r5
-	ld	$r51 = 128[$r1]
-;;
-	xord	$r11 = $r54, $r51
-;;
-	xord	$r38 = $r11, $r50
-;;
-	sd	192[$r19] = $r38
-;;
-	ld	$r63 = 8[$r2]
-;;
-	ld	$r54 = 0[$r2]
-;;
-	xord	$r54 = $r63, $r54
-	ld	$r36 = 72[$r4]
-;;
-	xord	$r5 = $r54, $r36
-	ld	$r41 = 136[$r1]
-;;
-	xord	$r39 = $r5, $r41
-	ld	$r58 = 192[$r3]
-;;
-	xord	$r44 = $r39, $r58
-;;
-	xord	$r33 = $r44, $r50
-;;
-	sd	200[$r19] = $r33
-;;
-	ld	$r5 = 8[$r2]
-;;
-	ld	$r63 = 16[$r2]
-;;
-	xord	$r54 = $r63, $r5
-	ld	$r49 = 80[$r4]
-	addw	$r63 = $r18, 32
-;;
-	xord	$r51 = $r54, $r49
-	ld	$r5 = 144[$r1]
-	andw	$r18 = $r63, 127
-;;
-	xord	$r43 = $r51, $r5
-	ld	$r57 = 200[$r3]
-;;
-	xord	$r47 = $r43, $r57
-;;
-	sd	208[$r19] = $r47
-	addw	$r47 = $r21, 32
-;;
-	andw	$r21 = $r47, 127
-;;
-	ld	$r7 = 24[$r2]
-;;
-	ld	$r15 = 16[$r2]
-;;
-	xord	$r56 = $r7, $r15
-	ld	$r48 = 88[$r4]
-;;
-	xord	$r10 = $r56, $r48
-	ld	$r51 = 152[$r1]
-;;
-	xord	$r39 = $r10, $r51
-	addw	$r10 = $r22, 32
-;;
-	ld	$r48 = 208[$r3]
-	andw	$r22 = $r10, 127
-;;
-	xord	$r53 = $r39, $r48
-;;
-	xord	$r37 = $r53, $r50
-;;
-	sd	216[$r19] = $r37
-;;
-	ld	$r9 = 32[$r2]
-;;
-	ld	$r15 = 24[$r2]
-;;
-	xord	$r43 = $r9, $r15
-	ld	$r53 = 96[$r4]
-	addw	$r15 = $r20, 32
-;;
-	xord	$r42 = $r43, $r53
-	ld	$r17 = 160[$r1]
-	andw	$r20 = $r15, 127
-;;
-	xord	$r55 = $r42, $r17
-	ld	$r62 = 216[$r3]
-	sxwd	$r8 = $r20
-;;
-	xord	$r60 = $r55, $r62
-	slld	$r43 = $r8, 3
-;;
-	xord	$r5 = $r60, $r50
-	sxwd	$r50 = $r18
-;;
-	sd	224[$r19] = $r5
-	slld	$r39 = $r50, 3
-;;
-	ld	$r5 = 40[$r2]
-;;
-	ld	$r51 = 32[$r2]
-;;
-	xord	$r62 = $r5, $r51
-	ld	$r45 = 168[$r1]
-;;
-	ld	$r5 = 104[$r4]
-;;
-	xord	$r9 = $r62, $r5
-;;
-	xord	$r17 = $r9, $r45
-;;
-	ld	$r5 = 224[$r3]
-;;
-	xord	$r49 = $r17, $r5
-;;
-	sd	232[$r19] = $r49
-;;
-	ld	$r33 = 48[$r2]
-;;
-	ld	$r57 = 40[$r2]
-;;
-	xord	$r49 = $r33, $r57
-	ld	$r55 = 112[$r4]
-;;
-	xord	$r59 = $r49, $r55
-	ld	$r36 = 176[$r1]
-;;
-	xord	$r61 = $r59, $r36
-	ld	$r52 = 232[$r3]
-;;
-	xord	$r6 = $r61, $r52
-;;
-	sd	240[$r19] = $r6
-;;
-	ld	$r49 = 56[$r2]
-;;
-	ld	$r45 = 48[$r2]
-	addd	$r2 = $r0, $r39
-;;
-	xord	$r56 = $r49, $r45
-	ld	$r59 = 120[$r4]
-;;
-	xord	$r11 = $r56, $r59
-	ld	$r38 = 184[$r1]
-;;
-	xord	$r4 = $r11, $r38
-	ld	$r34 = 240[$r3]
-	sxwd	$r38 = $r22
-	sxwd	$r3 = $r21
-;;
-	xord	$r1 = $r4, $r34
-	slld	$r10 = $r38, 3
-	slld	$r36 = $r3, 3
-;;
-	sd	248[$r19] = $r1
-	addd	$r19 = $r19, 256
-	addd	$r4 = $r0, $r10
-	addd	$r1 = $r0, $r43
-;;
-	addd	$r3 = $r0, $r36
-	cb.wnez	$r32? .L112
-;;
-	addd	$r1 = $r12, 64
-	make	$r2, 1024
-	call	memmove
-;;
-	ld	$r18 = 16[$r12]
-;;
-	ld	$r19 = 24[$r12]
-;;
-	ld	$r20 = 32[$r12]
-;;
-	ld	$r21 = 40[$r12]
-;;
-	ld	$r22 = 48[$r12]
-;;
-	ld	$r23 = 56[$r12]
-;;
-	ld	$r16 = 8[$r12]
-;;
-	set	$ra = $r16
-;;
-	addd	$r12 = $r12, 1088
-;;
-	ret	
-;;
-	.type	bs_shiftmix, @function
-	.size	bs_shiftmix, . - bs_shiftmix
-	.text
-	.balign 2
-	.globl bs_mixcolumns
-bs_mixcolumns:
-	addd	$r17 = $r12, 0
-	addd	$r12 = $r12, -1040
-;;
-	sd	0[$r12] = $r17
-;;
-;;
-	get	$r16 = $ra
-;;
-	sd	8[$r12] = $r16
-;;
-	addd	$r46 = $r12, 16
-	make	$r45, 0
-;;
-.L113:
-	ld	$r60 = 64[$r0]
-	addw	$r45 = $r45, 1
-	make	$r32, 4
-;;
-	ld	$r54 = 128[$r0]
-	compw.lt	$r32 = $r45, $r32
-;;
-	ld	$r44 = 56[$r0]
-	xord	$r49 = $r60, $r54
-;;
-	ld	$r7 = 120[$r0]
-;;
-	xord	$r57 = $r44, $r7
-	ld	$r5 = 192[$r0]
-;;
-	xord	$r1 = $r49, $r5
-;;
-	xord	$r40 = $r1, $r57
-;;
-	sd	0[$r46] = $r40
-;;
-	ld	$r42 = 0[$r0]
-;;
-	xord	$r53 = $r42, $r60
-	ld	$r39 = 72[$r0]
-;;
-	xord	$r43 = $r53, $r39
-	ld	$r55 = 136[$r0]
-;;
-	xord	$r6 = $r43, $r55
-	ld	$r2 = 200[$r0]
-;;
-	xord	$r15 = $r6, $r2
-;;
-	xord	$r8 = $r15, $r57
-;;
-	sd	8[$r46] = $r8
-;;
-	ld	$r35 = 8[$r0]
-;;
-	xord	$r59 = $r35, $r39
-	ld	$r37 = 80[$r0]
-	xord	$r60 = $r35, $r60
-;;
-	xord	$r56 = $r59, $r37
-	ld	$r6 = 144[$r0]
-	xord	$r59 = $r59, $r54
-;;
-	xord	$r43 = $r56, $r6
-	ld	$r51 = 208[$r0]
-	xord	$r59 = $r59, $r5
-;;
-	xord	$r11 = $r43, $r51
-	xord	$r59 = $r59, $r2
-;;
-	sd	16[$r46] = $r11
-;;
-	ld	$r47 = 16[$r0]
-;;
-	xord	$r11 = $r47, $r37
-	ld	$r52 = 88[$r0]
-;;
-	xord	$r48 = $r11, $r52
-	ld	$r17 = 152[$r0]
-;;
-	xord	$r4 = $r48, $r17
-	ld	$r1 = 216[$r0]
-;;
-	xord	$r4 = $r4, $r1
-;;
-	xord	$r3 = $r4, $r57
-;;
-	sd	24[$r46] = $r3
-;;
-	ld	$r8 = 24[$r0]
-;;
-	xord	$r58 = $r8, $r52
-	ld	$r36 = 96[$r0]
-;;
-	xord	$r9 = $r58, $r36
-	ld	$r50 = 160[$r0]
-	xord	$r58 = $r58, $r6
-;;
-	xord	$r40 = $r9, $r50
-	ld	$r4 = 224[$r0]
-;;
-	xord	$r61 = $r40, $r4
-;;
-	xord	$r48 = $r61, $r57
-;;
-	sd	32[$r46] = $r48
-;;
-	ld	$r15 = 32[$r0]
-;;
-	xord	$r57 = $r15, $r36
-	ld	$r38 = 104[$r0]
-;;
-	xord	$r61 = $r57, $r38
-	ld	$r3 = 168[$r0]
-;;
-	xord	$r9 = $r61, $r3
-	ld	$r48 = 232[$r0]
-;;
-	xord	$r9 = $r9, $r48
-;;
-	sd	40[$r46] = $r9
-;;
-	ld	$r43 = 40[$r0]
-;;
-	xord	$r34 = $r43, $r38
-	ld	$r33 = 112[$r0]
-;;
-	xord	$r40 = $r34, $r33
-	ld	$r10 = 176[$r0]
-	xord	$r63 = $r44, $r33
-;;
-	xord	$r49 = $r40, $r10
-	ld	$r41 = 240[$r0]
-;;
-	xord	$r62 = $r49, $r41
-;;
-	sd	48[$r46] = $r62
-	xord	$r62 = $r42, $r54
-;;
-	xord	$r62 = $r62, $r5
-;;
-	ld	$r9 = 48[$r0]
-;;
-	xord	$r56 = $r9, $r33
-	ld	$r40 = 184[$r0]
-;;
-	xord	$r49 = $r56, $r7
-	xord	$r56 = $r56, $r3
-;;
-	xord	$r61 = $r49, $r40
-;;
-	ld	$r49 = 248[$r0]
-	addd	$r0 = $r0, 256
-;;
-	xord	$r61 = $r61, $r49
-;;
-	sd	56[$r46] = $r61
-	xord	$r61 = $r7, $r40
-;;
-	xord	$r62 = $r62, $r61
-;;
-	sd	64[$r46] = $r62
-	xord	$r62 = $r60, $r54
-;;
-	xord	$r60 = $r62, $r55
-;;
-	xord	$r60 = $r60, $r2
-;;
-	xord	$r60 = $r60, $r61
-;;
-	sd	72[$r46] = $r60
-	xord	$r60 = $r47, $r39
-;;
-	xord	$r60 = $r60, $r55
-;;
-	xord	$r60 = $r60, $r6
-;;
-	xord	$r60 = $r60, $r51
-;;
-	sd	80[$r46] = $r60
-	xord	$r60 = $r8, $r37
-;;
-	xord	$r60 = $r60, $r6
-;;
-	xord	$r60 = $r60, $r17
-;;
-	xord	$r60 = $r60, $r1
-;;
-	xord	$r60 = $r60, $r61
-;;
-	sd	88[$r46] = $r60
-	xord	$r60 = $r15, $r52
-;;
-	xord	$r60 = $r60, $r17
-;;
-	xord	$r60 = $r60, $r50
-;;
-	xord	$r60 = $r60, $r4
-;;
-	xord	$r60 = $r60, $r61
-	xord	$r61 = $r53, $r5
-;;
-	sd	96[$r46] = $r60
-	xord	$r60 = $r43, $r36
-;;
-	xord	$r60 = $r60, $r50
-;;
-	xord	$r60 = $r60, $r3
-;;
-	xord	$r60 = $r60, $r48
-;;
-	sd	104[$r46] = $r60
-	xord	$r60 = $r9, $r38
-;;
-	xord	$r60 = $r60, $r3
-;;
-	xord	$r60 = $r60, $r10
-;;
-	xord	$r60 = $r60, $r41
-;;
-	sd	112[$r46] = $r60
-	xord	$r60 = $r63, $r10
-;;
-	xord	$r60 = $r60, $r40
-;;
-	xord	$r60 = $r60, $r49
-;;
-	sd	120[$r46] = $r60
-	xord	$r60 = $r40, $r49
-;;
-	xord	$r61 = $r61, $r60
-	xord	$r63 = $r59, $r60
-	xord	$r59 = $r11, $r55
-;;
-	sd	128[$r46] = $r61
-	xord	$r59 = $r59, $r2
-;;
-	sd	136[$r46] = $r63
-	xord	$r11 = $r59, $r51
-	xord	$r63 = $r58, $r51
-;;
-	sd	144[$r46] = $r11
-	xord	$r58 = $r63, $r1
-	xord	$r11 = $r57, $r17
-;;
-	xord	$r61 = $r58, $r60
-	xord	$r57 = $r11, $r1
-;;
-	sd	152[$r46] = $r61
-	xord	$r57 = $r57, $r4
-;;
-	xord	$r57 = $r57, $r60
-;;
-	sd	160[$r46] = $r57
-	xord	$r57 = $r34, $r50
-;;
-	xord	$r57 = $r57, $r4
-;;
-	xord	$r11 = $r57, $r48
-	xord	$r57 = $r53, $r54
-;;
-	sd	168[$r46] = $r11
-	xord	$r11 = $r56, $r48
-;;
-	xord	$r56 = $r11, $r41
-	xord	$r11 = $r44, $r7
-;;
-	sd	176[$r46] = $r56
-	xord	$r34 = $r11, $r10
-;;
-	xord	$r11 = $r34, $r41
-;;
-	xord	$r56 = $r11, $r49
-	xord	$r49 = $r44, $r49
-	xord	$r11 = $r35, $r42
-	xord	$r42 = $r9, $r43
-;;
-	sd	184[$r46] = $r56
-	xord	$r53 = $r57, $r49
-	xord	$r11 = $r11, $r39
-	xord	$r58 = $r42, $r33
-;;
-	sd	192[$r46] = $r53
-	xord	$r61 = $r11, $r55
-	xord	$r53 = $r47, $r35
-;;
-	xord	$r39 = $r61, $r5
-	xord	$r62 = $r53, $r37
-;;
-	xord	$r34 = $r39, $r49
-	xord	$r37 = $r62, $r6
-;;
-	sd	200[$r46] = $r34
-	xord	$r57 = $r37, $r2
-	xord	$r37 = $r8, $r47
-	xord	$r34 = $r15, $r8
-;;
-	sd	208[$r46] = $r57
-	xord	$r35 = $r37, $r52
-;;
-	xord	$r47 = $r35, $r17
-;;
-	xord	$r47 = $r47, $r51
-;;
-	xord	$r54 = $r47, $r49
-	xord	$r47 = $r34, $r36
-;;
-	sd	216[$r46] = $r54
-	xord	$r35 = $r47, $r50
-;;
-	xord	$r39 = $r35, $r1
-;;
-	xord	$r11 = $r39, $r49
-	xord	$r49 = $r43, $r15
-;;
-	sd	224[$r46] = $r11
-	xord	$r53 = $r49, $r38
-	xord	$r11 = $r58, $r10
-	xord	$r38 = $r44, $r9
-;;
-	xord	$r6 = $r53, $r3
-	xord	$r56 = $r11, $r48
-	xord	$r52 = $r38, $r7
-;;
-	xord	$r15 = $r6, $r4
-	xord	$r34 = $r52, $r40
-;;
-	sd	232[$r46] = $r15
-	xord	$r58 = $r34, $r41
-;;
-	sd	240[$r46] = $r56
-;;
-	sd	248[$r46] = $r58
-	addd	$r46 = $r46, 256
-	cb.wnez	$r32? .L113
-;;
-	addd	$r0 = $r0, -1024
-	addd	$r1 = $r46, -1024
-	make	$r2, 1024
-	call	memmove
-;;
-	ld	$r16 = 8[$r12]
-;;
-	set	$ra = $r16
-;;
-	addd	$r12 = $r12, 1040
-;;
-	ret	
-;;
-	.type	bs_mixcolumns, @function
-	.size	bs_mixcolumns, . - bs_mixcolumns
-	.text
-	.balign 2
-	.globl bs_mixcolumns_rev
-bs_mixcolumns_rev:
-	addd	$r17 = $r12, 0
-	addd	$r12 = $r12, -1040
-;;
-	sd	0[$r12] = $r17
-;;
-;;
-	get	$r16 = $ra
-;;
-	sd	8[$r12] = $r16
-;;
-	addd	$r49 = $r12, 16
-	make	$r50, 0
-;;
-.L114:
-	ld	$r47 = 56[$r0]
-	addw	$r50 = $r50, 8
-	make	$r32, 32
-;;
-	ld	$r11 = 48[$r0]
-	compw.lt	$r32 = $r50, $r32
-;;
-	xord	$r56 = $r47, $r11
-	ld	$r6 = 40[$r0]
-;;
-	xord	$r2 = $r56, $r6
-	ld	$r15 = 120[$r0]
-;;
-	ld	$r33 = 104[$r0]
-	xord	$r1 = $r47, $r15
-;;
-	xord	$r60 = $r15, $r33
-	ld	$r7 = 176[$r0]
-;;
-	xord	$r57 = $r2, $r60
-	ld	$r48 = 168[$r0]
-;;
-	xord	$r63 = $r7, $r48
-	ld	$r44 = 64[$r0]
-;;
-	xord	$r62 = $r57, $r63
-	ld	$r34 = 128[$r0]
-;;
-	ld	$r3 = 232[$r0]
-	xord	$r38 = $r44, $r34
-;;
-	xord	$r9 = $r62, $r3
-	ld	$r17 = 192[$r0]
-;;
-	ld	$r51 = 112[$r0]
-	xord	$r36 = $r38, $r17
-;;
-	xord	$r8 = $r56, $r51
-	ld	$r10 = 184[$r0]
-	xord	$r40 = $r36, $r9
-;;
-	xord	$r57 = $r10, $r7
-	ld	$r5 = 240[$r0]
-	xord	$r4 = $r1, $r10
-;;
-	xord	$r54 = $r8, $r57
-	ld	$r39 = 248[$r0]
-;;
-	xord	$r35 = $r54, $r5
-	xord	$r58 = $r4, $r39
-	sd	0[$r49] = $r40
-;;
-	ld	$r8 = 0[$r0]
-;;
-	xord	$r36 = $r8, $r44
-	ld	$r52 = 72[$r0]
-;;
-	xord	$r59 = $r36, $r52
-	ld	$r45 = 136[$r0]
-;;
-	xord	$r59 = $r59, $r45
-	ld	$r4 = 200[$r0]
-;;
-	xord	$r59 = $r59, $r4
-;;
-	xord	$r36 = $r59, $r9
-;;
-	xord	$r61 = $r36, $r35
-;;
-	sd	8[$r49] = $r61
-;;
-	ld	$r43 = 8[$r0]
-;;
-	xord	$r53 = $r43, $r8
-	ld	$r46 = 80[$r0]
-;;
-	xord	$r53 = $r53, $r52
-	ld	$r2 = 144[$r0]
-;;
-	xord	$r36 = $r53, $r46
-	ld	$r42 = 208[$r0]
-;;
-	xord	$r59 = $r36, $r2
-;;
-	xord	$r53 = $r59, $r34
-;;
-	xord	$r53 = $r53, $r42
-;;
-	xord	$r37 = $r53, $r35
-;;
-	xord	$r53 = $r37, $r58
-;;
-	sd	16[$r49] = $r53
-;;
-	ld	$r1 = 16[$r0]
-;;
-	xord	$r41 = $r1, $r43
-	ld	$r38 = 88[$r0]
-;;
-	xord	$r36 = $r41, $r8
-;;
-	xord	$r53 = $r36, $r44
-;;
-	xord	$r36 = $r53, $r46
-	ld	$r41 = 152[$r0]
-;;
-	xord	$r36 = $r36, $r38
-;;
-	xord	$r40 = $r36, $r41
-;;
-	xord	$r53 = $r40, $r45
-;;
-	xord	$r36 = $r53, $r34
-;;
-	ld	$r53 = 216[$r0]
-;;
-	xord	$r54 = $r36, $r53
-;;
-	xord	$r36 = $r54, $r17
-;;
-	xord	$r36 = $r36, $r9
-;;
-	xord	$r36 = $r36, $r58
-;;
-	sd	24[$r49] = $r36
-;;
-	ld	$r36 = 24[$r0]
-;;
-	xord	$r54 = $r36, $r1
-	ld	$r40 = 96[$r0]
-;;
-	xord	$r61 = $r54, $r43
-	ld	$r37 = 160[$r0]
-;;
-	xord	$r54 = $r61, $r52
-;;
-	xord	$r59 = $r54, $r38
-;;
-	xord	$r59 = $r59, $r40
-;;
-	xord	$r54 = $r59, $r37
-;;
-	xord	$r54 = $r54, $r2
-;;
-	xord	$r55 = $r54, $r45
-;;
-	ld	$r54 = 224[$r0]
-;;
-	xord	$r55 = $r55, $r54
-;;
-	xord	$r55 = $r55, $r4
-;;
-	xord	$r55 = $r55, $r9
-;;
-	xord	$r9 = $r55, $r35
-;;
-	sd	32[$r49] = $r9
-;;
-	ld	$r9 = 32[$r0]
-	addd	$r0 = $r0, 256
-;;
-	xord	$r55 = $r9, $r36
-	xord	$r61 = $r6, $r9
-;;
-	xord	$r55 = $r55, $r1
-;;
-	xord	$r55 = $r55, $r46
-;;
-	xord	$r55 = $r55, $r40
-;;
-	xord	$r55 = $r55, $r33
-;;
-	xord	$r55 = $r55, $r48
-;;
-	xord	$r55 = $r55, $r41
-;;
-	xord	$r55 = $r55, $r2
-;;
-	xord	$r55 = $r55, $r3
-;;
-	xord	$r55 = $r55, $r42
-;;
-	xord	$r35 = $r55, $r35
-;;
-	xord	$r60 = $r35, $r58
-	xord	$r35 = $r61, $r36
-;;
-	sd	40[$r49] = $r60
-	xord	$r55 = $r35, $r38
-;;
-	xord	$r62 = $r55, $r33
-;;
-	xord	$r59 = $r62, $r51
-	xord	$r62 = $r8, $r34
-;;
-	xord	$r35 = $r59, $r7
-	xord	$r59 = $r11, $r6
-	xord	$r62 = $r62, $r17
-;;
-	xord	$r35 = $r35, $r37
-;;
-	xord	$r35 = $r35, $r41
-;;
-	xord	$r55 = $r35, $r5
-	xord	$r35 = $r59, $r9
-;;
-	xord	$r63 = $r55, $r53
-	xord	$r60 = $r35, $r40
-;;
-	xord	$r55 = $r63, $r58
-	xord	$r35 = $r60, $r51
-;;
-	sd	48[$r49] = $r55
-	xord	$r63 = $r35, $r15
-	xord	$r55 = $r15, $r51
-;;
-	xord	$r35 = $r63, $r10
-	xord	$r63 = $r1, $r52
-;;
-	xord	$r35 = $r35, $r48
-;;
-	xord	$r35 = $r35, $r37
-;;
-	xord	$r60 = $r35, $r39
-	xord	$r35 = $r55, $r33
-;;
-	xord	$r60 = $r60, $r54
-	xord	$r35 = $r6, $r35
-;;
-	sd	56[$r49] = $r60
-	xord	$r60 = $r10, $r48
-;;
-	xord	$r61 = $r35, $r60
-	xord	$r60 = $r5, $r3
-	xord	$r35 = $r39, $r5
-;;
-	xord	$r60 = $r61, $r60
-	xord	$r61 = $r11, $r55
-;;
-	xord	$r61 = $r61, $r7
-	xord	$r62 = $r62, $r60
-;;
-	xord	$r61 = $r61, $r35
-	sd	64[$r49] = $r62
-	xord	$r62 = $r43, $r44
-;;
-	xord	$r62 = $r62, $r45
-;;
-	xord	$r62 = $r62, $r34
-;;
-	xord	$r62 = $r62, $r4
-;;
-	xord	$r62 = $r62, $r60
-;;
-	xord	$r62 = $r62, $r61
-;;
-	sd	72[$r49] = $r62
-	xord	$r62 = $r63, $r44
-;;
-	xord	$r62 = $r62, $r2
-;;
-	xord	$r62 = $r62, $r45
-;;
-	xord	$r62 = $r62, $r42
-;;
-	xord	$r62 = $r62, $r17
-;;
-	xord	$r62 = $r62, $r61
-;;
-	xord	$r62 = $r62, $r58
-;;
-	sd	80[$r49] = $r62
-	xord	$r62 = $r36, $r8
-;;
-	xord	$r62 = $r62, $r46
-;;
-	xord	$r62 = $r62, $r52
-;;
-	xord	$r62 = $r62, $r44
-;;
-	xord	$r62 = $r62, $r41
-;;
-	xord	$r62 = $r62, $r2
-;;
-	xord	$r62 = $r62, $r34
-;;
-	xord	$r62 = $r62, $r53
-;;
-	xord	$r62 = $r62, $r4
-;;
-	xord	$r62 = $r62, $r17
-;;
-	xord	$r62 = $r62, $r60
-;;
-	xord	$r62 = $r62, $r58
-;;
-	sd	88[$r49] = $r62
-	xord	$r62 = $r9, $r43
-;;
-	xord	$r62 = $r62, $r38
-;;
-	xord	$r62 = $r62, $r46
-;;
-	xord	$r62 = $r62, $r52
-;;
-	xord	$r62 = $r62, $r37
-;;
-	xord	$r62 = $r62, $r41
-;;
-	xord	$r62 = $r62, $r45
-;;
-	xord	$r62 = $r62, $r54
-;;
-	xord	$r62 = $r62, $r42
-;;
-	xord	$r62 = $r62, $r4
-;;
-	xord	$r60 = $r62, $r60
-;;
-	xord	$r60 = $r60, $r61
-;;
-	sd	96[$r49] = $r60
-	xord	$r60 = $r6, $r1
-;;
-	xord	$r60 = $r60, $r40
-;;
-	xord	$r60 = $r60, $r38
-;;
-	xord	$r60 = $r60, $r46
-;;
-	xord	$r60 = $r60, $r48
-;;
-	xord	$r60 = $r60, $r37
-;;
-	xord	$r60 = $r60, $r2
-;;
-	xord	$r60 = $r60, $r3
-;;
-	xord	$r60 = $r60, $r53
-;;
-	xord	$r60 = $r60, $r42
-;;
-	xord	$r60 = $r60, $r61
-;;
-	xord	$r60 = $r60, $r58
-;;
-	sd	104[$r49] = $r60
-	xord	$r60 = $r11, $r36
-;;
-	xord	$r60 = $r60, $r33
-;;
-	xord	$r60 = $r60, $r40
-;;
-	xord	$r60 = $r60, $r38
-;;
-	xord	$r62 = $r60, $r7
-;;
-	xord	$r60 = $r62, $r48
-;;
-	xord	$r60 = $r60, $r41
-;;
-	xord	$r60 = $r60, $r5
-;;
-	xord	$r60 = $r60, $r54
-;;
-	xord	$r60 = $r60, $r53
-;;
-	xord	$r58 = $r60, $r58
-;;
-	sd	112[$r49] = $r58
-	xord	$r58 = $r47, $r9
-;;
-	xord	$r58 = $r58, $r51
-;;
-	xord	$r58 = $r58, $r33
-;;
-	xord	$r58 = $r58, $r40
-;;
-	xord	$r58 = $r58, $r10
-;;
-	xord	$r58 = $r58, $r7
-;;
-	xord	$r58 = $r58, $r37
-;;
-	xord	$r58 = $r58, $r39
-;;
-	xord	$r63 = $r58, $r3
-;;
-	xord	$r58 = $r63, $r54
-;;
-	sd	120[$r49] = $r58
-	xord	$r58 = $r57, $r48
-	xord	$r57 = $r51, $r57
-;;
-	xord	$r60 = $r33, $r58
-	xord	$r58 = $r39, $r3
-	xord	$r63 = $r57, $r5
-;;
-	xord	$r58 = $r60, $r58
-	xord	$r63 = $r63, $r56
-	xord	$r56 = $r15, $r10
-;;
-	xord	$r61 = $r58, $r59
-	xord	$r56 = $r56, $r39
-;;
-	xord	$r62 = $r56, $r47
-	xord	$r56 = $r44, $r17
-;;
-	xord	$r56 = $r56, $r8
-;;
-	xord	$r56 = $r56, $r61
-;;
-	sd	128[$r49] = $r56
-	xord	$r56 = $r52, $r34
-;;
-	xord	$r56 = $r56, $r4
-;;
-	xord	$r56 = $r56, $r17
-;;
-	xord	$r56 = $r56, $r43
-;;
-	xord	$r56 = $r56, $r61
-;;
-	xord	$r56 = $r56, $r63
-;;
-	sd	136[$r49] = $r56
-	xord	$r56 = $r46, $r45
-;;
-	xord	$r56 = $r56, $r34
-;;
-	xord	$r56 = $r56, $r42
-;;
-	xord	$r56 = $r56, $r4
-;;
-	xord	$r56 = $r56, $r1
-;;
-	xord	$r56 = $r56, $r8
-;;
-	xord	$r56 = $r56, $r63
-;;
-	xord	$r56 = $r56, $r62
-;;
-	sd	144[$r49] = $r56
-	xord	$r56 = $r38, $r44
-;;
-	xord	$r56 = $r56, $r2
-;;
-	xord	$r56 = $r56, $r45
-;;
-	xord	$r56 = $r56, $r34
-;;
-	xord	$r56 = $r56, $r53
-;;
-	xord	$r56 = $r56, $r42
-;;
-	xord	$r56 = $r56, $r17
-;;
-	xord	$r56 = $r56, $r36
-;;
-	xord	$r59 = $r56, $r43
-;;
-	xord	$r56 = $r59, $r8
-;;
-	xord	$r59 = $r56, $r61
-;;
-	xord	$r56 = $r59, $r62
-	xord	$r59 = $r33, $r46
-;;
-	sd	152[$r49] = $r56
-	xord	$r56 = $r40, $r52
-;;
-	xord	$r56 = $r56, $r41
-;;
-	xord	$r56 = $r56, $r2
-;;
-	xord	$r56 = $r56, $r45
-;;
-	xord	$r56 = $r56, $r54
-;;
-	xord	$r56 = $r56, $r53
-;;
-	xord	$r56 = $r56, $r4
-;;
-	xord	$r56 = $r56, $r9
-;;
-	xord	$r56 = $r56, $r1
-;;
-	xord	$r56 = $r56, $r43
-;;
-	xord	$r56 = $r56, $r61
-;;
-	xord	$r56 = $r56, $r63
-;;
-	sd	160[$r49] = $r56
-	xord	$r56 = $r59, $r37
-;;
-	xord	$r56 = $r56, $r41
-;;
-	xord	$r56 = $r56, $r2
-;;
-	xord	$r56 = $r56, $r3
-;;
-	xord	$r56 = $r56, $r54
-;;
-	xord	$r57 = $r56, $r42
-;;
-	xord	$r56 = $r57, $r6
-;;
-	xord	$r56 = $r56, $r36
-;;
-	xord	$r56 = $r56, $r1
-;;
-	xord	$r56 = $r56, $r63
-;;
-	xord	$r56 = $r56, $r62
-;;
-	sd	168[$r49] = $r56
-	xord	$r56 = $r51, $r38
-;;
-	xord	$r56 = $r56, $r48
-;;
-	xord	$r56 = $r56, $r37
-;;
-	xord	$r58 = $r56, $r41
-;;
-	xord	$r56 = $r58, $r5
-;;
-	xord	$r56 = $r56, $r3
-;;
-	xord	$r56 = $r56, $r53
-;;
-	xord	$r56 = $r56, $r11
-;;
-	xord	$r58 = $r56, $r9
-;;
-	xord	$r56 = $r58, $r36
-;;
-	xord	$r56 = $r56, $r62
-;;
-	sd	176[$r49] = $r56
-	xord	$r56 = $r15, $r40
-;;
-	xord	$r56 = $r56, $r7
-;;
-	xord	$r56 = $r56, $r48
-;;
-	xord	$r56 = $r56, $r37
-;;
-	xord	$r60 = $r56, $r39
-	xord	$r39 = $r10, $r39
-;;
-	xord	$r56 = $r60, $r5
-;;
-	xord	$r56 = $r56, $r54
-;;
-	xord	$r56 = $r56, $r47
-;;
-	xord	$r56 = $r56, $r6
-;;
-	xord	$r56 = $r56, $r9
-;;
-	sd	184[$r49] = $r56
-	xord	$r56 = $r35, $r3
-;;
-	xord	$r57 = $r48, $r56
-	xord	$r56 = $r47, $r6
-;;
-	xord	$r57 = $r57, $r56
-	xord	$r56 = $r51, $r33
-;;
-	xord	$r56 = $r57, $r56
-	xord	$r57 = $r7, $r35
-;;
-	xord	$r35 = $r57, $r11
-	xord	$r57 = $r39, $r47
-;;
-	xord	$r55 = $r35, $r55
-	xord	$r35 = $r57, $r15
-	xord	$r57 = $r34, $r8
-	xord	$r34 = $r41, $r34
-;;
-	xord	$r39 = $r57, $r44
-	xord	$r57 = $r45, $r17
-	xord	$r58 = $r34, $r42
-;;
-	xord	$r39 = $r39, $r56
-	xord	$r34 = $r58, $r4
-;;
-	sd	192[$r49] = $r39
-	xord	$r39 = $r57, $r43
-;;
-	xord	$r39 = $r39, $r8
-;;
-	xord	$r39 = $r39, $r52
-;;
-	xord	$r57 = $r39, $r56
-;;
-	xord	$r39 = $r57, $r55
-;;
-	sd	200[$r49] = $r39
-	xord	$r39 = $r2, $r4
-;;
-	xord	$r39 = $r39, $r17
-	xord	$r17 = $r34, $r17
-;;
-	xord	$r39 = $r39, $r1
-;;
-	xord	$r57 = $r39, $r43
-;;
-	xord	$r39 = $r57, $r46
-;;
-	xord	$r39 = $r39, $r44
-;;
-	xord	$r63 = $r39, $r55
-;;
-	xord	$r57 = $r63, $r35
-;;
-	sd	208[$r49] = $r57
-	xord	$r57 = $r17, $r36
-;;
-	xord	$r57 = $r57, $r1
-;;
-	xord	$r57 = $r57, $r8
-	xord	$r8 = $r48, $r2
-;;
-	xord	$r17 = $r57, $r38
-	xord	$r57 = $r37, $r45
-;;
-	xord	$r59 = $r17, $r52
-	xord	$r62 = $r57, $r53
-;;
-	xord	$r34 = $r59, $r44
-	xord	$r39 = $r62, $r42
-;;
-	xord	$r44 = $r34, $r56
-;;
-	xord	$r44 = $r44, $r35
-;;
-	sd	216[$r49] = $r44
-	xord	$r44 = $r39, $r4
-;;
-	xord	$r4 = $r44, $r9
-;;
-	xord	$r4 = $r4, $r36
-;;
-	xord	$r57 = $r4, $r43
-	xord	$r43 = $r8, $r54
-;;
-	xord	$r59 = $r57, $r40
-	xord	$r48 = $r43, $r53
-;;
-	xord	$r34 = $r59, $r46
-;;
-	xord	$r52 = $r34, $r52
-;;
-	xord	$r52 = $r52, $r56
-	xord	$r56 = $r10, $r37
-;;
-	xord	$r39 = $r52, $r55
-	xord	$r52 = $r48, $r42
-;;
-	sd	224[$r49] = $r39
-	xord	$r42 = $r52, $r6
-;;
-	xord	$r17 = $r42, $r9
-;;
-	xord	$r39 = $r17, $r1
-;;
-	xord	$r48 = $r39, $r33
-;;
-	xord	$r42 = $r48, $r38
-;;
-	xord	$r17 = $r42, $r46
-;;
-	xord	$r52 = $r17, $r55
-	xord	$r55 = $r7, $r41
-;;
-	xord	$r17 = $r52, $r35
-	xord	$r34 = $r55, $r3
-;;
-	sd	232[$r49] = $r17
-	xord	$r44 = $r34, $r54
-;;
-	xord	$r39 = $r44, $r53
-;;
-	xord	$r60 = $r39, $r11
-;;
-	xord	$r61 = $r60, $r6
-;;
-	xord	$r8 = $r61, $r36
-;;
-	xord	$r4 = $r8, $r51
-;;
-	xord	$r39 = $r4, $r40
-;;
-	xord	$r2 = $r39, $r38
-;;
-	xord	$r2 = $r2, $r35
-	xord	$r35 = $r56, $r5
-;;
-	sd	240[$r49] = $r2
-	xord	$r62 = $r35, $r3
-;;
-	xord	$r38 = $r62, $r54
-;;
-	xord	$r48 = $r38, $r47
-;;
-	xord	$r38 = $r48, $r11
-;;
-	xord	$r11 = $r38, $r9
-;;
-	xord	$r1 = $r11, $r15
-;;
-	xord	$r55 = $r1, $r33
-;;
-	xord	$r5 = $r55, $r40
-;;
-	sd	248[$r49] = $r5
-	addd	$r49 = $r49, 256
-	cb.wnez	$r32? .L114
-;;
-	addd	$r0 = $r0, -1024
-	addd	$r1 = $r49, -1024
-	make	$r2, 1024
-	call	memmove
-;;
-	ld	$r16 = 8[$r12]
-;;
-	set	$ra = $r16
-;;
-	addd	$r12 = $r12, 1040
-;;
-	ret	
-;;
-	.type	bs_mixcolumns_rev, @function
-	.size	bs_mixcolumns_rev, . - bs_mixcolumns_rev
-	.text
-	.balign 2
-	.globl bs_expand_key
-bs_expand_key:
-	addd	$r17 = $r12, 0
-	addd	$r12 = $r12, -224
-;;
-	sd	0[$r12] = $r17
-;;
-;;
-	get	$r16 = $ra
-;;
-	sd	8[$r12] = $r16
-;;
-	sd	16[$r12] = $r18
-	addd	$r18 = $r0, 0
-	addd	$r0 = $r12, 40
-	make	$r2, 16
-;;
-	sd	24[$r12] = $r19
-;;
-	sd	32[$r12] = $r20
-	call	memmove
-;;
-	addd	$r0 = $r12, 40
-	call	expand_key
-;;
-	make	$r20, 0
-	make	$r19, 0
-;;
-.L115:
-	sxwd	$r1 = $r20
-	addd	$r11 = $r12, 40
-	sxwd	$r15 = $r19
-	make	$r2, 16
-;;
-	slld	$r34 = $r1, 10
-	addd	$r1 = $r11, $r15
-;;
-	addd	$r0 = $r18, $r34
-	call	memmove
-;;
-	make	$r1, 2
-;;
-.L116:
-	make	$r35, 0
-;;
-.L117:
-	addw	$r38 = $r1, $r35
-	sxwd	$r37 = $r35
-	addw	$r35 = $r35, 1
-	make	$r32, 2
-;;
-	sxwd	$r6 = $r20
-	sxwd	$r33 = $r38
-	slld	$r10 = $r37, 3
-	compw.lt	$r32 = $r35, $r32
-;;
-	slld	$r3 = $r6, 10
-	slld	$r9 = $r33, 3
-;;
-	addd	$r0 = $r18, $r3
-;;
-	addd	$r39 = $r0, $r9
-	addd	$r8 = $r0, $r10
-;;
-	ld	$r17 = 0[$r8]
-;;
-	sd	0[$r39] = $r17
-;;
-	cb.wnez	$r32? .L117
-;;
-	addw	$r1 = $r1, 2
-	make	$r32, 128
-;;
-	compw.lt	$r32 = $r1, $r32
-;;
-	cb.wnez	$r32? .L116
-;;
-	call	bs_transpose
-;;
-	addw	$r20 = $r20, 1
-	addw	$r19 = $r19, 16
-	make	$r32, 176
-;;
-	compw.lt	$r32 = $r19, $r32
-;;
-	cb.wnez	$r32? .L115
-;;
-	ld	$r16 = 8[$r12]
-;;
-	ld	$r18 = 16[$r12]
-;;
-	ld	$r19 = 24[$r12]
-;;
-	ld	$r20 = 32[$r12]
-;;
-	set	$ra = $r16
-;;
-	addd	$r12 = $r12, 224
-;;
-	ret	
-;;
-	.type	bs_expand_key, @function
-	.size	bs_expand_key, . - bs_expand_key
-	.text
-	.balign 2
-	.globl bs_cipher
-bs_cipher:
-	addd	$r17 = $r12, 0
-	addd	$r12 = $r12, -48
-;;
-	sd	0[$r12] = $r17
-;;
-;;
-	get	$r16 = $ra
-;;
-	sd	8[$r12] = $r16
-;;
-	sd	16[$r12] = $r18
-	addd	$r18 = $r0, 0
-;;
-	sd	24[$r12] = $r19
-	addd	$r19 = $r1, 0
-	addd	$r0 = $r18, 0
-;;
-	sd	32[$r12] = $r20
-	call	bs_transpose
-;;
-	addd	$r1 = $r19, 0
-	addd	$r0 = $r18, 0
-	call	bs_addroundkey
-;;
-	make	$r20, 1
-;;
-.L118:
-	addd	$r0 = $r18, 0
-	call	bs_apply_sbox
-;;
-	addd	$r0 = $r18, 0
-	call	bs_shiftmix
-;;
-	sxwd	$r6 = $r20
-	addd	$r0 = $r18, 0
-;;
-	slld	$r4 = $r6, 10
-;;
-	addd	$r1 = $r19, $r4
-	call	bs_addroundkey
-;;
-	addw	$r20 = $r20, 1
-	make	$r32, 10
-;;
-	compw.lt	$r32 = $r20, $r32
-;;
-	cb.wnez	$r32? .L118
-;;
-	addd	$r0 = $r18, 0
-	call	bs_apply_sbox
-;;
-	addd	$r0 = $r18, 0
-	call	bs_shiftrows
-;;
-	addd	$r1 = $r19, 10240
-	addd	$r0 = $r18, 0
-	call	bs_addroundkey
-;;
-	addd	$r0 = $r18, 0
-;;
-	ld	$r18 = 16[$r12]
-;;
-	ld	$r19 = 24[$r12]
-;;
-	ld	$r20 = 32[$r12]
-;;
-	ld	$r16 = 8[$r12]
-;;
-	set	$ra = $r16
-;;
-	addd	$r12 = $r12, 48
-;;
-	goto	bs_transpose_rev
-;;
-	.type	bs_cipher, @function
-	.size	bs_cipher, . - bs_cipher
-	.text
-	.balign 2
-	.globl bs_cipher_rev
-bs_cipher_rev:
-	addd	$r17 = $r12, 0
-	addd	$r12 = $r12, -48
-;;
-	sd	0[$r12] = $r17
-;;
-;;
-	get	$r16 = $ra
-;;
-	sd	8[$r12] = $r16
-;;
-	sd	16[$r12] = $r18
-	addd	$r18 = $r0, 0
-;;
-	sd	24[$r12] = $r19
-	addd	$r19 = $r1, 0
-	addd	$r0 = $r18, 0
-;;
-	sd	32[$r12] = $r20
-	call	bs_transpose
-;;
-	addd	$r1 = $r19, 10240
-	addd	$r0 = $r18, 0
-	call	bs_addroundkey
-;;
-	make	$r20, 9
-;;
-.L119:
-	addd	$r0 = $r18, 0
-	call	bs_shiftrows_rev
-;;
-	addd	$r0 = $r18, 0
-	call	bs_apply_sbox_rev
-;;
-	sxwd	$r5 = $r20
-	addd	$r0 = $r18, 0
-;;
-	slld	$r8 = $r5, 10
-;;
-	addd	$r1 = $r19, $r8
-	call	bs_addroundkey
-;;
-	addd	$r0 = $r18, 0
-	call	bs_mixcolumns_rev
-;;
-	addw	$r20 = $r20, -1
-;;
-	cb.wgtz	$r20? .L119
-;;
-	addd	$r0 = $r18, 0
-	call	bs_shiftrows_rev
-;;
-	addd	$r0 = $r18, 0
-	call	bs_apply_sbox_rev
-;;
-	addd	$r1 = $r19, 0
-	addd	$r0 = $r18, 0
-	call	bs_addroundkey
-;;
-	addd	$r0 = $r18, 0
-;;
-	ld	$r18 = 16[$r12]
-;;
-	ld	$r19 = 24[$r12]
-;;
-	ld	$r20 = 32[$r12]
-;;
-	ld	$r16 = 8[$r12]
-;;
-	set	$ra = $r16
-;;
-	addd	$r12 = $r12, 48
-;;
-	goto	bs_transpose_rev
-;;
-	.type	bs_cipher_rev, @function
-	.size	bs_cipher_rev, . - bs_cipher_rev
diff --git a/test/monniaux/bitsliced-aes/make.proto b/test/monniaux/bitsliced-aes/make.proto
deleted file mode 100644
index 8a9a1bff..00000000
--- a/test/monniaux/bitsliced-aes/make.proto
+++ /dev/null
@@ -1,4 +0,0 @@
-sources: "$(wildcard *.c) tests/tests.c"
-target: test
-measures: [cycles]
-name: bitsliced-aes