# qhasm: int32 out

# qhasm: int32 r

# qhasm: int32 s

# qhasm: int32 m

# qhasm: int32 l

# qhasm: int32 constants

# qhasm: stack64 d0

# qhasm: stack64 d1

# qhasm: stack64 d2

# qhasm: stack64 d3

# qhasm: stack64 sr1low_stack

# qhasm: stack64 sr1high_stack

# qhasm: stack64 sr2low_stack

# qhasm: stack64 sr2high_stack

# qhasm: stack64 sr3low_stack

# qhasm: stack64 sr3high_stack

# qhasm: float64 scale

# qhasm: float64 alpha0

# qhasm: float64 alpha32

# qhasm: float64 alpha64

# qhasm: float64 alpha96

# qhasm: float64 alpha130

# qhasm: float64 h0

# qhasm: float64 h1

# qhasm: float64 h2

# qhasm: float64 h3

# qhasm: float64 h4

# qhasm: float64 h5

# qhasm: float64 h6

# qhasm: float64 h7

# qhasm: float64 y7

# qhasm: float64 y6

# qhasm: float64 y1

# qhasm: float64 y0

# qhasm: float64 y5

# qhasm: float64 y4

# qhasm: float64 x7

# qhasm: float64 x6

# qhasm: float64 x1

# qhasm: float64 x0

# qhasm: float64 y3

# qhasm: float64 y2

# qhasm: float64 r3low

# qhasm: float64 r0low

# qhasm: float64 r3high

# qhasm: float64 r0high

# qhasm: float64 sr1low

# qhasm: float64 x5

# qhasm: float64 r3lowx0

# qhasm: float64 sr1high

# qhasm: float64 x4

# qhasm: float64 r1low

# qhasm: float64 x3

# qhasm: float64 r3highx0

# qhasm: float64 r1high

# qhasm: float64 x2

# qhasm: float64 sr2low

# qhasm: float64 r0lowx0

# qhasm: float64 sr2high

# qhasm: float64 r2low

# qhasm: float64 r0highx0

# qhasm: float64 r2high

# qhasm: float64 sr3low

# qhasm: float64 r1lowx0

# qhasm: float64 sr3high

# qhasm: float64 r1highx0

# qhasm: float64 r2lowx0

# qhasm: float64 r2highx0

# qhasm: float64 z0

# qhasm: float64 z1

# qhasm: float64 z2

# qhasm: float64 z3

# qhasm: int32 r0

# qhasm: int32 r1

# qhasm: int32 r2

# qhasm: int32 r3

# qhasm: int32 m0

# qhasm: int32 m1

# qhasm: int32 m2

# qhasm: int32 m3

# qhasm: int32 m00

# qhasm: int32 m01

# qhasm: int32 m02

# qhasm: int32 m03

# qhasm: int32 m10

# qhasm: int32 m11

# qhasm: int32 m12

# qhasm: int32 m13

# qhasm: int32 m20

# qhasm: int32 m21

# qhasm: int32 m22

# qhasm: int32 m23

# qhasm: int32 m30

# qhasm: int32 m31

# qhasm: int32 m32

# qhasm: int32 m33

# qhasm: int32 lbelow2

# qhasm: int32 lbelow3

# qhasm: int32 lbelow4

# qhasm: int32 lbelow5

# qhasm: int32 lbelow6

# qhasm: int32 lbelow7

# qhasm: int32 lbelow8

# qhasm: int32 lbelow9

# qhasm: int32 lbelow10

# qhasm: int32 lbelow11

# qhasm: int32 lbelow12

# qhasm: int32 lbelow13

# qhasm: int32 lbelow14

# qhasm: int32 lbelow15

# qhasm: float64 alpham80

# qhasm: float64 alpham48

# qhasm: float64 alpham16

# qhasm: float64 alpha18

# qhasm: float64 alpha50

# qhasm: float64 alpha82

# qhasm: float64 alpha112

# qhasm: float64 offset0

# qhasm: float64 offset1

# qhasm: float64 offset2

# qhasm: float64 offset3

# qhasm: int32 s0

# qhasm: int32 s1

# qhasm: int32 s2

# qhasm: int32 s3

# qhasm: int32 f

# qhasm: int32 f0

# qhasm: int32 f1

# qhasm: int32 f2

# qhasm: int32 f3

# qhasm: int32 f4

# qhasm: int32 g0

# qhasm: int32 g1

# qhasm: int32 g2

# qhasm: int32 g3

# qhasm: int32 g4

# qhasm: int32 i12

# qhasm: int32 i13

# qhasm: int32 i14

# qhasm: int32 i15

# qhasm: int32 i16

# qhasm: int32 i17

# qhasm: int32 i18

# qhasm: int32 i19

# qhasm: int32 i20

# qhasm: int32 i21

# qhasm: int32 i22

# qhasm: int32 i23

# qhasm: int32 i24

# qhasm: int32 i25

# qhasm: int32 i26

# qhasm: int32 i27

# qhasm: int32 i28

# qhasm: int32 i29

# qhasm: caller i12

# qhasm: caller i13

# qhasm: caller i14

# qhasm: caller i15

# qhasm: caller i16

# qhasm: caller i17

# qhasm: caller i18

# qhasm: caller i19

# qhasm: caller i20

# qhasm: caller i21

# qhasm: caller i22

# qhasm: caller i23

# qhasm: caller i24

# qhasm: caller i25

# qhasm: caller i26

# qhasm: caller i27

# qhasm: caller i28

# qhasm: caller i29

# qhasm: stack32 i12_stack

# qhasm: stack32 i13_stack

# qhasm: stack32 i14_stack

# qhasm: stack32 i15_stack

# qhasm: stack32 i16_stack

# qhasm: stack32 i17_stack

# qhasm: stack32 i18_stack

# qhasm: stack32 i19_stack

# qhasm: stack32 i20_stack

# qhasm: stack32 i21_stack

# qhasm: stack32 i22_stack

# qhasm: stack32 i23_stack

# qhasm: stack32 i24_stack

# qhasm: stack32 i25_stack

# qhasm: stack32 i26_stack

# qhasm: stack32 i27_stack

# qhasm: stack32 i28_stack

# qhasm: stack32 i29_stack

# qhasm: float64 j15

# qhasm: float64 j16

# qhasm: float64 j17

# qhasm: float64 j18

# qhasm: float64 j19

# qhasm: float64 j20

# qhasm: float64 j21

# qhasm: float64 j22

# qhasm: float64 j23

# qhasm: float64 j24

# qhasm: float64 j25

# qhasm: float64 j26

# qhasm: float64 j27

# qhasm: float64 j28

# qhasm: float64 j29

# qhasm: float64 j30

# qhasm: float64 j31

# qhasm: float64 j32

# qhasm: caller j15

# qhasm: caller j16

# qhasm: caller j17

# qhasm: caller j18

# qhasm: caller j19

# qhasm: caller j20

# qhasm: caller j21

# qhasm: caller j22

# qhasm: caller j23

# qhasm: caller j24

# qhasm: caller j25

# qhasm: caller j26

# qhasm: caller j27

# qhasm: caller j28

# qhasm: caller j29

# qhasm: caller j30

# qhasm: caller j31

# qhasm: caller j32

# qhasm: stack64 j15_stack

# qhasm: stack64 j16_stack

# qhasm: stack64 j17_stack

# qhasm: stack64 j18_stack

# qhasm: stack64 j19_stack

# qhasm: stack64 j20_stack

# qhasm: stack64 j21_stack

# qhasm: stack64 j22_stack

# qhasm: stack64 j23_stack

# qhasm: stack64 j24_stack

# qhasm: stack64 j25_stack

# qhasm: stack64 j26_stack

# qhasm: stack64 j27_stack

# qhasm: stack64 j28_stack

# qhasm: stack64 j29_stack

# qhasm: stack64 j30_stack

# qhasm: stack64 j31_stack

# qhasm: stack64 j32_stack

# qhasm: enter poly1305_ppc32_linux
.text
.align 3
.globl _poly1305_ppc32_linux
.globl poly1305_ppc32_linux
_poly1305_ppc32_linux:
poly1305_ppc32_linux:
stwu 1,-432(1)

# qhasm: input out

# qhasm: input r

# qhasm: input s

# qhasm: input m

# qhasm: input l

# qhasm:   round to nearest
mtfsfi 7,0

# qhasm:   i12_stack = i12
# asm 1: stw <i12=int32#12,>i12_stack=stack32#1
# asm 2: stw <i12=14,>i12_stack=0(1)
stw 14,0(1)

# qhasm:   i13_stack = i13
# asm 1: stw <i13=int32#13,>i13_stack=stack32#2
# asm 2: stw <i13=15,>i13_stack=4(1)
stw 15,4(1)

# qhasm:   i14_stack = i14
# asm 1: stw <i14=int32#14,>i14_stack=stack32#3
# asm 2: stw <i14=16,>i14_stack=8(1)
stw 16,8(1)

# qhasm:   i15_stack = i15
# asm 1: stw <i15=int32#15,>i15_stack=stack32#4
# asm 2: stw <i15=17,>i15_stack=12(1)
stw 17,12(1)

# qhasm:   i16_stack = i16
# asm 1: stw <i16=int32#16,>i16_stack=stack32#5
# asm 2: stw <i16=18,>i16_stack=16(1)
stw 18,16(1)

# qhasm:   i17_stack = i17
# asm 1: stw <i17=int32#17,>i17_stack=stack32#6
# asm 2: stw <i17=19,>i17_stack=20(1)
stw 19,20(1)

# qhasm:   i18_stack = i18
# asm 1: stw <i18=int32#18,>i18_stack=stack32#7
# asm 2: stw <i18=20,>i18_stack=24(1)
stw 20,24(1)

# qhasm:   i19_stack = i19
# asm 1: stw <i19=int32#19,>i19_stack=stack32#8
# asm 2: stw <i19=21,>i19_stack=28(1)
stw 21,28(1)

# qhasm:   i20_stack = i20
# asm 1: stw <i20=int32#20,>i20_stack=stack32#9
# asm 2: stw <i20=22,>i20_stack=32(1)
stw 22,32(1)

# qhasm:   i21_stack = i21
# asm 1: stw <i21=int32#21,>i21_stack=stack32#10
# asm 2: stw <i21=23,>i21_stack=36(1)
stw 23,36(1)

# qhasm:   i22_stack = i22
# asm 1: stw <i22=int32#22,>i22_stack=stack32#11
# asm 2: stw <i22=24,>i22_stack=40(1)
stw 24,40(1)

# qhasm:   i23_stack = i23
# asm 1: stw <i23=int32#23,>i23_stack=stack32#12
# asm 2: stw <i23=25,>i23_stack=44(1)
stw 25,44(1)

# qhasm:   i24_stack = i24
# asm 1: stw <i24=int32#24,>i24_stack=stack32#13
# asm 2: stw <i24=26,>i24_stack=48(1)
stw 26,48(1)

# qhasm:   i25_stack = i25
# asm 1: stw <i25=int32#25,>i25_stack=stack32#14
# asm 2: stw <i25=27,>i25_stack=52(1)
stw 27,52(1)

# qhasm:   i26_stack = i26
# asm 1: stw <i26=int32#26,>i26_stack=stack32#15
# asm 2: stw <i26=28,>i26_stack=56(1)
stw 28,56(1)

# qhasm:   i27_stack = i27
# asm 1: stw <i27=int32#27,>i27_stack=stack32#16
# asm 2: stw <i27=29,>i27_stack=60(1)
stw 29,60(1)

# qhasm:   i28_stack = i28
# asm 1: stw <i28=int32#28,>i28_stack=stack32#17
# asm 2: stw <i28=30,>i28_stack=64(1)
stw 30,64(1)

# qhasm:   i29_stack = i29
# asm 1: stw <i29=int32#29,>i29_stack=stack32#18
# asm 2: stw <i29=31,>i29_stack=68(1)
stw 31,68(1)

# qhasm:   j15_stack = j15
# asm 1: stfd <j15=float64#15,>j15_stack=stack64#1
# asm 2: stfd <j15=14,>j15_stack=80(1)
stfd 14,80(1)

# qhasm:   j16_stack = j16
# asm 1: stfd <j16=float64#16,>j16_stack=stack64#2
# asm 2: stfd <j16=15,>j16_stack=88(1)
stfd 15,88(1)

# qhasm:   j17_stack = j17
# asm 1: stfd <j17=float64#17,>j17_stack=stack64#3
# asm 2: stfd <j17=16,>j17_stack=96(1)
stfd 16,96(1)

# qhasm:   j18_stack = j18
# asm 1: stfd <j18=float64#18,>j18_stack=stack64#4
# asm 2: stfd <j18=17,>j18_stack=104(1)
stfd 17,104(1)

# qhasm:   j19_stack = j19
# asm 1: stfd <j19=float64#19,>j19_stack=stack64#5
# asm 2: stfd <j19=18,>j19_stack=112(1)
stfd 18,112(1)

# qhasm:   j20_stack = j20
# asm 1: stfd <j20=float64#20,>j20_stack=stack64#6
# asm 2: stfd <j20=19,>j20_stack=120(1)
stfd 19,120(1)

# qhasm:   j21_stack = j21
# asm 1: stfd <j21=float64#21,>j21_stack=stack64#7
# asm 2: stfd <j21=20,>j21_stack=128(1)
stfd 20,128(1)

# qhasm:   j22_stack = j22
# asm 1: stfd <j22=float64#22,>j22_stack=stack64#8
# asm 2: stfd <j22=21,>j22_stack=136(1)
stfd 21,136(1)

# qhasm:   j23_stack = j23
# asm 1: stfd <j23=float64#23,>j23_stack=stack64#9
# asm 2: stfd <j23=22,>j23_stack=144(1)
stfd 22,144(1)

# qhasm:   j24_stack = j24
# asm 1: stfd <j24=float64#24,>j24_stack=stack64#10
# asm 2: stfd <j24=23,>j24_stack=152(1)
stfd 23,152(1)

# qhasm:   j25_stack = j25
# asm 1: stfd <j25=float64#25,>j25_stack=stack64#11
# asm 2: stfd <j25=24,>j25_stack=160(1)
stfd 24,160(1)

# qhasm:   j26_stack = j26
# asm 1: stfd <j26=float64#26,>j26_stack=stack64#12
# asm 2: stfd <j26=25,>j26_stack=168(1)
stfd 25,168(1)

# qhasm:   j27_stack = j27
# asm 1: stfd <j27=float64#27,>j27_stack=stack64#13
# asm 2: stfd <j27=26,>j27_stack=176(1)
stfd 26,176(1)

# qhasm:   j28_stack = j28
# asm 1: stfd <j28=float64#28,>j28_stack=stack64#14
# asm 2: stfd <j28=27,>j28_stack=184(1)
stfd 27,184(1)

# qhasm:   j29_stack = j29
# asm 1: stfd <j29=float64#29,>j29_stack=stack64#15
# asm 2: stfd <j29=28,>j29_stack=192(1)
stfd 28,192(1)

# qhasm:   j30_stack = j30
# asm 1: stfd <j30=float64#30,>j30_stack=stack64#16
# asm 2: stfd <j30=29,>j30_stack=200(1)
stfd 29,200(1)

# qhasm:   j31_stack = j31
# asm 1: stfd <j31=float64#31,>j31_stack=stack64#17
# asm 2: stfd <j31=30,>j31_stack=208(1)
stfd 30,208(1)

# qhasm:   j32_stack = j32
# asm 1: stfd <j32=float64#32,>j32_stack=stack64#18
# asm 2: stfd <j32=31,>j32_stack=216(1)
stfd 31,216(1)

# qhasm:   constants = &poly1305_ppc32_linux_constants & 0xffff0000
# asm 1: lis >constants=int32#6,poly1305_ppc32_linux_constants@ha
# asm 2: lis >constants=8,poly1305_ppc32_linux_constants@ha
lis 8,poly1305_ppc32_linux_constants@ha

# qhasm:   r0 = *(swapendian uint32 *) r
# asm 1: lwbrx >r0=int32#7,0,<r=int32#2
# asm 2: lwbrx >r0=9,0,<r=4
lwbrx 9,0,4

# qhasm:   r += 4
# asm 1: addi >r=int32#2,<r=int32#2,4
# asm 2: addi >r=4,<r=4,4
addi 4,4,4

# qhasm:   m0 = 65536 * 0x4338
# asm 1: lis >m0=int32#8,0x4338
# asm 2: lis >m0=10,0x4338
lis 10,0x4338

# qhasm:   constants |= &poly1305_ppc32_linux_constants & 0xffff
# asm 1: ori >constants=int32#6,<constants=int32#6,poly1305_ppc32_linux_constants@l
# asm 2: ori >constants=8,<constants=8,poly1305_ppc32_linux_constants@l
ori 8,8,poly1305_ppc32_linux_constants@l

# qhasm:   r1 = *(swapendian uint32 *) r
# asm 1: lwbrx >r1=int32#9,0,<r=int32#2
# asm 2: lwbrx >r1=11,0,<r=4
lwbrx 11,0,4

# qhasm:   r += 4
# asm 1: addi >r=int32#2,<r=int32#2,4
# asm 2: addi >r=4,<r=4,4
addi 4,4,4

# qhasm:   m1 = 65536 * 0x4538
# asm 1: lis >m1=int32#10,0x4538
# asm 2: lis >m1=12,0x4538
lis 12,0x4538

# qhasm:   r2 = *(swapendian uint32 *) r
# asm 1: lwbrx >r2=int32#11,0,<r=int32#2
# asm 2: lwbrx >r2=13,0,<r=4
lwbrx 13,0,4

# qhasm:   r += 4
# asm 1: addi >r=int32#2,<r=int32#2,4
# asm 2: addi >r=4,<r=4,4
addi 4,4,4

# qhasm:   m2 = 65536 * 0x4738
# asm 1: lis >m2=int32#12,0x4738
# asm 2: lis >m2=14,0x4738
lis 14,0x4738

# qhasm:   r3 = *(swapendian uint32 *) r
# asm 1: lwbrx >r3=int32#2,0,<r=int32#2
# asm 2: lwbrx >r3=4,0,<r=4
lwbrx 4,0,4

# qhasm:   m3 = 65536 * 0x4938
# asm 1: lis >m3=int32#13,0x4938
# asm 2: lis >m3=15,0x4938
lis 15,0x4938

# qhasm:   d0 top = m0
# asm 1: stw <m0=int32#8,>d0=stack64#19
# asm 2: stw <m0=10,>d0=224(1)
stw 10,224(1)

# qhasm:   inplace d0 bottom = r0
# asm 1: stw <r0=int32#7,<d0=stack64#19
# asm 2: stw <r0=9,<d0=228(1)
stw 9,228(1)

# qhasm:   d1 top = m1
# asm 1: stw <m1=int32#10,>d1=stack64#20
# asm 2: stw <m1=12,>d1=232(1)
stw 12,232(1)

# qhasm:   inplace d1 bottom = r1
# asm 1: stw <r1=int32#9,<d1=stack64#20
# asm 2: stw <r1=11,<d1=236(1)
stw 11,236(1)

# qhasm:   d2 top = m2
# asm 1: stw <m2=int32#12,>d2=stack64#21
# asm 2: stw <m2=14,>d2=240(1)
stw 14,240(1)

# qhasm:   inplace d2 bottom = r2
# asm 1: stw <r2=int32#11,<d2=stack64#21
# asm 2: stw <r2=13,<d2=244(1)
stw 13,244(1)

# qhasm:   d3 top = m3
# asm 1: stw <m3=int32#13,>d3=stack64#22
# asm 2: stw <m3=15,>d3=248(1)
stw 15,248(1)

# qhasm:   inplace d3 bottom = r3
# asm 1: stw <r3=int32#2,<d3=stack64#22
# asm 2: stw <r3=4,<d3=252(1)
stw 4,252(1)

# qhasm:   alpha32 = *(float64 *) (constants + 40)
# asm 1: lfd >alpha32=float64#1,40(<constants=int32#6)
# asm 2: lfd >alpha32=0,40(<constants=8)
lfd 0,40(8)

# qhasm:   h0 = alpha32 - alpha32
# asm 1: fsub >h0=float64#2,<alpha32=float64#1,<alpha32=float64#1
# asm 2: fsub >h0=1,<alpha32=0,<alpha32=0
fsub 1,0,0

# qhasm:   h1 = alpha32 - alpha32
# asm 1: fsub >h1=float64#3,<alpha32=float64#1,<alpha32=float64#1
# asm 2: fsub >h1=2,<alpha32=0,<alpha32=0
fsub 2,0,0

# qhasm:   alpha0 = *(float64 *) (constants + 24)
# asm 1: lfd >alpha0=float64#4,24(<constants=int32#6)
# asm 2: lfd >alpha0=3,24(<constants=8)
lfd 3,24(8)

