# File: dclxvi-20130329/fp2e_mul.s # Author: Ruben Niederhagen, Peter Schwabe # Public Domain # qhasm: int64 rop # qhasm: int64 op1 # qhasm: int64 b2a2p # qhasm: input rop # qhasm: input op1 # qhasm: input b2a2p # qhasm: stack7680 mystack # qhasm: int64 c1 # qhasm: int64 c2 # qhasm: int64 c3 # qhasm: int64 c4 # qhasm: int64 c5 # qhasm: int64 c6 # qhasm: int64 c7 # qhasm: caller c1 # qhasm: caller c2 # qhasm: caller c3 # qhasm: caller c4 # qhasm: caller c5 # qhasm: caller c6 # qhasm: caller c7 # qhasm: int6464 r0 # qhasm: int6464 r1 # qhasm: int6464 r2 # qhasm: int6464 r3 # qhasm: int6464 r4 # qhasm: int6464 r5 # qhasm: int6464 r6 # qhasm: int6464 r7 # qhasm: int6464 r8 # qhasm: int6464 r9 # qhasm: int6464 r10 # qhasm: int6464 r11 # qhasm: int6464 r12 # qhasm: int6464 r13 # qhasm: int6464 r14 # qhasm: int6464 r15 # qhasm: int6464 r16 # qhasm: int6464 r17 # qhasm: int6464 r18 # qhasm: int6464 r19 # qhasm: int6464 r20 # qhasm: int6464 r21 # qhasm: int6464 r22 # qhasm: int6464 t0 # qhasm: int6464 t1 # qhasm: int6464 t2 # qhasm: int6464 t3 # qhasm: int6464 t4 # qhasm: int6464 t5 # qhasm: int6464 t6 # qhasm: int6464 t7 # qhasm: int6464 t8 # qhasm: int6464 t9 # qhasm: int6464 t10 # qhasm: int6464 t11 # qhasm: int6464 t12 # qhasm: int6464 t13 # qhasm: int6464 t14 # qhasm: int6464 t15 # qhasm: int6464 t16 # qhasm: int6464 t17 # qhasm: int6464 t18 # qhasm: int6464 t19 # qhasm: int6464 t20 # qhasm: int6464 t21 # qhasm: int6464 t22 # qhasm: int6464 d0 # qhasm: int6464 d1 # qhasm: int6464 d2 # qhasm: int6464 d3 # qhasm: int6464 d4 # qhasm: int6464 d5 # qhasm: int6464 d6 # qhasm: int6464 d7 # qhasm: int6464 d8 # qhasm: int6464 d9 # qhasm: int6464 d10 # qhasm: int6464 d11 # qhasm: int6464 d12 # qhasm: int6464 d13 # qhasm: int6464 d14 # qhasm: int6464 d15 # qhasm: int6464 d16 # qhasm: int6464 d17 # qhasm: int6464 d18 # qhasm: int6464 d19 # qhasm: int6464 d20 # qhasm: int6464 d21 # qhasm: int6464 d22 # qhasm: int6464 ab0 # qhasm: int6464 ab1 # qhasm: int6464 ab2 # qhasm: int6464 ab3 # qhasm: int6464 ab4 # qhasm: int6464 ab5 # qhasm: int6464 ab6 # qhasm: int6464 ab7 # qhasm: int6464 ab8 # qhasm: int6464 ab9 # qhasm: int6464 ab10 # qhasm: int6464 ab11 # qhasm: int6464 ab0six # qhasm: int6464 ab1six # qhasm: int6464 ab2six # qhasm: int6464 ab3six # qhasm: int6464 ab4six # qhasm: int6464 ab5six # qhasm: int6464 ab6six # qhasm: int6464 ab7six # qhasm: int6464 ab8six # qhasm: int6464 ab9six # qhasm: int6464 ab10six # qhasm: int6464 ab11six # qhasm: int6464 cd0 # qhasm: int6464 cd1 # qhasm: int6464 cd2 # qhasm: int6464 cd3 # qhasm: int6464 cd4 # qhasm: int6464 cd5 # qhasm: int6464 cd6 # qhasm: int6464 cd7 # qhasm: int6464 cd8 # qhasm: int6464 cd9 # qhasm: int6464 cd10 # qhasm: int6464 cd11 # qhasm: int6464 cd0six # qhasm: int6464 cd1six # qhasm: int6464 cd2six # qhasm: int6464 cd3six # qhasm: int6464 cd4six # qhasm: int6464 cd5six # qhasm: int6464 cd6six # qhasm: int6464 cd7six # qhasm: int6464 cd8six # qhasm: int6464 cd9six # qhasm: int6464 cd10six # qhasm: int6464 cd11six # qhasm: int6464 round # qhasm: int6464 carry # qhasm: int64 b1b1p # qhasm: int64 ma1a1p # qhasm: int64 a2b2p # qhasm: int64 sixa2b2p # qhasm: int64 sixb2a2p # qhasm: enter fp2e_mul_qhasm .text .p2align 5 .globl _fp2e_mul_qhasm .globl fp2e_mul_qhasm _fp2e_mul_qhasm: fp2e_mul_qhasm: mov %rsp,%r11 and $31,%r11 add $960,%r11 sub %r11,%rsp # qhasm: b1b1p = &mystack # asm 1: leaq b1b1p=int64#4 # asm 2: leaq b1b1p=%rcx leaq 0(%rsp),%rcx # qhasm: ma1a1p = b1b1p + 192 # asm 1: lea 192(ma1a1p=int64#5 # asm 2: lea 192(ma1a1p=%r8 lea 192(%rcx),%r8 # qhasm: a2b2p = b1b1p + 384 # asm 1: lea 384(a2b2p=int64#6 # asm 2: lea 384(a2b2p=%r9 lea 384(%rcx),%r9 # qhasm: sixa2b2p = b1b1p + 576 # asm 1: lea 576(sixa2b2p=int64#7 # asm 2: lea 576(sixa2b2p=%rax lea 576(%rcx),%rax # qhasm: sixb2a2p = b1b1p + 768 # asm 1: lea 768(sixb2a2p=int64#8 # asm 2: lea 768(sixb2a2p=%r10 lea 768(%rcx),%r10 # qhasm: t0 = *(int128 *)(b2a2p + 0) # asm 1: movdqa 0(t0=int6464#1 # asm 2: movdqa 0(t0=%xmm0 movdqa 0(%rdx),%xmm0 # qhasm: t0 = shuffle float64 of t0 and t0 by 0x1 # asm 1: shufpd $0x1,t1=int6464#1 # asm 2: movdqa 16(t1=%xmm0 movdqa 16(%rdx),%xmm0 # qhasm: t1 = shuffle float64 of t1 and t1 by 0x1 # asm 1: shufpd $0x1,t2=int6464#1 # asm 2: movdqa 32(t2=%xmm0 movdqa 32(%rdx),%xmm0 # qhasm: t2 = shuffle float64 of t2 and t2 by 0x1 # asm 1: shufpd $0x1,t3=int6464#1 # asm 2: movdqa 48(t3=%xmm0 movdqa 48(%rdx),%xmm0 # qhasm: t3 = shuffle float64 of t3 and t3 by 0x1 # asm 1: shufpd $0x1,t4=int6464#1 # asm 2: movdqa 64(t4=%xmm0 movdqa 64(%rdx),%xmm0 # qhasm: t4 = shuffle float64 of t4 and t4 by 0x1 # asm 1: shufpd $0x1,t5=int6464#1 # asm 2: movdqa 80(t5=%xmm0 movdqa 80(%rdx),%xmm0 # qhasm: t5 = shuffle float64 of t5 and t5 by 0x1 # asm 1: shufpd $0x1,t6=int6464#1 # asm 2: movdqa 96(t6=%xmm0 movdqa 96(%rdx),%xmm0 # qhasm: t6 = shuffle float64 of t6 and t6 by 0x1 # asm 1: shufpd $0x1,t7=int6464#1 # asm 2: movdqa 112(t7=%xmm0 movdqa 112(%rdx),%xmm0 # qhasm: t7 = shuffle float64 of t7 and t7 by 0x1 # asm 1: shufpd $0x1,t8=int6464#1 # asm 2: movdqa 128(t8=%xmm0 movdqa 128(%rdx),%xmm0 # qhasm: t8 = shuffle float64 of t8 and t8 by 0x1 # asm 1: shufpd $0x1,t9=int6464#1 # asm 2: movdqa 144(t9=%xmm0 movdqa 144(%rdx),%xmm0 # qhasm: t9 = shuffle float64 of t9 and t9 by 0x1 # asm 1: shufpd $0x1,t10=int6464#1 # asm 2: movdqa 160(t10=%xmm0 movdqa 160(%rdx),%xmm0 # qhasm: t10 = shuffle float64 of t10 and t10 by 0x1 # asm 1: shufpd $0x1,t11=int6464#1 # asm 2: movdqa 176(t11=%xmm0 movdqa 176(%rdx),%xmm0 # qhasm: t11 = shuffle float64 of t11 and t11 by 0x1 # asm 1: shufpd $0x1,t0=int6464#1 # asm 2: movdqa 0(t0=%xmm0 movdqa 0(%rsi),%xmm0 # qhasm: d0 = t0 # asm 1: movdqa d0=int6464#2 # asm 2: movdqa d0=%xmm1 movdqa %xmm0,%xmm1 # qhasm: t0 = unpack low double of t0 and t0 # asm 1: unpcklpd t1=int6464#1 # asm 2: movdqa 16(t1=%xmm0 movdqa 16(%rsi),%xmm0 # qhasm: d1 = t1 # asm 1: movdqa d1=int6464#2 # asm 2: movdqa d1=%xmm1 movdqa %xmm0,%xmm1 # qhasm: t1 = unpack low double of t1 and t1 # asm 1: unpcklpd t2=int6464#1 # asm 2: movdqa 32(t2=%xmm0 movdqa 32(%rsi),%xmm0 # qhasm: d2 = t2 # asm 1: movdqa d2=int6464#2 # asm 2: movdqa d2=%xmm1 movdqa %xmm0,%xmm1 # qhasm: t2 = unpack low double of t2 and t2 # asm 1: unpcklpd t3=int6464#1 # asm 2: movdqa 48(t3=%xmm0 movdqa 48(%rsi),%xmm0 # qhasm: d3 = t3 # asm 1: movdqa d3=int6464#2 # asm 2: movdqa d3=%xmm1 movdqa %xmm0,%xmm1 # qhasm: t3 = unpack low double of t3 and t3 # asm 1: unpcklpd t4=int6464#1 # asm 2: movdqa 64(t4=%xmm0 movdqa 64(%rsi),%xmm0 # qhasm: d4 = t4 # asm 1: movdqa d4=int6464#2 # asm 2: movdqa d4=%xmm1 movdqa %xmm0,%xmm1 # qhasm: t4 = unpack low double of t4 and t4 # asm 1: unpcklpd t5=int6464#1 # asm 2: movdqa 80(t5=%xmm0 movdqa 80(%rsi),%xmm0 # qhasm: d5 = t5 # asm 1: movdqa d5=int6464#2 # asm 2: movdqa d5=%xmm1 movdqa %xmm0,%xmm1 # qhasm: t5 = unpack low double of t5 and t5 # asm 1: unpcklpd t6=int6464#1 # asm 2: movdqa 96(t6=%xmm0 movdqa 96(%rsi),%xmm0 # qhasm: d6 = t6 # asm 1: movdqa d6=int6464#2 # asm 2: movdqa d6=%xmm1 movdqa %xmm0,%xmm1 # qhasm: t6 = unpack low double of t6 and t6 # asm 1: unpcklpd t7=int6464#1 # asm 2: movdqa 112(t7=%xmm0 movdqa 112(%rsi),%xmm0 # qhasm: d7 = t7 # asm 1: movdqa d7=int6464#2 # asm 2: movdqa d7=%xmm1 movdqa %xmm0,%xmm1 # qhasm: t7 = unpack low double of t7 and t7 # asm 1: unpcklpd t8=int6464#1 # asm 2: movdqa 128(t8=%xmm0 movdqa 128(%rsi),%xmm0 # qhasm: d8 = t8 # asm 1: movdqa d8=int6464#2 # asm 2: movdqa d8=%xmm1 movdqa %xmm0,%xmm1 # qhasm: t8 = unpack low double of t8 and t8 # asm 1: unpcklpd t9=int6464#1 # asm 2: movdqa 144(t9=%xmm0 movdqa 144(%rsi),%xmm0 # qhasm: d9 = t9 # asm 1: movdqa d9=int6464#2 # asm 2: movdqa d9=%xmm1 movdqa %xmm0,%xmm1 # qhasm: t9 = unpack low double of t9 and t9 # asm 1: unpcklpd t10=int6464#1 # asm 2: movdqa 160(t10=%xmm0 movdqa 160(%rsi),%xmm0 # qhasm: d10 = t10 # asm 1: movdqa d10=int6464#2 # asm 2: movdqa d10=%xmm1 movdqa %xmm0,%xmm1 # qhasm: t10 = unpack low double of t10 and t10 # asm 1: unpcklpd t11=int6464#1 # asm 2: movdqa 176(t11=%xmm0 movdqa 176(%rsi),%xmm0 # qhasm: d11 = t11 # asm 1: movdqa d11=int6464#2 # asm 2: movdqa d11=%xmm1 movdqa %xmm0,%xmm1 # qhasm: t11 = unpack low double of t11 and t11 # asm 1: unpcklpd ab0=int6464#1 # asm 2: movdqa 0(ab0=%xmm0 movdqa 0(%rcx),%xmm0 # qhasm: cd0 = *(int128 *)(ma1a1p + 0) # asm 1: movdqa 0(cd0=int6464#2 # asm 2: movdqa 0(cd0=%xmm1 movdqa 0(%r8),%xmm1 # qhasm: r0 = ab0 # asm 1: movdqa r0=int6464#3 # asm 2: movdqa r0=%xmm2 movdqa %xmm0,%xmm2 # qhasm: float6464 r0 *= *(int128 *)(b2a2p + 0) # asm 1: mulpd 0(d0=int6464#4 # asm 2: movdqa d0=%xmm3 movdqa %xmm1,%xmm3 # qhasm: float6464 d0 *= *(int128 *)(a2b2p + 0) # asm 1: mulpd 0(r1=int6464#4 # asm 2: movdqa r1=%xmm3 movdqa %xmm0,%xmm3 # qhasm: float6464 r1 *= *(int128 *)(b2a2p + 16) # asm 1: mulpd 16(d1=int6464#5 # asm 2: movdqa d1=%xmm4 movdqa %xmm1,%xmm4 # qhasm: float6464 d1 *= *(int128 *)(a2b2p + 16) # asm 1: mulpd 16(r2=int6464#5 # asm 2: movdqa r2=%xmm4 movdqa %xmm0,%xmm4 # qhasm: float6464 r2 *= *(int128 *)(b2a2p + 32) # asm 1: mulpd 32(d2=int6464#6 # asm 2: movdqa d2=%xmm5 movdqa %xmm1,%xmm5 # qhasm: float6464 d2 *= *(int128 *)(a2b2p + 32) # asm 1: mulpd 32(r3=int6464#6 # asm 2: movdqa r3=%xmm5 movdqa %xmm0,%xmm5 # qhasm: float6464 r3 *= *(int128 *)(b2a2p + 48) # asm 1: mulpd 48(d3=int6464#7 # asm 2: movdqa d3=%xmm6 movdqa %xmm1,%xmm6 # qhasm: float6464 d3 *= *(int128 *)(a2b2p + 48) # asm 1: mulpd 48(r4=int6464#7 # asm 2: movdqa r4=%xmm6 movdqa %xmm0,%xmm6 # qhasm: float6464 r4 *= *(int128 *)(b2a2p + 64) # asm 1: mulpd 64(d4=int6464#8 # asm 2: movdqa d4=%xmm7 movdqa %xmm1,%xmm7 # qhasm: float6464 d4 *= *(int128 *)(a2b2p + 64) # asm 1: mulpd 64(r5=int6464#8 # asm 2: movdqa r5=%xmm7 movdqa %xmm0,%xmm7 # qhasm: float6464 r5 *= *(int128 *)(b2a2p + 80) # asm 1: mulpd 80(d5=int6464#9 # asm 2: movdqa d5=%xmm8 movdqa %xmm1,%xmm8 # qhasm: float6464 d5 *= *(int128 *)(a2b2p + 80) # asm 1: mulpd 80(r6=int6464#9 # asm 2: movdqa r6=%xmm8 movdqa %xmm0,%xmm8 # qhasm: float6464 r6 *= *(int128 *)(b2a2p + 96) # asm 1: mulpd 96(d6=int6464#10 # asm 2: movdqa d6=%xmm9 movdqa %xmm1,%xmm9 # qhasm: float6464 d6 *= *(int128 *)(a2b2p + 96) # asm 1: mulpd 96(r7=int6464#10 # asm 2: movdqa r7=%xmm9 movdqa %xmm0,%xmm9 # qhasm: float6464 r7 *= *(int128 *)(b2a2p + 112) # asm 1: mulpd 112(d7=int6464#11 # asm 2: movdqa d7=%xmm10 movdqa %xmm1,%xmm10 # qhasm: float6464 d7 *= *(int128 *)(a2b2p + 112) # asm 1: mulpd 112(r8=int6464#11 # asm 2: movdqa r8=%xmm10 movdqa %xmm0,%xmm10 # qhasm: float6464 r8 *= *(int128 *)(b2a2p + 128) # asm 1: mulpd 128(d8=int6464#12 # asm 2: movdqa d8=%xmm11 movdqa %xmm1,%xmm11 # qhasm: float6464 d8 *= *(int128 *)(a2b2p + 128) # asm 1: mulpd 128(r9=int6464#12 # asm 2: movdqa r9=%xmm11 movdqa %xmm0,%xmm11 # qhasm: float6464 r9 *= *(int128 *)(b2a2p + 144) # asm 1: mulpd 144(d9=int6464#13 # asm 2: movdqa d9=%xmm12 movdqa %xmm1,%xmm12 # qhasm: float6464 d9 *= *(int128 *)(a2b2p + 144) # asm 1: mulpd 144(r10=int6464#13 # asm 2: movdqa r10=%xmm12 movdqa %xmm0,%xmm12 # qhasm: float6464 r10 *= *(int128 *)(b2a2p + 160) # asm 1: mulpd 160(d10=int6464#14 # asm 2: movdqa d10=%xmm13 movdqa %xmm1,%xmm13 # qhasm: float6464 d10 *= *(int128 *)(a2b2p + 160) # asm 1: mulpd 160(r11=int6464#1 # asm 2: movdqa r11=%xmm0 movdqa %xmm0,%xmm0 # qhasm: float6464 r11 *= *(int128 *)(b2a2p + 176) # asm 1: mulpd 176(d11=int6464#2 # asm 2: movdqa d11=%xmm1 movdqa %xmm1,%xmm1 # qhasm: float6464 d11 *= *(int128 *)(a2b2p + 176) # asm 1: mulpd 176(ab1=int6464#2 # asm 2: movdqa 16(ab1=%xmm1 movdqa 16(%rcx),%xmm1 # qhasm: cd1 = *(int128 *)(ma1a1p + 16) # asm 1: movdqa 16(cd1=int6464#3 # asm 2: movdqa 16(cd1=%xmm2 movdqa 16(%r8),%xmm2 # qhasm: ab1six = ab1 # asm 1: movdqa ab1six=int6464#14 # asm 2: movdqa ab1six=%xmm13 movdqa %xmm1,%xmm13 # qhasm: cd1six = cd1 # asm 1: movdqa cd1six=int6464#15 # asm 2: movdqa cd1six=%xmm14 movdqa %xmm2,%xmm14 # qhasm: float6464 ab1six *= SIX_SIX # asm 1: mulpd SIX_SIX,t1=int6464#16 # asm 2: movdqa t1=%xmm15 movdqa %xmm1,%xmm15 # qhasm: float6464 t1 *= *(int128 *)(b2a2p + 0) # asm 1: mulpd 0(d1=int6464#16 # asm 2: movdqa d1=%xmm15 movdqa %xmm2,%xmm15 # qhasm: float6464 d1 *= *(int128 *)(a2b2p + 0) # asm 1: mulpd 0(t7=int6464#2 # asm 2: movdqa t7=%xmm1 movdqa %xmm1,%xmm1 # qhasm: float6464 t7 *= *(int128 *)(b2a2p + 96) # asm 1: mulpd 96(d7=int6464#2 # asm 2: movdqa d7=%xmm1 movdqa %xmm2,%xmm1 # qhasm: float6464 d7 *= *(int128 *)(a2b2p + 96) # asm 1: mulpd 96(t2=int6464#2 # asm 2: movdqa t2=%xmm1 movdqa %xmm13,%xmm1 # qhasm: float6464 t2 *= *(int128 *)(b2a2p + 16) # asm 1: mulpd 16(d2=int6464#2 # asm 2: movdqa d2=%xmm1 movdqa %xmm14,%xmm1 # qhasm: float6464 d2 *= *(int128 *)(a2b2p + 16) # asm 1: mulpd 16(t3=int6464#2 # asm 2: movdqa t3=%xmm1 movdqa %xmm13,%xmm1 # qhasm: float6464 t3 *= *(int128 *)(b2a2p + 32) # asm 1: mulpd 32(d3=int6464#2 # asm 2: movdqa d3=%xmm1 movdqa %xmm14,%xmm1 # qhasm: float6464 d3 *= *(int128 *)(a2b2p + 32) # asm 1: mulpd 32(t4=int6464#2 # asm 2: movdqa t4=%xmm1 movdqa %xmm13,%xmm1 # qhasm: float6464 t4 *= *(int128 *)(b2a2p + 48) # asm 1: mulpd 48(d4=int6464#2 # asm 2: movdqa d4=%xmm1 movdqa %xmm14,%xmm1 # qhasm: float6464 d4 *= *(int128 *)(a2b2p + 48) # asm 1: mulpd 48(t5=int6464#2 # asm 2: movdqa t5=%xmm1 movdqa %xmm13,%xmm1 # qhasm: float6464 t5 *= *(int128 *)(b2a2p + 64) # asm 1: mulpd 64(d5=int6464#2 # asm 2: movdqa d5=%xmm1 movdqa %xmm14,%xmm1 # qhasm: float6464 d5 *= *(int128 *)(a2b2p + 64) # asm 1: mulpd 64(t6=int6464#2 # asm 2: movdqa t6=%xmm1 movdqa %xmm13,%xmm1 # qhasm: float6464 t6 *= *(int128 *)(b2a2p + 80) # asm 1: mulpd 80(d6=int6464#2 # asm 2: movdqa d6=%xmm1 movdqa %xmm14,%xmm1 # qhasm: float6464 d6 *= *(int128 *)(a2b2p + 80) # asm 1: mulpd 80(t8=int6464#2 # asm 2: movdqa t8=%xmm1 movdqa %xmm13,%xmm1 # qhasm: float6464 t8 *= *(int128 *)(b2a2p + 112) # asm 1: mulpd 112(d8=int6464#2 # asm 2: movdqa d8=%xmm1 movdqa %xmm14,%xmm1 # qhasm: float6464 d8 *= *(int128 *)(a2b2p + 112) # asm 1: mulpd 112(t9=int6464#2 # asm 2: movdqa t9=%xmm1 movdqa %xmm13,%xmm1 # qhasm: float6464 t9 *= *(int128 *)(b2a2p + 128) # asm 1: mulpd 128(d9=int6464#2 # asm 2: movdqa d9=%xmm1 movdqa %xmm14,%xmm1 # qhasm: float6464 d9 *= *(int128 *)(a2b2p + 128) # asm 1: mulpd 128(t10=int6464#2 # asm 2: movdqa t10=%xmm1 movdqa %xmm13,%xmm1 # qhasm: float6464 t10 *= *(int128 *)(b2a2p + 144) # asm 1: mulpd 144(d10=int6464#2 # asm 2: movdqa d10=%xmm1 movdqa %xmm14,%xmm1 # qhasm: float6464 d10 *= *(int128 *)(a2b2p + 144) # asm 1: mulpd 144(t11=int6464#2 # asm 2: movdqa t11=%xmm1 movdqa %xmm13,%xmm1 # qhasm: float6464 t11 *= *(int128 *)(b2a2p + 160) # asm 1: mulpd 160(d11=int6464#2 # asm 2: movdqa d11=%xmm1 movdqa %xmm14,%xmm1 # qhasm: float6464 d11 *= *(int128 *)(a2b2p + 160) # asm 1: mulpd 160(r12=int6464#2 # asm 2: movdqa r12=%xmm1 movdqa %xmm13,%xmm1 # qhasm: float6464 r12 *= *(int128 *)(b2a2p + 176) # asm 1: mulpd 176(d12=int6464#3 # asm 2: movdqa d12=%xmm2 movdqa %xmm14,%xmm2 # qhasm: float6464 d12 *= *(int128 *)(a2b2p + 176) # asm 1: mulpd 176(ab2=int6464#3 # asm 2: movdqa 32(ab2=%xmm2 movdqa 32(%rcx),%xmm2 # qhasm: cd2 = *(int128 *)(ma1a1p + 32) # asm 1: movdqa 32(cd2=int6464#4 # asm 2: movdqa 32(cd2=%xmm3 movdqa 32(%r8),%xmm3 # qhasm: ab2six = ab2 # asm 1: movdqa ab2six=int6464#14 # asm 2: movdqa ab2six=%xmm13 movdqa %xmm2,%xmm13 # qhasm: cd2six = cd2 # asm 1: movdqa cd2six=int6464#15 # asm 2: movdqa cd2six=%xmm14 movdqa %xmm3,%xmm14 # qhasm: float6464 ab2six *= SIX_SIX # asm 1: mulpd SIX_SIX,t2=int6464#16 # asm 2: movdqa t2=%xmm15 movdqa %xmm2,%xmm15 # qhasm: float6464 t2 *= *(int128 *)(b2a2p + 0) # asm 1: mulpd 0(d2=int6464#16 # asm 2: movdqa d2=%xmm15 movdqa %xmm3,%xmm15 # qhasm: float6464 d2 *= *(int128 *)(a2b2p + 0) # asm 1: mulpd 0(t7=int6464#16 # asm 2: movdqa t7=%xmm15 movdqa %xmm2,%xmm15 # qhasm: float6464 t7 *= *(int128 *)(b2a2p + 80) # asm 1: mulpd 80(d7=int6464#16 # asm 2: movdqa d7=%xmm15 movdqa %xmm3,%xmm15 # qhasm: float6464 d7 *= *(int128 *)(a2b2p + 80) # asm 1: mulpd 80(t8=int6464#16 # asm 2: movdqa t8=%xmm15 movdqa %xmm2,%xmm15 # qhasm: float6464 t8 *= *(int128 *)(b2a2p + 96) # asm 1: mulpd 96(d8=int6464#16 # asm 2: movdqa d8=%xmm15 movdqa %xmm3,%xmm15 # qhasm: float6464 d8 *= *(int128 *)(a2b2p + 96) # asm 1: mulpd 96(r13=int6464#3 # asm 2: movdqa r13=%xmm2 movdqa %xmm2,%xmm2 # qhasm: float6464 r13 *= *(int128 *)(b2a2p + 176) # asm 1: mulpd 176(d13=int6464#4 # asm 2: movdqa d13=%xmm3 movdqa %xmm3,%xmm3 # qhasm: float6464 d13 *= *(int128 *)(a2b2p + 176) # asm 1: mulpd 176(t3=int6464#4 # asm 2: movdqa t3=%xmm3 movdqa %xmm13,%xmm3 # qhasm: float6464 t3 *= *(int128 *)(b2a2p + 16) # asm 1: mulpd 16(d3=int6464#4 # asm 2: movdqa d3=%xmm3 movdqa %xmm14,%xmm3 # qhasm: float6464 d3 *= *(int128 *)(a2b2p + 16) # asm 1: mulpd 16(t4=int6464#4 # asm 2: movdqa t4=%xmm3 movdqa %xmm13,%xmm3 # qhasm: float6464 t4 *= *(int128 *)(b2a2p + 32) # asm 1: mulpd 32(d4=int6464#4 # asm 2: movdqa d4=%xmm3 movdqa %xmm14,%xmm3 # qhasm: float6464 d4 *= *(int128 *)(a2b2p + 32) # asm 1: mulpd 32(t5=int6464#4 # asm 2: movdqa t5=%xmm3 movdqa %xmm13,%xmm3 # qhasm: float6464 t5 *= *(int128 *)(b2a2p + 48) # asm 1: mulpd 48(d5=int6464#4 # asm 2: movdqa d5=%xmm3 movdqa %xmm14,%xmm3 # qhasm: float6464 d5 *= *(int128 *)(a2b2p + 48) # asm 1: mulpd 48(t6=int6464#4 # asm 2: movdqa t6=%xmm3 movdqa %xmm13,%xmm3 # qhasm: float6464 t6 *= *(int128 *)(b2a2p + 64) # asm 1: mulpd 64(d6=int6464#4 # asm 2: movdqa d6=%xmm3 movdqa %xmm14,%xmm3 # qhasm: float6464 d6 *= *(int128 *)(a2b2p + 64) # asm 1: mulpd 64(t9=int6464#4 # asm 2: movdqa t9=%xmm3 movdqa %xmm13,%xmm3 # qhasm: float6464 t9 *= *(int128 *)(b2a2p + 112) # asm 1: mulpd 112(d9=int6464#4 # asm 2: movdqa d9=%xmm3 movdqa %xmm14,%xmm3 # qhasm: float6464 d9 *= *(int128 *)(a2b2p + 112) # asm 1: mulpd 112(t10=int6464#4 # asm 2: movdqa t10=%xmm3 movdqa %xmm13,%xmm3 # qhasm: float6464 t10 *= *(int128 *)(b2a2p + 128) # asm 1: mulpd 128(d10=int6464#4 # asm 2: movdqa d10=%xmm3 movdqa %xmm14,%xmm3 # qhasm: float6464 d10 *= *(int128 *)(a2b2p + 128) # asm 1: mulpd 128(t11=int6464#4 # asm 2: movdqa t11=%xmm3 movdqa %xmm13,%xmm3 # qhasm: float6464 t11 *= *(int128 *)(b2a2p + 144) # asm 1: mulpd 144(d11=int6464#4 # asm 2: movdqa d11=%xmm3 movdqa %xmm14,%xmm3 # qhasm: float6464 d11 *= *(int128 *)(a2b2p + 144) # asm 1: mulpd 144(t12=int6464#4 # asm 2: movdqa t12=%xmm3 movdqa %xmm13,%xmm3 # qhasm: float6464 t12 *= *(int128 *)(b2a2p + 160) # asm 1: mulpd 160(d12=int6464#4 # asm 2: movdqa d12=%xmm3 movdqa %xmm14,%xmm3 # qhasm: float6464 d12 *= *(int128 *)(a2b2p + 160) # asm 1: mulpd 160(ab3=int6464#4 # asm 2: movdqa 48(ab3=%xmm3 movdqa 48(%rcx),%xmm3 # qhasm: cd3 = *(int128 *)(ma1a1p + 48) # asm 1: movdqa 48(cd3=int6464#5 # asm 2: movdqa 48(cd3=%xmm4 movdqa 48(%r8),%xmm4 # qhasm: ab3six = ab3 # asm 1: movdqa ab3six=int6464#14 # asm 2: movdqa ab3six=%xmm13 movdqa %xmm3,%xmm13 # qhasm: cd3six = cd3 # asm 1: movdqa cd3six=int6464#15 # asm 2: movdqa cd3six=%xmm14 movdqa %xmm4,%xmm14 # qhasm: float6464 ab3six *= SIX_SIX # asm 1: mulpd SIX_SIX,t3=int6464#16 # asm 2: movdqa t3=%xmm15 movdqa %xmm3,%xmm15 # qhasm: float6464 t3 *= *(int128 *)(b2a2p + 0) # asm 1: mulpd 0(d3=int6464#16 # asm 2: movdqa d3=%xmm15 movdqa %xmm4,%xmm15 # qhasm: float6464 d3 *= *(int128 *)(a2b2p + 0) # asm 1: mulpd 0(t7=int6464#16 # asm 2: movdqa t7=%xmm15 movdqa %xmm3,%xmm15 # qhasm: float6464 t7 *= *(int128 *)(b2a2p + 64) # asm 1: mulpd 64(d7=int6464#16 # asm 2: movdqa d7=%xmm15 movdqa %xmm4,%xmm15 # qhasm: float6464 d7 *= *(int128 *)(a2b2p + 64) # asm 1: mulpd 64(t8=int6464#16 # asm 2: movdqa t8=%xmm15 movdqa %xmm3,%xmm15 # qhasm: float6464 t8 *= *(int128 *)(b2a2p + 80) # asm 1: mulpd 80(d8=int6464#16 # asm 2: movdqa d8=%xmm15 movdqa %xmm4,%xmm15 # qhasm: float6464 d8 *= *(int128 *)(a2b2p + 80) # asm 1: mulpd 80(t9=int6464#16 # asm 2: movdqa t9=%xmm15 movdqa %xmm3,%xmm15 # qhasm: float6464 t9 *= *(int128 *)(b2a2p + 96) # asm 1: mulpd 96(d9=int6464#16 # asm 2: movdqa d9=%xmm15 movdqa %xmm4,%xmm15 # qhasm: float6464 d9 *= *(int128 *)(a2b2p + 96) # asm 1: mulpd 96(t13=int6464#16 # asm 2: movdqa t13=%xmm15 movdqa %xmm3,%xmm15 # qhasm: float6464 t13 *= *(int128 *)(b2a2p + 160) # asm 1: mulpd 160(d13=int6464#16 # asm 2: movdqa d13=%xmm15 movdqa %xmm4,%xmm15 # qhasm: float6464 d13 *= *(int128 *)(a2b2p + 160) # asm 1: mulpd 160(r14=int6464#4 # asm 2: movdqa r14=%xmm3 movdqa %xmm3,%xmm3 # qhasm: float6464 r14 *= *(int128 *)(b2a2p + 176) # asm 1: mulpd 176(d14=int6464#5 # asm 2: movdqa d14=%xmm4 movdqa %xmm4,%xmm4 # qhasm: float6464 d14 *= *(int128 *)(a2b2p + 176) # asm 1: mulpd 176(t4=int6464#5 # asm 2: movdqa t4=%xmm4 movdqa %xmm13,%xmm4 # qhasm: float6464 t4 *= *(int128 *)(b2a2p + 16) # asm 1: mulpd 16(d4=int6464#5 # asm 2: movdqa d4=%xmm4 movdqa %xmm14,%xmm4 # qhasm: float6464 d4 *= *(int128 *)(a2b2p + 16) # asm 1: mulpd 16(t5=int6464#5 # asm 2: movdqa t5=%xmm4 movdqa %xmm13,%xmm4 # qhasm: float6464 t5 *= *(int128 *)(b2a2p + 32) # asm 1: mulpd 32(d5=int6464#5 # asm 2: movdqa d5=%xmm4 movdqa %xmm14,%xmm4 # qhasm: float6464 d5 *= *(int128 *)(a2b2p + 32) # asm 1: mulpd 32(t6=int6464#5 # asm 2: movdqa t6=%xmm4 movdqa %xmm13,%xmm4 # qhasm: float6464 t6 *= *(int128 *)(b2a2p + 48) # asm 1: mulpd 48(d6=int6464#5 # asm 2: movdqa d6=%xmm4 movdqa %xmm14,%xmm4 # qhasm: float6464 d6 *= *(int128 *)(a2b2p + 48) # asm 1: mulpd 48(t10=int6464#5 # asm 2: movdqa t10=%xmm4 movdqa %xmm13,%xmm4 # qhasm: float6464 t10 *= *(int128 *)(b2a2p + 112) # asm 1: mulpd 112(d10=int6464#5 # asm 2: movdqa d10=%xmm4 movdqa %xmm14,%xmm4 # qhasm: float6464 d10 *= *(int128 *)(a2b2p + 112) # asm 1: mulpd 112(t11=int6464#5 # asm 2: movdqa t11=%xmm4 movdqa %xmm13,%xmm4 # qhasm: float6464 t11 *= *(int128 *)(b2a2p + 128) # asm 1: mulpd 128(d11=int6464#5 # asm 2: movdqa d11=%xmm4 movdqa %xmm14,%xmm4 # qhasm: float6464 d11 *= *(int128 *)(a2b2p + 128) # asm 1: mulpd 128(t12=int6464#5 # asm 2: movdqa t12=%xmm4 movdqa %xmm13,%xmm4 # qhasm: float6464 t12 *= *(int128 *)(b2a2p + 144) # asm 1: mulpd 144(d12=int6464#5 # asm 2: movdqa d12=%xmm4 movdqa %xmm14,%xmm4 # qhasm: float6464 d12 *= *(int128 *)(a2b2p + 144) # asm 1: mulpd 144(ab4=int6464#5 # asm 2: movdqa 64(ab4=%xmm4 movdqa 64(%rcx),%xmm4 # qhasm: cd4 = *(int128 *)(ma1a1p + 64) # asm 1: movdqa 64(cd4=int6464#6 # asm 2: movdqa 64(cd4=%xmm5 movdqa 64(%r8),%xmm5 # qhasm: ab4six = ab4 # asm 1: movdqa ab4six=int6464#14 # asm 2: movdqa ab4six=%xmm13 movdqa %xmm4,%xmm13 # qhasm: cd4six = cd4 # asm 1: movdqa cd4six=int6464#15 # asm 2: movdqa cd4six=%xmm14 movdqa %xmm5,%xmm14 # qhasm: float6464 ab4six *= SIX_SIX # asm 1: mulpd SIX_SIX,t4=int6464#16 # asm 2: movdqa t4=%xmm15 movdqa %xmm4,%xmm15 # qhasm: float6464 t4 *= *(int128 *)(b2a2p + 0) # asm 1: mulpd 0(d4=int6464#16 # asm 2: movdqa d4=%xmm15 movdqa %xmm5,%xmm15 # qhasm: float6464 d4 *= *(int128 *)(a2b2p + 0) # asm 1: mulpd 0(t7=int6464#16 # asm 2: movdqa t7=%xmm15 movdqa %xmm4,%xmm15 # qhasm: float6464 t7 *= *(int128 *)(b2a2p + 48) # asm 1: mulpd 48(d7=int6464#16 # asm 2: movdqa d7=%xmm15 movdqa %xmm5,%xmm15 # qhasm: float6464 d7 *= *(int128 *)(a2b2p + 48) # asm 1: mulpd 48(t8=int6464#16 # asm 2: movdqa t8=%xmm15 movdqa %xmm4,%xmm15 # qhasm: float6464 t8 *= *(int128 *)(b2a2p + 64) # asm 1: mulpd 64(d8=int6464#16 # asm 2: movdqa d8=%xmm15 movdqa %xmm5,%xmm15 # qhasm: float6464 d8 *= *(int128 *)(a2b2p + 64) # asm 1: mulpd 64(t9=int6464#16 # asm 2: movdqa t9=%xmm15 movdqa %xmm4,%xmm15 # qhasm: float6464 t9 *= *(int128 *)(b2a2p + 80) # asm 1: mulpd 80(d9=int6464#16 # asm 2: movdqa d9=%xmm15 movdqa %xmm5,%xmm15 # qhasm: float6464 d9 *= *(int128 *)(a2b2p + 80) # asm 1: mulpd 80(t10=int6464#16 # asm 2: movdqa t10=%xmm15 movdqa %xmm4,%xmm15 # qhasm: float6464 t10 *= *(int128 *)(b2a2p + 96) # asm 1: mulpd 96(d10=int6464#16 # asm 2: movdqa d10=%xmm15 movdqa %xmm5,%xmm15 # qhasm: float6464 d10 *= *(int128 *)(a2b2p + 96) # asm 1: mulpd 96(t13=int6464#16 # asm 2: movdqa t13=%xmm15 movdqa %xmm4,%xmm15 # qhasm: float6464 t13 *= *(int128 *)(b2a2p + 144) # asm 1: mulpd 144(d13=int6464#16 # asm 2: movdqa d13=%xmm15 movdqa %xmm5,%xmm15 # qhasm: float6464 d13 *= *(int128 *)(a2b2p + 144) # asm 1: mulpd 144(t14=int6464#16 # asm 2: movdqa t14=%xmm15 movdqa %xmm4,%xmm15 # qhasm: float6464 t14 *= *(int128 *)(b2a2p + 160) # asm 1: mulpd 160(d14=int6464#16 # asm 2: movdqa d14=%xmm15 movdqa %xmm5,%xmm15 # qhasm: float6464 d14 *= *(int128 *)(a2b2p + 160) # asm 1: mulpd 160(r15=int6464#5 # asm 2: movdqa r15=%xmm4 movdqa %xmm4,%xmm4 # qhasm: float6464 r15 *= *(int128 *)(b2a2p + 176) # asm 1: mulpd 176(d15=int6464#6 # asm 2: movdqa d15=%xmm5 movdqa %xmm5,%xmm5 # qhasm: float6464 d15 *= *(int128 *)(a2b2p + 176) # asm 1: mulpd 176(t5=int6464#6 # asm 2: movdqa t5=%xmm5 movdqa %xmm13,%xmm5 # qhasm: float6464 t5 *= *(int128 *)(b2a2p + 16) # asm 1: mulpd 16(d5=int6464#6 # asm 2: movdqa d5=%xmm5 movdqa %xmm14,%xmm5 # qhasm: float6464 d5 *= *(int128 *)(a2b2p + 16) # asm 1: mulpd 16(t6=int6464#6 # asm 2: movdqa t6=%xmm5 movdqa %xmm13,%xmm5 # qhasm: float6464 t6 *= *(int128 *)(b2a2p + 32) # asm 1: mulpd 32(d6=int6464#6 # asm 2: movdqa d6=%xmm5 movdqa %xmm14,%xmm5 # qhasm: float6464 d6 *= *(int128 *)(a2b2p + 32) # asm 1: mulpd 32(t11=int6464#6 # asm 2: movdqa t11=%xmm5 movdqa %xmm13,%xmm5 # qhasm: float6464 t11 *= *(int128 *)(b2a2p + 112) # asm 1: mulpd 112(d11=int6464#6 # asm 2: movdqa d11=%xmm5 movdqa %xmm14,%xmm5 # qhasm: float6464 d11 *= *(int128 *)(a2b2p + 112) # asm 1: mulpd 112(t12=int6464#6 # asm 2: movdqa t12=%xmm5 movdqa %xmm13,%xmm5 # qhasm: float6464 t12 *= *(int128 *)(b2a2p + 128) # asm 1: mulpd 128(d12=int6464#6 # asm 2: movdqa d12=%xmm5 movdqa %xmm14,%xmm5 # qhasm: float6464 d12 *= *(int128 *)(a2b2p + 128) # asm 1: mulpd 128(ab5=int6464#6 # asm 2: movdqa 80(ab5=%xmm5 movdqa 80(%rcx),%xmm5 # qhasm: cd5 = *(int128 *)(ma1a1p + 80) # asm 1: movdqa 80(cd5=int6464#7 # asm 2: movdqa 80(cd5=%xmm6 movdqa 80(%r8),%xmm6 # qhasm: ab5six = ab5 # asm 1: movdqa ab5six=int6464#14 # asm 2: movdqa ab5six=%xmm13 movdqa %xmm5,%xmm13 # qhasm: cd5six = cd5 # asm 1: movdqa cd5six=int6464#15 # asm 2: movdqa cd5six=%xmm14 movdqa %xmm6,%xmm14 # qhasm: float6464 ab5six *= SIX_SIX # asm 1: mulpd SIX_SIX,t5=int6464#16 # asm 2: movdqa t5=%xmm15 movdqa %xmm5,%xmm15 # qhasm: float6464 t5 *= *(int128 *)(b2a2p + 0) # asm 1: mulpd 0(d5=int6464#16 # asm 2: movdqa d5=%xmm15 movdqa %xmm6,%xmm15 # qhasm: float6464 d5 *= *(int128 *)(a2b2p + 0) # asm 1: mulpd 0(t7=int6464#16 # asm 2: movdqa t7=%xmm15 movdqa %xmm5,%xmm15 # qhasm: float6464 t7 *= *(int128 *)(b2a2p + 32) # asm 1: mulpd 32(d7=int6464#16 # asm 2: movdqa d7=%xmm15 movdqa %xmm6,%xmm15 # qhasm: float6464 d7 *= *(int128 *)(a2b2p + 32) # asm 1: mulpd 32(t8=int6464#16 # asm 2: movdqa t8=%xmm15 movdqa %xmm5,%xmm15 # qhasm: float6464 t8 *= *(int128 *)(b2a2p + 48) # asm 1: mulpd 48(d8=int6464#16 # asm 2: movdqa d8=%xmm15 movdqa %xmm6,%xmm15 # qhasm: float6464 d8 *= *(int128 *)(a2b2p + 48) # asm 1: mulpd 48(t9=int6464#16 # asm 2: movdqa t9=%xmm15 movdqa %xmm5,%xmm15 # qhasm: float6464 t9 *= *(int128 *)(b2a2p + 64) # asm 1: mulpd 64(d9=int6464#16 # asm 2: movdqa d9=%xmm15 movdqa %xmm6,%xmm15 # qhasm: float6464 d9 *= *(int128 *)(a2b2p + 64) # asm 1: mulpd 64(t10=int6464#16 # asm 2: movdqa t10=%xmm15 movdqa %xmm5,%xmm15 # qhasm: float6464 t10 *= *(int128 *)(b2a2p + 80) # asm 1: mulpd 80(d10=int6464#16 # asm 2: movdqa d10=%xmm15 movdqa %xmm6,%xmm15 # qhasm: float6464 d10 *= *(int128 *)(a2b2p + 80) # asm 1: mulpd 80(t11=int6464#16 # asm 2: movdqa t11=%xmm15 movdqa %xmm5,%xmm15 # qhasm: float6464 t11 *= *(int128 *)(b2a2p + 96) # asm 1: mulpd 96(d11=int6464#16 # asm 2: movdqa d11=%xmm15 movdqa %xmm6,%xmm15 # qhasm: float6464 d11 *= *(int128 *)(a2b2p + 96) # asm 1: mulpd 96(t13=int6464#16 # asm 2: movdqa t13=%xmm15 movdqa %xmm5,%xmm15 # qhasm: float6464 t13 *= *(int128 *)(b2a2p + 128) # asm 1: mulpd 128(d13=int6464#16 # asm 2: movdqa d13=%xmm15 movdqa %xmm6,%xmm15 # qhasm: float6464 d13 *= *(int128 *)(a2b2p + 128) # asm 1: mulpd 128(t14=int6464#16 # asm 2: movdqa t14=%xmm15 movdqa %xmm5,%xmm15 # qhasm: float6464 t14 *= *(int128 *)(b2a2p + 144) # asm 1: mulpd 144(d14=int6464#16 # asm 2: movdqa d14=%xmm15 movdqa %xmm6,%xmm15 # qhasm: float6464 d14 *= *(int128 *)(a2b2p + 144) # asm 1: mulpd 144(t15=int6464#16 # asm 2: movdqa t15=%xmm15 movdqa %xmm5,%xmm15 # qhasm: float6464 t15 *= *(int128 *)(b2a2p + 160) # asm 1: mulpd 160(d15=int6464#16 # asm 2: movdqa d15=%xmm15 movdqa %xmm6,%xmm15 # qhasm: float6464 d15 *= *(int128 *)(a2b2p + 160) # asm 1: mulpd 160(r16=int6464#6 # asm 2: movdqa r16=%xmm5 movdqa %xmm5,%xmm5 # qhasm: float6464 r16 *= *(int128 *)(b2a2p + 176) # asm 1: mulpd 176(d16=int6464#7 # asm 2: movdqa d16=%xmm6 movdqa %xmm6,%xmm6 # qhasm: float6464 d16 *= *(int128 *)(a2b2p + 176) # asm 1: mulpd 176(t6=int6464#7 # asm 2: movdqa t6=%xmm6 movdqa %xmm13,%xmm6 # qhasm: float6464 t6 *= *(int128 *)(b2a2p + 16) # asm 1: mulpd 16(d6=int6464#7 # asm 2: movdqa d6=%xmm6 movdqa %xmm14,%xmm6 # qhasm: float6464 d6 *= *(int128 *)(a2b2p + 16) # asm 1: mulpd 16(t12=int6464#7 # asm 2: movdqa t12=%xmm6 movdqa %xmm13,%xmm6 # qhasm: float6464 t12 *= *(int128 *)(b2a2p + 112) # asm 1: mulpd 112(d12=int6464#7 # asm 2: movdqa d12=%xmm6 movdqa %xmm14,%xmm6 # qhasm: float6464 d12 *= *(int128 *)(a2b2p + 112) # asm 1: mulpd 112(ab6=int6464#7 # asm 2: movdqa 96(ab6=%xmm6 movdqa 96(%rcx),%xmm6 # qhasm: cd6 = *(int128 *)(ma1a1p + 96) # asm 1: movdqa 96(cd6=int6464#8 # asm 2: movdqa 96(cd6=%xmm7 movdqa 96(%r8),%xmm7 # qhasm: t6 = ab6 # asm 1: movdqa t6=int6464#14 # asm 2: movdqa t6=%xmm13 movdqa %xmm6,%xmm13 # qhasm: float6464 t6 *= *(int128 *)(b2a2p + 0) # asm 1: mulpd 0(d6=int6464#14 # asm 2: movdqa d6=%xmm13 movdqa %xmm7,%xmm13 # qhasm: float6464 d6 *= *(int128 *)(a2b2p + 0) # asm 1: mulpd 0(t7=int6464#14 # asm 2: movdqa t7=%xmm13 movdqa %xmm6,%xmm13 # qhasm: float6464 t7 *= *(int128 *)(b2a2p + 16) # asm 1: mulpd 16(d7=int6464#14 # asm 2: movdqa d7=%xmm13 movdqa %xmm7,%xmm13 # qhasm: float6464 d7 *= *(int128 *)(a2b2p + 16) # asm 1: mulpd 16(t8=int6464#14 # asm 2: movdqa t8=%xmm13 movdqa %xmm6,%xmm13 # qhasm: float6464 t8 *= *(int128 *)(b2a2p + 32) # asm 1: mulpd 32(d8=int6464#14 # asm 2: movdqa d8=%xmm13 movdqa %xmm7,%xmm13 # qhasm: float6464 d8 *= *(int128 *)(a2b2p + 32) # asm 1: mulpd 32(t9=int6464#14 # asm 2: movdqa t9=%xmm13 movdqa %xmm6,%xmm13 # qhasm: float6464 t9 *= *(int128 *)(b2a2p + 48) # asm 1: mulpd 48(d9=int6464#14 # asm 2: movdqa d9=%xmm13 movdqa %xmm7,%xmm13 # qhasm: float6464 d9 *= *(int128 *)(a2b2p + 48) # asm 1: mulpd 48(t10=int6464#14 # asm 2: movdqa t10=%xmm13 movdqa %xmm6,%xmm13 # qhasm: float6464 t10 *= *(int128 *)(b2a2p + 64) # asm 1: mulpd 64(d10=int6464#14 # asm 2: movdqa d10=%xmm13 movdqa %xmm7,%xmm13 # qhasm: float6464 d10 *= *(int128 *)(a2b2p + 64) # asm 1: mulpd 64(t11=int6464#14 # asm 2: movdqa t11=%xmm13 movdqa %xmm6,%xmm13 # qhasm: float6464 t11 *= *(int128 *)(b2a2p + 80) # asm 1: mulpd 80(d11=int6464#14 # asm 2: movdqa d11=%xmm13 movdqa %xmm7,%xmm13 # qhasm: float6464 d11 *= *(int128 *)(a2b2p + 80) # asm 1: mulpd 80(t12=int6464#14 # asm 2: movdqa t12=%xmm13 movdqa %xmm6,%xmm13 # qhasm: float6464 t12 *= *(int128 *)(b2a2p + 96) # asm 1: mulpd 96(d12=int6464#14 # asm 2: movdqa d12=%xmm13 movdqa %xmm7,%xmm13 # qhasm: float6464 d12 *= *(int128 *)(a2b2p + 96) # asm 1: mulpd 96(t13=int6464#14 # asm 2: movdqa t13=%xmm13 movdqa %xmm6,%xmm13 # qhasm: float6464 t13 *= *(int128 *)(b2a2p + 112) # asm 1: mulpd 112(d13=int6464#14 # asm 2: movdqa d13=%xmm13 movdqa %xmm7,%xmm13 # qhasm: float6464 d13 *= *(int128 *)(a2b2p + 112) # asm 1: mulpd 112(t14=int6464#14 # asm 2: movdqa t14=%xmm13 movdqa %xmm6,%xmm13 # qhasm: float6464 t14 *= *(int128 *)(b2a2p + 128) # asm 1: mulpd 128(d14=int6464#14 # asm 2: movdqa d14=%xmm13 movdqa %xmm7,%xmm13 # qhasm: float6464 d14 *= *(int128 *)(a2b2p + 128) # asm 1: mulpd 128(t15=int6464#14 # asm 2: movdqa t15=%xmm13 movdqa %xmm6,%xmm13 # qhasm: float6464 t15 *= *(int128 *)(b2a2p + 144) # asm 1: mulpd 144(d15=int6464#14 # asm 2: movdqa d15=%xmm13 movdqa %xmm7,%xmm13 # qhasm: float6464 d15 *= *(int128 *)(a2b2p + 144) # asm 1: mulpd 144(t16=int6464#14 # asm 2: movdqa t16=%xmm13 movdqa %xmm6,%xmm13 # qhasm: float6464 t16 *= *(int128 *)(b2a2p + 160) # asm 1: mulpd 160(d16=int6464#14 # asm 2: movdqa d16=%xmm13 movdqa %xmm7,%xmm13 # qhasm: float6464 d16 *= *(int128 *)(a2b2p + 160) # asm 1: mulpd 160(r17=int6464#7 # asm 2: movdqa r17=%xmm6 movdqa %xmm6,%xmm6 # qhasm: float6464 r17 *= *(int128 *)(b2a2p + 176) # asm 1: mulpd 176(d17=int6464#8 # asm 2: movdqa d17=%xmm7 movdqa %xmm7,%xmm7 # qhasm: float6464 d17 *= *(int128 *)(a2b2p + 176) # asm 1: mulpd 176(ab7=int6464#8 # asm 2: movdqa 112(ab7=%xmm7 movdqa 112(%rcx),%xmm7 # qhasm: cd7 = *(int128 *)(ma1a1p + 112) # asm 1: movdqa 112(cd7=int6464#9 # asm 2: movdqa 112(cd7=%xmm8 movdqa 112(%r8),%xmm8 # qhasm: ab7six = ab7 # asm 1: movdqa ab7six=int6464#14 # asm 2: movdqa ab7six=%xmm13 movdqa %xmm7,%xmm13 # qhasm: cd7six = cd7 # asm 1: movdqa cd7six=int6464#15 # asm 2: movdqa cd7six=%xmm14 movdqa %xmm8,%xmm14 # qhasm: float6464 ab7six *= SIX_SIX # asm 1: mulpd SIX_SIX,t7=int6464#16 # asm 2: movdqa t7=%xmm15 movdqa %xmm7,%xmm15 # qhasm: float6464 t7 *= *(int128 *)(b2a2p + 0) # asm 1: mulpd 0(d7=int6464#16 # asm 2: movdqa d7=%xmm15 movdqa %xmm8,%xmm15 # qhasm: float6464 d7 *= *(int128 *)(a2b2p + 0) # asm 1: mulpd 0(t13=int6464#8 # asm 2: movdqa t13=%xmm7 movdqa %xmm7,%xmm7 # qhasm: float6464 t13 *= *(int128 *)(b2a2p + 96) # asm 1: mulpd 96(d13=int6464#8 # asm 2: movdqa d13=%xmm7 movdqa %xmm8,%xmm7 # qhasm: float6464 d13 *= *(int128 *)(a2b2p + 96) # asm 1: mulpd 96(t8=int6464#8 # asm 2: movdqa t8=%xmm7 movdqa %xmm13,%xmm7 # qhasm: float6464 t8 *= *(int128 *)(b2a2p + 16) # asm 1: mulpd 16(d8=int6464#8 # asm 2: movdqa d8=%xmm7 movdqa %xmm14,%xmm7 # qhasm: float6464 d8 *= *(int128 *)(a2b2p + 16) # asm 1: mulpd 16(t9=int6464#8 # asm 2: movdqa t9=%xmm7 movdqa %xmm13,%xmm7 # qhasm: float6464 t9 *= *(int128 *)(b2a2p + 32) # asm 1: mulpd 32(d9=int6464#8 # asm 2: movdqa d9=%xmm7 movdqa %xmm14,%xmm7 # qhasm: float6464 d9 *= *(int128 *)(a2b2p + 32) # asm 1: mulpd 32(t10=int6464#8 # asm 2: movdqa t10=%xmm7 movdqa %xmm13,%xmm7 # qhasm: float6464 t10 *= *(int128 *)(b2a2p + 48) # asm 1: mulpd 48(d10=int6464#8 # asm 2: movdqa d10=%xmm7 movdqa %xmm14,%xmm7 # qhasm: float6464 d10 *= *(int128 *)(a2b2p + 48) # asm 1: mulpd 48(t11=int6464#8 # asm 2: movdqa t11=%xmm7 movdqa %xmm13,%xmm7 # qhasm: float6464 t11 *= *(int128 *)(b2a2p + 64) # asm 1: mulpd 64(d11=int6464#8 # asm 2: movdqa d11=%xmm7 movdqa %xmm14,%xmm7 # qhasm: float6464 d11 *= *(int128 *)(a2b2p + 64) # asm 1: mulpd 64(t12=int6464#8 # asm 2: movdqa t12=%xmm7 movdqa %xmm13,%xmm7 # qhasm: float6464 t12 *= *(int128 *)(b2a2p + 80) # asm 1: mulpd 80(d12=int6464#8 # asm 2: movdqa d12=%xmm7 movdqa %xmm14,%xmm7 # qhasm: float6464 d12 *= *(int128 *)(a2b2p + 80) # asm 1: mulpd 80(t14=int6464#8 # asm 2: movdqa t14=%xmm7 movdqa %xmm13,%xmm7 # qhasm: float6464 t14 *= *(int128 *)(b2a2p + 112) # asm 1: mulpd 112(d14=int6464#8 # asm 2: movdqa d14=%xmm7 movdqa %xmm14,%xmm7 # qhasm: float6464 d14 *= *(int128 *)(a2b2p + 112) # asm 1: mulpd 112(t15=int6464#8 # asm 2: movdqa t15=%xmm7 movdqa %xmm13,%xmm7 # qhasm: float6464 t15 *= *(int128 *)(b2a2p + 128) # asm 1: mulpd 128(d15=int6464#8 # asm 2: movdqa d15=%xmm7 movdqa %xmm14,%xmm7 # qhasm: float6464 d15 *= *(int128 *)(a2b2p + 128) # asm 1: mulpd 128(t16=int6464#8 # asm 2: movdqa t16=%xmm7 movdqa %xmm13,%xmm7 # qhasm: float6464 t16 *= *(int128 *)(b2a2p + 144) # asm 1: mulpd 144(d16=int6464#8 # asm 2: movdqa d16=%xmm7 movdqa %xmm14,%xmm7 # qhasm: float6464 d16 *= *(int128 *)(a2b2p + 144) # asm 1: mulpd 144(t17=int6464#8 # asm 2: movdqa t17=%xmm7 movdqa %xmm13,%xmm7 # qhasm: float6464 t17 *= *(int128 *)(b2a2p + 160) # asm 1: mulpd 160(d17=int6464#8 # asm 2: movdqa d17=%xmm7 movdqa %xmm14,%xmm7 # qhasm: float6464 d17 *= *(int128 *)(a2b2p + 160) # asm 1: mulpd 160(r18=int6464#8 # asm 2: movdqa r18=%xmm7 movdqa %xmm13,%xmm7 # qhasm: float6464 r18 *= *(int128 *)(b2a2p + 176) # asm 1: mulpd 176(d18=int6464#9 # asm 2: movdqa d18=%xmm8 movdqa %xmm14,%xmm8 # qhasm: float6464 d18 *= *(int128 *)(a2b2p + 176) # asm 1: mulpd 176(ab8=int6464#9 # asm 2: movdqa 128(ab8=%xmm8 movdqa 128(%rcx),%xmm8 # qhasm: cd8 = *(int128 *)(ma1a1p + 128) # asm 1: movdqa 128(cd8=int6464#10 # asm 2: movdqa 128(cd8=%xmm9 movdqa 128(%r8),%xmm9 # qhasm: ab8six = ab8 # asm 1: movdqa ab8six=int6464#14 # asm 2: movdqa ab8six=%xmm13 movdqa %xmm8,%xmm13 # qhasm: cd8six = cd8 # asm 1: movdqa cd8six=int6464#15 # asm 2: movdqa cd8six=%xmm14 movdqa %xmm9,%xmm14 # qhasm: float6464 ab8six *= SIX_SIX # asm 1: mulpd SIX_SIX,t8=int6464#16 # asm 2: movdqa t8=%xmm15 movdqa %xmm8,%xmm15 # qhasm: float6464 t8 *= *(int128 *)(b2a2p + 0) # asm 1: mulpd 0(d8=int6464#16 # asm 2: movdqa d8=%xmm15 movdqa %xmm9,%xmm15 # qhasm: float6464 d8 *= *(int128 *)(a2b2p + 0) # asm 1: mulpd 0(t13=int6464#16 # asm 2: movdqa t13=%xmm15 movdqa %xmm8,%xmm15 # qhasm: float6464 t13 *= *(int128 *)(b2a2p + 80) # asm 1: mulpd 80(d13=int6464#16 # asm 2: movdqa d13=%xmm15 movdqa %xmm9,%xmm15 # qhasm: float6464 d13 *= *(int128 *)(a2b2p + 80) # asm 1: mulpd 80(t14=int6464#16 # asm 2: movdqa t14=%xmm15 movdqa %xmm8,%xmm15 # qhasm: float6464 t14 *= *(int128 *)(b2a2p + 96) # asm 1: mulpd 96(d14=int6464#16 # asm 2: movdqa d14=%xmm15 movdqa %xmm9,%xmm15 # qhasm: float6464 d14 *= *(int128 *)(a2b2p + 96) # asm 1: mulpd 96(r19=int6464#9 # asm 2: movdqa r19=%xmm8 movdqa %xmm8,%xmm8 # qhasm: float6464 r19 *= *(int128 *)(b2a2p + 176) # asm 1: mulpd 176(d19=int6464#10 # asm 2: movdqa d19=%xmm9 movdqa %xmm9,%xmm9 # qhasm: float6464 d19 *= *(int128 *)(a2b2p + 176) # asm 1: mulpd 176(t9=int6464#10 # asm 2: movdqa t9=%xmm9 movdqa %xmm13,%xmm9 # qhasm: float6464 t9 *= *(int128 *)(b2a2p + 16) # asm 1: mulpd 16(d9=int6464#10 # asm 2: movdqa d9=%xmm9 movdqa %xmm14,%xmm9 # qhasm: float6464 d9 *= *(int128 *)(a2b2p + 16) # asm 1: mulpd 16(t10=int6464#10 # asm 2: movdqa t10=%xmm9 movdqa %xmm13,%xmm9 # qhasm: float6464 t10 *= *(int128 *)(b2a2p + 32) # asm 1: mulpd 32(d10=int6464#10 # asm 2: movdqa d10=%xmm9 movdqa %xmm14,%xmm9 # qhasm: float6464 d10 *= *(int128 *)(a2b2p + 32) # asm 1: mulpd 32(t11=int6464#10 # asm 2: movdqa t11=%xmm9 movdqa %xmm13,%xmm9 # qhasm: float6464 t11 *= *(int128 *)(b2a2p + 48) # asm 1: mulpd 48(d11=int6464#10 # asm 2: movdqa d11=%xmm9 movdqa %xmm14,%xmm9 # qhasm: float6464 d11 *= *(int128 *)(a2b2p + 48) # asm 1: mulpd 48(t12=int6464#10 # asm 2: movdqa t12=%xmm9 movdqa %xmm13,%xmm9 # qhasm: float6464 t12 *= *(int128 *)(b2a2p + 64) # asm 1: mulpd 64(d12=int6464#10 # asm 2: movdqa d12=%xmm9 movdqa %xmm14,%xmm9 # qhasm: float6464 d12 *= *(int128 *)(a2b2p + 64) # asm 1: mulpd 64(t15=int6464#10 # asm 2: movdqa t15=%xmm9 movdqa %xmm13,%xmm9 # qhasm: float6464 t15 *= *(int128 *)(b2a2p + 112) # asm 1: mulpd 112(d15=int6464#10 # asm 2: movdqa d15=%xmm9 movdqa %xmm14,%xmm9 # qhasm: float6464 d15 *= *(int128 *)(a2b2p + 112) # asm 1: mulpd 112(t16=int6464#10 # asm 2: movdqa t16=%xmm9 movdqa %xmm13,%xmm9 # qhasm: float6464 t16 *= *(int128 *)(b2a2p + 128) # asm 1: mulpd 128(d16=int6464#10 # asm 2: movdqa d16=%xmm9 movdqa %xmm14,%xmm9 # qhasm: float6464 d16 *= *(int128 *)(a2b2p + 128) # asm 1: mulpd 128(t17=int6464#10 # asm 2: movdqa t17=%xmm9 movdqa %xmm13,%xmm9 # qhasm: float6464 t17 *= *(int128 *)(b2a2p + 144) # asm 1: mulpd 144(d17=int6464#10 # asm 2: movdqa d17=%xmm9 movdqa %xmm14,%xmm9 # qhasm: float6464 d17 *= *(int128 *)(a2b2p + 144) # asm 1: mulpd 144(t18=int6464#10 # asm 2: movdqa t18=%xmm9 movdqa %xmm13,%xmm9 # qhasm: float6464 t18 *= *(int128 *)(b2a2p + 160) # asm 1: mulpd 160(d18=int6464#10 # asm 2: movdqa d18=%xmm9 movdqa %xmm14,%xmm9 # qhasm: float6464 d18 *= *(int128 *)(a2b2p + 160) # asm 1: mulpd 160(ab9=int6464#10 # asm 2: movdqa 144(ab9=%xmm9 movdqa 144(%rcx),%xmm9 # qhasm: cd9 = *(int128 *)(ma1a1p + 144) # asm 1: movdqa 144(cd9=int6464#11 # asm 2: movdqa 144(cd9=%xmm10 movdqa 144(%r8),%xmm10 # qhasm: ab9six = ab9 # asm 1: movdqa ab9six=int6464#14 # asm 2: movdqa ab9six=%xmm13 movdqa %xmm9,%xmm13 # qhasm: cd9six = cd9 # asm 1: movdqa cd9six=int6464#15 # asm 2: movdqa cd9six=%xmm14 movdqa %xmm10,%xmm14 # qhasm: float6464 ab9six *= SIX_SIX # asm 1: mulpd SIX_SIX,t9=int6464#16 # asm 2: movdqa t9=%xmm15 movdqa %xmm9,%xmm15 # qhasm: float6464 t9 *= *(int128 *)(b2a2p + 0) # asm 1: mulpd 0(d9=int6464#16 # asm 2: movdqa d9=%xmm15 movdqa %xmm10,%xmm15 # qhasm: float6464 d9 *= *(int128 *)(a2b2p + 0) # asm 1: mulpd 0(t13=int6464#16 # asm 2: movdqa t13=%xmm15 movdqa %xmm9,%xmm15 # qhasm: float6464 t13 *= *(int128 *)(b2a2p + 64) # asm 1: mulpd 64(d13=int6464#16 # asm 2: movdqa d13=%xmm15 movdqa %xmm10,%xmm15 # qhasm: float6464 d13 *= *(int128 *)(a2b2p + 64) # asm 1: mulpd 64(t14=int6464#16 # asm 2: movdqa t14=%xmm15 movdqa %xmm9,%xmm15 # qhasm: float6464 t14 *= *(int128 *)(b2a2p + 80) # asm 1: mulpd 80(d14=int6464#16 # asm 2: movdqa d14=%xmm15 movdqa %xmm10,%xmm15 # qhasm: float6464 d14 *= *(int128 *)(a2b2p + 80) # asm 1: mulpd 80(t15=int6464#16 # asm 2: movdqa t15=%xmm15 movdqa %xmm9,%xmm15 # qhasm: float6464 t15 *= *(int128 *)(b2a2p + 96) # asm 1: mulpd 96(d15=int6464#16 # asm 2: movdqa d15=%xmm15 movdqa %xmm10,%xmm15 # qhasm: float6464 d15 *= *(int128 *)(a2b2p + 96) # asm 1: mulpd 96(t19=int6464#16 # asm 2: movdqa t19=%xmm15 movdqa %xmm9,%xmm15 # qhasm: float6464 t19 *= *(int128 *)(b2a2p + 160) # asm 1: mulpd 160(d19=int6464#16 # asm 2: movdqa d19=%xmm15 movdqa %xmm10,%xmm15 # qhasm: float6464 d19 *= *(int128 *)(a2b2p + 160) # asm 1: mulpd 160(r20=int6464#10 # asm 2: movdqa r20=%xmm9 movdqa %xmm9,%xmm9 # qhasm: float6464 r20 *= *(int128 *)(b2a2p + 176) # asm 1: mulpd 176(d20=int6464#11 # asm 2: movdqa d20=%xmm10 movdqa %xmm10,%xmm10 # qhasm: float6464 d20 *= *(int128 *)(a2b2p + 176) # asm 1: mulpd 176(t10=int6464#11 # asm 2: movdqa t10=%xmm10 movdqa %xmm13,%xmm10 # qhasm: float6464 t10 *= *(int128 *)(b2a2p + 16) # asm 1: mulpd 16(d10=int6464#11 # asm 2: movdqa d10=%xmm10 movdqa %xmm14,%xmm10 # qhasm: float6464 d10 *= *(int128 *)(a2b2p + 16) # asm 1: mulpd 16(t11=int6464#11 # asm 2: movdqa t11=%xmm10 movdqa %xmm13,%xmm10 # qhasm: float6464 t11 *= *(int128 *)(b2a2p + 32) # asm 1: mulpd 32(d11=int6464#11 # asm 2: movdqa d11=%xmm10 movdqa %xmm14,%xmm10 # qhasm: float6464 d11 *= *(int128 *)(a2b2p + 32) # asm 1: mulpd 32(t12=int6464#11 # asm 2: movdqa t12=%xmm10 movdqa %xmm13,%xmm10 # qhasm: float6464 t12 *= *(int128 *)(b2a2p + 48) # asm 1: mulpd 48(d12=int6464#11 # asm 2: movdqa d12=%xmm10 movdqa %xmm14,%xmm10 # qhasm: float6464 d12 *= *(int128 *)(a2b2p + 48) # asm 1: mulpd 48(t16=int6464#11 # asm 2: movdqa t16=%xmm10 movdqa %xmm13,%xmm10 # qhasm: float6464 t16 *= *(int128 *)(b2a2p + 112) # asm 1: mulpd 112(d16=int6464#11 # asm 2: movdqa d16=%xmm10 movdqa %xmm14,%xmm10 # qhasm: float6464 d16 *= *(int128 *)(a2b2p + 112) # asm 1: mulpd 112(t17=int6464#11 # asm 2: movdqa t17=%xmm10 movdqa %xmm13,%xmm10 # qhasm: float6464 t17 *= *(int128 *)(b2a2p + 128) # asm 1: mulpd 128(d17=int6464#11 # asm 2: movdqa d17=%xmm10 movdqa %xmm14,%xmm10 # qhasm: float6464 d17 *= *(int128 *)(a2b2p + 128) # asm 1: mulpd 128(t18=int6464#11 # asm 2: movdqa t18=%xmm10 movdqa %xmm13,%xmm10 # qhasm: float6464 t18 *= *(int128 *)(b2a2p + 144) # asm 1: mulpd 144(d18=int6464#11 # asm 2: movdqa d18=%xmm10 movdqa %xmm14,%xmm10 # qhasm: float6464 d18 *= *(int128 *)(a2b2p + 144) # asm 1: mulpd 144(ab10=int6464#11 # asm 2: movdqa 160(ab10=%xmm10 movdqa 160(%rcx),%xmm10 # qhasm: cd10 = *(int128 *)(ma1a1p + 160) # asm 1: movdqa 160(cd10=int6464#12 # asm 2: movdqa 160(cd10=%xmm11 movdqa 160(%r8),%xmm11 # qhasm: ab10six = ab10 # asm 1: movdqa ab10six=int6464#14 # asm 2: movdqa ab10six=%xmm13 movdqa %xmm10,%xmm13 # qhasm: cd10six = cd10 # asm 1: movdqa cd10six=int6464#15 # asm 2: movdqa cd10six=%xmm14 movdqa %xmm11,%xmm14 # qhasm: float6464 ab10six *= SIX_SIX # asm 1: mulpd SIX_SIX,t10=int6464#16 # asm 2: movdqa t10=%xmm15 movdqa %xmm10,%xmm15 # qhasm: float6464 t10 *= *(int128 *)(b2a2p + 0) # asm 1: mulpd 0(d10=int6464#16 # asm 2: movdqa d10=%xmm15 movdqa %xmm11,%xmm15 # qhasm: float6464 d10 *= *(int128 *)(a2b2p + 0) # asm 1: mulpd 0(t13=int6464#16 # asm 2: movdqa t13=%xmm15 movdqa %xmm10,%xmm15 # qhasm: float6464 t13 *= *(int128 *)(b2a2p + 48) # asm 1: mulpd 48(d13=int6464#16 # asm 2: movdqa d13=%xmm15 movdqa %xmm11,%xmm15 # qhasm: float6464 d13 *= *(int128 *)(a2b2p + 48) # asm 1: mulpd 48(t14=int6464#16 # asm 2: movdqa t14=%xmm15 movdqa %xmm10,%xmm15 # qhasm: float6464 t14 *= *(int128 *)(b2a2p + 64) # asm 1: mulpd 64(d14=int6464#16 # asm 2: movdqa d14=%xmm15 movdqa %xmm11,%xmm15 # qhasm: float6464 d14 *= *(int128 *)(a2b2p + 64) # asm 1: mulpd 64(t16=int6464#16 # asm 2: movdqa t16=%xmm15 movdqa %xmm10,%xmm15 # qhasm: float6464 t16 *= *(int128 *)(b2a2p + 96) # asm 1: mulpd 96(d16=int6464#16 # asm 2: movdqa d16=%xmm15 movdqa %xmm11,%xmm15 # qhasm: float6464 d16 *= *(int128 *)(a2b2p + 96) # asm 1: mulpd 96(t15=int6464#16 # asm 2: movdqa t15=%xmm15 movdqa %xmm10,%xmm15 # qhasm: float6464 t15 *= *(int128 *)(b2a2p + 80) # asm 1: mulpd 80(d15=int6464#16 # asm 2: movdqa d15=%xmm15 movdqa %xmm11,%xmm15 # qhasm: float6464 d15 *= *(int128 *)(a2b2p + 80) # asm 1: mulpd 80(t19=int6464#16 # asm 2: movdqa t19=%xmm15 movdqa %xmm10,%xmm15 # qhasm: float6464 t19 *= *(int128 *)(b2a2p + 144) # asm 1: mulpd 144(d19=int6464#16 # asm 2: movdqa d19=%xmm15 movdqa %xmm11,%xmm15 # qhasm: float6464 d19 *= *(int128 *)(a2b2p + 144) # asm 1: mulpd 144(t20=int6464#16 # asm 2: movdqa t20=%xmm15 movdqa %xmm10,%xmm15 # qhasm: float6464 t20 *= *(int128 *)(b2a2p + 160) # asm 1: mulpd 160(d20=int6464#16 # asm 2: movdqa d20=%xmm15 movdqa %xmm11,%xmm15 # qhasm: float6464 d20 *= *(int128 *)(a2b2p + 160) # asm 1: mulpd 160(r21=int6464#11 # asm 2: movdqa r21=%xmm10 movdqa %xmm10,%xmm10 # qhasm: float6464 r21 *= *(int128 *)(b2a2p + 176) # asm 1: mulpd 176(d21=int6464#12 # asm 2: movdqa d21=%xmm11 movdqa %xmm11,%xmm11 # qhasm: float6464 d21 *= *(int128 *)(a2b2p + 176) # asm 1: mulpd 176(t11=int6464#12 # asm 2: movdqa t11=%xmm11 movdqa %xmm13,%xmm11 # qhasm: float6464 t11 *= *(int128 *)(b2a2p + 16) # asm 1: mulpd 16(d11=int6464#12 # asm 2: movdqa d11=%xmm11 movdqa %xmm14,%xmm11 # qhasm: float6464 d11 *= *(int128 *)(a2b2p + 16) # asm 1: mulpd 16(t12=int6464#12 # asm 2: movdqa t12=%xmm11 movdqa %xmm13,%xmm11 # qhasm: float6464 t12 *= *(int128 *)(b2a2p + 32) # asm 1: mulpd 32(d12=int6464#12 # asm 2: movdqa d12=%xmm11 movdqa %xmm14,%xmm11 # qhasm: float6464 d12 *= *(int128 *)(a2b2p + 32) # asm 1: mulpd 32(t17=int6464#12 # asm 2: movdqa t17=%xmm11 movdqa %xmm13,%xmm11 # qhasm: float6464 t17 *= *(int128 *)(b2a2p + 112) # asm 1: mulpd 112(d17=int6464#12 # asm 2: movdqa d17=%xmm11 movdqa %xmm14,%xmm11 # qhasm: float6464 d17 *= *(int128 *)(a2b2p + 112) # asm 1: mulpd 112(t18=int6464#12 # asm 2: movdqa t18=%xmm11 movdqa %xmm13,%xmm11 # qhasm: float6464 t18 *= *(int128 *)(b2a2p + 128) # asm 1: mulpd 128(d18=int6464#12 # asm 2: movdqa d18=%xmm11 movdqa %xmm14,%xmm11 # qhasm: float6464 d18 *= *(int128 *)(a2b2p + 128) # asm 1: mulpd 128(ab11=int6464#12 # asm 2: movdqa 176(ab11=%xmm11 movdqa 176(%rcx),%xmm11 # qhasm: cd11 = *(int128 *)(ma1a1p + 176) # asm 1: movdqa 176(cd11=int6464#13 # asm 2: movdqa 176(cd11=%xmm12 movdqa 176(%r8),%xmm12 # qhasm: ab11six = ab11 # asm 1: movdqa ab11six=int6464#14 # asm 2: movdqa ab11six=%xmm13 movdqa %xmm11,%xmm13 # qhasm: cd11six = cd11 # asm 1: movdqa cd11six=int6464#15 # asm 2: movdqa cd11six=%xmm14 movdqa %xmm12,%xmm14 # qhasm: float6464 ab11six *= SIX_SIX # asm 1: mulpd SIX_SIX,t11=int6464#16 # asm 2: movdqa t11=%xmm15 movdqa %xmm11,%xmm15 # qhasm: float6464 t11 *= *(int128 *)(b2a2p + 0) # asm 1: mulpd 0(d11=int6464#16 # asm 2: movdqa d11=%xmm15 movdqa %xmm12,%xmm15 # qhasm: float6464 d11 *= *(int128 *)(a2b2p + 0) # asm 1: mulpd 0(t13=int6464#16 # asm 2: movdqa t13=%xmm15 movdqa %xmm11,%xmm15 # qhasm: float6464 t13 *= *(int128 *)(b2a2p + 32) # asm 1: mulpd 32(d13=int6464#16 # asm 2: movdqa d13=%xmm15 movdqa %xmm12,%xmm15 # qhasm: float6464 d13 *= *(int128 *)(a2b2p + 32) # asm 1: mulpd 32(t14=int6464#16 # asm 2: movdqa t14=%xmm15 movdqa %xmm11,%xmm15 # qhasm: float6464 t14 *= *(int128 *)(b2a2p + 48) # asm 1: mulpd 48(d14=int6464#16 # asm 2: movdqa d14=%xmm15 movdqa %xmm12,%xmm15 # qhasm: float6464 d14 *= *(int128 *)(a2b2p + 48) # asm 1: mulpd 48(t15=int6464#16 # asm 2: movdqa t15=%xmm15 movdqa %xmm11,%xmm15 # qhasm: float6464 t15 *= *(int128 *)(b2a2p + 64) # asm 1: mulpd 64(d15=int6464#16 # asm 2: movdqa d15=%xmm15 movdqa %xmm12,%xmm15 # qhasm: float6464 d15 *= *(int128 *)(a2b2p + 64) # asm 1: mulpd 64(t16=int6464#16 # asm 2: movdqa t16=%xmm15 movdqa %xmm11,%xmm15 # qhasm: float6464 t16 *= *(int128 *)(b2a2p + 80) # asm 1: mulpd 80(d16=int6464#16 # asm 2: movdqa d16=%xmm15 movdqa %xmm12,%xmm15 # qhasm: float6464 d16 *= *(int128 *)(a2b2p + 80) # asm 1: mulpd 80(t17=int6464#16 # asm 2: movdqa t17=%xmm15 movdqa %xmm11,%xmm15 # qhasm: float6464 t17 *= *(int128 *)(b2a2p + 96) # asm 1: mulpd 96(d17=int6464#16 # asm 2: movdqa d17=%xmm15 movdqa %xmm12,%xmm15 # qhasm: float6464 d17 *= *(int128 *)(a2b2p + 96) # asm 1: mulpd 96(t19=int6464#16 # asm 2: movdqa t19=%xmm15 movdqa %xmm11,%xmm15 # qhasm: float6464 t19 *= *(int128 *)(b2a2p + 128) # asm 1: mulpd 128(d19=int6464#16 # asm 2: movdqa d19=%xmm15 movdqa %xmm12,%xmm15 # qhasm: float6464 d19 *= *(int128 *)(a2b2p + 128) # asm 1: mulpd 128(t20=int6464#16 # asm 2: movdqa t20=%xmm15 movdqa %xmm11,%xmm15 # qhasm: float6464 t20 *= *(int128 *)(b2a2p + 144) # asm 1: mulpd 144(d20=int6464#16 # asm 2: movdqa d20=%xmm15 movdqa %xmm12,%xmm15 # qhasm: float6464 d20 *= *(int128 *)(a2b2p + 144) # asm 1: mulpd 144(t21=int6464#16 # asm 2: movdqa t21=%xmm15 movdqa %xmm11,%xmm15 # qhasm: float6464 t21 *= *(int128 *)(b2a2p + 160) # asm 1: mulpd 160(d21=int6464#16 # asm 2: movdqa d21=%xmm15 movdqa %xmm12,%xmm15 # qhasm: float6464 d21 *= *(int128 *)(a2b2p + 160) # asm 1: mulpd 160(r22=int6464#12 # asm 2: movdqa r22=%xmm11 movdqa %xmm11,%xmm11 # qhasm: float6464 r22 *= *(int128 *)(b2a2p + 176) # asm 1: mulpd 176(d22=int6464#13 # asm 2: movdqa d22=%xmm12 movdqa %xmm12,%xmm12 # qhasm: float6464 d22 *= *(int128 *)(a2b2p + 176) # asm 1: mulpd 176(t12=int6464#13 # asm 2: movdqa t12=%xmm12 movdqa %xmm13,%xmm12 # qhasm: float6464 t12 *= *(int128 *)(b2a2p + 16) # asm 1: mulpd 16(d12=int6464#13 # asm 2: movdqa d12=%xmm12 movdqa %xmm14,%xmm12 # qhasm: float6464 d12 *= *(int128 *)(a2b2p + 16) # asm 1: mulpd 16(t18=int6464#13 # asm 2: movdqa t18=%xmm12 movdqa %xmm13,%xmm12 # qhasm: float6464 t18 *= *(int128 *)(b2a2p + 112) # asm 1: mulpd 112(d18=int6464#13 # asm 2: movdqa d18=%xmm12 movdqa %xmm14,%xmm12 # qhasm: float6464 d18 *= *(int128 *)(a2b2p + 112) # asm 1: mulpd 112(r0=int6464#1 # asm 2: movdqa 0(r0=%xmm0 movdqa 0(%rcx),%xmm0 # qhasm: float6464 r0 -= r12 # asm 1: subpd t15=int6464#13 # asm 2: movdqa t15=%xmm12 movdqa %xmm4,%xmm12 # qhasm: float6464 t15 *= SIX_SIX # asm 1: mulpd SIX_SIX,t18=int6464#13 # asm 2: movdqa t18=%xmm12 movdqa %xmm7,%xmm12 # qhasm: float6464 t18 *= TWO_TWO # asm 1: mulpd TWO_TWO,t21=int6464#13 # asm 2: movdqa t21=%xmm12 movdqa %xmm10,%xmm12 # qhasm: float6464 t21 *= SIX_SIX # asm 1: mulpd SIX_SIX,r3=int6464#13 # asm 2: movdqa 48(r3=%xmm12 movdqa 48(%rcx),%xmm12 # qhasm: float6464 r3 -= r12 # asm 1: subpd t15=int6464#14 # asm 2: movdqa t15=%xmm13 movdqa %xmm4,%xmm13 # qhasm: float6464 t15 *= FIVE_FIVE # asm 1: mulpd FIVE_FIVE,t21=int6464#14 # asm 2: movdqa t21=%xmm13 movdqa %xmm10,%xmm13 # qhasm: float6464 t21 *= EIGHT_EIGHT # asm 1: mulpd EIGHT_EIGHT,r6=int6464#14 # asm 2: movdqa 96(r6=%xmm13 movdqa 96(%rcx),%xmm13 # qhasm: t12 = r12 # asm 1: movdqa t12=int6464#15 # asm 2: movdqa t12=%xmm14 movdqa %xmm1,%xmm14 # qhasm: float6464 t12 *= FOUR_FOUR # asm 1: mulpd FOUR_FOUR,t15=int6464#15 # asm 2: movdqa t15=%xmm14 movdqa %xmm4,%xmm14 # qhasm: float6464 t15 *= EIGHTEEN_EIGHTEEN # asm 1: mulpd EIGHTEEN_EIGHTEEN,t18=int6464#15 # asm 2: movdqa t18=%xmm14 movdqa %xmm7,%xmm14 # qhasm: float6464 t18 *= THREE_THREE # asm 1: mulpd THREE_THREE,t21=int6464#15 # asm 2: movdqa t21=%xmm14 movdqa %xmm10,%xmm14 # qhasm: float6464 t21 *= THIRTY_THIRTY # asm 1: mulpd THIRTY_THIRTY,r9=int6464#15 # asm 2: movdqa 144(r9=%xmm14 movdqa 144(%rcx),%xmm14 # qhasm: float6464 r9 -= r12 # asm 1: subpd t15=int6464#2 # asm 2: movdqa t15=%xmm1 movdqa %xmm4,%xmm1 # qhasm: float6464 t15 *= TWO_TWO # asm 1: mulpd TWO_TWO,t21=int6464#2 # asm 2: movdqa t21=%xmm1 movdqa %xmm10,%xmm1 # qhasm: float6464 t21 *= NINE_NINE # asm 1: mulpd NINE_NINE,r1=int6464#2 # asm 2: movdqa 16(r1=%xmm1 movdqa 16(%rcx),%xmm1 # qhasm: float6464 r1 -= r13 # asm 1: subpd t19=int6464#5 # asm 2: movdqa t19=%xmm4 movdqa %xmm8,%xmm4 # qhasm: float6464 t19 *= TWO_TWO # asm 1: mulpd TWO_TWO,r4=int6464#5 # asm 2: movdqa 64(r4=%xmm4 movdqa 64(%rcx),%xmm4 # qhasm: t13 = r13 # asm 1: movdqa t13=int6464#8 # asm 2: movdqa t13=%xmm7 movdqa %xmm2,%xmm7 # qhasm: float6464 t13 *= SIX_SIX # asm 1: mulpd SIX_SIX,t16=int6464#8 # asm 2: movdqa t16=%xmm7 movdqa %xmm5,%xmm7 # qhasm: float6464 t16 *= FIVE_FIVE # asm 1: mulpd FIVE_FIVE,t19=int6464#8 # asm 2: movdqa t19=%xmm7 movdqa %xmm8,%xmm7 # qhasm: float6464 t19 *= SIX_SIX # asm 1: mulpd SIX_SIX,t22=int6464#8 # asm 2: movdqa t22=%xmm7 movdqa %xmm11,%xmm7 # qhasm: float6464 t22 *= EIGHT_EIGHT # asm 1: mulpd EIGHT_EIGHT,r7=int6464#8 # asm 2: movdqa 112(r7=%xmm7 movdqa 112(%rcx),%xmm7 # qhasm: t13 = r13 # asm 1: movdqa t13=int6464#11 # asm 2: movdqa t13=%xmm10 movdqa %xmm2,%xmm10 # qhasm: float6464 t13 *= FOUR_FOUR # asm 1: mulpd FOUR_FOUR,t16=int6464#11 # asm 2: movdqa t16=%xmm10 movdqa %xmm5,%xmm10 # qhasm: float6464 t16 *= THREE_THREE # asm 1: mulpd THREE_THREE,t19=int6464#11 # asm 2: movdqa t19=%xmm10 movdqa %xmm8,%xmm10 # qhasm: float6464 t19 *= THREE_THREE # asm 1: mulpd THREE_THREE,t22=int6464#11 # asm 2: movdqa t22=%xmm10 movdqa %xmm11,%xmm10 # qhasm: float6464 t22 *= FIVE_FIVE # asm 1: mulpd FIVE_FIVE,r10=int6464#11 # asm 2: movdqa 160(r10=%xmm10 movdqa 160(%rcx),%xmm10 # qhasm: t13 = r13 # asm 1: movdqa t13=int6464#3 # asm 2: movdqa t13=%xmm2 movdqa %xmm2,%xmm2 # qhasm: float6464 t13 *= SIX_SIX # asm 1: mulpd SIX_SIX,t16=int6464#3 # asm 2: movdqa t16=%xmm2 movdqa %xmm5,%xmm2 # qhasm: float6464 t16 *= TWO_TWO # asm 1: mulpd TWO_TWO,t19=int6464#3 # asm 2: movdqa t19=%xmm2 movdqa %xmm8,%xmm2 # qhasm: float6464 t19 *= SIX_SIX # asm 1: mulpd SIX_SIX,t22=int6464#3 # asm 2: movdqa t22=%xmm2 movdqa %xmm11,%xmm2 # qhasm: float6464 t22 *= NINE_NINE # asm 1: mulpd NINE_NINE,r2=int6464#3 # asm 2: movdqa 32(r2=%xmm2 movdqa 32(%rcx),%xmm2 # qhasm: float6464 r2 -= r14 # asm 1: subpd t20=int6464#6 # asm 2: movdqa t20=%xmm5 movdqa %xmm9,%xmm5 # qhasm: float6464 t20 *= TWO_TWO # asm 1: mulpd TWO_TWO,r5=int6464#6 # asm 2: movdqa 80(r5=%xmm5 movdqa 80(%rcx),%xmm5 # qhasm: t14 = r14 # asm 1: movdqa t14=int6464#9 # asm 2: movdqa t14=%xmm8 movdqa %xmm3,%xmm8 # qhasm: float6464 t14 *= SIX_SIX # asm 1: mulpd SIX_SIX,t17=int6464#9 # asm 2: movdqa t17=%xmm8 movdqa %xmm6,%xmm8 # qhasm: float6464 t17 *= FIVE_FIVE # asm 1: mulpd FIVE_FIVE,t20=int6464#9 # asm 2: movdqa t20=%xmm8 movdqa %xmm9,%xmm8 # qhasm: float6464 t20 *= SIX_SIX # asm 1: mulpd SIX_SIX,r8=int6464#9 # asm 2: movdqa 128(r8=%xmm8 movdqa 128(%rcx),%xmm8 # qhasm: t14 = r14 # asm 1: movdqa t14=int6464#12 # asm 2: movdqa t14=%xmm11 movdqa %xmm3,%xmm11 # qhasm: float6464 t14 *= FOUR_FOUR # asm 1: mulpd FOUR_FOUR,t17=int6464#12 # asm 2: movdqa t17=%xmm11 movdqa %xmm6,%xmm11 # qhasm: float6464 t17 *= THREE_THREE # asm 1: mulpd THREE_THREE,t20=int6464#12 # asm 2: movdqa t20=%xmm11 movdqa %xmm9,%xmm11 # qhasm: float6464 t20 *= THREE_THREE # asm 1: mulpd THREE_THREE,r11=int6464#12 # asm 2: movdqa 176(r11=%xmm11 movdqa 176(%rcx),%xmm11 # qhasm: t14 = r14 # asm 1: movdqa t14=int6464#4 # asm 2: movdqa t14=%xmm3 movdqa %xmm3,%xmm3 # qhasm: float6464 t14 *= SIX_SIX # asm 1: mulpd SIX_SIX,t17=int6464#4 # asm 2: movdqa t17=%xmm3 movdqa %xmm6,%xmm3 # qhasm: float6464 t17 *= TWO_TWO # asm 1: mulpd TWO_TWO,t20=int6464#4 # asm 2: movdqa t20=%xmm3 movdqa %xmm9,%xmm3 # qhasm: float6464 t20 *= SIX_SIX # asm 1: mulpd SIX_SIX,carry=int6464#7 # asm 2: movdqa carry=%xmm6 movdqa %xmm1,%xmm6 # qhasm: float6464 carry *= VINV_VINV # asm 1: mulpd VINV_VINV,carry=int6464#7 # asm 2: movdqa carry=%xmm6 movdqa %xmm4,%xmm6 # qhasm: float6464 carry *= VINV_VINV # asm 1: mulpd VINV_VINV,carry=int6464#7 # asm 2: movdqa carry=%xmm6 movdqa %xmm7,%xmm6 # qhasm: float6464 carry *= VINV_VINV # asm 1: mulpd VINV_VINV,carry=int6464#7 # asm 2: movdqa carry=%xmm6 movdqa %xmm10,%xmm6 # qhasm: float6464 carry *= VINV_VINV # asm 1: mulpd VINV_VINV,carry=int6464#7 # asm 2: movdqa carry=%xmm6 movdqa %xmm2,%xmm6 # qhasm: float6464 carry *= VINV_VINV # asm 1: mulpd VINV_VINV,carry=int6464#7 # asm 2: movdqa carry=%xmm6 movdqa %xmm5,%xmm6 # qhasm: float6464 carry *= VINV_VINV # asm 1: mulpd VINV_VINV,carry=int6464#7 # asm 2: movdqa carry=%xmm6 movdqa %xmm8,%xmm6 # qhasm: float6464 carry *= VINV_VINV # asm 1: mulpd VINV_VINV,carry=int6464#7 # asm 2: movdqa carry=%xmm6 movdqa %xmm11,%xmm6 # qhasm: float6464 carry *= VINV_VINV # asm 1: mulpd VINV_VINV,t6=int6464#10 # asm 2: movdqa t6=%xmm9 movdqa %xmm6,%xmm9 # qhasm: float6464 t6 *= FOUR_FOUR # asm 1: mulpd FOUR_FOUR,carry=int6464#7 # asm 2: movdqa carry=%xmm6 movdqa %xmm0,%xmm6 # qhasm: float6464 carry *= V6INV_V6INV # asm 1: mulpd V6INV_V6INV,carry=int6464#1 # asm 2: movdqa carry=%xmm0 movdqa %xmm12,%xmm0 # qhasm: float6464 carry *= VINV_VINV # asm 1: mulpd VINV_VINV,carry=int6464#1 # asm 2: movdqa carry=%xmm0 movdqa %xmm13,%xmm0 # qhasm: float6464 carry *= V6INV_V6INV # asm 1: mulpd V6INV_V6INV,carry=int6464#1 # asm 2: movdqa carry=%xmm0 movdqa %xmm14,%xmm0 # qhasm: float6464 carry *= VINV_VINV # asm 1: mulpd VINV_VINV,carry=int6464#1 # asm 2: movdqa carry=%xmm0 movdqa %xmm1,%xmm0 # qhasm: float6464 carry *= VINV_VINV # asm 1: mulpd VINV_VINV,carry=int6464#1 # asm 2: movdqa carry=%xmm0 movdqa %xmm4,%xmm0 # qhasm: float6464 carry *= VINV_VINV # asm 1: mulpd VINV_VINV,carry=int6464#1 # asm 2: movdqa carry=%xmm0 movdqa %xmm7,%xmm0 # qhasm: float6464 carry *= VINV_VINV # asm 1: mulpd VINV_VINV,carry=int6464#1 # asm 2: movdqa carry=%xmm0 movdqa %xmm10,%xmm0 # qhasm: float6464 carry *= VINV_VINV # asm 1: mulpd VINV_VINV,