# 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_MCELIECE348864_SSE_syndrome_asm .global PQCLEAN_MCELIECE348864_SSE_syndrome_asm _PQCLEAN_MCELIECE348864_SSE_syndrome_asm: PQCLEAN_MCELIECE348864_SSE_syndrome_asm: mov %rsp,%r11 and $31,%r11 add $32,%r11 sub %r11,%rsp # qhasm: input_1 += 260780 # asm 1: add $260780,buf_ptr=int64#4 # asm 2: leaq buf_ptr=%rcx leaq 0(%rsp),%rcx # qhasm: row = 768 # asm 1: mov $768,>row=int64#5 # asm 2: mov $768,>row=%r8 mov $768,%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 + 96 ] # asm 1: movdqu 96(ee=reg128#2 # asm 2: movdqu 96(ee=%xmm1 movdqu 96(%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 + 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 32(pp=%xmm1 movdqu 32(%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 48(pp=%xmm1 movdqu 48(%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 64(pp=%xmm1 movdqu 64(%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 80(pp=%xmm1 movdqu 80(%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 96(pp=%xmm1 movdqu 96(%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 112(pp=%xmm1 movdqu 112(%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 128(pp=%xmm1 movdqu 128(%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 144(pp=%xmm1 movdqu 144(%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 160(pp=%xmm1 movdqu 160(%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 176(pp=%xmm1 movdqu 176(%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 192(pp=%xmm1 movdqu 192(%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 208(pp=%xmm1 movdqu 208(%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 224(pp=%xmm1 movdqu 224(%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 240(pp=%xmm1 movdqu 240(%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 256(pp=%xmm1 movdqu 256(%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 272(pp=%xmm1 movdqu 272(%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 288(pp=%xmm1 movdqu 288(%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 304(pp=%xmm1 movdqu 304(%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 320(pp=%xmm1 movdqu 320(%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 buf=stack128#1 # asm 2: movdqa buf=0(%rsp) movdqa %xmm0,0(%rsp) # qhasm: s = *(uint32 *)(input_1 + 336) # asm 1: movl 336(s=int64#6d # asm 2: movl 336(s=%r9d movl 336(%rsi),%r9d # qhasm: e = *(uint32 *)(input_2 + 432) # asm 1: movl 432(e=int64#7d # asm 2: movl 432(e=%eax movl 432(%rdx),%eax # qhasm: s &= 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