# qhasm:   h2 = alpha32 - alpha32
# asm 1: fsub >h2=float64#5,<alpha32=float64#1,<alpha32=float64#1
# asm 2: fsub >h2=4,<alpha32=0,<alpha32=0
fsub 4,0,0

# qhasm:   alpha64 = *(float64 *) (constants + 56)
# asm 1: lfd >alpha64=float64#6,56(<constants=int32#6)
# asm 2: lfd >alpha64=5,56(<constants=8)
lfd 5,56(8)

# qhasm:   h3 = alpha32 - alpha32
# asm 1: fsub >h3=float64#7,<alpha32=float64#1,<alpha32=float64#1
# asm 2: fsub >h3=6,<alpha32=0,<alpha32=0
fsub 6,0,0

# qhasm:   alpha18 = *(float64 *) (constants + 32)
# asm 1: lfd >alpha18=float64#8,32(<constants=int32#6)
# asm 2: lfd >alpha18=7,32(<constants=8)
lfd 7,32(8)

# qhasm:   h4 = alpha32 - alpha32
# asm 1: fsub >h4=float64#9,<alpha32=float64#1,<alpha32=float64#1
# asm 2: fsub >h4=8,<alpha32=0,<alpha32=0
fsub 8,0,0

# qhasm:   r0low = d0
# asm 1: lfd >r0low=float64#10,<d0=stack64#19
# asm 2: lfd >r0low=9,<d0=224(1)
lfd 9,224(1)

# qhasm:   h5 = alpha32 - alpha32
# asm 1: fsub >h5=float64#11,<alpha32=float64#1,<alpha32=float64#1
# asm 2: fsub >h5=10,<alpha32=0,<alpha32=0
fsub 10,0,0

# qhasm:   r1low = d1
# asm 1: lfd >r1low=float64#12,<d1=stack64#20
# asm 2: lfd >r1low=11,<d1=232(1)
lfd 11,232(1)

# qhasm:   h6 = alpha32 - alpha32
# asm 1: fsub >h6=float64#13,<alpha32=float64#1,<alpha32=float64#1
# asm 2: fsub >h6=12,<alpha32=0,<alpha32=0
fsub 12,0,0

# qhasm:   r2low = d2
# asm 1: lfd >r2low=float64#14,<d2=stack64#21
# asm 2: lfd >r2low=13,<d2=240(1)
lfd 13,240(1)

# qhasm:   h7 = alpha32 - alpha32
# asm 1: fsub >h7=float64#15,<alpha32=float64#1,<alpha32=float64#1
# asm 2: fsub >h7=14,<alpha32=0,<alpha32=0
fsub 14,0,0

# qhasm:   alpha50 = *(float64 *) (constants + 48)
# asm 1: lfd >alpha50=float64#16,48(<constants=int32#6)
# asm 2: lfd >alpha50=15,48(<constants=8)
lfd 15,48(8)

# qhasm:   r0low -= alpha0
# asm 1: fsub >r0low=float64#10,<r0low=float64#10,<alpha0=float64#4
# asm 2: fsub >r0low=9,<r0low=9,<alpha0=3
fsub 9,9,3

# qhasm:   alpha82 = *(float64 *) (constants + 64)
# asm 1: lfd >alpha82=float64#17,64(<constants=int32#6)
# asm 2: lfd >alpha82=16,64(<constants=8)
lfd 16,64(8)

# qhasm:   r1low -= alpha32
# asm 1: fsub >r1low=float64#12,<r1low=float64#12,<alpha32=float64#1
# asm 2: fsub >r1low=11,<r1low=11,<alpha32=0
fsub 11,11,0

# qhasm:   scale = *(float64 *) (constants + 96)
# asm 1: lfd >scale=float64#18,96(<constants=int32#6)
# asm 2: lfd >scale=17,96(<constants=8)
lfd 17,96(8)

# qhasm:   r2low -= alpha64
# asm 1: fsub >r2low=float64#14,<r2low=float64#14,<alpha64=float64#6
# asm 2: fsub >r2low=13,<r2low=13,<alpha64=5
fsub 13,13,5

# qhasm:   alpha96 = *(float64 *) (constants + 72)
# asm 1: lfd >alpha96=float64#19,72(<constants=int32#6)
# asm 2: lfd >alpha96=18,72(<constants=8)
lfd 18,72(8)

# qhasm:   r0high = r0low + alpha18
# asm 1: fadd >r0high=float64#20,<r0low=float64#10,<alpha18=float64#8
# asm 2: fadd >r0high=19,<r0low=9,<alpha18=7
fadd 19,9,7

# qhasm:   r3low = d3
# asm 1: lfd >r3low=float64#21,<d3=stack64#22
# asm 2: lfd >r3low=20,<d3=248(1)
lfd 20,248(1)

# qhasm:   alpham80 = *(float64 *) (constants + 0)
# asm 1: lfd >alpham80=float64#22,0(<constants=int32#6)
# asm 2: lfd >alpham80=21,0(<constants=8)
lfd 21,0(8)

# qhasm:   r1high = r1low + alpha50
# asm 1: fadd >r1high=float64#23,<r1low=float64#12,<alpha50=float64#16
# asm 2: fadd >r1high=22,<r1low=11,<alpha50=15
fadd 22,11,15

# qhasm:   sr1low = scale * r1low
# asm 1: fmul >sr1low=float64#24,<scale=float64#18,<r1low=float64#12
# asm 2: fmul >sr1low=23,<scale=17,<r1low=11
fmul 23,17,11

# qhasm:   alpham48 = *(float64 *) (constants + 8)
# asm 1: lfd >alpham48=float64#25,8(<constants=int32#6)
# asm 2: lfd >alpham48=24,8(<constants=8)
lfd 24,8(8)

# qhasm:   r2high = r2low + alpha82
# asm 1: fadd >r2high=float64#26,<r2low=float64#14,<alpha82=float64#17
# asm 2: fadd >r2high=25,<r2low=13,<alpha82=16
fadd 25,13,16

# qhasm:   sr2low = scale * r2low
# asm 1: fmul >sr2low=float64#27,<scale=float64#18,<r2low=float64#14
# asm 2: fmul >sr2low=26,<scale=17,<r2low=13
fmul 26,17,13

# qhasm:   r0high -= alpha18
# asm 1: fsub >r0high=float64#8,<r0high=float64#20,<alpha18=float64#8
# asm 2: fsub >r0high=7,<r0high=19,<alpha18=7
fsub 7,19,7

# qhasm: <? (uint32) l - 16
# asm 1: cmplwi <l=int32#5,16
# asm 2: cmplwi <l=7,16
cmplwi 7,16

# qhasm:   r3low -= alpha96
# asm 1: fsub >r3low=float64#20,<r3low=float64#21,<alpha96=float64#19
# asm 2: fsub >r3low=19,<r3low=20,<alpha96=18
fsub 19,20,18

# qhasm:   r1high -= alpha50
# asm 1: fsub >r1high=float64#16,<r1high=float64#23,<alpha50=float64#16
# asm 2: fsub >r1high=15,<r1high=22,<alpha50=15
fsub 15,22,15

# qhasm:   sr1high = sr1low + alpham80
# asm 1: fadd >sr1high=float64#21,<sr1low=float64#24,<alpham80=float64#22
# asm 2: fadd >sr1high=20,<sr1low=23,<alpham80=21
fadd 20,23,21

# qhasm:   alpha112 = *(float64 *) (constants + 80)
# asm 1: lfd >alpha112=float64#23,80(<constants=int32#6)
# asm 2: lfd >alpha112=22,80(<constants=8)
lfd 22,80(8)

# qhasm:   r0low -= r0high
# asm 1: fsub >r0low=float64#10,<r0low=float64#10,<r0high=float64#8
# asm 2: fsub >r0low=9,<r0low=9,<r0high=7
fsub 9,9,7

# qhasm:   alpham16 = *(float64 *) (constants + 16)
# asm 1: lfd >alpham16=float64#28,16(<constants=int32#6)
# asm 2: lfd >alpham16=27,16(<constants=8)
lfd 27,16(8)

# qhasm:   r2high -= alpha82
# asm 1: fsub >r2high=float64#17,<r2high=float64#26,<alpha82=float64#17
# asm 2: fsub >r2high=16,<r2high=25,<alpha82=16
fsub 16,25,16

# qhasm:   sr3low = scale * r3low
# asm 1: fmul >sr3low=float64#26,<scale=float64#18,<r3low=float64#20
# asm 2: fmul >sr3low=25,<scale=17,<r3low=19
fmul 25,17,19

# qhasm:   alpha130 = *(float64 *) (constants + 88)
# asm 1: lfd >alpha130=float64#29,88(<constants=int32#6)
# asm 2: lfd >alpha130=28,88(<constants=8)
lfd 28,88(8)

# qhasm:   sr2high = sr2low + alpham48
# asm 1: fadd >sr2high=float64#30,<sr2low=float64#27,<alpham48=float64#25
# asm 2: fadd >sr2high=29,<sr2low=26,<alpham48=24
fadd 29,26,24

# qhasm:   r1low -= r1high
# asm 1: fsub >r1low=float64#12,<r1low=float64#12,<r1high=float64#16
# asm 2: fsub >r1low=11,<r1low=11,<r1high=15
fsub 11,11,15

# qhasm:   sr1high -= alpham80
# asm 1: fsub >sr1high=float64#21,<sr1high=float64#21,<alpham80=float64#22
# asm 2: fsub >sr1high=20,<sr1high=20,<alpham80=21
fsub 20,20,21

# qhasm:   sr1high_stack = sr1high
# asm 1: stfd <sr1high=float64#21,>sr1high_stack=stack64#19
# asm 2: stfd <sr1high=20,>sr1high_stack=224(1)
stfd 20,224(1)

# qhasm:   r2low -= r2high
# asm 1: fsub >r2low=float64#14,<r2low=float64#14,<r2high=float64#17
# asm 2: fsub >r2low=13,<r2low=13,<r2high=16
fsub 13,13,16

# qhasm:   sr2high -= alpham48
# asm 1: fsub >sr2high=float64#22,<sr2high=float64#30,<alpham48=float64#25
# asm 2: fsub >sr2high=21,<sr2high=29,<alpham48=24
fsub 21,29,24

# qhasm:   sr2high_stack = sr2high
# asm 1: stfd <sr2high=float64#22,>sr2high_stack=stack64#20
# asm 2: stfd <sr2high=21,>sr2high_stack=232(1)
stfd 21,232(1)

# qhasm:   r3high = r3low + alpha112
# asm 1: fadd >r3high=float64#25,<r3low=float64#20,<alpha112=float64#23
# asm 2: fadd >r3high=24,<r3low=19,<alpha112=22
fadd 24,19,22

# qhasm:   sr1low -= sr1high
# asm 1: fsub >sr1low=float64#21,<sr1low=float64#24,<sr1high=float64#21
# asm 2: fsub >sr1low=20,<sr1low=23,<sr1high=20
fsub 20,23,20

# qhasm:   sr1low_stack = sr1low
# asm 1: stfd <sr1low=float64#21,>sr1low_stack=stack64#21
# asm 2: stfd <sr1low=20,>sr1low_stack=240(1)
stfd 20,240(1)

# qhasm:   sr3high = sr3low + alpham16
# asm 1: fadd >sr3high=float64#21,<sr3low=float64#26,<alpham16=float64#28
# asm 2: fadd >sr3high=20,<sr3low=25,<alpham16=27
fadd 20,25,27

# qhasm:   sr2low -= sr2high
# asm 1: fsub >sr2low=float64#22,<sr2low=float64#27,<sr2high=float64#22
# asm 2: fsub >sr2low=21,<sr2low=26,<sr2high=21
fsub 21,26,21

# qhasm:   sr2low_stack = sr2low
# asm 1: stfd <sr2low=float64#22,>sr2low_stack=stack64#22
# asm 2: stfd <sr2low=21,>sr2low_stack=248(1)
stfd 21,248(1)

# qhasm:   r3high -= alpha112
# asm 1: fsub >r3high=float64#22,<r3high=float64#25,<alpha112=float64#23
# asm 2: fsub >r3high=21,<r3high=24,<alpha112=22
fsub 21,24,22

# qhasm:   sr3high -= alpham16
# asm 1: fsub >sr3high=float64#21,<sr3high=float64#21,<alpham16=float64#28
# asm 2: fsub >sr3high=20,<sr3high=20,<alpham16=27
fsub 20,20,27

# qhasm:   sr3high_stack = sr3high
# asm 1: stfd <sr3high=float64#21,>sr3high_stack=stack64#23
# asm 2: stfd <sr3high=20,>sr3high_stack=256(1)
stfd 20,256(1)

# qhasm:   r3low -= r3high
# asm 1: fsub >r3low=float64#20,<r3low=float64#20,<r3high=float64#22
# asm 2: fsub >r3low=19,<r3low=19,<r3high=21
fsub 19,19,21

# qhasm:   sr3low -= sr3high
# asm 1: fsub >sr3low=float64#21,<sr3low=float64#26,<sr3high=float64#21
# asm 2: fsub >sr3low=20,<sr3low=25,<sr3high=20
fsub 20,25,20

# qhasm:   sr3low_stack = sr3low
# asm 1: stfd <sr3low=float64#21,>sr3low_stack=stack64#24
# asm 2: stfd <sr3low=20,>sr3low_stack=264(1)
stfd 20,264(1)

# qhasm: goto addatmost15bytes if <
blt .label.addatmost15bytes

# qhasm:   m0 = *(swapendian uint32 *) m
# asm 1: lwbrx >m0=int32#2,0,<m=int32#4
# asm 2: lwbrx >m0=4,0,<m=6
lwbrx 4,0,6

# qhasm:   m += 4
# asm 1: addi >m=int32#4,<m=int32#4,4
# asm 2: addi >m=6,<m=6,4
addi 6,6,4

# qhasm:   f0 = 65536 * 0x4338
# asm 1: lis >f0=int32#7,0x4338
# asm 2: lis >f0=9,0x4338
lis 9,0x4338

# qhasm:   m1 = *(swapendian uint32 *) m
# asm 1: lwbrx >m1=int32#8,0,<m=int32#4
# asm 2: lwbrx >m1=10,0,<m=6
lwbrx 10,0,6

# qhasm:   m += 4
# asm 1: addi >m=int32#4,<m=int32#4,4
# asm 2: addi >m=6,<m=6,4
addi 6,6,4

# qhasm:   f1 = 65536 * 0x4538
# asm 1: lis >f1=int32#9,0x4538
# asm 2: lis >f1=11,0x4538
lis 11,0x4538

# qhasm:   m2 = *(swapendian uint32 *) m
# asm 1: lwbrx >m2=int32#10,0,<m=int32#4
# asm 2: lwbrx >m2=12,0,<m=6
lwbrx 12,0,6

# qhasm:   m += 4
# asm 1: addi >m=int32#4,<m=int32#4,4
# asm 2: addi >m=6,<m=6,4
addi 6,6,4

# qhasm:   f2 = 65536 * 0x4738
# asm 1: lis >f2=int32#11,0x4738
# asm 2: lis >f2=13,0x4738
lis 13,0x4738

# qhasm:   m3 = *(swapendian uint32 *) m
# asm 1: lwbrx >m3=int32#12,0,<m=int32#4
# asm 2: lwbrx >m3=14,0,<m=6
lwbrx 14,0,6

# qhasm:   m += 4
# asm 1: addi >m=int32#4,<m=int32#4,4
# asm 2: addi >m=6,<m=6,4
addi 6,6,4

# qhasm:   f3 = 65536 * 0x4938
# asm 1: lis >f3=int32#13,0x4938
# asm 2: lis >f3=15,0x4938
lis 15,0x4938

# qhasm:   l -= 16
# asm 1: addi >l=int32#5,<l=int32#5,-16
# asm 2: addi >l=7,<l=7,-16
addi 7,7,-16

# qhasm:   f3 += 1
# asm 1: addi >f3=int32#13,<f3=int32#13,1
# asm 2: addi >f3=15,<f3=15,1
addi 15,15,1

# qhasm:   d0 top = f0
# asm 1: stw <f0=int32#7,>d0=stack64#25
# asm 2: stw <f0=9,>d0=272(1)
stw 9,272(1)

# qhasm:   inplace d0 bottom = m0
# asm 1: stw <m0=int32#2,<d0=stack64#25
# asm 2: stw <m0=4,<d0=276(1)
stw 4,276(1)

# qhasm:   d1 top = f1
# asm 1: stw <f1=int32#9,>d1=stack64#26
# asm 2: stw <f1=11,>d1=280(1)
stw 11,280(1)

# qhasm:   inplace d1 bottom = m1
# asm 1: stw <m1=int32#8,<d1=stack64#26
# asm 2: stw <m1=10,<d1=284(1)
stw 10,284(1)

# qhasm:   d2 top = f2
# asm 1: stw <f2=int32#11,>d2=stack64#27
# asm 2: stw <f2=13,>d2=288(1)
stw 13,288(1)

# qhasm:   inplace d2 bottom = m2
# asm 1: stw <m2=int32#10,<d2=stack64#27
# asm 2: stw <m2=12,<d2=292(1)
stw 12,292(1)

# qhasm:   d3 top = f3
# asm 1: stw <f3=int32#13,>d3=stack64#28
# asm 2: stw <f3=15,>d3=296(1)
stw 15,296(1)

# qhasm:   inplace d3 bottom = m3
# asm 1: stw <m3=int32#12,<d3=stack64#28
# asm 2: stw <m3=14,<d3=300(1)
stw 14,300(1)

# qhasm: <? (uint32) l - 16
# asm 1: cmplwi <l=int32#5,16
# asm 2: cmplwi <l=7,16
cmplwi 7,16

# qhasm:   z0 = d0
# asm 1: lfd >z0=float64#21,<d0=stack64#25
# asm 2: lfd >z0=20,<d0=272(1)
lfd 20,272(1)

# qhasm:   z1 = d1
# asm 1: lfd >z1=float64#23,<d1=stack64#26
# asm 2: lfd >z1=22,<d1=280(1)
lfd 22,280(1)

# qhasm:   z2 = d2
# asm 1: lfd >z2=float64#24,<d2=stack64#27
# asm 2: lfd >z2=23,<d2=288(1)
lfd 23,288(1)

# qhasm:   z3 = d3
# asm 1: lfd >z3=float64#25,<d3=stack64#28
# asm 2: lfd >z3=24,<d3=296(1)
lfd 24,296(1)

# qhasm:   z0 -= alpha0
# asm 1: fsub >z0=float64#4,<z0=float64#21,<alpha0=float64#4
# asm 2: fsub >z0=3,<z0=20,<alpha0=3
fsub 3,20,3

# qhasm:   z1 -= alpha32
# asm 1: fsub >z1=float64#21,<z1=float64#23,<alpha32=float64#1
# asm 2: fsub >z1=20,<z1=22,<alpha32=0
fsub 20,22,0

# qhasm:   z2 -= alpha64
# asm 1: fsub >z2=float64#23,<z2=float64#24,<alpha64=float64#6
# asm 2: fsub >z2=22,<z2=23,<alpha64=5
fsub 22,23,5

# qhasm:   z3 -= alpha96
# asm 1: fsub >z3=float64#24,<z3=float64#25,<alpha96=float64#19
# asm 2: fsub >z3=23,<z3=24,<alpha96=18
fsub 23,24,18

# qhasm:   h0 += z0
# asm 1: fadd >h0=float64#2,<h0=float64#2,<z0=float64#4
# asm 2: fadd >h0=1,<h0=1,<z0=3
fadd 1,1,3

# qhasm:   h1 += z1
# asm 1: fadd >h1=float64#3,<h1=float64#3,<z1=float64#21
# asm 2: fadd >h1=2,<h1=2,<z1=20
fadd 2,2,20

# qhasm:   h3 += z2
# asm 1: fadd >h3=float64#4,<h3=float64#7,<z2=float64#23
# asm 2: fadd >h3=3,<h3=6,<z2=22
fadd 3,6,22

# qhasm:   h5 += z3
# asm 1: fadd >h5=float64#7,<h5=float64#11,<z3=float64#24
# asm 2: fadd >h5=6,<h5=10,<z3=23
fadd 6,10,23

# qhasm: goto multiplyaddatmost15bytes if <
blt .label.multiplyaddatmost15bytes

# qhasm: multiplyaddatleast16bytes:
.label.multiplyaddatleast16bytes:

# qhasm:   m0 = *(swapendian uint32 *) m
# asm 1: lwbrx >m0=int32#2,0,<m=int32#4
# asm 2: lwbrx >m0=4,0,<m=6
lwbrx 4,0,6

# qhasm:   y1 = h1 + alpha32
# asm 1: fadd >y1=float64#11,<h1=float64#3,<alpha32=float64#1
# asm 2: fadd >y1=10,<h1=2,<alpha32=0
fadd 10,2,0

