# qhasm: int64 input_0 # qhasm: int64 input_1 # qhasm: int64 input_2 # qhasm: int64 input_3 # qhasm: int64 input_4 # qhasm: int64 input_5 # qhasm: stack64 input_6 # qhasm: stack64 input_7 # qhasm: int64 caller_r11 # qhasm: int64 caller_r12 # qhasm: int64 caller_r13 # qhasm: int64 caller_r14 # qhasm: int64 caller_r15 # qhasm: int64 caller_rbx # qhasm: int64 caller_rbp # qhasm: int64 b64 # qhasm: int64 synd # qhasm: int64 addr # qhasm: int64 c # qhasm: int64 c_all # qhasm: int64 row # qhasm: int64 p # qhasm: int64 e # qhasm: int64 s # qhasm: reg128 pp # qhasm: reg128 ee # qhasm: reg128 ss # qhasm: int64 buf_ptr # qhasm: stack128 buf # qhasm: enter syndrome_asm .p2align 5 .global _PQCLEAN_MCELIECE6688128_SSE_syndrome_asm .global PQCLEAN_MCELIECE6688128_SSE_syndrome_asm _PQCLEAN_MCELIECE6688128_SSE_syndrome_asm: PQCLEAN_MCELIECE6688128_SSE_syndrome_asm: mov %rsp,%r11 and $31,%r11 add $32,%r11 sub %r11,%rsp # qhasm: input_1 += 1044364 # asm 1: add $1044364,buf_ptr=int64#4 # asm 2: leaq buf_ptr=%rcx leaq 0(%rsp),%rcx # qhasm: row = 1664 # asm 1: mov $1664,>row=int64#5 # asm 2: mov $1664,>row=%r8 mov $1664,%r8 # qhasm: loop: ._loop: # qhasm: row -= 1 # asm 1: sub $1,ss=reg128#1 # asm 2: movdqu 0(ss=%xmm0 movdqu 0(%rsi),%xmm0 # qhasm: ee = mem128[ input_2 + 208 ] # asm 1: movdqu 208(ee=reg128#2 # asm 2: movdqu 208(ee=%xmm1 movdqu 208(%rdx),%xmm1 # qhasm: ss &= ee # asm 1: pand pp=reg128#2 # asm 2: movdqu 16(pp=%xmm1 movdqu 16(%rsi),%xmm1 # qhasm: ee = mem128[ input_2 + 224 ] # asm 1: movdqu 224(ee=reg128#3 # asm 2: movdqu 224(ee=%xmm2 movdqu 224(%rdx),%xmm2 # qhasm: pp &= ee # asm 1: pand pp=reg128#2 # asm 2: movdqu 32(pp=%xmm1 movdqu 32(%rsi),%xmm1 # qhasm: ee = mem128[ input_2 + 240 ] # asm 1: movdqu 240(ee=reg128#3 # asm 2: movdqu 240(ee=%xmm2 movdqu 240(%rdx),%xmm2 # qhasm: pp &= ee # asm 1: pand pp=reg128#2 # asm 2: movdqu 48(pp=%xmm1 movdqu 48(%rsi),%xmm1 # qhasm: ee = mem128[ input_2 + 256 ] # asm 1: movdqu 256(ee=reg128#3 # asm 2: movdqu 256(ee=%xmm2 movdqu 256(%rdx),%xmm2 # qhasm: pp &= ee # asm 1: pand pp=reg128#2 # asm 2: movdqu 64(pp=%xmm1 movdqu 64(%rsi),%xmm1 # qhasm: ee = mem128[ input_2 + 272 ] # asm 1: movdqu 272(ee=reg128#3 # asm 2: movdqu 272(ee=%xmm2 movdqu 272(%rdx),%xmm2 # qhasm: pp &= ee # asm 1: pand pp=reg128#2 # asm 2: movdqu 80(pp=%xmm1 movdqu 80(%rsi),%xmm1 # qhasm: ee = mem128[ input_2 + 288 ] # asm 1: movdqu 288(ee=reg128#3 # asm 2: movdqu 288(ee=%xmm2 movdqu 288(%rdx),%xmm2 # qhasm: pp &= ee # asm 1: pand pp=reg128#2 # asm 2: movdqu 96(pp=%xmm1 movdqu 96(%rsi),%xmm1 # qhasm: ee = mem128[ input_2 + 304 ] # asm 1: movdqu 304(ee=reg128#3 # asm 2: movdqu 304(ee=%xmm2 movdqu 304(%rdx),%xmm2 # qhasm: pp &= ee # asm 1: pand pp=reg128#2 # asm 2: movdqu 112(pp=%xmm1 movdqu 112(%rsi),%xmm1 # qhasm: ee = mem128[ input_2 + 320 ] # asm 1: movdqu 320(ee=reg128#3 # asm 2: movdqu 320(ee=%xmm2 movdqu 320(%rdx),%xmm2 # qhasm: pp &= ee # asm 1: pand pp=reg128#2 # asm 2: movdqu 128(pp=%xmm1 movdqu 128(%rsi),%xmm1 # qhasm: ee = mem128[ input_2 + 336 ] # asm 1: movdqu 336(ee=reg128#3 # asm 2: movdqu 336(ee=%xmm2 movdqu 336(%rdx),%xmm2 # qhasm: pp &= ee # asm 1: pand pp=reg128#2 # asm 2: movdqu 144(pp=%xmm1 movdqu 144(%rsi),%xmm1 # qhasm: ee = mem128[ input_2 + 352 ] # asm 1: movdqu 352(ee=reg128#3 # asm 2: movdqu 352(ee=%xmm2 movdqu 352(%rdx),%xmm2 # qhasm: pp &= ee # asm 1: pand pp=reg128#2 # asm 2: movdqu 160(pp=%xmm1 movdqu 160(%rsi),%xmm1 # qhasm: ee = mem128[ input_2 + 368 ] # asm 1: movdqu 368(ee=reg128#3 # asm 2: movdqu 368(ee=%xmm2 movdqu 368(%rdx),%xmm2 # qhasm: pp &= ee # asm 1: pand pp=reg128#2 # asm 2: movdqu 176(pp=%xmm1 movdqu 176(%rsi),%xmm1 # qhasm: ee = mem128[ input_2 + 384 ] # asm 1: movdqu 384(ee=reg128#3 # asm 2: movdqu 384(ee=%xmm2 movdqu 384(%rdx),%xmm2 # qhasm: pp &= ee # asm 1: pand pp=reg128#2 # asm 2: movdqu 192(pp=%xmm1 movdqu 192(%rsi),%xmm1 # qhasm: ee = mem128[ input_2 + 400 ] # asm 1: movdqu 400(ee=reg128#3 # asm 2: movdqu 400(ee=%xmm2 movdqu 400(%rdx),%xmm2 # qhasm: pp &= ee # asm 1: pand pp=reg128#2 # asm 2: movdqu 208(pp=%xmm1 movdqu 208(%rsi),%xmm1 # qhasm: ee = mem128[ input_2 + 416 ] # asm 1: movdqu 416(ee=reg128#3 # asm 2: movdqu 416(ee=%xmm2 movdqu 416(%rdx),%xmm2 # qhasm: pp &= ee # asm 1: pand pp=reg128#2 # asm 2: movdqu 224(pp=%xmm1 movdqu 224(%rsi),%xmm1 # qhasm: ee = mem128[ input_2 + 432 ] # asm 1: movdqu 432(ee=reg128#3 # asm 2: movdqu 432(ee=%xmm2 movdqu 432(%rdx),%xmm2 # qhasm: pp &= ee # asm 1: pand pp=reg128#2 # asm 2: movdqu 240(pp=%xmm1 movdqu 240(%rsi),%xmm1 # qhasm: ee = mem128[ input_2 + 448 ] # asm 1: movdqu 448(ee=reg128#3 # asm 2: movdqu 448(ee=%xmm2 movdqu 448(%rdx),%xmm2 # qhasm: pp &= ee # asm 1: pand pp=reg128#2 # asm 2: movdqu 256(pp=%xmm1 movdqu 256(%rsi),%xmm1 # qhasm: ee = mem128[ input_2 + 464 ] # asm 1: movdqu 464(ee=reg128#3 # asm 2: movdqu 464(ee=%xmm2 movdqu 464(%rdx),%xmm2 # qhasm: pp &= ee # asm 1: pand pp=reg128#2 # asm 2: movdqu 272(pp=%xmm1 movdqu 272(%rsi),%xmm1 # qhasm: ee = mem128[ input_2 + 480 ] # asm 1: movdqu 480(ee=reg128#3 # asm 2: movdqu 480(ee=%xmm2 movdqu 480(%rdx),%xmm2 # qhasm: pp &= ee # asm 1: pand pp=reg128#2 # asm 2: movdqu 288(pp=%xmm1 movdqu 288(%rsi),%xmm1 # qhasm: ee = mem128[ input_2 + 496 ] # asm 1: movdqu 496(ee=reg128#3 # asm 2: movdqu 496(ee=%xmm2 movdqu 496(%rdx),%xmm2 # qhasm: pp &= ee # asm 1: pand pp=reg128#2 # asm 2: movdqu 304(pp=%xmm1 movdqu 304(%rsi),%xmm1 # qhasm: ee = mem128[ input_2 + 512 ] # asm 1: movdqu 512(ee=reg128#3 # asm 2: movdqu 512(ee=%xmm2 movdqu 512(%rdx),%xmm2 # qhasm: pp &= ee # asm 1: pand pp=reg128#2 # asm 2: movdqu 320(pp=%xmm1 movdqu 320(%rsi),%xmm1 # qhasm: ee = mem128[ input_2 + 528 ] # asm 1: movdqu 528(ee=reg128#3 # asm 2: movdqu 528(ee=%xmm2 movdqu 528(%rdx),%xmm2 # qhasm: pp &= ee # asm 1: pand pp=reg128#2 # asm 2: movdqu 336(pp=%xmm1 movdqu 336(%rsi),%xmm1 # qhasm: ee = mem128[ input_2 + 544 ] # asm 1: movdqu 544(ee=reg128#3 # asm 2: movdqu 544(ee=%xmm2 movdqu 544(%rdx),%xmm2 # qhasm: pp &= ee # asm 1: pand pp=reg128#2 # asm 2: movdqu 352(pp=%xmm1 movdqu 352(%rsi),%xmm1 # qhasm: ee = mem128[ input_2 + 560 ] # asm 1: movdqu 560(ee=reg128#3 # asm 2: movdqu 560(ee=%xmm2 movdqu 560(%rdx),%xmm2 # qhasm: pp &= ee # asm 1: pand pp=reg128#2 # asm 2: movdqu 368(pp=%xmm1 movdqu 368(%rsi),%xmm1 # qhasm: ee = mem128[ input_2 + 576 ] # asm 1: movdqu 576(ee=reg128#3 # asm 2: movdqu 576(ee=%xmm2 movdqu 576(%rdx),%xmm2 # qhasm: pp &= ee # asm 1: pand pp=reg128#2 # asm 2: movdqu 384(pp=%xmm1 movdqu 384(%rsi),%xmm1 # qhasm: ee = mem128[ input_2 + 592 ] # asm 1: movdqu 592(ee=reg128#3 # asm 2: movdqu 592(ee=%xmm2 movdqu 592(%rdx),%xmm2 # qhasm: pp &= ee # asm 1: pand pp=reg128#2 # asm 2: movdqu 400(pp=%xmm1 movdqu 400(%rsi),%xmm1 # qhasm: ee = mem128[ input_2 + 608 ] # asm 1: movdqu 608(ee=reg128#3 # asm 2: movdqu 608(ee=%xmm2 movdqu 608(%rdx),%xmm2 # qhasm: pp &= ee # asm 1: pand pp=reg128#2 # asm 2: movdqu 416(pp=%xmm1 movdqu 416(%rsi),%xmm1 # qhasm: ee = mem128[ input_2 + 624 ] # asm 1: movdqu 624(ee=reg128#3 # asm 2: movdqu 624(ee=%xmm2 movdqu 624(%rdx),%xmm2 # qhasm: pp &= ee # asm 1: pand pp=reg128#2 # asm 2: movdqu 432(pp=%xmm1 movdqu 432(%rsi),%xmm1 # qhasm: ee = mem128[ input_2 + 640 ] # asm 1: movdqu 640(ee=reg128#3 # asm 2: movdqu 640(ee=%xmm2 movdqu 640(%rdx),%xmm2 # qhasm: pp &= ee # asm 1: pand pp=reg128#2 # asm 2: movdqu 448(pp=%xmm1 movdqu 448(%rsi),%xmm1 # qhasm: ee = mem128[ input_2 + 656 ] # asm 1: movdqu 656(ee=reg128#3 # asm 2: movdqu 656(ee=%xmm2 movdqu 656(%rdx),%xmm2 # qhasm: pp &= ee # asm 1: pand pp=reg128#2 # asm 2: movdqu 464(pp=%xmm1 movdqu 464(%rsi),%xmm1 # qhasm: ee = mem128[ input_2 + 672 ] # asm 1: movdqu 672(ee=reg128#3 # asm 2: movdqu 672(ee=%xmm2 movdqu 672(%rdx),%xmm2 # qhasm: pp &= ee # asm 1: pand pp=reg128#2 # asm 2: movdqu 480(pp=%xmm1 movdqu 480(%rsi),%xmm1 # qhasm: ee = mem128[ input_2 + 688 ] # asm 1: movdqu 688(ee=reg128#3 # asm 2: movdqu 688(ee=%xmm2 movdqu 688(%rdx),%xmm2 # qhasm: pp &= ee # asm 1: pand pp=reg128#2 # asm 2: movdqu 496(pp=%xmm1 movdqu 496(%rsi),%xmm1 # qhasm: ee = mem128[ input_2 + 704 ] # asm 1: movdqu 704(ee=reg128#3 # asm 2: movdqu 704(ee=%xmm2 movdqu 704(%rdx),%xmm2 # qhasm: pp &= ee # asm 1: pand pp=reg128#2 # asm 2: movdqu 512(pp=%xmm1 movdqu 512(%rsi),%xmm1 # qhasm: ee = mem128[ input_2 + 720 ] # asm 1: movdqu 720(ee=reg128#3 # asm 2: movdqu 720(ee=%xmm2 movdqu 720(%rdx),%xmm2 # qhasm: pp &= ee # asm 1: pand pp=reg128#2 # asm 2: movdqu 528(pp=%xmm1 movdqu 528(%rsi),%xmm1 # qhasm: ee = mem128[ input_2 + 736 ] # asm 1: movdqu 736(ee=reg128#3 # asm 2: movdqu 736(ee=%xmm2 movdqu 736(%rdx),%xmm2 # qhasm: pp &= ee # asm 1: pand pp=reg128#2 # asm 2: movdqu 544(pp=%xmm1 movdqu 544(%rsi),%xmm1 # qhasm: ee = mem128[ input_2 + 752 ] # asm 1: movdqu 752(ee=reg128#3 # asm 2: movdqu 752(ee=%xmm2 movdqu 752(%rdx),%xmm2 # qhasm: pp &= ee # asm 1: pand pp=reg128#2 # asm 2: movdqu 560(pp=%xmm1 movdqu 560(%rsi),%xmm1 # qhasm: ee = mem128[ input_2 + 768 ] # asm 1: movdqu 768(ee=reg128#3 # asm 2: movdqu 768(ee=%xmm2 movdqu 768(%rdx),%xmm2 # qhasm: pp &= ee # asm 1: pand pp=reg128#2 # asm 2: movdqu 576(pp=%xmm1 movdqu 576(%rsi),%xmm1 # qhasm: ee = mem128[ input_2 + 784 ] # asm 1: movdqu 784(ee=reg128#3 # asm 2: movdqu 784(ee=%xmm2 movdqu 784(%rdx),%xmm2 # qhasm: pp &= ee # asm 1: pand pp=reg128#2 # asm 2: movdqu 592(pp=%xmm1 movdqu 592(%rsi),%xmm1 # qhasm: ee = mem128[ input_2 + 800 ] # asm 1: movdqu 800(ee=reg128#3 # asm 2: movdqu 800(ee=%xmm2 movdqu 800(%rdx),%xmm2 # qhasm: pp &= ee # asm 1: pand buf=stack128#1 # asm 2: movdqa buf=0(%rsp) movdqa %xmm0,0(%rsp) # qhasm: s = mem64[input_1 + 608] # asm 1: movq 608(s=int64#6 # asm 2: movq 608(s=%r9 movq 608(%rsi),%r9 # qhasm: e = mem64[input_2 + 816] # asm 1: movq 816(e=int64#7 # asm 2: movq 816(e=%rax movq 816(%rdx),%rax # qhasm: s &= e # asm 1: and p=int64#7 # asm 2: movq 616(p=%rax movq 616(%rsi),%rax # qhasm: e = mem64[input_2 + 824] # asm 1: movq 824(e=int64#8 # asm 2: movq 824(e=%r10 movq 824(%rdx),%r10 # qhasm: p &= e # asm 1: and p=int64#7d # asm 2: movl 624(p=%eax movl 624(%rsi),%eax # qhasm: e = *(uint32 *)(input_2 + 832) # asm 1: movl 832(e=int64#8d # asm 2: movl 832(e=%r10d movl 832(%rdx),%r10d # qhasm: p &= e # asm 1: and c_all=int64#6 # asm 2: popcnt c_all=%r9 popcnt %r9, %r9 # qhasm: b64 = mem64[ buf_ptr + 0 ] # asm 1: movq 0(b64=int64#7 # asm 2: movq 0(b64=%rax movq 0(%rcx),%rax # qhasm: c = count(b64) # asm 1: popcnt c=int64#7 # asm 2: popcnt c=%rax popcnt %rax, %rax # qhasm: c_all ^= c # asm 1: xor b64=int64#7 # asm 2: movq 8(b64=%rax movq 8(%rcx),%rax # qhasm: c = count(b64) # asm 1: popcnt c=int64#7 # asm 2: popcnt c=%rax popcnt %rax, %rax # qhasm: c_all ^= c # asm 1: xor addr=int64#7 # asm 2: mov addr=%rax mov %r8,%rax # qhasm: (uint64) addr >>= 3 # asm 1: shr $3,synd=int64#8 # asm 2: movzbq 0(synd=%r10 movzbq 0(%rax),%r10 # qhasm: synd <<= 1 # asm 1: shl $1,ss=reg128#1 # asm 2: movdqu 0(ss=%xmm0 movdqu 0(%rdi),%xmm0 # qhasm: ee = mem128[ input_2 + 0 ] # asm 1: movdqu 0(ee=reg128#2 # asm 2: movdqu 0(ee=%xmm1 movdqu 0(%rdx),%xmm1 # qhasm: ss ^= ee # asm 1: pxor ss=reg128#1 # asm 2: movdqu 16(ss=%xmm0 movdqu 16(%rdi),%xmm0 # qhasm: ee = mem128[ input_2 + 16 ] # asm 1: movdqu 16(ee=reg128#2 # asm 2: movdqu 16(ee=%xmm1 movdqu 16(%rdx),%xmm1 # qhasm: ss ^= ee # asm 1: pxor ss=reg128#1 # asm 2: movdqu 32(ss=%xmm0 movdqu 32(%rdi),%xmm0 # qhasm: ee = mem128[ input_2 + 32 ] # asm 1: movdqu 32(ee=reg128#2 # asm 2: movdqu 32(ee=%xmm1 movdqu 32(%rdx),%xmm1 # qhasm: ss ^= ee # asm 1: pxor ss=reg128#1 # asm 2: movdqu 48(ss=%xmm0 movdqu 48(%rdi),%xmm0 # qhasm: ee = mem128[ input_2 + 48 ] # asm 1: movdqu 48(ee=reg128#2 # asm 2: movdqu 48(ee=%xmm1 movdqu 48(%rdx),%xmm1 # qhasm: ss ^= ee # asm 1: pxor ss=reg128#1 # asm 2: movdqu 64(ss=%xmm0 movdqu 64(%rdi),%xmm0 # qhasm: ee = mem128[ input_2 + 64 ] # asm 1: movdqu 64(ee=reg128#2 # asm 2: movdqu 64(ee=%xmm1 movdqu 64(%rdx),%xmm1 # qhasm: ss ^= ee # asm 1: pxor ss=reg128#1 # asm 2: movdqu 80(ss=%xmm0 movdqu 80(%rdi),%xmm0 # qhasm: ee = mem128[ input_2 + 80 ] # asm 1: movdqu 80(ee=reg128#2 # asm 2: movdqu 80(ee=%xmm1 movdqu 80(%rdx),%xmm1 # qhasm: ss ^= ee # asm 1: pxor ss=reg128#1 # asm 2: movdqu 96(ss=%xmm0 movdqu 96(%rdi),%xmm0 # qhasm: ee = mem128[ input_2 + 96 ] # asm 1: movdqu 96(ee=reg128#2 # asm 2: movdqu 96(ee=%xmm1 movdqu 96(%rdx),%xmm1 # qhasm: ss ^= ee # asm 1: pxor ss=reg128#1 # asm 2: movdqu 112(ss=%xmm0 movdqu 112(%rdi),%xmm0 # qhasm: ee = mem128[ input_2 + 112 ] # asm 1: movdqu 112(ee=reg128#2 # asm 2: movdqu 112(ee=%xmm1 movdqu 112(%rdx),%xmm1 # qhasm: ss ^= ee # asm 1: pxor ss=reg128#1 # asm 2: movdqu 128(ss=%xmm0 movdqu 128(%rdi),%xmm0 # qhasm: ee = mem128[ input_2 + 128 ] # asm 1: movdqu 128(ee=reg128#2 # asm 2: movdqu 128(ee=%xmm1 movdqu 128(%rdx),%xmm1 # qhasm: ss ^= ee # asm 1: pxor ss=reg128#1 # asm 2: movdqu 144(ss=%xmm0 movdqu 144(%rdi),%xmm0 # qhasm: ee = mem128[ input_2 + 144 ] # asm 1: movdqu 144(ee=reg128#2 # asm 2: movdqu 144(ee=%xmm1 movdqu 144(%rdx),%xmm1 # qhasm: ss ^= ee # asm 1: pxor ss=reg128#1 # asm 2: movdqu 160(ss=%xmm0 movdqu 160(%rdi),%xmm0 # qhasm: ee = mem128[ input_2 + 160 ] # asm 1: movdqu 160(ee=reg128#2 # asm 2: movdqu 160(ee=%xmm1 movdqu 160(%rdx),%xmm1 # qhasm: ss ^= ee # asm 1: pxor ss=reg128#1 # asm 2: movdqu 176(ss=%xmm0 movdqu 176(%rdi),%xmm0 # qhasm: ee = mem128[ input_2 + 176 ] # asm 1: movdqu 176(ee=reg128#2 # asm 2: movdqu 176(ee=%xmm1 movdqu 176(%rdx),%xmm1 # qhasm: ss ^= ee # asm 1: pxor ss=reg128#1 # asm 2: movdqu 192(ss=%xmm0 movdqu 192(%rdi),%xmm0 # qhasm: ee = mem128[ input_2 + 192 ] # asm 1: movdqu 192(ee=reg128#2 # asm 2: movdqu 192(ee=%xmm1 movdqu 192(%rdx),%xmm1 # qhasm: ss ^= ee # asm 1: pxor