# 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: reg128 pp # qhasm: reg128 ee # qhasm: reg128 ss # qhasm: int64 b0 # qhasm: int64 b1 # qhasm: int64 i # qhasm: int64 p # qhasm: int64 e # qhasm: int64 s # qhasm: int64 tmp # qhasm: stack64 back # qhasm: int64 buf_ptr # qhasm: stack128 buf # qhasm: enter syndrome_asm .p2align 5 .global _PQCLEAN_MCELIECE6960119_SSE_syndrome_asm .global PQCLEAN_MCELIECE6960119_SSE_syndrome_asm _PQCLEAN_MCELIECE6960119_SSE_syndrome_asm: PQCLEAN_MCELIECE6960119_SSE_syndrome_asm: mov %rsp,%r11 and $31,%r11 add $64,%r11 sub %r11,%rsp # qhasm: input_2 += 193 # asm 1: add $193,tmp=int64#4 # asm 2: movzbq 0(tmp=%rcx movzbq 0(%rdx),%rcx # qhasm: back = tmp # asm 1: movq back=stack64#1 # asm 2: movq back=32(%rsp) movq %rcx,32(%rsp) # qhasm: i = 0 # asm 1: mov $0,>i=int64#4 # asm 2: mov $0,>i=%rcx mov $0,%rcx # qhasm: inner1: ._inner1: # qhasm: addr = input_2 + i # asm 1: lea (addr=int64#5 # asm 2: lea (addr=%r8 lea (%rdx,%rcx),%r8 # qhasm: b0 = *(uint8 *) (addr + 0) # asm 1: movzbq 0(b0=int64#6 # asm 2: movzbq 0(b0=%r9 movzbq 0(%r8),%r9 # qhasm: b1 = *(uint8 *) (addr + 1) # asm 1: movzbq 1(b1=int64#7 # asm 2: movzbq 1(b1=%rax movzbq 1(%r8),%rax # qhasm: (uint64) b0 >>= 3 # asm 1: shr $3,b0=int64#4 # asm 2: movzbq 1(b0=%rcx movzbq 1(%r8),%rcx # qhasm: (uint64) b0 >>= 3 # asm 1: shr $3,buf_ptr=int64#4 # asm 2: leaq buf_ptr=%rcx leaq 0(%rsp),%rcx # qhasm: row = 1547 # asm 1: mov $1547,>row=int64#5 # asm 2: mov $1547,>row=%r8 mov $1547,%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 + 0 ] # asm 1: movdqu 0(ee=reg128#2 # asm 2: movdqu 0(ee=%xmm1 movdqu 0(%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 + 16 ] # asm 1: movdqu 16(ee=reg128#3 # asm 2: movdqu 16(ee=%xmm2 movdqu 16(%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 + 32 ] # asm 1: movdqu 32(ee=reg128#3 # asm 2: movdqu 32(ee=%xmm2 movdqu 32(%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 + 48 ] # asm 1: movdqu 48(ee=reg128#3 # asm 2: movdqu 48(ee=%xmm2 movdqu 48(%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 + 64 ] # asm 1: movdqu 64(ee=reg128#3 # asm 2: movdqu 64(ee=%xmm2 movdqu 64(%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 + 80 ] # asm 1: movdqu 80(ee=reg128#3 # asm 2: movdqu 80(ee=%xmm2 movdqu 80(%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 + 96 ] # asm 1: movdqu 96(ee=reg128#3 # asm 2: movdqu 96(ee=%xmm2 movdqu 96(%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 + 112 ] # asm 1: movdqu 112(ee=reg128#3 # asm 2: movdqu 112(ee=%xmm2 movdqu 112(%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 + 128 ] # asm 1: movdqu 128(ee=reg128#3 # asm 2: movdqu 128(ee=%xmm2 movdqu 128(%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 + 144 ] # asm 1: movdqu 144(ee=reg128#3 # asm 2: movdqu 144(ee=%xmm2 movdqu 144(%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 + 160 ] # asm 1: movdqu 160(ee=reg128#3 # asm 2: movdqu 160(ee=%xmm2 movdqu 160(%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 + 176 ] # asm 1: movdqu 176(ee=reg128#3 # asm 2: movdqu 176(ee=%xmm2 movdqu 176(%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 + 192 ] # asm 1: movdqu 192(ee=reg128#3 # asm 2: movdqu 192(ee=%xmm2 movdqu 192(%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 + 208 ] # asm 1: movdqu 208(ee=reg128#3 # asm 2: movdqu 208(ee=%xmm2 movdqu 208(%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 + 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 240(pp=%xmm1 movdqu 240(%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 256(pp=%xmm1 movdqu 256(%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 272(pp=%xmm1 movdqu 272(%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 288(pp=%xmm1 movdqu 288(%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 304(pp=%xmm1 movdqu 304(%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 320(pp=%xmm1 movdqu 320(%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 336(pp=%xmm1 movdqu 336(%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 352(pp=%xmm1 movdqu 352(%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 368(pp=%xmm1 movdqu 368(%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 384(pp=%xmm1 movdqu 384(%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 400(pp=%xmm1 movdqu 400(%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 416(pp=%xmm1 movdqu 416(%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 432(pp=%xmm1 movdqu 432(%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 448(pp=%xmm1 movdqu 448(%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 464(pp=%xmm1 movdqu 464(%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 480(pp=%xmm1 movdqu 480(%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 496(pp=%xmm1 movdqu 496(%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 512(pp=%xmm1 movdqu 512(%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 528(pp=%xmm1 movdqu 528(%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 544(pp=%xmm1 movdqu 544(%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 560(pp=%xmm1 movdqu 560(%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 576(pp=%xmm1 movdqu 576(%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 592(pp=%xmm1 movdqu 592(%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 608(pp=%xmm1 movdqu 608(%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 624(pp=%xmm1 movdqu 624(%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 640(pp=%xmm1 movdqu 640(%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 656(pp=%xmm1 movdqu 656(%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 buf=stack128#1 # asm 2: movdqa buf=0(%rsp) movdqa %xmm0,0(%rsp) # qhasm: s = *(uint32 *) (input_1 + 672) # asm 1: movl 672(s=int64#6d # asm 2: movl 672(s=%r9d movl 672(%rsi),%r9d # qhasm: e = *(uint32 *) (input_2 + 672) # asm 1: movl 672(e=int64#7d # asm 2: movl 672(e=%eax movl 672(%rdx),%eax # qhasm: s &= e # asm 1: and p=int64#7 # asm 2: movzbq 676(p=%rax movzbq 676(%rsi),%rax # qhasm: e = *(uint8 *) (input_2 + 676) # asm 1: movzbq 676(e=int64#8 # asm 2: movzbq 676(e=%r10 movzbq 676(%rdx),%r10 # 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,i=int64#2 # asm 2: mov $676,>i=%rsi mov $676,%rsi # qhasm: inner2: ._inner2: # qhasm: i -= 1 # asm 1: sub $1,addr=int64#4 # asm 2: lea (addr=%rcx lea (%rdx,%rsi),%rcx # qhasm: b0 = *(uint8 *) (addr + 0) # asm 1: movzbq 0(b0=int64#5 # asm 2: movzbq 0(b0=%r8 movzbq 0(%rcx),%r8 # qhasm: b1 = *(uint8 *) (addr + 1) # asm 1: movzbq 1(b1=int64#6 # asm 2: movzbq 1(b1=%r9 movzbq 1(%rcx),%r9 # qhasm: (uint64) b0 >>= 5 # asm 1: shr $5,tmp=int64#2 # asm 2: movq tmp=%rsi movq 32(%rsp),%rsi # qhasm: *(uint8 *) (input_2 + 0) = tmp # asm 1: movb i=int64#2 # asm 2: mov $0,>i=%rsi mov $0,%rsi # qhasm: inner3: ._inner3: # qhasm: s = *(uint8 *) (input_0 + 0) # asm 1: movzbq 0(s=int64#4 # asm 2: movzbq 0(s=%rcx movzbq 0(%rdi),%rcx # qhasm: e = *(uint8 *) (input_2 + 0) # asm 1: movzbq 0(e=int64#5 # asm 2: movzbq 0(e=%r8 movzbq 0(%rdx),%r8 # qhasm: s ^= e # asm 1: xor s=int64#2 # asm 2: movzbq 0(s=%rsi movzbq 0(%rdi),%rsi # qhasm: e = *(uint8 *) (input_2 + 0) # asm 1: movzbq 0(e=int64#3 # asm 2: movzbq 0(e=%rdx movzbq 0(%rdx),%rdx # qhasm: (uint32) e &= 7 # asm 1: and $7,