# qhasm:   m += 4
# asm 1: addi >m=int32#4,<m=int32#4,4
# asm 2: addi >m=6,<m=6,4
addi 6,6,4

# qhasm:   y0 = h0 + alpha32
# asm 1: fadd >y0=float64#21,<h0=float64#2,<alpha32=float64#1
# asm 2: fadd >y0=20,<h0=1,<alpha32=0
fadd 20,1,0

# qhasm:   f0 = 65536 * 0x4338
# asm 1: lis >f0=int32#7,0x4338
# asm 2: lis >f0=9,0x4338
lis 9,0x4338

# qhasm:   y7 = h7 + alpha130
# asm 1: fadd >y7=float64#23,<h7=float64#15,<alpha130=float64#29
# asm 2: fadd >y7=22,<h7=14,<alpha130=28
fadd 22,14,28

# qhasm:   m1 = *(swapendian uint32 *) m
# asm 1: lwbrx >m1=int32#8,0,<m=int32#4
# asm 2: lwbrx >m1=10,0,<m=6
lwbrx 10,0,6

# qhasm:   y6 = h6 + alpha130
# asm 1: fadd >y6=float64#24,<h6=float64#13,<alpha130=float64#29
# asm 2: fadd >y6=23,<h6=12,<alpha130=28
fadd 23,12,28

# qhasm:   m += 4
# asm 1: addi >m=int32#4,<m=int32#4,4
# asm 2: addi >m=6,<m=6,4
addi 6,6,4

# qhasm:   y5 = h5 + alpha96
# asm 1: fadd >y5=float64#25,<h5=float64#7,<alpha96=float64#19
# asm 2: fadd >y5=24,<h5=6,<alpha96=18
fadd 24,6,18

# qhasm:   f1 = 65536 * 0x4538
# asm 1: lis >f1=int32#9,0x4538
# asm 2: lis >f1=11,0x4538
lis 11,0x4538

# qhasm:   y4 = h4 + alpha96
# asm 1: fadd >y4=float64#26,<h4=float64#9,<alpha96=float64#19
# asm 2: fadd >y4=25,<h4=8,<alpha96=18
fadd 25,8,18

# qhasm:   m2 = *(swapendian uint32 *) m
# asm 1: lwbrx >m2=int32#10,0,<m=int32#4
# asm 2: lwbrx >m2=12,0,<m=6
lwbrx 12,0,6

# qhasm:   y3 = h3 + alpha64
# asm 1: fadd >y3=float64#27,<h3=float64#4,<alpha64=float64#6
# asm 2: fadd >y3=26,<h3=3,<alpha64=5
fadd 26,3,5

# qhasm:   m += 4
# asm 1: addi >m=int32#4,<m=int32#4,4
# asm 2: addi >m=6,<m=6,4
addi 6,6,4

# qhasm:   y2 = h2 + alpha64
# asm 1: fadd >y2=float64#28,<h2=float64#5,<alpha64=float64#6
# asm 2: fadd >y2=27,<h2=4,<alpha64=5
fadd 27,4,5

# qhasm:   f2 = 65536 * 0x4738
# asm 1: lis >f2=int32#11,0x4738
# asm 2: lis >f2=13,0x4738
lis 13,0x4738

# qhasm:   y1 -= alpha32
# asm 1: fsub >y1=float64#11,<y1=float64#11,<alpha32=float64#1
# asm 2: fsub >y1=10,<y1=10,<alpha32=0
fsub 10,10,0

# qhasm:   m3 = *(swapendian uint32 *) m
# asm 1: lwbrx >m3=int32#12,0,<m=int32#4
# asm 2: lwbrx >m3=14,0,<m=6
lwbrx 14,0,6

# qhasm:   y0 -= alpha32
# asm 1: fsub >y0=float64#21,<y0=float64#21,<alpha32=float64#1
# asm 2: fsub >y0=20,<y0=20,<alpha32=0
fsub 20,20,0

# qhasm:   m += 4
# asm 1: addi >m=int32#4,<m=int32#4,4
# asm 2: addi >m=6,<m=6,4
addi 6,6,4

# qhasm:   y7 -= alpha130
# asm 1: fsub >y7=float64#23,<y7=float64#23,<alpha130=float64#29
# asm 2: fsub >y7=22,<y7=22,<alpha130=28
fsub 22,22,28

# qhasm:   f3 = 65536 * 0x4938
# asm 1: lis >f3=int32#13,0x4938
# asm 2: lis >f3=15,0x4938
lis 15,0x4938

# qhasm:   y6 -= alpha130
# asm 1: fsub >y6=float64#24,<y6=float64#24,<alpha130=float64#29
# asm 2: fsub >y6=23,<y6=23,<alpha130=28
fsub 23,23,28

# qhasm:   l -= 16
# asm 1: addi >l=int32#5,<l=int32#5,-16
# asm 2: addi >l=7,<l=7,-16
addi 7,7,-16

# qhasm:   y5 -= alpha96
# asm 1: fsub >y5=float64#25,<y5=float64#25,<alpha96=float64#19
# asm 2: fsub >y5=24,<y5=24,<alpha96=18
fsub 24,24,18

# qhasm:   f3 += 1
# asm 1: addi >f3=int32#13,<f3=int32#13,1
# asm 2: addi >f3=15,<f3=15,1
addi 15,15,1

# qhasm:   y4 -= alpha96
# asm 1: fsub >y4=float64#26,<y4=float64#26,<alpha96=float64#19
# asm 2: fsub >y4=25,<y4=25,<alpha96=18
fsub 25,25,18

# qhasm:   d0 top = f0
# asm 1: stw <f0=int32#7,>d0=stack64#25
# asm 2: stw <f0=9,>d0=272(1)
stw 9,272(1)

# qhasm:   y3 -= alpha64
# asm 1: fsub >y3=float64#27,<y3=float64#27,<alpha64=float64#6
# asm 2: fsub >y3=26,<y3=26,<alpha64=5
fsub 26,26,5

# qhasm:   inplace d0 bottom = m0
# asm 1: stw <m0=int32#2,<d0=stack64#25
# asm 2: stw <m0=4,<d0=276(1)
stw 4,276(1)

# qhasm:   y2 -= alpha64
# asm 1: fsub >y2=float64#28,<y2=float64#28,<alpha64=float64#6
# asm 2: fsub >y2=27,<y2=27,<alpha64=5
fsub 27,27,5

# qhasm:   d1 top = f1
# asm 1: stw <f1=int32#9,>d1=stack64#26
# asm 2: stw <f1=11,>d1=280(1)
stw 11,280(1)

# qhasm:   x1 = h1 - y1
# asm 1: fsub >x1=float64#3,<h1=float64#3,<y1=float64#11
# asm 2: fsub >x1=2,<h1=2,<y1=10
fsub 2,2,10

# qhasm:   inplace d1 bottom = m1
# asm 1: stw <m1=int32#8,<d1=stack64#26
# asm 2: stw <m1=10,<d1=284(1)
stw 10,284(1)

# qhasm:   x0 = h0 - y0
# asm 1: fsub >x0=float64#2,<h0=float64#2,<y0=float64#21
# asm 2: fsub >x0=1,<h0=1,<y0=20
fsub 1,1,20

# qhasm:   d2 top = f2
# asm 1: stw <f2=int32#11,>d2=stack64#27
# asm 2: stw <f2=13,>d2=288(1)
stw 13,288(1)

# qhasm:   x7 = h7 - y7
# asm 1: fsub >x7=float64#15,<h7=float64#15,<y7=float64#23
# asm 2: fsub >x7=14,<h7=14,<y7=22
fsub 14,14,22

# qhasm:   inplace d2 bottom = m2
# asm 1: stw <m2=int32#10,<d2=stack64#27
# asm 2: stw <m2=12,<d2=292(1)
stw 12,292(1)

# qhasm:   x6 = h6 - y6
# asm 1: fsub >x6=float64#13,<h6=float64#13,<y6=float64#24
# asm 2: fsub >x6=12,<h6=12,<y6=23
fsub 12,12,23

# qhasm:   d3 top = f3
# asm 1: stw <f3=int32#13,>d3=stack64#28
# asm 2: stw <f3=15,>d3=296(1)
stw 15,296(1)

# qhasm:   x5 = h5 - y5
# asm 1: fsub >x5=float64#7,<h5=float64#7,<y5=float64#25
# asm 2: fsub >x5=6,<h5=6,<y5=24
fsub 6,6,24

# qhasm:   inplace d3 bottom = m3
# asm 1: stw <m3=int32#12,<d3=stack64#28
# asm 2: stw <m3=14,<d3=300(1)
stw 14,300(1)

# qhasm:   x4 = h4 - y4
# asm 1: fsub >x4=float64#9,<h4=float64#9,<y4=float64#26
# asm 2: fsub >x4=8,<h4=8,<y4=25
fsub 8,8,25

# qhasm:   x3 = h3 - y3
# asm 1: fsub >x3=float64#4,<h3=float64#4,<y3=float64#27
# asm 2: fsub >x3=3,<h3=3,<y3=26
fsub 3,3,26

# qhasm:   x2 = h2 - y2
# asm 1: fsub >x2=float64#5,<h2=float64#5,<y2=float64#28
# asm 2: fsub >x2=4,<h2=4,<y2=27
fsub 4,4,27

# qhasm:   x1 += y7 * scale
# asm 1: fmadd >x1=float64#3,<y7=float64#23,<scale=float64#18,<x1=float64#3
# asm 2: fmadd >x1=2,<y7=22,<scale=17,<x1=2
fmadd 2,22,17,2

# qhasm:   x0 += y6 * scale
# asm 1: fmadd >x0=float64#2,<y6=float64#24,<scale=float64#18,<x0=float64#2
# asm 2: fmadd >x0=1,<y6=23,<scale=17,<x0=1
fmadd 1,23,17,1

# qhasm:   x7 += y5
# asm 1: fadd >x7=float64#15,<x7=float64#15,<y5=float64#25
# asm 2: fadd >x7=14,<x7=14,<y5=24
fadd 14,14,24

# qhasm:   x6 += y4
# asm 1: fadd >x6=float64#13,<x6=float64#13,<y4=float64#26
# asm 2: fadd >x6=12,<x6=12,<y4=25
fadd 12,12,25

# qhasm:   x5 += y3
# asm 1: fadd >x5=float64#7,<x5=float64#7,<y3=float64#27
# asm 2: fadd >x5=6,<x5=6,<y3=26
fadd 6,6,26

# qhasm:   x4 += y2
# asm 1: fadd >x4=float64#9,<x4=float64#9,<y2=float64#28
# asm 2: fadd >x4=8,<x4=8,<y2=27
fadd 8,8,27

# qhasm:   x3 += y1
# asm 1: fadd >x3=float64#4,<x3=float64#4,<y1=float64#11
# asm 2: fadd >x3=3,<x3=3,<y1=10
fadd 3,3,10

# qhasm:   x2 += y0
# asm 1: fadd >x2=float64#5,<x2=float64#5,<y0=float64#21
# asm 2: fadd >x2=4,<x2=4,<y0=20
fadd 4,4,20

# qhasm:   x0 += x1
# asm 1: fadd >x0=float64#2,<x0=float64#2,<x1=float64#3
# asm 2: fadd >x0=1,<x0=1,<x1=2
fadd 1,1,2

# qhasm:   x6 += x7
# asm 1: fadd >x6=float64#3,<x6=float64#13,<x7=float64#15
# asm 2: fadd >x6=2,<x6=12,<x7=14
fadd 2,12,14

# qhasm:   x4 += x5
# asm 1: fadd >x4=float64#7,<x4=float64#9,<x5=float64#7
# asm 2: fadd >x4=6,<x4=8,<x5=6
fadd 6,8,6

# qhasm:   x2 += x3
# asm 1: fadd >x2=float64#4,<x2=float64#5,<x3=float64#4
# asm 2: fadd >x2=3,<x2=4,<x3=3
fadd 3,4,3

# qhasm:   h7 = r3high * x0
# asm 1: fmul >h7=float64#5,<r3high=float64#22,<x0=float64#2
# asm 2: fmul >h7=4,<r3high=21,<x0=1
fmul 4,21,1

# qhasm:   h6 = r3low * x0
# asm 1: fmul >h6=float64#9,<r3low=float64#20,<x0=float64#2
# asm 2: fmul >h6=8,<r3low=19,<x0=1
fmul 8,19,1

# qhasm:   h5 = r2high * x0
# asm 1: fmul >h5=float64#11,<r2high=float64#17,<x0=float64#2
# asm 2: fmul >h5=10,<r2high=16,<x0=1
fmul 10,16,1

# qhasm:   h4 = r2low * x0
# asm 1: fmul >h4=float64#13,<r2low=float64#14,<x0=float64#2
# asm 2: fmul >h4=12,<r2low=13,<x0=1
fmul 12,13,1

# qhasm:   h3 = r1high * x0
# asm 1: fmul >h3=float64#15,<r1high=float64#16,<x0=float64#2
# asm 2: fmul >h3=14,<r1high=15,<x0=1
fmul 14,15,1

# qhasm:   h2 = r1low * x0
# asm 1: fmul >h2=float64#21,<r1low=float64#12,<x0=float64#2
# asm 2: fmul >h2=20,<r1low=11,<x0=1
fmul 20,11,1

# qhasm:   h1 = r0high * x0
# asm 1: fmul >h1=float64#23,<r0high=float64#8,<x0=float64#2
# asm 2: fmul >h1=22,<r0high=7,<x0=1
fmul 22,7,1

# qhasm:   h0 = r0low * x0
# asm 1: fmul >h0=float64#2,<r0low=float64#10,<x0=float64#2
# asm 2: fmul >h0=1,<r0low=9,<x0=1
fmul 1,9,1

# qhasm: <? (uint32) l - 16
# asm 1: cmplwi <l=int32#5,16
# asm 2: cmplwi <l=7,16
cmplwi 7,16

# qhasm:   h7 += r2high * x2
# asm 1: fmadd >h7=float64#5,<r2high=float64#17,<x2=float64#4,<h7=float64#5
# asm 2: fmadd >h7=4,<r2high=16,<x2=3,<h7=4
fmadd 4,16,3,4

# qhasm:   h6 += r2low * x2
# asm 1: fmadd >h6=float64#9,<r2low=float64#14,<x2=float64#4,<h6=float64#9
# asm 2: fmadd >h6=8,<r2low=13,<x2=3,<h6=8
fmadd 8,13,3,8

# qhasm:   h5 += r1high * x2
# asm 1: fmadd >h5=float64#11,<r1high=float64#16,<x2=float64#4,<h5=float64#11
# asm 2: fmadd >h5=10,<r1high=15,<x2=3,<h5=10
fmadd 10,15,3,10

# qhasm:   h4 += r1low * x2
# asm 1: fmadd >h4=float64#13,<r1low=float64#12,<x2=float64#4,<h4=float64#13
# asm 2: fmadd >h4=12,<r1low=11,<x2=3,<h4=12
fmadd 12,11,3,12

# qhasm:   h3 += r0high * x2
# asm 1: fmadd >h3=float64#24,<r0high=float64#8,<x2=float64#4,<h3=float64#15
# asm 2: fmadd >h3=23,<r0high=7,<x2=3,<h3=14
fmadd 23,7,3,14

# qhasm:   h2 += r0low * x2
# asm 1: fmadd >h2=float64#21,<r0low=float64#10,<x2=float64#4,<h2=float64#21
# asm 2: fmadd >h2=20,<r0low=9,<x2=3,<h2=20
fmadd 20,9,3,20

# qhasm:   h7 += r1high * x4
# asm 1: fmadd >h7=float64#5,<r1high=float64#16,<x4=float64#7,<h7=float64#5
# asm 2: fmadd >h7=4,<r1high=15,<x4=6,<h7=4
fmadd 4,15,6,4

# qhasm:   h6 += r1low * x4
# asm 1: fmadd >h6=float64#9,<r1low=float64#12,<x4=float64#7,<h6=float64#9
# asm 2: fmadd >h6=8,<r1low=11,<x4=6,<h6=8
fmadd 8,11,6,8

# qhasm:   sr3high = sr3high_stack
# asm 1: lfd >sr3high=float64#25,<sr3high_stack=stack64#23
# asm 2: lfd >sr3high=24,<sr3high_stack=256(1)
lfd 24,256(1)

# qhasm:   h5 += r0high * x4
# asm 1: fmadd >h5=float64#11,<r0high=float64#8,<x4=float64#7,<h5=float64#11
# asm 2: fmadd >h5=10,<r0high=7,<x4=6,<h5=10
fmadd 10,7,6,10

# qhasm:   sr3low = sr3low_stack
# asm 1: lfd >sr3low=float64#26,<sr3low_stack=stack64#24
# asm 2: lfd >sr3low=25,<sr3low_stack=264(1)
lfd 25,264(1)

# qhasm:   h4 += r0low * x4
# asm 1: fmadd >h4=float64#27,<r0low=float64#10,<x4=float64#7,<h4=float64#13
# asm 2: fmadd >h4=26,<r0low=9,<x4=6,<h4=12
fmadd 26,9,6,12

# qhasm:   h7 += r0high * x6
# asm 1: fmadd >h7=float64#15,<r0high=float64#8,<x6=float64#3,<h7=float64#5
# asm 2: fmadd >h7=14,<r0high=7,<x6=2,<h7=4
fmadd 14,7,2,4

# qhasm:   h6 += r0low * x6
# asm 1: fmadd >h6=float64#13,<r0low=float64#10,<x6=float64#3,<h6=float64#9
# asm 2: fmadd >h6=12,<r0low=9,<x6=2,<h6=8
fmadd 12,9,2,8

# qhasm:   h1 += sr3high * x2
# asm 1: fmadd >h1=float64#5,<sr3high=float64#25,<x2=float64#4,<h1=float64#23
# asm 2: fmadd >h1=4,<sr3high=24,<x2=3,<h1=22
fmadd 4,24,3,22

# qhasm:   h0 += sr3low * x2
# asm 1: fmadd >h0=float64#2,<sr3low=float64#26,<x2=float64#4,<h0=float64#2
# asm 2: fmadd >h0=1,<sr3low=25,<x2=3,<h0=1
fmadd 1,25,3,1

# qhasm:   sr2high = sr2high_stack
# asm 1: lfd >sr2high=float64#4,<sr2high_stack=stack64#20
# asm 2: lfd >sr2high=3,<sr2high_stack=232(1)
lfd 3,232(1)

# qhasm:   h3 += sr3high * x4
# asm 1: fmadd >h3=float64#23,<sr3high=float64#25,<x4=float64#7,<h3=float64#24
# asm 2: fmadd >h3=22,<sr3high=24,<x4=6,<h3=23
fmadd 22,24,6,23

# qhasm:   sr2low = sr2low_stack
# asm 1: lfd >sr2low=float64#24,<sr2low_stack=stack64#22
# asm 2: lfd >sr2low=23,<sr2low_stack=248(1)
lfd 23,248(1)

# qhasm:   h2 += sr3low * x4
# asm 1: fmadd >h2=float64#21,<sr3low=float64#26,<x4=float64#7,<h2=float64#21
# asm 2: fmadd >h2=20,<sr3low=25,<x4=6,<h2=20
fmadd 20,25,6,20

# qhasm:   h5 += sr3high * x6
# asm 1: fmadd >h5=float64#11,<sr3high=float64#25,<x6=float64#3,<h5=float64#11
# asm 2: fmadd >h5=10,<sr3high=24,<x6=2,<h5=10
fmadd 10,24,2,10

# qhasm:   sr1high = sr1high_stack
# asm 1: lfd >sr1high=float64#25,<sr1high_stack=stack64#19
# asm 2: lfd >sr1high=24,<sr1high_stack=224(1)
lfd 24,224(1)

# qhasm:   h4 += sr3low * x6
# asm 1: fmadd >h4=float64#9,<sr3low=float64#26,<x6=float64#3,<h4=float64#27
# asm 2: fmadd >h4=8,<sr3low=25,<x6=2,<h4=26
fmadd 8,25,2,26

# qhasm:   sr1low = sr1low_stack
# asm 1: lfd >sr1low=float64#26,<sr1low_stack=stack64#21
# asm 2: lfd >sr1low=25,<sr1low_stack=240(1)
lfd 25,240(1)

# qhasm:   h1 += sr2high * x4
# asm 1: fmadd >h1=float64#27,<sr2high=float64#4,<x4=float64#7,<h1=float64#5
# asm 2: fmadd >h1=26,<sr2high=3,<x4=6,<h1=4
fmadd 26,3,6,4

# qhasm:   alpha0 = *(float64 *) (constants + 24)
# asm 1: lfd >alpha0=float64#28,24(<constants=int32#6)
# asm 2: lfd >alpha0=27,24(<constants=8)
lfd 27,24(8)

