# 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