# qhasm:   h0 += sr2low * x4
# asm 1: fmadd >h0=float64#2,<sr2low=float64#24,<x4=float64#7,<h0=float64#2
# asm 2: fmadd >h0=1,<sr2low=23,<x4=6,<h0=1
fmadd 1,23,6,1

# qhasm:   z3 = d3
# asm 1: lfd >z3=float64#7,<d3=stack64#28
# asm 2: lfd >z3=6,<d3=296(1)
lfd 6,296(1)

# qhasm:   h3 += sr2high * x6
# asm 1: fmadd >h3=float64#4,<sr2high=float64#4,<x6=float64#3,<h3=float64#23
# asm 2: fmadd >h3=3,<sr2high=3,<x6=2,<h3=22
fmadd 3,3,2,22

# qhasm:   z2 = d2
# asm 1: lfd >z2=float64#23,<d2=stack64#27
# asm 2: lfd >z2=22,<d2=288(1)
lfd 22,288(1)

# qhasm:   h2 += sr2low * x6
# asm 1: fmadd >h2=float64#5,<sr2low=float64#24,<x6=float64#3,<h2=float64#21
# asm 2: fmadd >h2=4,<sr2low=23,<x6=2,<h2=20
fmadd 4,23,2,20

# qhasm:   z1 = d1
# asm 1: lfd >z1=float64#21,<d1=stack64#26
# asm 2: lfd >z1=20,<d1=280(1)
lfd 20,280(1)

# qhasm:   h1 += sr1high * x6
# asm 1: fmadd >h1=float64#24,<sr1high=float64#25,<x6=float64#3,<h1=float64#27
# asm 2: fmadd >h1=23,<sr1high=24,<x6=2,<h1=26
fmadd 23,24,2,26

# qhasm:   z0 = d0
# asm 1: lfd >z0=float64#25,<d0=stack64#25
# asm 2: lfd >z0=24,<d0=272(1)
lfd 24,272(1)

# qhasm:   h0 += sr1low * x6
# asm 1: fmadd >h0=float64#2,<sr1low=float64#26,<x6=float64#3,<h0=float64#2
# asm 2: fmadd >h0=1,<sr1low=25,<x6=2,<h0=1
fmadd 1,25,2,1

# qhasm:   z3 -= alpha96
# asm 1: fsub >z3=float64#3,<z3=float64#7,<alpha96=float64#19
# asm 2: fsub >z3=2,<z3=6,<alpha96=18
fsub 2,6,18

# qhasm:   z2 -= alpha64
# asm 1: fsub >z2=float64#23,<z2=float64#23,<alpha64=float64#6
# asm 2: fsub >z2=22,<z2=22,<alpha64=5
fsub 22,22,5

# qhasm:   z1 -= alpha32
# asm 1: fsub >z1=float64#21,<z1=float64#21,<alpha32=float64#1
# asm 2: fsub >z1=20,<z1=20,<alpha32=0
fsub 20,20,0

# qhasm:   z0 -= alpha0
# asm 1: fsub >z0=float64#25,<z0=float64#25,<alpha0=float64#28
# asm 2: fsub >z0=24,<z0=24,<alpha0=27
fsub 24,24,27

# qhasm:   h5 += z3
# asm 1: fadd >h5=float64#7,<h5=float64#11,<z3=float64#3
# asm 2: fadd >h5=6,<h5=10,<z3=2
fadd 6,10,2

# qhasm:   h3 += z2
# asm 1: fadd >h3=float64#4,<h3=float64#4,<z2=float64#23
# asm 2: fadd >h3=3,<h3=3,<z2=22
fadd 3,3,22

# qhasm:   h1 += z1
# asm 1: fadd >h1=float64#3,<h1=float64#24,<z1=float64#21
# asm 2: fadd >h1=2,<h1=23,<z1=20
fadd 2,23,20

# qhasm:   h0 += z0
# asm 1: fadd >h0=float64#2,<h0=float64#2,<z0=float64#25
# asm 2: fadd >h0=1,<h0=1,<z0=24
fadd 1,1,24

# qhasm: goto multiplyaddatleast16bytes if !<
bge .label.multiplyaddatleast16bytes

# qhasm: multiplyaddatmost15bytes:
.label.multiplyaddatmost15bytes:

# qhasm:   y1 = h1 + alpha32
# asm 1: fadd >y1=float64#11,<h1=float64#3,<alpha32=float64#1
# asm 2: fadd >y1=10,<h1=2,<alpha32=0
fadd 10,2,0

# qhasm:   y0 = h0 + alpha32
# asm 1: fadd >y0=float64#21,<h0=float64#2,<alpha32=float64#1
# asm 2: fadd >y0=20,<h0=1,<alpha32=0
fadd 20,1,0

# qhasm:   y7 = h7 + alpha130
# asm 1: fadd >y7=float64#23,<h7=float64#15,<alpha130=float64#29
# asm 2: fadd >y7=22,<h7=14,<alpha130=28
fadd 22,14,28

# qhasm:   y6 = h6 + alpha130
# asm 1: fadd >y6=float64#24,<h6=float64#13,<alpha130=float64#29
# asm 2: fadd >y6=23,<h6=12,<alpha130=28
fadd 23,12,28

# qhasm:   y5 = h5 + alpha96
# asm 1: fadd >y5=float64#25,<h5=float64#7,<alpha96=float64#19
# asm 2: fadd >y5=24,<h5=6,<alpha96=18
fadd 24,6,18

# qhasm:   y4 = h4 + alpha96
# asm 1: fadd >y4=float64#26,<h4=float64#9,<alpha96=float64#19
# asm 2: fadd >y4=25,<h4=8,<alpha96=18
fadd 25,8,18

# qhasm:   y3 = h3 + alpha64
# asm 1: fadd >y3=float64#27,<h3=float64#4,<alpha64=float64#6
# asm 2: fadd >y3=26,<h3=3,<alpha64=5
fadd 26,3,5

# qhasm:   y2 = h2 + alpha64
# asm 1: fadd >y2=float64#28,<h2=float64#5,<alpha64=float64#6
# asm 2: fadd >y2=27,<h2=4,<alpha64=5
fadd 27,4,5

# qhasm:   y1 -= alpha32
# asm 1: fsub >y1=float64#11,<y1=float64#11,<alpha32=float64#1
# asm 2: fsub >y1=10,<y1=10,<alpha32=0
fsub 10,10,0

# qhasm:   y0 -= alpha32
# asm 1: fsub >y0=float64#21,<y0=float64#21,<alpha32=float64#1
# asm 2: fsub >y0=20,<y0=20,<alpha32=0
fsub 20,20,0

# qhasm:   y7 -= alpha130
# asm 1: fsub >y7=float64#23,<y7=float64#23,<alpha130=float64#29
# asm 2: fsub >y7=22,<y7=22,<alpha130=28
fsub 22,22,28

# qhasm:   y6 -= alpha130
# asm 1: fsub >y6=float64#24,<y6=float64#24,<alpha130=float64#29
# asm 2: fsub >y6=23,<y6=23,<alpha130=28
fsub 23,23,28

# qhasm:   y5 -= alpha96
# asm 1: fsub >y5=float64#25,<y5=float64#25,<alpha96=float64#19
# asm 2: fsub >y5=24,<y5=24,<alpha96=18
fsub 24,24,18

# qhasm:   y4 -= alpha96
# asm 1: fsub >y4=float64#26,<y4=float64#26,<alpha96=float64#19
# asm 2: fsub >y4=25,<y4=25,<alpha96=18
fsub 25,25,18

# qhasm:   y3 -= alpha64
# asm 1: fsub >y3=float64#27,<y3=float64#27,<alpha64=float64#6
# asm 2: fsub >y3=26,<y3=26,<alpha64=5
fsub 26,26,5

# qhasm:   y2 -= alpha64
# asm 1: fsub >y2=float64#28,<y2=float64#28,<alpha64=float64#6
# asm 2: fsub >y2=27,<y2=27,<alpha64=5
fsub 27,27,5

# qhasm:   x1 = h1 - y1
# asm 1: fsub >x1=float64#3,<h1=float64#3,<y1=float64#11
# asm 2: fsub >x1=2,<h1=2,<y1=10
fsub 2,2,10

# qhasm:   x0 = h0 - y0
# asm 1: fsub >x0=float64#2,<h0=float64#2,<y0=float64#21
# asm 2: fsub >x0=1,<h0=1,<y0=20
fsub 1,1,20

# qhasm:   x7 = h7 - y7
# asm 1: fsub >x7=float64#15,<h7=float64#15,<y7=float64#23
# asm 2: fsub >x7=14,<h7=14,<y7=22
fsub 14,14,22

# qhasm:   x6 = h6 - y6
# asm 1: fsub >x6=float64#13,<h6=float64#13,<y6=float64#24
# asm 2: fsub >x6=12,<h6=12,<y6=23
fsub 12,12,23

# qhasm:   x5 = h5 - y5
# asm 1: fsub >x5=float64#7,<h5=float64#7,<y5=float64#25
# asm 2: fsub >x5=6,<h5=6,<y5=24
fsub 6,6,24

# qhasm:   x4 = h4 - y4
# asm 1: fsub >x4=float64#9,<h4=float64#9,<y4=float64#26
# asm 2: fsub >x4=8,<h4=8,<y4=25
fsub 8,8,25

# qhasm:   x3 = h3 - y3
# asm 1: fsub >x3=float64#4,<h3=float64#4,<y3=float64#27
# asm 2: fsub >x3=3,<h3=3,<y3=26
fsub 3,3,26

# qhasm:   x2 = h2 - y2
# asm 1: fsub >x2=float64#5,<h2=float64#5,<y2=float64#28
# asm 2: fsub >x2=4,<h2=4,<y2=27
fsub 4,4,27

# qhasm:   x1 += y7 * scale
# asm 1: fmadd >x1=float64#3,<y7=float64#23,<scale=float64#18,<x1=float64#3
# asm 2: fmadd >x1=2,<y7=22,<scale=17,<x1=2
fmadd 2,22,17,2

# qhasm:   x0 += y6 * scale
# asm 1: fmadd >x0=float64#2,<y6=float64#24,<scale=float64#18,<x0=float64#2
# asm 2: fmadd >x0=1,<y6=23,<scale=17,<x0=1
fmadd 1,23,17,1

# qhasm:   x7 += y5
# asm 1: fadd >x7=float64#15,<x7=float64#15,<y5=float64#25
# asm 2: fadd >x7=14,<x7=14,<y5=24
fadd 14,14,24

# qhasm:   x6 += y4
# asm 1: fadd >x6=float64#13,<x6=float64#13,<y4=float64#26
# asm 2: fadd >x6=12,<x6=12,<y4=25
fadd 12,12,25

# qhasm:   x5 += y3
# asm 1: fadd >x5=float64#7,<x5=float64#7,<y3=float64#27
# asm 2: fadd >x5=6,<x5=6,<y3=26
fadd 6,6,26

# qhasm:   x4 += y2
# asm 1: fadd >x4=float64#9,<x4=float64#9,<y2=float64#28
# asm 2: fadd >x4=8,<x4=8,<y2=27
fadd 8,8,27

# qhasm:   x3 += y1
# asm 1: fadd >x3=float64#4,<x3=float64#4,<y1=float64#11
# asm 2: fadd >x3=3,<x3=3,<y1=10
fadd 3,3,10

# qhasm:   x2 += y0
# asm 1: fadd >x2=float64#5,<x2=float64#5,<y0=float64#21
# asm 2: fadd >x2=4,<x2=4,<y0=20
fadd 4,4,20

# qhasm:   x0 += x1
# asm 1: fadd >x0=float64#2,<x0=float64#2,<x1=float64#3
# asm 2: fadd >x0=1,<x0=1,<x1=2
fadd 1,1,2

# qhasm:   x6 += x7
# asm 1: fadd >x6=float64#21,<x6=float64#13,<x7=float64#15
# asm 2: fadd >x6=20,<x6=12,<x7=14
fadd 20,12,14

# qhasm:   x4 += x5
# asm 1: fadd >x4=float64#3,<x4=float64#9,<x5=float64#7
# asm 2: fadd >x4=2,<x4=8,<x5=6
fadd 2,8,6

# qhasm:   x2 += x3
# asm 1: fadd >x2=float64#4,<x2=float64#5,<x3=float64#4
# asm 2: fadd >x2=3,<x2=4,<x3=3
fadd 3,4,3

# qhasm:   h7 = r3high * x0
# asm 1: fmul >h7=float64#5,<r3high=float64#22,<x0=float64#2
# asm 2: fmul >h7=4,<r3high=21,<x0=1
fmul 4,21,1

# qhasm:   h6 = r3low * x0
# asm 1: fmul >h6=float64#7,<r3low=float64#20,<x0=float64#2
# asm 2: fmul >h6=6,<r3low=19,<x0=1
fmul 6,19,1

# qhasm:   h5 = r2high * x0
# asm 1: fmul >h5=float64#9,<r2high=float64#17,<x0=float64#2
# asm 2: fmul >h5=8,<r2high=16,<x0=1
fmul 8,16,1

# qhasm:   h4 = r2low * x0
# asm 1: fmul >h4=float64#11,<r2low=float64#14,<x0=float64#2
# asm 2: fmul >h4=10,<r2low=13,<x0=1
fmul 10,13,1

# qhasm:   h3 = r1high * x0
# asm 1: fmul >h3=float64#13,<r1high=float64#16,<x0=float64#2
# asm 2: fmul >h3=12,<r1high=15,<x0=1
fmul 12,15,1

# qhasm:   h2 = r1low * x0
# asm 1: fmul >h2=float64#15,<r1low=float64#12,<x0=float64#2
# asm 2: fmul >h2=14,<r1low=11,<x0=1
fmul 14,11,1

# qhasm:   h1 = r0high * x0
# asm 1: fmul >h1=float64#23,<r0high=float64#8,<x0=float64#2
# asm 2: fmul >h1=22,<r0high=7,<x0=1
fmul 22,7,1

# qhasm:   h0 = r0low * x0
# asm 1: fmul >h0=float64#2,<r0low=float64#10,<x0=float64#2
# asm 2: fmul >h0=1,<r0low=9,<x0=1
fmul 1,9,1

# qhasm:   h7 += r2high * x2
# asm 1: fmadd >h7=float64#5,<r2high=float64#17,<x2=float64#4,<h7=float64#5
# asm 2: fmadd >h7=4,<r2high=16,<x2=3,<h7=4
fmadd 4,16,3,4

# qhasm:   h6 += r2low * x2
# asm 1: fmadd >h6=float64#7,<r2low=float64#14,<x2=float64#4,<h6=float64#7
# asm 2: fmadd >h6=6,<r2low=13,<x2=3,<h6=6
fmadd 6,13,3,6

# qhasm:   h5 += r1high * x2
# asm 1: fmadd >h5=float64#9,<r1high=float64#16,<x2=float64#4,<h5=float64#9
# asm 2: fmadd >h5=8,<r1high=15,<x2=3,<h5=8
fmadd 8,15,3,8

# qhasm:   h4 += r1low * x2
# asm 1: fmadd >h4=float64#11,<r1low=float64#12,<x2=float64#4,<h4=float64#11
# asm 2: fmadd >h4=10,<r1low=11,<x2=3,<h4=10
fmadd 10,11,3,10

# qhasm:   h3 += r0high * x2
# asm 1: fmadd >h3=float64#24,<r0high=float64#8,<x2=float64#4,<h3=float64#13
# asm 2: fmadd >h3=23,<r0high=7,<x2=3,<h3=12
fmadd 23,7,3,12

# qhasm:   h2 += r0low * x2
# asm 1: fmadd >h2=float64#25,<r0low=float64#10,<x2=float64#4,<h2=float64#15
# asm 2: fmadd >h2=24,<r0low=9,<x2=3,<h2=14
fmadd 24,9,3,14

# qhasm:   h7 += r1high * x4
# asm 1: fmadd >h7=float64#5,<r1high=float64#16,<x4=float64#3,<h7=float64#5
# asm 2: fmadd >h7=4,<r1high=15,<x4=2,<h7=4
fmadd 4,15,2,4

# qhasm:   h6 += r1low * x4
# asm 1: fmadd >h6=float64#7,<r1low=float64#12,<x4=float64#3,<h6=float64#7
# asm 2: fmadd >h6=6,<r1low=11,<x4=2,<h6=6
fmadd 6,11,2,6

# qhasm:   sr3high = sr3high_stack
# asm 1: lfd >sr3high=float64#26,<sr3high_stack=stack64#23
# asm 2: lfd >sr3high=25,<sr3high_stack=256(1)
lfd 25,256(1)

# qhasm:   h5 += r0high * x4
# asm 1: fmadd >h5=float64#9,<r0high=float64#8,<x4=float64#3,<h5=float64#9
# asm 2: fmadd >h5=8,<r0high=7,<x4=2,<h5=8
fmadd 8,7,2,8

# qhasm:   sr3low = sr3low_stack
# asm 1: lfd >sr3low=float64#27,<sr3low_stack=stack64#24
# asm 2: lfd >sr3low=26,<sr3low_stack=264(1)
lfd 26,264(1)

# qhasm:   h4 += r0low * x4
# asm 1: fmadd >h4=float64#28,<r0low=float64#10,<x4=float64#3,<h4=float64#11
# asm 2: fmadd >h4=27,<r0low=9,<x4=2,<h4=10
fmadd 27,9,2,10

# qhasm:   h7 += r0high * x6
# asm 1: fmadd >h7=float64#15,<r0high=float64#8,<x6=float64#21,<h7=float64#5
# asm 2: fmadd >h7=14,<r0high=7,<x6=20,<h7=4
fmadd 14,7,20,4

# qhasm:   h6 += r0low * x6
# asm 1: fmadd >h6=float64#13,<r0low=float64#10,<x6=float64#21,<h6=float64#7
# asm 2: fmadd >h6=12,<r0low=9,<x6=20,<h6=6
fmadd 12,9,20,6

# qhasm:   h1 += sr3high * x2
# asm 1: fmadd >h1=float64#5,<sr3high=float64#26,<x2=float64#4,<h1=float64#23
# asm 2: fmadd >h1=4,<sr3high=25,<x2=3,<h1=22
fmadd 4,25,3,22

# qhasm:   h0 += sr3low * x2
# asm 1: fmadd >h0=float64#2,<sr3low=float64#27,<x2=float64#4,<h0=float64#2
# asm 2: fmadd >h0=1,<sr3low=26,<x2=3,<h0=1
fmadd 1,26,3,1

# qhasm:   sr2high = sr2high_stack
# asm 1: lfd >sr2high=float64#4,<sr2high_stack=stack64#20
# asm 2: lfd >sr2high=3,<sr2high_stack=232(1)
lfd 3,232(1)

# qhasm:   h3 += sr3high * x4
# asm 1: fmadd >h3=float64#7,<sr3high=float64#26,<x4=float64#3,<h3=float64#24
# asm 2: fmadd >h3=6,<sr3high=25,<x4=2,<h3=23
fmadd 6,25,2,23

# qhasm:   sr2low = sr2low_stack
# asm 1: lfd >sr2low=float64#23,<sr2low_stack=stack64#22
# asm 2: lfd >sr2low=22,<sr2low_stack=248(1)
lfd 22,248(1)

# qhasm:   h2 += sr3low * x4
# asm 1: fmadd >h2=float64#24,<sr3low=float64#27,<x4=float64#3,<h2=float64#25
# asm 2: fmadd >h2=23,<sr3low=26,<x4=2,<h2=24
fmadd 23,26,2,24

# qhasm:   h5 += sr3high * x6
# asm 1: fmadd >h5=float64#11,<sr3high=float64#26,<x6=float64#21,<h5=float64#9
# asm 2: fmadd >h5=10,<sr3high=25,<x6=20,<h5=8
fmadd 10,25,20,8

# qhasm:   sr1high = sr1high_stack
# asm 1: lfd >sr1high=float64#25,<sr1high_stack=stack64#19
# asm 2: lfd >sr1high=24,<sr1high_stack=224(1)
lfd 24,224(1)

# qhasm:   h4 += sr3low * x6
# asm 1: fmadd >h4=float64#9,<sr3low=float64#27,<x6=float64#21,<h4=float64#28
# asm 2: fmadd >h4=8,<sr3low=26,<x6=20,<h4=27
fmadd 8,26,20,27

# qhasm:   sr1low = sr1low_stack
# asm 1: lfd >sr1low=float64#26,<sr1low_stack=stack64#21
# asm 2: lfd >sr1low=25,<sr1low_stack=240(1)
lfd 25,240(1)

# qhasm:   h1 += sr2high * x4
# asm 1: fmadd >h1=float64#27,<sr2high=float64#4,<x4=float64#3,<h1=float64#5
# asm 2: fmadd >h1=26,<sr2high=3,<x4=2,<h1=4
fmadd 26,3,2,4

# qhasm:   h0 += sr2low * x4
# asm 1: fmadd >h0=float64#2,<sr2low=float64#23,<x4=float64#3,<h0=float64#2
# asm 2: fmadd >h0=1,<sr2low=22,<x4=2,<h0=1
fmadd 1,22,2,1

# qhasm:   h3 += sr2high * x6
# asm 1: fmadd >h3=float64#7,<sr2high=float64#4,<x6=float64#21,<h3=float64#7
# asm 2: fmadd >h3=6,<sr2high=3,<x6=20,<h3=6
fmadd 6,3,20,6

# qhasm:   h2 += sr2low * x6
# asm 1: fmadd >h2=float64#5,<sr2low=float64#23,<x6=float64#21,<h2=float64#24
# asm 2: fmadd >h2=4,<sr2low=22,<x6=20,<h2=23
fmadd 4,22,20,23

# qhasm:   h1 += sr1high * x6
# asm 1: fmadd >h1=float64#3,<sr1high=float64#25,<x6=float64#21,<h1=float64#27
# asm 2: fmadd >h1=2,<sr1high=24,<x6=20,<h1=26
fmadd 2,24,20,26

# qhasm:   h0 += sr1low * x6
# asm 1: fmadd >h0=float64#2,<sr1low=float64#26,<x6=float64#21,<h0=float64#2
# asm 2: fmadd >h0=1,<sr1low=25,<x6=20,<h0=1
fmadd 1,25,20,1

# qhasm: addatmost15bytes:
.label.addatmost15bytes:

# qhasm: =? (uint32) l - 0
# asm 1: cmplwi <l=int32#5,0
# asm 2: cmplwi <l=7,0
cmplwi 7,0

# qhasm:   lbelow2 = l - 2
# asm 1: addi >lbelow2=int32#2,<l=int32#5,-2
# asm 2: addi >lbelow2=4,<l=7,-2
addi 4,7,-2

# qhasm:   lbelow3 = l - 3
# asm 1: addi >lbelow3=int32#7,<l=int32#5,-3
# asm 2: addi >lbelow3=9,<l=7,-3
addi 9,7,-3

# qhasm:   (int32) lbelow2 >>= 31
# asm 1: srawi >lbelow2=int32#2,<lbelow2=int32#2,31
# asm 2: srawi >lbelow2=4,<lbelow2=4,31
srawi 4,4,31

# qhasm:   lbelow4 = l - 4
# asm 1: addi >lbelow4=int32#8,<l=int32#5,-4
# asm 2: addi >lbelow4=10,<l=7,-4
addi 10,7,-4

# qhasm: goto nomorebytes if =
beq .label.nomorebytes

# qhasm:   m00 = *(uint8 *) (m + 0)
# asm 1: lbz >m00=int32#9,0(<m=int32#4)
# asm 2: lbz >m00=11,0(<m=6)
lbz 11,0(6)

# qhasm:   (int32) lbelow3 >>= 31
# asm 1: srawi >lbelow3=int32#7,<lbelow3=int32#7,31
# asm 2: srawi >lbelow3=9,<lbelow3=9,31
srawi 9,9,31

# qhasm:   m += lbelow2
# asm 1: add >m=int32#4,<m=int32#4,<lbelow2=int32#2
# asm 2: add >m=6,<m=6,<lbelow2=4
add 6,6,4

# qhasm:   m01 = *(uint8 *) (m + 1)
# asm 1: lbz >m01=int32#10,1(<m=int32#4)
# asm 2: lbz >m01=12,1(<m=6)
lbz 12,1(6)

# qhasm:   (int32) lbelow4 >>= 31
# asm 1: srawi >lbelow4=int32#8,<lbelow4=int32#8,31
# asm 2: srawi >lbelow4=10,<lbelow4=10,31
srawi 10,10,31

# qhasm:   m += lbelow3
# asm 1: add >m=int32#4,<m=int32#4,<lbelow3=int32#7
# asm 2: add >m=6,<m=6,<lbelow3=9
add 6,6,9

# qhasm:   m02 = *(uint8 *) (m + 2)
# asm 1: lbz >m02=int32#11,2(<m=int32#4)
# asm 2: lbz >m02=13,2(<m=6)
lbz 13,2(6)

# qhasm:   m += lbelow4
# asm 1: add >m=int32#4,<m=int32#4,<lbelow4=int32#8
# asm 2: add >m=6,<m=6,<lbelow4=10
add 6,6,10

# qhasm:   m0 = 0
# asm 1: li >m0=int32#12,0
# asm 2: li >m0=14,0
li 14,0

# qhasm:   m03 = *(uint8 *) (m + 3)
# asm 1: lbz >m03=int32#13,3(<m=int32#4)
# asm 2: lbz >m03=15,3(<m=6)
lbz 15,3(6)

# qhasm:   m1 = 0
# asm 1: li >m1=int32#14,0
# asm 2: li >m1=16,0
li 16,0

# qhasm:   m0 += m00
# asm 1: add >m0=int32#9,<m0=int32#12,<m00=int32#9
# asm 2: add >m0=11,<m0=14,<m00=11
add 11,14,11

# qhasm:   m01 &= ~lbelow2
# asm 1: andc >m01=int32#10,<m01=int32#10,<lbelow2=int32#2
# asm 2: andc >m01=12,<m01=12,<lbelow2=4
andc 12,12,4

# qhasm:   m02 &= ~lbelow3
# asm 1: andc >m02=int32#11,<m02=int32#11,<lbelow3=int32#7
# asm 2: andc >m02=13,<m02=13,<lbelow3=9
andc 13,13,9

# qhasm:   m01 -= lbelow2
# asm 1: subf >m01=int32#10,<lbelow2=int32#2,<m01=int32#10
# asm 2: subf >m01=12,<lbelow2=4,<m01=12
subf 12,4,12

# qhasm:   m01 <<= 8
# asm 1: slwi >m01=int32#10,<m01=int32#10,8
# asm 2: slwi >m01=12,<m01=12,8
slwi 12,12,8

# qhasm:   m03 &= ~lbelow4
# asm 1: andc >m03=int32#12,<m03=int32#13,<lbelow4=int32#8
# asm 2: andc >m03=14,<m03=15,<lbelow4=10
andc 14,15,10

# qhasm:   m0 += m01
# asm 1: add >m0=int32#9,<m0=int32#9,<m01=int32#10
# asm 2: add >m0=11,<m0=11,<m01=12
add 11,11,12

# qhasm:   lbelow2 -= lbelow3
# asm 1: subf >lbelow2=int32#2,<lbelow3=int32#7,<lbelow2=int32#2
# asm 2: subf >lbelow2=4,<lbelow3=9,<lbelow2=4
subf 4,9,4

# qhasm:   m02 += lbelow2
# asm 1: add >m02=int32#2,<m02=int32#11,<lbelow2=int32#2
# asm 2: add >m02=4,<m02=13,<lbelow2=4
add 4,13,4

# qhasm:   lbelow3 -= lbelow4
# asm 1: subf >lbelow3=int32#7,<lbelow4=int32#8,<lbelow3=int32#7
# asm 2: subf >lbelow3=9,<lbelow4=10,<lbelow3=9
subf 9,10,9

# qhasm:   m02 <<= 16
# asm 1: slwi >m02=int32#2,<m02=int32#2,16
# asm 2: slwi >m02=4,<m02=4,16
slwi 4,4,16

# qhasm:   m03 += lbelow3
# asm 1: add >m03=int32#7,<m03=int32#12,<lbelow3=int32#7
# asm 2: add >m03=9,<m03=14,<lbelow3=9
add 9,14,9

# qhasm:   m03 <<= 24
# asm 1: slwi >m03=int32#7,<m03=int32#7,24
# asm 2: slwi >m03=9,<m03=9,24
slwi 9,9,24

# qhasm:   m0 += m02
# asm 1: add >m0=int32#2,<m0=int32#9,<m02=int32#2
# asm 2: add >m0=4,<m0=11,<m02=4
add 4,11,4

# qhasm:   m0 += m03
# asm 1: add >m0=int32#2,<m0=int32#2,<m03=int32#7
# asm 2: add >m0=4,<m0=4,<m03=9
add 4,4,9

# qhasm:   lbelow5 = l - 5
# asm 1: addi >lbelow5=int32#7,<l=int32#5,-5
# asm 2: addi >lbelow5=9,<l=7,-5
addi 9,7,-5

# qhasm:   lbelow6 = l - 6
# asm 1: addi >lbelow6=int32#9,<l=int32#5,-6
# asm 2: addi >lbelow6=11,<l=7,-6
addi 11,7,-6

# qhasm:   lbelow7 = l - 7
# asm 1: addi >lbelow7=int32#10,<l=int32#5,-7
# asm 2: addi >lbelow7=12,<l=7,-7
addi 12,7,-7

# qhasm:   (int32) lbelow5 >>= 31
# asm 1: srawi >lbelow5=int32#7,<lbelow5=int32#7,31
# asm 2: srawi >lbelow5=9,<lbelow5=9,31
srawi 9,9,31

# qhasm:   lbelow8 = l - 8
# asm 1: addi >lbelow8=int32#11,<l=int32#5,-8
# asm 2: addi >lbelow8=13,<l=7,-8
addi 13,7,-8

# qhasm:   (int32) lbelow6 >>= 31
# asm 1: srawi >lbelow6=int32#9,<lbelow6=int32#9,31
# asm 2: srawi >lbelow6=11,<lbelow6=11,31
srawi 11,11,31

# qhasm:   m += lbelow5
# asm 1: add >m=int32#4,<m=int32#4,<lbelow5=int32#7
# asm 2: add >m=6,<m=6,<lbelow5=9
add 6,6,9

# qhasm:   m10 = *(uint8 *) (m + 4)
# asm 1: lbz >m10=int32#12,4(<m=int32#4)
# asm 2: lbz >m10=14,4(<m=6)
lbz 14,4(6)

# qhasm:   (int32) lbelow7 >>= 31
# asm 1: srawi >lbelow7=int32#10,<lbelow7=int32#10,31
# asm 2: srawi >lbelow7=12,<lbelow7=12,31
srawi 12,12,31

# qhasm:   m += lbelow6
# asm 1: add >m=int32#4,<m=int32#4,<lbelow6=int32#9
# asm 2: add >m=6,<m=6,<lbelow6=11
add 6,6,11

# qhasm:   m11 = *(uint8 *) (m + 5)
# asm 1: lbz >m11=int32#13,5(<m=int32#4)
# asm 2: lbz >m11=15,5(<m=6)
lbz 15,5(6)

# qhasm:   (int32) lbelow8 >>= 31
# asm 1: srawi >lbelow8=int32#11,<lbelow8=int32#11,31
# asm 2: srawi >lbelow8=13,<lbelow8=13,31
srawi 13,13,31

# qhasm:   m += lbelow7
# asm 1: add >m=int32#4,<m=int32#4,<lbelow7=int32#10
# asm 2: add >m=6,<m=6,<lbelow7=12
add 6,6,12

# qhasm:   m12 = *(uint8 *) (m + 6)
# asm 1: lbz >m12=int32#15,6(<m=int32#4)
# asm 2: lbz >m12=17,6(<m=6)
lbz 17,6(6)

# qhasm:   m += lbelow8
# asm 1: add >m=int32#4,<m=int32#4,<lbelow8=int32#11
# asm 2: add >m=6,<m=6,<lbelow8=13
add 6,6,13

# qhasm:   m13 = *(uint8 *) (m + 7)
# asm 1: lbz >m13=int32#16,7(<m=int32#4)
# asm 2: lbz >m13=18,7(<m=6)
lbz 18,7(6)

# qhasm:   m10 &= ~lbelow5
# asm 1: andc >m10=int32#12,<m10=int32#12,<lbelow5=int32#7
# asm 2: andc >m10=14,<m10=14,<lbelow5=9
andc 14,14,9

# qhasm:   lbelow4 -= lbelow5
# asm 1: subf >lbelow4=int32#8,<lbelow5=int32#7,<lbelow4=int32#8
# asm 2: subf >lbelow4=10,<lbelow5=9,<lbelow4=10
subf 10,9,10

# qhasm:   m10 += lbelow4
# asm 1: add >m10=int32#8,<m10=int32#12,<lbelow4=int32#8
# asm 2: add >m10=10,<m10=14,<lbelow4=10
add 10,14,10

# qhasm:   lbelow5 -= lbelow6
# asm 1: subf >lbelow5=int32#7,<lbelow6=int32#9,<lbelow5=int32#7
# asm 2: subf >lbelow5=9,<lbelow6=11,<lbelow5=9
subf 9,11,9

# qhasm:   m11 &= ~lbelow6
# asm 1: andc >m11=int32#12,<m11=int32#13,<lbelow6=int32#9
# asm 2: andc >m11=14,<m11=15,<lbelow6=11
andc 14,15,11

# qhasm:   m11 += lbelow5
# asm 1: add >m11=int32#7,<m11=int32#12,<lbelow5=int32#7
# asm 2: add >m11=9,<m11=14,<lbelow5=9
add 9,14,9

# qhasm:   m11 <<= 8
# asm 1: slwi >m11=int32#7,<m11=int32#7,8
# asm 2: slwi >m11=9,<m11=9,8
slwi 9,9,8

# qhasm:   m1 += m10
# asm 1: add >m1=int32#8,<m1=int32#14,<m10=int32#8
# asm 2: add >m1=10,<m1=16,<m10=10
add 10,16,10

# qhasm:   m1 += m11
# asm 1: add >m1=int32#7,<m1=int32#8,<m11=int32#7
# asm 2: add >m1=9,<m1=10,<m11=9
add 9,10,9

# qhasm:   m12 &= ~lbelow7
# asm 1: andc >m12=int32#8,<m12=int32#15,<lbelow7=int32#10
# asm 2: andc >m12=10,<m12=17,<lbelow7=12
andc 10,17,12

# qhasm:   lbelow6 -= lbelow7
# asm 1: subf >lbelow6=int32#9,<lbelow7=int32#10,<lbelow6=int32#9
# asm 2: subf >lbelow6=11,<lbelow7=12,<lbelow6=11
subf 11,12,11

# qhasm:   m13 &= ~lbelow8
# asm 1: andc >m13=int32#12,<m13=int32#16,<lbelow8=int32#11
# asm 2: andc >m13=14,<m13=18,<lbelow8=13
andc 14,18,13

# qhasm:   m12 += lbelow6
# asm 1: add >m12=int32#8,<m12=int32#8,<lbelow6=int32#9
# asm 2: add >m12=10,<m12=10,<lbelow6=11
add 10,10,11

# qhasm:   lbelow7 -= lbelow8
# asm 1: subf >lbelow7=int32#9,<lbelow8=int32#11,<lbelow7=int32#10
# asm 2: subf >lbelow7=11,<lbelow8=13,<lbelow7=12
subf 11,13,12

# qhasm:   m12 <<= 16
# asm 1: slwi >m12=int32#8,<m12=int32#8,16
# asm 2: slwi >m12=10,<m12=10,16
slwi 10,10,16

# qhasm:   m13 += lbelow7
# asm 1: add >m13=int32#9,<m13=int32#12,<lbelow7=int32#9
# asm 2: add >m13=11,<m13=14,<lbelow7=11
add 11,14,11

# qhasm:   m13 <<= 24
# asm 1: slwi >m13=int32#9,<m13=int32#9,24
# asm 2: slwi >m13=11,<m13=11,24
slwi 11,11,24

# qhasm:   m1 += m12
# asm 1: add >m1=int32#7,<m1=int32#7,<m12=int32#8
# asm 2: add >m1=9,<m1=9,<m12=10
add 9,9,10

# qhasm:   m1 += m13
# asm 1: add >m1=int32#7,<m1=int32#7,<m13=int32#9
# asm 2: add >m1=9,<m1=9,<m13=11
add 9,9,11

# qhasm:   m2 = 0
# asm 1: li >m2=int32#8,0
# asm 2: li >m2=10,0
li 10,0

# qhasm:   lbelow9 = l - 9
# asm 1: addi >lbelow9=int32#9,<l=int32#5,-9
# asm 2: addi >lbelow9=11,<l=7,-9
addi 11,7,-9

# qhasm:   m3 = 0
# asm 1: li >m3=int32#10,0
# asm 2: li >m3=12,0
li 12,0

# qhasm:   lbelow10 = l - 10
# asm 1: addi >lbelow10=int32#12,<l=int32#5,-10
# asm 2: addi >lbelow10=14,<l=7,-10
addi 14,7,-10

# qhasm:   lbelow11 = l - 11
# asm 1: addi >lbelow11=int32#13,<l=int32#5,-11
# asm 2: addi >lbelow11=15,<l=7,-11
addi 15,7,-11

# qhasm:   (int32) lbelow9 >>= 31
# asm 1: srawi >lbelow9=int32#9,<lbelow9=int32#9,31
# asm 2: srawi >lbelow9=11,<lbelow9=11,31
srawi 11,11,31

# qhasm:   lbelow12 = l - 12
# asm 1: addi >lbelow12=int32#14,<l=int32#5,-12
# asm 2: addi >lbelow12=16,<l=7,-12
addi 16,7,-12

# qhasm:   (int32) lbelow10 >>= 31
# asm 1: srawi >lbelow10=int32#12,<lbelow10=int32#12,31
# asm 2: srawi >lbelow10=14,<lbelow10=14,31
srawi 14,14,31

# qhasm:   m += lbelow9
# asm 1: add >m=int32#4,<m=int32#4,<lbelow9=int32#9
# asm 2: add >m=6,<m=6,<lbelow9=11
add 6,6,11

# qhasm:   m20 = *(uint8 *) (m + 8)
# asm 1: lbz >m20=int32#15,8(<m=int32#4)
# asm 2: lbz >m20=17,8(<m=6)
lbz 17,8(6)

# qhasm:   (int32) lbelow11 >>= 31
# asm 1: srawi >lbelow11=int32#13,<lbelow11=int32#13,31
# asm 2: srawi >lbelow11=15,<lbelow11=15,31
srawi 15,15,31

# qhasm:   m += lbelow10
# asm 1: add >m=int32#4,<m=int32#4,<lbelow10=int32#12
# asm 2: add >m=6,<m=6,<lbelow10=14
add 6,6,14

# qhasm:   m21 = *(uint8 *) (m + 9)
# asm 1: lbz >m21=int32#16,9(<m=int32#4)
# asm 2: lbz >m21=18,9(<m=6)
lbz 18,9(6)

# qhasm:   (int32) lbelow12 >>= 31
# asm 1: srawi >lbelow12=int32#14,<lbelow12=int32#14,31
# asm 2: srawi >lbelow12=16,<lbelow12=16,31
srawi 16,16,31

# qhasm:   m += lbelow11
# asm 1: add >m=int32#4,<m=int32#4,<lbelow11=int32#13
# asm 2: add >m=6,<m=6,<lbelow11=15
add 6,6,15

# qhasm:   m22 = *(uint8 *) (m + 10)
# asm 1: lbz >m22=int32#17,10(<m=int32#4)
# asm 2: lbz >m22=19,10(<m=6)
lbz 19,10(6)

# qhasm:   m += lbelow12
# asm 1: add >m=int32#4,<m=int32#4,<lbelow12=int32#14
# asm 2: add >m=6,<m=6,<lbelow12=16
add 6,6,16

# qhasm:   m23 = *(uint8 *) (m + 11)
# asm 1: lbz >m23=int32#18,11(<m=int32#4)
# asm 2: lbz >m23=20,11(<m=6)
lbz 20,11(6)

# qhasm:   m20 &= ~lbelow9
# asm 1: andc >m20=int32#15,<m20=int32#15,<lbelow9=int32#9
# asm 2: andc >m20=17,<m20=17,<lbelow9=11
andc 17,17,11

# qhasm:   lbelow8 -= lbelow9
# asm 1: subf >lbelow8=int32#11,<lbelow9=int32#9,<lbelow8=int32#11
# asm 2: subf >lbelow8=13,<lbelow9=11,<lbelow8=13
subf 13,11,13

# qhasm:   m20 += lbelow8
# asm 1: add >m20=int32#11,<m20=int32#15,<lbelow8=int32#11
# asm 2: add >m20=13,<m20=17,<lbelow8=13
add 13,17,13

# qhasm:   lbelow9 -= lbelow10
# asm 1: subf >lbelow9=int32#9,<lbelow10=int32#12,<lbelow9=int32#9
# asm 2: subf >lbelow9=11,<lbelow10=14,<lbelow9=11
subf 11,14,11

# qhasm:   m21 &= ~lbelow10
# asm 1: andc >m21=int32#15,<m21=int32#16,<lbelow10=int32#12
# asm 2: andc >m21=17,<m21=18,<lbelow10=14
andc 17,18,14

# qhasm:   m21 += lbelow9
# asm 1: add >m21=int32#9,<m21=int32#15,<lbelow9=int32#9
# asm 2: add >m21=11,<m21=17,<lbelow9=11
add 11,17,11

# qhasm:   m21 <<= 8
# asm 1: slwi >m21=int32#9,<m21=int32#9,8
# asm 2: slwi >m21=11,<m21=11,8
slwi 11,11,8

# qhasm:   m2 += m20
# asm 1: add >m2=int32#8,<m2=int32#8,<m20=int32#11
# asm 2: add >m2=10,<m2=10,<m20=13
add 10,10,13

# qhasm:   m2 += m21
# asm 1: add >m2=int32#8,<m2=int32#8,<m21=int32#9
# asm 2: add >m2=10,<m2=10,<m21=11
add 10,10,11

# qhasm:   m22 &= ~lbelow11
# asm 1: andc >m22=int32#9,<m22=int32#17,<lbelow11=int32#13
# asm 2: andc >m22=11,<m22=19,<lbelow11=15
andc 11,19,15

# qhasm:   lbelow10 -= lbelow11
# asm 1: subf >lbelow10=int32#11,<lbelow11=int32#13,<lbelow10=int32#12
# asm 2: subf >lbelow10=13,<lbelow11=15,<lbelow10=14
subf 13,15,14

# qhasm:   m23 &= ~lbelow12
# asm 1: andc >m23=int32#12,<m23=int32#18,<lbelow12=int32#14
# asm 2: andc >m23=14,<m23=20,<lbelow12=16
andc 14,20,16

# qhasm:   m22 += lbelow10
# asm 1: add >m22=int32#9,<m22=int32#9,<lbelow10=int32#11
# asm 2: add >m22=11,<m22=11,<lbelow10=13
add 11,11,13

# qhasm:   lbelow11 -= lbelow12
# asm 1: subf >lbelow11=int32#11,<lbelow12=int32#14,<lbelow11=int32#13
# asm 2: subf >lbelow11=13,<lbelow12=16,<lbelow11=15
subf 13,16,15

# qhasm:   m22 <<= 16
# asm 1: slwi >m22=int32#9,<m22=int32#9,16
# asm 2: slwi >m22=11,<m22=11,16
slwi 11,11,16

# qhasm:   m23 += lbelow11
# asm 1: add >m23=int32#11,<m23=int32#12,<lbelow11=int32#11
# asm 2: add >m23=13,<m23=14,<lbelow11=13
add 13,14,13

# qhasm:   m23 <<= 24
# asm 1: slwi >m23=int32#11,<m23=int32#11,24
# asm 2: slwi >m23=13,<m23=13,24
slwi 13,13,24

# qhasm:   m2 += m22
# asm 1: add >m2=int32#8,<m2=int32#8,<m22=int32#9
# asm 2: add >m2=10,<m2=10,<m22=11
add 10,10,11

# qhasm:   lbelow13 = l - 13
# asm 1: addi >lbelow13=int32#9,<l=int32#5,-13
# asm 2: addi >lbelow13=11,<l=7,-13
addi 11,7,-13

# qhasm:   (int32) lbelow13 >>= 31
# asm 1: srawi >lbelow13=int32#9,<lbelow13=int32#9,31
# asm 2: srawi >lbelow13=11,<lbelow13=11,31
srawi 11,11,31

# qhasm:   lbelow14 = l - 14
# asm 1: addi >lbelow14=int32#12,<l=int32#5,-14
# asm 2: addi >lbelow14=14,<l=7,-14
addi 14,7,-14

# qhasm:   (int32) lbelow14 >>= 31
# asm 1: srawi >lbelow14=int32#12,<lbelow14=int32#12,31
# asm 2: srawi >lbelow14=14,<lbelow14=14,31
srawi 14,14,31

# qhasm:   m += lbelow13
# asm 1: add >m=int32#4,<m=int32#4,<lbelow13=int32#9
# asm 2: add >m=6,<m=6,<lbelow13=11
add 6,6,11

# qhasm:   lbelow15 = l - 15
# asm 1: addi >lbelow15=int32#5,<l=int32#5,-15
# asm 2: addi >lbelow15=7,<l=7,-15
addi 7,7,-15

# qhasm:   m30 = *(uint8 *) (m + 12)
# asm 1: lbz >m30=int32#13,12(<m=int32#4)
# asm 2: lbz >m30=15,12(<m=6)
lbz 15,12(6)

# qhasm:   (int32) lbelow15 >>= 31
# asm 1: srawi >lbelow15=int32#5,<lbelow15=int32#5,31
# asm 2: srawi >lbelow15=7,<lbelow15=7,31
srawi 7,7,31

# qhasm:   m += lbelow14
# asm 1: add >m=int32#4,<m=int32#4,<lbelow14=int32#12
# asm 2: add >m=6,<m=6,<lbelow14=14
add 6,6,14

# qhasm:   m31 = *(uint8 *) (m + 13)
# asm 1: lbz >m31=int32#15,13(<m=int32#4)
# asm 2: lbz >m31=17,13(<m=6)
lbz 17,13(6)

# qhasm:   m += lbelow15
# asm 1: add >m=int32#4,<m=int32#4,<lbelow15=int32#5
# asm 2: add >m=6,<m=6,<lbelow15=7
add 6,6,7

# qhasm:   m2 += m23
# asm 1: add >m2=int32#8,<m2=int32#8,<m23=int32#11
# asm 2: add >m2=10,<m2=10,<m23=13
add 10,10,13

# qhasm:   m32 = *(uint8 *) (m + 14)
# asm 1: lbz >m32=int32#4,14(<m=int32#4)
# asm 2: lbz >m32=6,14(<m=6)
lbz 6,14(6)

# qhasm:   m30 &= ~lbelow13
# asm 1: andc >m30=int32#11,<m30=int32#13,<lbelow13=int32#9
# asm 2: andc >m30=13,<m30=15,<lbelow13=11
andc 13,15,11

# qhasm:   lbelow12 -= lbelow13
# asm 1: subf >lbelow12=int32#13,<lbelow13=int32#9,<lbelow12=int32#14
# asm 2: subf >lbelow12=15,<lbelow13=11,<lbelow12=16
subf 15,11,16

# qhasm:   m30 += lbelow12
# asm 1: add >m30=int32#11,<m30=int32#11,<lbelow12=int32#13
# asm 2: add >m30=13,<m30=13,<lbelow12=15
add 13,13,15

# qhasm:   lbelow13 -= lbelow14
# asm 1: subf >lbelow13=int32#9,<lbelow14=int32#12,<lbelow13=int32#9
# asm 2: subf >lbelow13=11,<lbelow14=14,<lbelow13=11
subf 11,14,11

# qhasm:   m3 += m30
# asm 1: add >m3=int32#10,<m3=int32#10,<m30=int32#11
# asm 2: add >m3=12,<m3=12,<m30=13
add 12,12,13

# qhasm:   m31 &= ~lbelow14
# asm 1: andc >m31=int32#11,<m31=int32#15,<lbelow14=int32#12
# asm 2: andc >m31=13,<m31=17,<lbelow14=14
andc 13,17,14

# qhasm:   m31 += lbelow13
# asm 1: add >m31=int32#9,<m31=int32#11,<lbelow13=int32#9
# asm 2: add >m31=11,<m31=13,<lbelow13=11
add 11,13,11

# qhasm:   m32 &= ~lbelow15
# asm 1: andc >m32=int32#4,<m32=int32#4,<lbelow15=int32#5
# asm 2: andc >m32=6,<m32=6,<lbelow15=7
andc 6,6,7

# qhasm:   m31 <<= 8
# asm 1: slwi >m31=int32#9,<m31=int32#9,8
# asm 2: slwi >m31=11,<m31=11,8
slwi 11,11,8

# qhasm:   lbelow14 -= lbelow15
# asm 1: subf >lbelow14=int32#11,<lbelow15=int32#5,<lbelow14=int32#12
# asm 2: subf >lbelow14=13,<lbelow15=7,<lbelow14=14
subf 13,7,14

# qhasm:   m3 += m31
# asm 1: add >m3=int32#9,<m3=int32#10,<m31=int32#9
# asm 2: add >m3=11,<m3=12,<m31=11
add 11,12,11

# qhasm:   m32 += lbelow14
# asm 1: add >m32=int32#4,<m32=int32#4,<lbelow14=int32#11
# asm 2: add >m32=6,<m32=6,<lbelow14=13
add 6,6,13

# qhasm:   m32 <<= 16
# asm 1: slwi >m32=int32#4,<m32=int32#4,16
# asm 2: slwi >m32=6,<m32=6,16
slwi 6,6,16

# qhasm:   m33 = lbelow15 + 1
# asm 1: addi >m33=int32#5,<lbelow15=int32#5,1
# asm 2: addi >m33=7,<lbelow15=7,1
addi 7,7,1

# qhasm:   m33 <<= 24
# asm 1: slwi >m33=int32#5,<m33=int32#5,24
# asm 2: slwi >m33=7,<m33=7,24
slwi 7,7,24

# qhasm:   m3 += m32
# asm 1: add >m3=int32#4,<m3=int32#9,<m32=int32#4
# asm 2: add >m3=6,<m3=11,<m32=6
add 6,11,6

# qhasm:   m3 += m33
# asm 1: add >m3=int32#4,<m3=int32#4,<m33=int32#5
# asm 2: add >m3=6,<m3=6,<m33=7
add 6,6,7

# qhasm:   d0 bottom = m0
# asm 1: stw <m0=int32#2,>d0=stack64#25
# asm 2: stw <m0=4,>d0=276(1)
stw 4,276(1)

# qhasm:   d1 bottom = m1
# asm 1: stw <m1=int32#7,>d1=stack64#26
# asm 2: stw <m1=9,>d1=284(1)
stw 9,284(1)

# qhasm:   d2 bottom = m2
# asm 1: stw <m2=int32#8,>d2=stack64#27
# asm 2: stw <m2=10,>d2=292(1)
stw 10,292(1)

# qhasm:   d3 bottom = m3
# asm 1: stw <m3=int32#4,>d3=stack64#28
# asm 2: stw <m3=6,>d3=300(1)
stw 6,300(1)

# qhasm:   m0 = 65536 * 0x4338
# asm 1: lis >m0=int32#2,0x4338
# asm 2: lis >m0=4,0x4338
lis 4,0x4338

# qhasm:   m1 = 65536 * 0x4538
# asm 1: lis >m1=int32#4,0x4538
# asm 2: lis >m1=6,0x4538
lis 6,0x4538

# qhasm:   m2 = 65536 * 0x4738
# asm 1: lis >m2=int32#5,0x4738
# asm 2: lis >m2=7,0x4738
lis 7,0x4738

# qhasm:   m3 = 65536 * 0x4938
# asm 1: lis >m3=int32#7,0x4938
# asm 2: lis >m3=9,0x4938
lis 9,0x4938

# qhasm:   inplace d0 top = m0
# asm 1: stw <m0=int32#2,<d0=stack64#25
# asm 2: stw <m0=4,<d0=272(1)
stw 4,272(1)

# qhasm:   inplace d1 top = m1
# asm 1: stw <m1=int32#4,<d1=stack64#26
# asm 2: stw <m1=6,<d1=280(1)
stw 6,280(1)

# qhasm:   inplace d2 top = m2
# asm 1: stw <m2=int32#5,<d2=stack64#27
# asm 2: stw <m2=7,<d2=288(1)
stw 7,288(1)

# qhasm:   inplace d3 top = m3
# asm 1: stw <m3=int32#7,<d3=stack64#28
# asm 2: stw <m3=9,<d3=296(1)
stw 9,296(1)

# qhasm:   alpha0 = *(float64 *) (constants + 24)
# asm 1: lfd >alpha0=float64#4,24(<constants=int32#6)
# asm 2: lfd >alpha0=3,24(<constants=8)
lfd 3,24(8)

# qhasm:   z3 = d3
# asm 1: lfd >z3=float64#21,<d3=stack64#28
# asm 2: lfd >z3=20,<d3=296(1)
lfd 20,296(1)

# qhasm:   z2 = d2
# asm 1: lfd >z2=float64#23,<d2=stack64#27
# asm 2: lfd >z2=22,<d2=288(1)
lfd 22,288(1)

# qhasm:   z1 = d1
# asm 1: lfd >z1=float64#24,<d1=stack64#26
# asm 2: lfd >z1=23,<d1=280(1)
lfd 23,280(1)

# qhasm:   z0 = d0
# asm 1: lfd >z0=float64#25,<d0=stack64#25
# asm 2: lfd >z0=24,<d0=272(1)
lfd 24,272(1)

# qhasm:   z3 -= alpha96
# asm 1: fsub >z3=float64#21,<z3=float64#21,<alpha96=float64#19
# asm 2: fsub >z3=20,<z3=20,<alpha96=18
fsub 20,20,18

# qhasm:   z2 -= alpha64
# asm 1: fsub >z2=float64#23,<z2=float64#23,<alpha64=float64#6
# asm 2: fsub >z2=22,<z2=22,<alpha64=5
fsub 22,22,5

# qhasm:   z1 -= alpha32
# asm 1: fsub >z1=float64#24,<z1=float64#24,<alpha32=float64#1
# asm 2: fsub >z1=23,<z1=23,<alpha32=0
fsub 23,23,0

# qhasm:   z0 -= alpha0
# asm 1: fsub >z0=float64#4,<z0=float64#25,<alpha0=float64#4
# asm 2: fsub >z0=3,<z0=24,<alpha0=3
fsub 3,24,3

# qhasm:   h5 += z3
# asm 1: fadd >h5=float64#11,<h5=float64#11,<z3=float64#21
# asm 2: fadd >h5=10,<h5=10,<z3=20
fadd 10,10,20

# qhasm:   h3 += z2
# asm 1: fadd >h3=float64#7,<h3=float64#7,<z2=float64#23
# asm 2: fadd >h3=6,<h3=6,<z2=22
fadd 6,6,22

# qhasm:   h1 += z1
# asm 1: fadd >h1=float64#3,<h1=float64#3,<z1=float64#24
# asm 2: fadd >h1=2,<h1=2,<z1=23
fadd 2,2,23

# qhasm:   h0 += z0
# asm 1: fadd >h0=float64#2,<h0=float64#2,<z0=float64#4
# asm 2: fadd >h0=1,<h0=1,<z0=3
fadd 1,1,3

# qhasm:   y1 = h1 + alpha32
# asm 1: fadd >y1=float64#4,<h1=float64#3,<alpha32=float64#1
# asm 2: fadd >y1=3,<h1=2,<alpha32=0
fadd 3,2,0

# qhasm:   y0 = h0 + alpha32
# asm 1: fadd >y0=float64#21,<h0=float64#2,<alpha32=float64#1
# asm 2: fadd >y0=20,<h0=1,<alpha32=0
fadd 20,1,0

# qhasm:   y7 = h7 + alpha130
# asm 1: fadd >y7=float64#23,<h7=float64#15,<alpha130=float64#29
# asm 2: fadd >y7=22,<h7=14,<alpha130=28
fadd 22,14,28

# qhasm:   y6 = h6 + alpha130
# asm 1: fadd >y6=float64#24,<h6=float64#13,<alpha130=float64#29
# asm 2: fadd >y6=23,<h6=12,<alpha130=28
fadd 23,12,28

# qhasm:   y5 = h5 + alpha96
# asm 1: fadd >y5=float64#25,<h5=float64#11,<alpha96=float64#19
# asm 2: fadd >y5=24,<h5=10,<alpha96=18
fadd 24,10,18

# qhasm:   y4 = h4 + alpha96
# asm 1: fadd >y4=float64#26,<h4=float64#9,<alpha96=float64#19
# asm 2: fadd >y4=25,<h4=8,<alpha96=18
fadd 25,8,18

# qhasm:   y3 = h3 + alpha64
# asm 1: fadd >y3=float64#27,<h3=float64#7,<alpha64=float64#6
# asm 2: fadd >y3=26,<h3=6,<alpha64=5
fadd 26,6,5

# qhasm:   y2 = h2 + alpha64
# asm 1: fadd >y2=float64#28,<h2=float64#5,<alpha64=float64#6
# asm 2: fadd >y2=27,<h2=4,<alpha64=5
fadd 27,4,5

# qhasm:   y1 -= alpha32
# asm 1: fsub >y1=float64#4,<y1=float64#4,<alpha32=float64#1
# asm 2: fsub >y1=3,<y1=3,<alpha32=0
fsub 3,3,0

# qhasm:   y0 -= alpha32
# asm 1: fsub >y0=float64#21,<y0=float64#21,<alpha32=float64#1
# asm 2: fsub >y0=20,<y0=20,<alpha32=0
fsub 20,20,0

# qhasm:   y7 -= alpha130
# asm 1: fsub >y7=float64#23,<y7=float64#23,<alpha130=float64#29
# asm 2: fsub >y7=22,<y7=22,<alpha130=28
fsub 22,22,28

# qhasm:   y6 -= alpha130
# asm 1: fsub >y6=float64#24,<y6=float64#24,<alpha130=float64#29
# asm 2: fsub >y6=23,<y6=23,<alpha130=28
fsub 23,23,28

# qhasm:   y5 -= alpha96
# asm 1: fsub >y5=float64#25,<y5=float64#25,<alpha96=float64#19
# asm 2: fsub >y5=24,<y5=24,<alpha96=18
fsub 24,24,18

# qhasm:   y4 -= alpha96
# asm 1: fsub >y4=float64#26,<y4=float64#26,<alpha96=float64#19
# asm 2: fsub >y4=25,<y4=25,<alpha96=18
fsub 25,25,18

# qhasm:   y3 -= alpha64
# asm 1: fsub >y3=float64#27,<y3=float64#27,<alpha64=float64#6
# asm 2: fsub >y3=26,<y3=26,<alpha64=5
fsub 26,26,5

# qhasm:   y2 -= alpha64
# asm 1: fsub >y2=float64#28,<y2=float64#28,<alpha64=float64#6
# asm 2: fsub >y2=27,<y2=27,<alpha64=5
fsub 27,27,5

# qhasm:   x1 = h1 - y1
# asm 1: fsub >x1=float64#3,<h1=float64#3,<y1=float64#4
# asm 2: fsub >x1=2,<h1=2,<y1=3
fsub 2,2,3

# qhasm:   x0 = h0 - y0
# asm 1: fsub >x0=float64#2,<h0=float64#2,<y0=float64#21
# asm 2: fsub >x0=1,<h0=1,<y0=20
fsub 1,1,20

# qhasm:   x7 = h7 - y7
# asm 1: fsub >x7=float64#15,<h7=float64#15,<y7=float64#23
# asm 2: fsub >x7=14,<h7=14,<y7=22
fsub 14,14,22

# qhasm:   x6 = h6 - y6
# asm 1: fsub >x6=float64#13,<h6=float64#13,<y6=float64#24
# asm 2: fsub >x6=12,<h6=12,<y6=23
fsub 12,12,23

# qhasm:   x5 = h5 - y5
# asm 1: fsub >x5=float64#11,<h5=float64#11,<y5=float64#25
# asm 2: fsub >x5=10,<h5=10,<y5=24
fsub 10,10,24

# qhasm:   x4 = h4 - y4
# asm 1: fsub >x4=float64#9,<h4=float64#9,<y4=float64#26
# asm 2: fsub >x4=8,<h4=8,<y4=25
fsub 8,8,25

# qhasm:   x3 = h3 - y3
# asm 1: fsub >x3=float64#7,<h3=float64#7,<y3=float64#27
# asm 2: fsub >x3=6,<h3=6,<y3=26
fsub 6,6,26

# qhasm:   x2 = h2 - y2
# asm 1: fsub >x2=float64#5,<h2=float64#5,<y2=float64#28
# asm 2: fsub >x2=4,<h2=4,<y2=27
fsub 4,4,27

# qhasm:   x1 += y7 * scale
# asm 1: fmadd >x1=float64#3,<y7=float64#23,<scale=float64#18,<x1=float64#3
# asm 2: fmadd >x1=2,<y7=22,<scale=17,<x1=2
fmadd 2,22,17,2

# qhasm:   x0 += y6 * scale
# asm 1: fmadd >x0=float64#2,<y6=float64#24,<scale=float64#18,<x0=float64#2
# asm 2: fmadd >x0=1,<y6=23,<scale=17,<x0=1
fmadd 1,23,17,1

# qhasm:   x7 += y5
# asm 1: fadd >x7=float64#15,<x7=float64#15,<y5=float64#25
# asm 2: fadd >x7=14,<x7=14,<y5=24
fadd 14,14,24

# qhasm:   x6 += y4
# asm 1: fadd >x6=float64#13,<x6=float64#13,<y4=float64#26
# asm 2: fadd >x6=12,<x6=12,<y4=25
fadd 12,12,25

# qhasm:   x5 += y3
# asm 1: fadd >x5=float64#11,<x5=float64#11,<y3=float64#27
# asm 2: fadd >x5=10,<x5=10,<y3=26
fadd 10,10,26

# qhasm:   x4 += y2
# asm 1: fadd >x4=float64#9,<x4=float64#9,<y2=float64#28
# asm 2: fadd >x4=8,<x4=8,<y2=27
fadd 8,8,27

# qhasm:   x3 += y1
# asm 1: fadd >x3=float64#4,<x3=float64#7,<y1=float64#4
# asm 2: fadd >x3=3,<x3=6,<y1=3
fadd 3,6,3

# qhasm:   x2 += y0
# asm 1: fadd >x2=float64#5,<x2=float64#5,<y0=float64#21
# asm 2: fadd >x2=4,<x2=4,<y0=20
fadd 4,4,20

# qhasm:   x0 += x1
# asm 1: fadd >x0=float64#2,<x0=float64#2,<x1=float64#3
# asm 2: fadd >x0=1,<x0=1,<x1=2
fadd 1,1,2

# qhasm:   x6 += x7
# asm 1: fadd >x6=float64#21,<x6=float64#13,<x7=float64#15
# asm 2: fadd >x6=20,<x6=12,<x7=14
fadd 20,12,14

# qhasm:   x4 += x5
# asm 1: fadd >x4=float64#3,<x4=float64#9,<x5=float64#11
# asm 2: fadd >x4=2,<x4=8,<x5=10
fadd 2,8,10

# qhasm:   x2 += x3
# asm 1: fadd >x2=float64#4,<x2=float64#5,<x3=float64#4
# asm 2: fadd >x2=3,<x2=4,<x3=3
fadd 3,4,3

# qhasm:   h7 = r3high * x0
# asm 1: fmul >h7=float64#5,<r3high=float64#22,<x0=float64#2
# asm 2: fmul >h7=4,<r3high=21,<x0=1
fmul 4,21,1

# qhasm:   h6 = r3low * x0
# asm 1: fmul >h6=float64#7,<r3low=float64#20,<x0=float64#2
# asm 2: fmul >h6=6,<r3low=19,<x0=1
fmul 6,19,1

# qhasm:   h5 = r2high * x0
# asm 1: fmul >h5=float64#9,<r2high=float64#17,<x0=float64#2
# asm 2: fmul >h5=8,<r2high=16,<x0=1
fmul 8,16,1

# qhasm:   h4 = r2low * x0
# asm 1: fmul >h4=float64#11,<r2low=float64#14,<x0=float64#2
# asm 2: fmul >h4=10,<r2low=13,<x0=1
fmul 10,13,1

# qhasm:   h3 = r1high * x0
# asm 1: fmul >h3=float64#13,<r1high=float64#16,<x0=float64#2
# asm 2: fmul >h3=12,<r1high=15,<x0=1
fmul 12,15,1

# qhasm:   h2 = r1low * x0
# asm 1: fmul >h2=float64#15,<r1low=float64#12,<x0=float64#2
# asm 2: fmul >h2=14,<r1low=11,<x0=1
fmul 14,11,1

# qhasm:   h1 = r0high * x0
# asm 1: fmul >h1=float64#20,<r0high=float64#8,<x0=float64#2
# asm 2: fmul >h1=19,<r0high=7,<x0=1
fmul 19,7,1

# qhasm:   h0 = r0low * x0
# asm 1: fmul >h0=float64#2,<r0low=float64#10,<x0=float64#2
# asm 2: fmul >h0=1,<r0low=9,<x0=1
fmul 1,9,1

# qhasm:   h7 += r2high * x2
# asm 1: fmadd >h7=float64#5,<r2high=float64#17,<x2=float64#4,<h7=float64#5
# asm 2: fmadd >h7=4,<r2high=16,<x2=3,<h7=4
fmadd 4,16,3,4

# qhasm:   h6 += r2low * x2
# asm 1: fmadd >h6=float64#7,<r2low=float64#14,<x2=float64#4,<h6=float64#7
# asm 2: fmadd >h6=6,<r2low=13,<x2=3,<h6=6
fmadd 6,13,3,6

# qhasm:   h5 += r1high * x2
# asm 1: fmadd >h5=float64#9,<r1high=float64#16,<x2=float64#4,<h5=float64#9
# asm 2: fmadd >h5=8,<r1high=15,<x2=3,<h5=8
fmadd 8,15,3,8

# qhasm:   h4 += r1low * x2
# asm 1: fmadd >h4=float64#11,<r1low=float64#12,<x2=float64#4,<h4=float64#11
# asm 2: fmadd >h4=10,<r1low=11,<x2=3,<h4=10
fmadd 10,11,3,10

# qhasm:   h3 += r0high * x2
# asm 1: fmadd >h3=float64#14,<r0high=float64#8,<x2=float64#4,<h3=float64#13
# asm 2: fmadd >h3=13,<r0high=7,<x2=3,<h3=12
fmadd 13,7,3,12

# qhasm:   h2 += r0low * x2
# asm 1: fmadd >h2=float64#17,<r0low=float64#10,<x2=float64#4,<h2=float64#15
# asm 2: fmadd >h2=16,<r0low=9,<x2=3,<h2=14
fmadd 16,9,3,14

# qhasm:   h7 += r1high * x4
# asm 1: fmadd >h7=float64#5,<r1high=float64#16,<x4=float64#3,<h7=float64#5
# asm 2: fmadd >h7=4,<r1high=15,<x4=2,<h7=4
fmadd 4,15,2,4

# qhasm:   h6 += r1low * x4
# asm 1: fmadd >h6=float64#7,<r1low=float64#12,<x4=float64#3,<h6=float64#7
# asm 2: fmadd >h6=6,<r1low=11,<x4=2,<h6=6
fmadd 6,11,2,6

# qhasm:   sr3high = sr3high_stack
# asm 1: lfd >sr3high=float64#12,<sr3high_stack=stack64#23
# asm 2: lfd >sr3high=11,<sr3high_stack=256(1)
lfd 11,256(1)

# qhasm:   h5 += r0high * x4
# asm 1: fmadd >h5=float64#9,<r0high=float64#8,<x4=float64#3,<h5=float64#9
# asm 2: fmadd >h5=8,<r0high=7,<x4=2,<h5=8
fmadd 8,7,2,8

# qhasm:   sr3low = sr3low_stack
# asm 1: lfd >sr3low=float64#16,<sr3low_stack=stack64#24
# asm 2: lfd >sr3low=15,<sr3low_stack=264(1)
lfd 15,264(1)

# qhasm:   h4 += r0low * x4
# asm 1: fmadd >h4=float64#22,<r0low=float64#10,<x4=float64#3,<h4=float64#11
# asm 2: fmadd >h4=21,<r0low=9,<x4=2,<h4=10
fmadd 21,9,2,10

# qhasm:   h7 += r0high * x6
# asm 1: fmadd >h7=float64#15,<r0high=float64#8,<x6=float64#21,<h7=float64#5
# asm 2: fmadd >h7=14,<r0high=7,<x6=20,<h7=4
fmadd 14,7,20,4

# qhasm:   h6 += r0low * x6
# asm 1: fmadd >h6=float64#13,<r0low=float64#10,<x6=float64#21,<h6=float64#7
# asm 2: fmadd >h6=12,<r0low=9,<x6=20,<h6=6
fmadd 12,9,20,6

# qhasm:   h1 += sr3high * x2
# asm 1: fmadd >h1=float64#5,<sr3high=float64#12,<x2=float64#4,<h1=float64#20
# asm 2: fmadd >h1=4,<sr3high=11,<x2=3,<h1=19
fmadd 4,11,3,19

# qhasm:   h0 += sr3low * x2
# asm 1: fmadd >h0=float64#2,<sr3low=float64#16,<x2=float64#4,<h0=float64#2
# asm 2: fmadd >h0=1,<sr3low=15,<x2=3,<h0=1
fmadd 1,15,3,1

# qhasm:   sr2high = sr2high_stack
# asm 1: lfd >sr2high=float64#4,<sr2high_stack=stack64#20
# asm 2: lfd >sr2high=3,<sr2high_stack=232(1)
lfd 3,232(1)

# qhasm:   h3 += sr3high * x4
# asm 1: fmadd >h3=float64#7,<sr3high=float64#12,<x4=float64#3,<h3=float64#14
# asm 2: fmadd >h3=6,<sr3high=11,<x4=2,<h3=13
fmadd 6,11,2,13

# qhasm:   sr2low = sr2low_stack
# asm 1: lfd >sr2low=float64#8,<sr2low_stack=stack64#22
# asm 2: lfd >sr2low=7,<sr2low_stack=248(1)
lfd 7,248(1)

# qhasm:   h2 += sr3low * x4
# asm 1: fmadd >h2=float64#10,<sr3low=float64#16,<x4=float64#3,<h2=float64#17
# asm 2: fmadd >h2=9,<sr3low=15,<x4=2,<h2=16
fmadd 9,15,2,16

# qhasm:   h5 += sr3high * x6
# asm 1: fmadd >h5=float64#11,<sr3high=float64#12,<x6=float64#21,<h5=float64#9
# asm 2: fmadd >h5=10,<sr3high=11,<x6=20,<h5=8
fmadd 10,11,20,8

# qhasm:   sr1high = sr1high_stack
# asm 1: lfd >sr1high=float64#12,<sr1high_stack=stack64#19
# asm 2: lfd >sr1high=11,<sr1high_stack=224(1)
lfd 11,224(1)

# qhasm:   h4 += sr3low * x6
# asm 1: fmadd >h4=float64#9,<sr3low=float64#16,<x6=float64#21,<h4=float64#22
# asm 2: fmadd >h4=8,<sr3low=15,<x6=20,<h4=21
fmadd 8,15,20,21

# qhasm:   sr1low = sr1low_stack
# asm 1: lfd >sr1low=float64#14,<sr1low_stack=stack64#21
# asm 2: lfd >sr1low=13,<sr1low_stack=240(1)
lfd 13,240(1)

# qhasm:   h1 += sr2high * x4
# asm 1: fmadd >h1=float64#16,<sr2high=float64#4,<x4=float64#3,<h1=float64#5
# asm 2: fmadd >h1=15,<sr2high=3,<x4=2,<h1=4
fmadd 15,3,2,4

# qhasm:   h0 += sr2low * x4
# asm 1: fmadd >h0=float64#2,<sr2low=float64#8,<x4=float64#3,<h0=float64#2
# asm 2: fmadd >h0=1,<sr2low=7,<x4=2,<h0=1
fmadd 1,7,2,1

# qhasm:   h3 += sr2high * x6
# asm 1: fmadd >h3=float64#7,<sr2high=float64#4,<x6=float64#21,<h3=float64#7
# asm 2: fmadd >h3=6,<sr2high=3,<x6=20,<h3=6
fmadd 6,3,20,6

# qhasm:   h2 += sr2low * x6
# asm 1: fmadd >h2=float64#5,<sr2low=float64#8,<x6=float64#21,<h2=float64#10
# asm 2: fmadd >h2=4,<sr2low=7,<x6=20,<h2=9
fmadd 4,7,20,9

# qhasm:   h1 += sr1high * x6
# asm 1: fmadd >h1=float64#3,<sr1high=float64#12,<x6=float64#21,<h1=float64#16
# asm 2: fmadd >h1=2,<sr1high=11,<x6=20,<h1=15
fmadd 2,11,20,15

# qhasm:   h0 += sr1low * x6
# asm 1: fmadd >h0=float64#2,<sr1low=float64#14,<x6=float64#21,<h0=float64#2
# asm 2: fmadd >h0=1,<sr1low=13,<x6=20,<h0=1
fmadd 1,13,20,1

# qhasm: nomorebytes:
.label.nomorebytes:

# qhasm:   offset0 = *(float64 *) (constants + 104)
# asm 1: lfd >offset0=float64#4,104(<constants=int32#6)
# asm 2: lfd >offset0=3,104(<constants=8)
lfd 3,104(8)

# qhasm:   y7 = h7 + alpha130
# asm 1: fadd >y7=float64#8,<h7=float64#15,<alpha130=float64#29
# asm 2: fadd >y7=7,<h7=14,<alpha130=28
fadd 7,14,28

# qhasm:   offset1 = *(float64 *) (constants + 112)
# asm 1: lfd >offset1=float64#10,112(<constants=int32#6)
# asm 2: lfd >offset1=9,112(<constants=8)
lfd 9,112(8)

# qhasm:   y0 = h0 + alpha32
# asm 1: fadd >y0=float64#12,<h0=float64#2,<alpha32=float64#1
# asm 2: fadd >y0=11,<h0=1,<alpha32=0
fadd 11,1,0

# qhasm:   offset2 = *(float64 *) (constants + 120)
# asm 1: lfd >offset2=float64#14,120(<constants=int32#6)
# asm 2: lfd >offset2=13,120(<constants=8)
lfd 13,120(8)

# qhasm:   y1 = h1 + alpha32
# asm 1: fadd >y1=float64#16,<h1=float64#3,<alpha32=float64#1
# asm 2: fadd >y1=15,<h1=2,<alpha32=0
fadd 15,2,0

# qhasm:   offset3 = *(float64 *) (constants + 128)
# asm 1: lfd >offset3=float64#17,128(<constants=int32#6)
# asm 2: lfd >offset3=16,128(<constants=8)
lfd 16,128(8)

# qhasm:   y2 = h2 + alpha64
# asm 1: fadd >y2=float64#20,<h2=float64#5,<alpha64=float64#6
# asm 2: fadd >y2=19,<h2=4,<alpha64=5
fadd 19,4,5

# qhasm:   y7 -= alpha130
# asm 1: fsub >y7=float64#8,<y7=float64#8,<alpha130=float64#29
# asm 2: fsub >y7=7,<y7=7,<alpha130=28
fsub 7,7,28

# qhasm:   y3 = h3 + alpha64
# asm 1: fadd >y3=float64#21,<h3=float64#7,<alpha64=float64#6
# asm 2: fadd >y3=20,<h3=6,<alpha64=5
fadd 20,6,5

# qhasm:   y4 = h4 + alpha96
# asm 1: fadd >y4=float64#22,<h4=float64#9,<alpha96=float64#19
# asm 2: fadd >y4=21,<h4=8,<alpha96=18
fadd 21,8,18

# qhasm:   y5 = h5 + alpha96
# asm 1: fadd >y5=float64#23,<h5=float64#11,<alpha96=float64#19
# asm 2: fadd >y5=22,<h5=10,<alpha96=18
fadd 22,10,18

# qhasm:   x7 = h7 - y7
# asm 1: fsub >x7=float64#15,<h7=float64#15,<y7=float64#8
# asm 2: fsub >x7=14,<h7=14,<y7=7
fsub 14,14,7

# qhasm:   y0 -= alpha32
# asm 1: fsub >y0=float64#12,<y0=float64#12,<alpha32=float64#1
# asm 2: fsub >y0=11,<y0=11,<alpha32=0
fsub 11,11,0

# qhasm:   y1 -= alpha32
# asm 1: fsub >y1=float64#1,<y1=float64#16,<alpha32=float64#1
# asm 2: fsub >y1=0,<y1=15,<alpha32=0
fsub 0,15,0

# qhasm:   y2 -= alpha64
# asm 1: fsub >y2=float64#16,<y2=float64#20,<alpha64=float64#6
# asm 2: fsub >y2=15,<y2=19,<alpha64=5
fsub 15,19,5

# qhasm:   h6 += x7
# asm 1: fadd >h6=float64#13,<h6=float64#13,<x7=float64#15
# asm 2: fadd >h6=12,<h6=12,<x7=14
fadd 12,12,14

# qhasm:   y3 -= alpha64
# asm 1: fsub >y3=float64#6,<y3=float64#21,<alpha64=float64#6
# asm 2: fsub >y3=5,<y3=20,<alpha64=5
fsub 5,20,5

# qhasm:   y4 -= alpha96
# asm 1: fsub >y4=float64#15,<y4=float64#22,<alpha96=float64#19
# asm 2: fsub >y4=14,<y4=21,<alpha96=18
fsub 14,21,18

# qhasm:   y5 -= alpha96
# asm 1: fsub >y5=float64#19,<y5=float64#23,<alpha96=float64#19
# asm 2: fsub >y5=18,<y5=22,<alpha96=18
fsub 18,22,18

# qhasm:   y6 = h6 + alpha130
# asm 1: fadd >y6=float64#20,<h6=float64#13,<alpha130=float64#29
# asm 2: fadd >y6=19,<h6=12,<alpha130=28
fadd 19,12,28

# qhasm:   x0 = h0 - y0
# asm 1: fsub >x0=float64#2,<h0=float64#2,<y0=float64#12
# asm 2: fsub >x0=1,<h0=1,<y0=11
fsub 1,1,11

# qhasm:   x1 = h1 - y1
# asm 1: fsub >x1=float64#3,<h1=float64#3,<y1=float64#1
# asm 2: fsub >x1=2,<h1=2,<y1=0
fsub 2,2,0

# qhasm:   x2 = h2 - y2
# asm 1: fsub >x2=float64#5,<h2=float64#5,<y2=float64#16
# asm 2: fsub >x2=4,<h2=4,<y2=15
fsub 4,4,15

# qhasm:   y6 -= alpha130
# asm 1: fsub >y6=float64#20,<y6=float64#20,<alpha130=float64#29
# asm 2: fsub >y6=19,<y6=19,<alpha130=28
fsub 19,19,28

# qhasm:   x0 += y7 * scale
# asm 1: fmadd >x0=float64#2,<y7=float64#8,<scale=float64#18,<x0=float64#2
# asm 2: fmadd >x0=1,<y7=7,<scale=17,<x0=1
fmadd 1,7,17,1

# qhasm:   x3 = h3 - y3
# asm 1: fsub >x3=float64#7,<h3=float64#7,<y3=float64#6
# asm 2: fsub >x3=6,<h3=6,<y3=5
fsub 6,6,5

# qhasm:   x4 = h4 - y4
# asm 1: fsub >x4=float64#8,<h4=float64#9,<y4=float64#15
# asm 2: fsub >x4=7,<h4=8,<y4=14
fsub 7,8,14

# qhasm:   x5 = h5 - y5
# asm 1: fsub >x5=float64#9,<h5=float64#11,<y5=float64#19
# asm 2: fsub >x5=8,<h5=10,<y5=18
fsub 8,10,18

# qhasm:   x6 = h6 - y6
# asm 1: fsub >x6=float64#11,<h6=float64#13,<y6=float64#20
# asm 2: fsub >x6=10,<h6=12,<y6=19
fsub 10,12,19

# qhasm:   x2 += y0
# asm 1: fadd >x2=float64#5,<x2=float64#5,<y0=float64#12
# asm 2: fadd >x2=4,<x2=4,<y0=11
fadd 4,4,11

# qhasm:   x3 += y1
# asm 1: fadd >x3=float64#1,<x3=float64#7,<y1=float64#1
# asm 2: fadd >x3=0,<x3=6,<y1=0
fadd 0,6,0

# qhasm:   x4 += y2
# asm 1: fadd >x4=float64#7,<x4=float64#8,<y2=float64#16
# asm 2: fadd >x4=6,<x4=7,<y2=15
fadd 6,7,15

# qhasm:   x0 += y6 * scale
# asm 1: fmadd >x0=float64#2,<y6=float64#20,<scale=float64#18,<x0=float64#2
# asm 2: fmadd >x0=1,<y6=19,<scale=17,<x0=1
fmadd 1,19,17,1

# qhasm:   x5 += y3
# asm 1: fadd >x5=float64#6,<x5=float64#9,<y3=float64#6
# asm 2: fadd >x5=5,<x5=8,<y3=5
fadd 5,8,5

# qhasm:   x6 += y4
# asm 1: fadd >x6=float64#8,<x6=float64#11,<y4=float64#15
# asm 2: fadd >x6=7,<x6=10,<y4=14
fadd 7,10,14

# qhasm:   x2 += x3
# asm 1: fadd >x2=float64#1,<x2=float64#5,<x3=float64#1
# asm 2: fadd >x2=0,<x2=4,<x3=0
fadd 0,4,0

# qhasm:   x0 += x1
# asm 1: fadd >x0=float64#2,<x0=float64#2,<x1=float64#3
# asm 2: fadd >x0=1,<x0=1,<x1=2
fadd 1,1,2

# qhasm:   x4 += x5
# asm 1: fadd >x4=float64#3,<x4=float64#7,<x5=float64#6
# asm 2: fadd >x4=2,<x4=6,<x5=5
fadd 2,6,5

# qhasm:   x6 += y5
# asm 1: fadd >x6=float64#5,<x6=float64#8,<y5=float64#19
# asm 2: fadd >x6=4,<x6=7,<y5=18
fadd 4,7,18

# qhasm:   x2 += offset1
# asm 1: fadd >x2=float64#1,<x2=float64#1,<offset1=float64#10
# asm 2: fadd >x2=0,<x2=0,<offset1=9
fadd 0,0,9

# qhasm:   d1 = x2
# asm 1: stfd <x2=float64#1,>d1=stack64#19
# asm 2: stfd <x2=0,>d1=224(1)
stfd 0,224(1)

# qhasm:   x0 += offset0
# asm 1: fadd >x0=float64#1,<x0=float64#2,<offset0=float64#4
# asm 2: fadd >x0=0,<x0=1,<offset0=3
fadd 0,1,3

# qhasm:   d0 = x0
# asm 1: stfd <x0=float64#1,>d0=stack64#20
# asm 2: stfd <x0=0,>d0=232(1)
stfd 0,232(1)

# qhasm:   x4 += offset2
# asm 1: fadd >x4=float64#1,<x4=float64#3,<offset2=float64#14
# asm 2: fadd >x4=0,<x4=2,<offset2=13
fadd 0,2,13

# qhasm:   d2 = x4
# asm 1: stfd <x4=float64#1,>d2=stack64#21
# asm 2: stfd <x4=0,>d2=240(1)
stfd 0,240(1)

# qhasm:   x6 += offset3
# asm 1: fadd >x6=float64#1,<x6=float64#5,<offset3=float64#17
# asm 2: fadd >x6=0,<x6=4,<offset3=16
fadd 0,4,16

# qhasm:   d3 = x6
# asm 1: stfd <x6=float64#1,>d3=stack64#22
# asm 2: stfd <x6=0,>d3=248(1)
stfd 0,248(1)

# qhasm:   f0 = bottom d0
# asm 1: lwz >f0=int32#2,<d0=stack64#20
# asm 2: lwz >f0=4,<d0=236(1)
lwz 4,236(1)

# qhasm:   g0 = top d0
# asm 1: lwz >g0=int32#4,<d0=stack64#20
# asm 2: lwz >g0=6,<d0=232(1)
lwz 6,232(1)

# qhasm:   g0 &= 255
# asm 1: andi. >g0=int32#4,<g0=int32#4,255
# asm 2: andi. >g0=6,<g0=6,255
andi. 6,6,255

# qhasm:   f1 = bottom d1
# asm 1: lwz >f1=int32#5,<d1=stack64#19
# asm 2: lwz >f1=7,<d1=228(1)
lwz 7,228(1)

# qhasm:   g1 = top d1
# asm 1: lwz >g1=int32#6,<d1=stack64#19
# asm 2: lwz >g1=8,<d1=224(1)
lwz 8,224(1)

# qhasm:   g1 &= 255
# asm 1: andi. >g1=int32#6,<g1=int32#6,255
# asm 2: andi. >g1=8,<g1=8,255
andi. 8,8,255

# qhasm:   f2 = bottom d2
# asm 1: lwz >f2=int32#7,<d2=stack64#21
# asm 2: lwz >f2=9,<d2=244(1)
lwz 9,244(1)

# qhasm:   g2 = top d2
# asm 1: lwz >g2=int32#8,<d2=stack64#21
# asm 2: lwz >g2=10,<d2=240(1)
lwz 10,240(1)

# qhasm:   g2 &= 255
# asm 1: andi. >g2=int32#8,<g2=int32#8,255
# asm 2: andi. >g2=10,<g2=10,255
andi. 10,10,255

# qhasm:   f3 = bottom d3
# asm 1: lwz >f3=int32#9,<d3=stack64#22
# asm 2: lwz >f3=11,<d3=252(1)
lwz 11,252(1)

# qhasm:   g3 = top d3
# asm 1: lwz >g3=int32#10,<d3=stack64#22
# asm 2: lwz >g3=12,<d3=248(1)
lwz 12,248(1)

# qhasm:   g3 &= 255
# asm 1: andi. >g3=int32#10,<g3=int32#10,255
# asm 2: andi. >g3=12,<g3=12,255
andi. 12,12,255

# qhasm:   f4 = 0
# asm 1: li >f4=int32#11,0
# asm 2: li >f4=13,0
li 13,0

# qhasm:   carry? f1 = f1 + g0
# asm 1: addc >f1=int32#4,<f1=int32#5,<g0=int32#4
# asm 2: addc >f1=6,<f1=7,<g0=6
addc 6,7,6

# qhasm:   carry? f2 = f2 + g1 + carry
# asm 1: adde >f2=int32#5,<f2=int32#7,<g1=int32#6
# asm 2: adde >f2=7,<f2=9,<g1=8
adde 7,9,8

# qhasm:   carry? f3 = f3 + g2 + carry
# asm 1: adde >f3=int32#6,<f3=int32#9,<g2=int32#8
# asm 2: adde >f3=8,<f3=11,<g2=10
adde 8,11,10

# qhasm:          f4 = f4 + g3 + carry
# asm 1: adde >f4=int32#7,<f4=int32#11,<g3=int32#10
# asm 2: adde >f4=9,<f4=13,<g3=12
adde 9,13,12

# qhasm:   g0 = 5
# asm 1: li >g0=int32#8,5
# asm 2: li >g0=10,5
li 10,5

# qhasm:   g1 = 0
# asm 1: li >g1=int32#9,0
# asm 2: li >g1=11,0
li 11,0

# qhasm:   g2 = 0
# asm 1: li >g2=int32#10,0
# asm 2: li >g2=12,0
li 12,0

# qhasm:   g3 = 0
# asm 1: li >g3=int32#11,0
# asm 2: li >g3=13,0
li 13,0

# qhasm:   g4 = -4
# asm 1: li >g4=int32#12,-4
# asm 2: li >g4=14,-4
li 14,-4

# qhasm:   carry? g0 = g0 + f0
# asm 1: addc >g0=int32#8,<g0=int32#8,<f0=int32#2
# asm 2: addc >g0=10,<g0=10,<f0=4
addc 10,10,4

# qhasm:   carry? g1 = g1 + f1 + carry
# asm 1: adde >g1=int32#9,<g1=int32#9,<f1=int32#4
# asm 2: adde >g1=11,<g1=11,<f1=6
adde 11,11,6

# qhasm:   carry? g2 = g2 + f2 + carry
# asm 1: adde >g2=int32#10,<g2=int32#10,<f2=int32#5
# asm 2: adde >g2=12,<g2=12,<f2=7
adde 12,12,7

# qhasm:   carry? g3 = g3 + f3 + carry
# asm 1: adde >g3=int32#11,<g3=int32#11,<f3=int32#6
# asm 2: adde >g3=13,<g3=13,<f3=8
adde 13,13,8

# qhasm:          g4 = g4 + f4 + carry
# asm 1: adde >g4=int32#7,<g4=int32#12,<f4=int32#7
# asm 2: adde >g4=9,<g4=14,<f4=9
adde 9,14,9

# qhasm:   f = (int32) g4 >> 16
# asm 1: srawi >f=int32#7,<g4=int32#7,16
# asm 2: srawi >f=9,<g4=9,16
srawi 9,9,16

# qhasm:   f0 &= f
# asm 1: and >f0=int32#2,<f0=int32#2,<f=int32#7
# asm 2: and >f0=4,<f0=4,<f=9
and 4,4,9

# qhasm:   g0 &= ~f
# asm 1: andc >g0=int32#8,<g0=int32#8,<f=int32#7
# asm 2: andc >g0=10,<g0=10,<f=9
andc 10,10,9

# qhasm:   f0 |= g0
# asm 1: or >f0=int32#2,<f0=int32#2,<g0=int32#8
# asm 2: or >f0=4,<f0=4,<g0=10
or 4,4,10

# qhasm:   f1 &= f
# asm 1: and >f1=int32#4,<f1=int32#4,<f=int32#7
# asm 2: and >f1=6,<f1=6,<f=9
and 6,6,9

# qhasm:   g1 &= ~f
# asm 1: andc >g1=int32#8,<g1=int32#9,<f=int32#7
# asm 2: andc >g1=10,<g1=11,<f=9
andc 10,11,9

# qhasm:   f1 |= g1
# asm 1: or >f1=int32#4,<f1=int32#4,<g1=int32#8
# asm 2: or >f1=6,<f1=6,<g1=10
or 6,6,10

# qhasm:   f2 &= f
# asm 1: and >f2=int32#5,<f2=int32#5,<f=int32#7
# asm 2: and >f2=7,<f2=7,<f=9
and 7,7,9

# qhasm:   g2 &= ~f
# asm 1: andc >g2=int32#8,<g2=int32#10,<f=int32#7
# asm 2: andc >g2=10,<g2=12,<f=9
andc 10,12,9

# qhasm:   f2 |= g2
# asm 1: or >f2=int32#5,<f2=int32#5,<g2=int32#8
# asm 2: or >f2=7,<f2=7,<g2=10
or 7,7,10

# qhasm:   f3 &= f
# asm 1: and >f3=int32#6,<f3=int32#6,<f=int32#7
# asm 2: and >f3=8,<f3=8,<f=9
and 8,8,9

# qhasm:   g3 &= ~f
# asm 1: andc >g3=int32#7,<g3=int32#11,<f=int32#7
# asm 2: andc >g3=9,<g3=13,<f=9
andc 9,13,9

# qhasm:   f3 |= g3
# asm 1: or >f3=int32#6,<f3=int32#6,<g3=int32#7
# asm 2: or >f3=8,<f3=8,<g3=9
or 8,8,9

# qhasm:   s0 = *(swapendian uint32 *) s
# asm 1: lwbrx >s0=int32#7,0,<s=int32#3
# asm 2: lwbrx >s0=9,0,<s=5
lwbrx 9,0,5

# qhasm:   s += 4
# asm 1: addi >s=int32#3,<s=int32#3,4
# asm 2: addi >s=5,<s=5,4
addi 5,5,4

# qhasm:   s1 = *(swapendian uint32 *) s
# asm 1: lwbrx >s1=int32#8,0,<s=int32#3
# asm 2: lwbrx >s1=10,0,<s=5
lwbrx 10,0,5

# qhasm:   s += 4
# asm 1: addi >s=int32#3,<s=int32#3,4
# asm 2: addi >s=5,<s=5,4
addi 5,5,4

# qhasm:   s2 = *(swapendian uint32 *) s
# asm 1: lwbrx >s2=int32#9,0,<s=int32#3
# asm 2: lwbrx >s2=11,0,<s=5
lwbrx 11,0,5

# qhasm:   s += 4
# asm 1: addi >s=int32#3,<s=int32#3,4
# asm 2: addi >s=5,<s=5,4
addi 5,5,4

# qhasm:   s3 = *(swapendian uint32 *) s
# asm 1: lwbrx >s3=int32#3,0,<s=int32#3
# asm 2: lwbrx >s3=5,0,<s=5
lwbrx 5,0,5

# qhasm:   carry? f0 = f0 + s0
# asm 1: addc >f0=int32#2,<f0=int32#2,<s0=int32#7
# asm 2: addc >f0=4,<f0=4,<s0=9
addc 4,4,9

# qhasm:   carry? f1 = f1 + s1 + carry
# asm 1: adde >f1=int32#4,<f1=int32#4,<s1=int32#8
# asm 2: adde >f1=6,<f1=6,<s1=10
adde 6,6,10

# qhasm:   carry? f2 = f2 + s2 + carry
# asm 1: adde >f2=int32#5,<f2=int32#5,<s2=int32#9
# asm 2: adde >f2=7,<f2=7,<s2=11
adde 7,7,11

# qhasm:          f3 = f3 + s3 + carry
# asm 1: adde >f3=int32#3,<f3=int32#6,<s3=int32#3
# asm 2: adde >f3=5,<f3=8,<s3=5
adde 5,8,5

# qhasm:   *(swapendian uint32 *) out = f0
# asm 1: stwbrx <f0=int32#2,0,<out=int32#1
# asm 2: stwbrx <f0=4,0,<out=3
stwbrx 4,0,3

# qhasm:   out += 4
# asm 1: addi >out=int32#1,<out=int32#1,4
# asm 2: addi >out=3,<out=3,4
addi 3,3,4

# qhasm:   *(swapendian uint32 *) out = f1
# asm 1: stwbrx <f1=int32#4,0,<out=int32#1
# asm 2: stwbrx <f1=6,0,<out=3
stwbrx 6,0,3

# qhasm:   out += 4
# asm 1: addi >out=int32#1,<out=int32#1,4
# asm 2: addi >out=3,<out=3,4
addi 3,3,4

# qhasm:   *(swapendian uint32 *) out = f2
# asm 1: stwbrx <f2=int32#5,0,<out=int32#1
# asm 2: stwbrx <f2=7,0,<out=3
stwbrx 7,0,3

# qhasm:   out += 4
# asm 1: addi >out=int32#1,<out=int32#1,4
# asm 2: addi >out=3,<out=3,4
addi 3,3,4

# qhasm:   *(swapendian uint32 *) out = f3
# asm 1: stwbrx <f3=int32#3,0,<out=int32#1
# asm 2: stwbrx <f3=5,0,<out=3
stwbrx 5,0,3

# qhasm:   i12 = i12_stack
# asm 1: lwz >i12=int32#12,<i12_stack=stack32#1
# asm 2: lwz >i12=14,<i12_stack=0(1)
lwz 14,0(1)

# qhasm:   i13 = i13_stack
# asm 1: lwz >i13=int32#13,<i13_stack=stack32#2
# asm 2: lwz >i13=15,<i13_stack=4(1)
lwz 15,4(1)

# qhasm:   i14 = i14_stack
# asm 1: lwz >i14=int32#14,<i14_stack=stack32#3
# asm 2: lwz >i14=16,<i14_stack=8(1)
lwz 16,8(1)

# qhasm:   i15 = i15_stack
# asm 1: lwz >i15=int32#15,<i15_stack=stack32#4
# asm 2: lwz >i15=17,<i15_stack=12(1)
lwz 17,12(1)

# qhasm:   i16 = i16_stack
# asm 1: lwz >i16=int32#16,<i16_stack=stack32#5
# asm 2: lwz >i16=18,<i16_stack=16(1)
lwz 18,16(1)

# qhasm:   i17 = i17_stack
# asm 1: lwz >i17=int32#17,<i17_stack=stack32#6
# asm 2: lwz >i17=19,<i17_stack=20(1)
lwz 19,20(1)

# qhasm:   i18 = i18_stack
# asm 1: lwz >i18=int32#18,<i18_stack=stack32#7
# asm 2: lwz >i18=20,<i18_stack=24(1)
lwz 20,24(1)

# qhasm:   i19 = i19_stack
# asm 1: lwz >i19=int32#19,<i19_stack=stack32#8
# asm 2: lwz >i19=21,<i19_stack=28(1)
lwz 21,28(1)

# qhasm:   i20 = i20_stack
# asm 1: lwz >i20=int32#20,<i20_stack=stack32#9
# asm 2: lwz >i20=22,<i20_stack=32(1)
lwz 22,32(1)

# qhasm:   i21 = i21_stack
# asm 1: lwz >i21=int32#21,<i21_stack=stack32#10
# asm 2: lwz >i21=23,<i21_stack=36(1)
lwz 23,36(1)

# qhasm:   i22 = i22_stack
# asm 1: lwz >i22=int32#22,<i22_stack=stack32#11
# asm 2: lwz >i22=24,<i22_stack=40(1)
lwz 24,40(1)

# qhasm:   i23 = i23_stack
# asm 1: lwz >i23=int32#23,<i23_stack=stack32#12
# asm 2: lwz >i23=25,<i23_stack=44(1)
lwz 25,44(1)

# qhasm:   i24 = i24_stack
# asm 1: lwz >i24=int32#24,<i24_stack=stack32#13
# asm 2: lwz >i24=26,<i24_stack=48(1)
lwz 26,48(1)

# qhasm:   i25 = i25_stack
# asm 1: lwz >i25=int32#25,<i25_stack=stack32#14
# asm 2: lwz >i25=27,<i25_stack=52(1)
lwz 27,52(1)

# qhasm:   i26 = i26_stack
# asm 1: lwz >i26=int32#26,<i26_stack=stack32#15
# asm 2: lwz >i26=28,<i26_stack=56(1)
lwz 28,56(1)

# qhasm:   i27 = i27_stack
# asm 1: lwz >i27=int32#27,<i27_stack=stack32#16
# asm 2: lwz >i27=29,<i27_stack=60(1)
lwz 29,60(1)

# qhasm:   i28 = i28_stack
# asm 1: lwz >i28=int32#28,<i28_stack=stack32#17
# asm 2: lwz >i28=30,<i28_stack=64(1)
lwz 30,64(1)

# qhasm:   i29 = i29_stack
# asm 1: lwz >i29=int32#29,<i29_stack=stack32#18
# asm 2: lwz >i29=31,<i29_stack=68(1)
lwz 31,68(1)

# qhasm:   j15 = j15_stack
# asm 1: lfd >j15=float64#15,<j15_stack=stack64#1
# asm 2: lfd >j15=14,<j15_stack=80(1)
lfd 14,80(1)

# qhasm:   j16 = j16_stack
# asm 1: lfd >j16=float64#16,<j16_stack=stack64#2
# asm 2: lfd >j16=15,<j16_stack=88(1)
lfd 15,88(1)

# qhasm:   j17 = j17_stack
# asm 1: lfd >j17=float64#17,<j17_stack=stack64#3
# asm 2: lfd >j17=16,<j17_stack=96(1)
lfd 16,96(1)

# qhasm:   j18 = j18_stack
# asm 1: lfd >j18=float64#18,<j18_stack=stack64#4
# asm 2: lfd >j18=17,<j18_stack=104(1)
lfd 17,104(1)

# qhasm:   j19 = j19_stack
# asm 1: lfd >j19=float64#19,<j19_stack=stack64#5
# asm 2: lfd >j19=18,<j19_stack=112(1)
lfd 18,112(1)

# qhasm:   j20 = j20_stack
# asm 1: lfd >j20=float64#20,<j20_stack=stack64#6
# asm 2: lfd >j20=19,<j20_stack=120(1)
lfd 19,120(1)

# qhasm:   j21 = j21_stack
# asm 1: lfd >j21=float64#21,<j21_stack=stack64#7
# asm 2: lfd >j21=20,<j21_stack=128(1)
lfd 20,128(1)

# qhasm:   j22 = j22_stack
# asm 1: lfd >j22=float64#22,<j22_stack=stack64#8
# asm 2: lfd >j22=21,<j22_stack=136(1)
lfd 21,136(1)

# qhasm:   j23 = j23_stack
# asm 1: lfd >j23=float64#23,<j23_stack=stack64#9
# asm 2: lfd >j23=22,<j23_stack=144(1)
lfd 22,144(1)

# qhasm:   j24 = j24_stack
# asm 1: lfd >j24=float64#24,<j24_stack=stack64#10
# asm 2: lfd >j24=23,<j24_stack=152(1)
lfd 23,152(1)

# qhasm:   j25 = j25_stack
# asm 1: lfd >j25=float64#25,<j25_stack=stack64#11
# asm 2: lfd >j25=24,<j25_stack=160(1)
lfd 24,160(1)

# qhasm:   j26 = j26_stack
# asm 1: lfd >j26=float64#26,<j26_stack=stack64#12
# asm 2: lfd >j26=25,<j26_stack=168(1)
lfd 25,168(1)

# qhasm:   j27 = j27_stack
# asm 1: lfd >j27=float64#27,<j27_stack=stack64#13
# asm 2: lfd >j27=26,<j27_stack=176(1)
lfd 26,176(1)

# qhasm:   j28 = j28_stack
# asm 1: lfd >j28=float64#28,<j28_stack=stack64#14
# asm 2: lfd >j28=27,<j28_stack=184(1)
lfd 27,184(1)

# qhasm:   j29 = j29_stack
# asm 1: lfd >j29=float64#29,<j29_stack=stack64#15
# asm 2: lfd >j29=28,<j29_stack=192(1)
lfd 28,192(1)

# qhasm:   j30 = j30_stack
# asm 1: lfd >j30=float64#30,<j30_stack=stack64#16
# asm 2: lfd >j30=29,<j30_stack=200(1)
lfd 29,200(1)

# qhasm:   j31 = j31_stack
# asm 1: lfd >j31=float64#31,<j31_stack=stack64#17
# asm 2: lfd >j31=30,<j31_stack=208(1)
lfd 30,208(1)

# qhasm:   j32 = j32_stack
# asm 1: lfd >j32=float64#32,<j32_stack=stack64#18
# asm 2: lfd >j32=31,<j32_stack=216(1)
lfd 31,216(1)

# qhasm: leave
addi 1,1,432
blr