# 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 s0

# qhasm: int64 s1

# qhasm: int64 s2

# qhasm: enter update_asm
.p2align 5
.global _PQCLEAN_MCELIECE6688128_SSE_update_asm
.global PQCLEAN_MCELIECE6688128_SSE_update_asm
_PQCLEAN_MCELIECE6688128_SSE_update_asm:
PQCLEAN_MCELIECE6688128_SSE_update_asm:
mov %rsp,%r11
and $31,%r11
add $0,%r11
sub %r11,%rsp

# qhasm: s2 = input_1
# asm 1: mov  <input_1=int64#2,>s2=int64#2
# asm 2: mov  <input_1=%rsi,>s2=%rsi
mov  %rsi,%rsi

# qhasm: s0 = mem64[ input_0 + 0 ]
# asm 1: movq   0(<input_0=int64#1),>s0=int64#3
# asm 2: movq   0(<input_0=%rdi),>s0=%rdx
movq   0(%rdi),%rdx

# qhasm: s1 = mem64[ input_0 + 8 ]
# asm 1: movq   8(<input_0=int64#1),>s1=int64#4
# asm 2: movq   8(<input_0=%rdi),>s1=%rcx
movq   8(%rdi),%rcx

# qhasm: s0 = (s1 s0) >> 1
# asm 1: shrd $1,<s1=int64#4,<s0=int64#3
# asm 2: shrd $1,<s1=%rcx,<s0=%rdx
shrd $1,%rcx,%rdx

# qhasm: s1 = (s2 s1) >> 1
# asm 1: shrd $1,<s2=int64#2,<s1=int64#4
# asm 2: shrd $1,<s2=%rsi,<s1=%rcx
shrd $1,%rsi,%rcx

# qhasm: (uint64) s2 >>= 1
# asm 1: shr  $1,<s2=int64#2
# asm 2: shr  $1,<s2=%rsi
shr  $1,%rsi

# qhasm: mem64[ input_0 + 0 ] = s0
# asm 1: movq   <s0=int64#3,0(<input_0=int64#1)
# asm 2: movq   <s0=%rdx,0(<input_0=%rdi)
movq   %rdx,0(%rdi)

# qhasm: mem64[ input_0 + 8 ] = s1
# asm 1: movq   <s1=int64#4,8(<input_0=int64#1)
# asm 2: movq   <s1=%rcx,8(<input_0=%rdi)
movq   %rcx,8(%rdi)

# qhasm: s0 = mem64[ input_0 + 16 ]
# asm 1: movq   16(<input_0=int64#1),>s0=int64#3
# asm 2: movq   16(<input_0=%rdi),>s0=%rdx
movq   16(%rdi),%rdx

# qhasm: s1 = mem64[ input_0 + 24 ]
# asm 1: movq   24(<input_0=int64#1),>s1=int64#4
# asm 2: movq   24(<input_0=%rdi),>s1=%rcx
movq   24(%rdi),%rcx

# qhasm: s0 = (s1 s0) >> 1
# asm 1: shrd $1,<s1=int64#4,<s0=int64#3
# asm 2: shrd $1,<s1=%rcx,<s0=%rdx
shrd $1,%rcx,%rdx

# qhasm: s1 = (s2 s1) >> 1
# asm 1: shrd $1,<s2=int64#2,<s1=int64#4
# asm 2: shrd $1,<s2=%rsi,<s1=%rcx
shrd $1,%rsi,%rcx

# qhasm: (uint64) s2 >>= 1
# asm 1: shr  $1,<s2=int64#2
# asm 2: shr  $1,<s2=%rsi
shr  $1,%rsi

# qhasm: mem64[ input_0 + 16 ] = s0
# asm 1: movq   <s0=int64#3,16(<input_0=int64#1)
# asm 2: movq   <s0=%rdx,16(<input_0=%rdi)
movq   %rdx,16(%rdi)

# qhasm: mem64[ input_0 + 24 ] = s1
# asm 1: movq   <s1=int64#4,24(<input_0=int64#1)
# asm 2: movq   <s1=%rcx,24(<input_0=%rdi)
movq   %rcx,24(%rdi)

# qhasm: s0 = mem64[ input_0 + 32 ]
# asm 1: movq   32(<input_0=int64#1),>s0=int64#3
# asm 2: movq   32(<input_0=%rdi),>s0=%rdx
movq   32(%rdi),%rdx

# qhasm: s1 = mem64[ input_0 + 40 ]
# asm 1: movq   40(<input_0=int64#1),>s1=int64#4
# asm 2: movq   40(<input_0=%rdi),>s1=%rcx
movq   40(%rdi),%rcx

# qhasm: s0 = (s1 s0) >> 1
# asm 1: shrd $1,<s1=int64#4,<s0=int64#3
# asm 2: shrd $1,<s1=%rcx,<s0=%rdx
shrd $1,%rcx,%rdx

# qhasm: s1 = (s2 s1) >> 1
# asm 1: shrd $1,<s2=int64#2,<s1=int64#4
# asm 2: shrd $1,<s2=%rsi,<s1=%rcx
shrd $1,%rsi,%rcx

# qhasm: (uint64) s2 >>= 1
# asm 1: shr  $1,<s2=int64#2
# asm 2: shr  $1,<s2=%rsi
shr  $1,%rsi

# qhasm: mem64[ input_0 + 32 ] = s0
# asm 1: movq   <s0=int64#3,32(<input_0=int64#1)
# asm 2: movq   <s0=%rdx,32(<input_0=%rdi)
movq   %rdx,32(%rdi)

# qhasm: mem64[ input_0 + 40 ] = s1
# asm 1: movq   <s1=int64#4,40(<input_0=int64#1)
# asm 2: movq   <s1=%rcx,40(<input_0=%rdi)
movq   %rcx,40(%rdi)

# qhasm: s0 = mem64[ input_0 + 48 ]
# asm 1: movq   48(<input_0=int64#1),>s0=int64#3
# asm 2: movq   48(<input_0=%rdi),>s0=%rdx
movq   48(%rdi),%rdx

# qhasm: s1 = mem64[ input_0 + 56 ]
# asm 1: movq   56(<input_0=int64#1),>s1=int64#4
# asm 2: movq   56(<input_0=%rdi),>s1=%rcx
movq   56(%rdi),%rcx

# qhasm: s0 = (s1 s0) >> 1
# asm 1: shrd $1,<s1=int64#4,<s0=int64#3
# asm 2: shrd $1,<s1=%rcx,<s0=%rdx
shrd $1,%rcx,%rdx

# qhasm: s1 = (s2 s1) >> 1
# asm 1: shrd $1,<s2=int64#2,<s1=int64#4
# asm 2: shrd $1,<s2=%rsi,<s1=%rcx
shrd $1,%rsi,%rcx

# qhasm: (uint64) s2 >>= 1
# asm 1: shr  $1,<s2=int64#2
# asm 2: shr  $1,<s2=%rsi
shr  $1,%rsi

# qhasm: mem64[ input_0 + 48 ] = s0
# asm 1: movq   <s0=int64#3,48(<input_0=int64#1)
# asm 2: movq   <s0=%rdx,48(<input_0=%rdi)
movq   %rdx,48(%rdi)

# qhasm: mem64[ input_0 + 56 ] = s1
# asm 1: movq   <s1=int64#4,56(<input_0=int64#1)
# asm 2: movq   <s1=%rcx,56(<input_0=%rdi)
movq   %rcx,56(%rdi)

# qhasm: s0 = mem64[ input_0 + 64 ]
# asm 1: movq   64(<input_0=int64#1),>s0=int64#3
# asm 2: movq   64(<input_0=%rdi),>s0=%rdx
movq   64(%rdi),%rdx

# qhasm: s1 = mem64[ input_0 + 72 ]
# asm 1: movq   72(<input_0=int64#1),>s1=int64#4
# asm 2: movq   72(<input_0=%rdi),>s1=%rcx
movq   72(%rdi),%rcx

# qhasm: s0 = (s1 s0) >> 1
# asm 1: shrd $1,<s1=int64#4,<s0=int64#3
# asm 2: shrd $1,<s1=%rcx,<s0=%rdx
shrd $1,%rcx,%rdx

# qhasm: s1 = (s2 s1) >> 1
# asm 1: shrd $1,<s2=int64#2,<s1=int64#4
# asm 2: shrd $1,<s2=%rsi,<s1=%rcx
shrd $1,%rsi,%rcx

# qhasm: (uint64) s2 >>= 1
# asm 1: shr  $1,<s2=int64#2
# asm 2: shr  $1,<s2=%rsi
shr  $1,%rsi

# qhasm: mem64[ input_0 + 64 ] = s0
# asm 1: movq   <s0=int64#3,64(<input_0=int64#1)
# asm 2: movq   <s0=%rdx,64(<input_0=%rdi)
movq   %rdx,64(%rdi)

# qhasm: mem64[ input_0 + 72 ] = s1
# asm 1: movq   <s1=int64#4,72(<input_0=int64#1)
# asm 2: movq   <s1=%rcx,72(<input_0=%rdi)
movq   %rcx,72(%rdi)

# qhasm: s0 = mem64[ input_0 + 80 ]
# asm 1: movq   80(<input_0=int64#1),>s0=int64#3
# asm 2: movq   80(<input_0=%rdi),>s0=%rdx
movq   80(%rdi),%rdx

# qhasm: s1 = mem64[ input_0 + 88 ]
# asm 1: movq   88(<input_0=int64#1),>s1=int64#4
# asm 2: movq   88(<input_0=%rdi),>s1=%rcx
movq   88(%rdi),%rcx

# qhasm: s0 = (s1 s0) >> 1
# asm 1: shrd $1,<s1=int64#4,<s0=int64#3
# asm 2: shrd $1,<s1=%rcx,<s0=%rdx
shrd $1,%rcx,%rdx

# qhasm: s1 = (s2 s1) >> 1
# asm 1: shrd $1,<s2=int64#2,<s1=int64#4
# asm 2: shrd $1,<s2=%rsi,<s1=%rcx
shrd $1,%rsi,%rcx

# qhasm: (uint64) s2 >>= 1
# asm 1: shr  $1,<s2=int64#2
# asm 2: shr  $1,<s2=%rsi
shr  $1,%rsi

# qhasm: mem64[ input_0 + 80 ] = s0
# asm 1: movq   <s0=int64#3,80(<input_0=int64#1)
# asm 2: movq   <s0=%rdx,80(<input_0=%rdi)
movq   %rdx,80(%rdi)

# qhasm: mem64[ input_0 + 88 ] = s1
# asm 1: movq   <s1=int64#4,88(<input_0=int64#1)
# asm 2: movq   <s1=%rcx,88(<input_0=%rdi)
movq   %rcx,88(%rdi)

# qhasm: s0 = mem64[ input_0 + 96 ]
# asm 1: movq   96(<input_0=int64#1),>s0=int64#3
# asm 2: movq   96(<input_0=%rdi),>s0=%rdx
movq   96(%rdi),%rdx

# qhasm: s1 = mem64[ input_0 + 104 ]
# asm 1: movq   104(<input_0=int64#1),>s1=int64#4
# asm 2: movq   104(<input_0=%rdi),>s1=%rcx
movq   104(%rdi),%rcx

# qhasm: s0 = (s1 s0) >> 1
# asm 1: shrd $1,<s1=int64#4,<s0=int64#3
# asm 2: shrd $1,<s1=%rcx,<s0=%rdx
shrd $1,%rcx,%rdx

# qhasm: s1 = (s2 s1) >> 1
# asm 1: shrd $1,<s2=int64#2,<s1=int64#4
# asm 2: shrd $1,<s2=%rsi,<s1=%rcx
shrd $1,%rsi,%rcx

# qhasm: (uint64) s2 >>= 1
# asm 1: shr  $1,<s2=int64#2
# asm 2: shr  $1,<s2=%rsi
shr  $1,%rsi

# qhasm: mem64[ input_0 + 96 ] = s0
# asm 1: movq   <s0=int64#3,96(<input_0=int64#1)
# asm 2: movq   <s0=%rdx,96(<input_0=%rdi)
movq   %rdx,96(%rdi)

# qhasm: mem64[ input_0 + 104 ] = s1
# asm 1: movq   <s1=int64#4,104(<input_0=int64#1)
# asm 2: movq   <s1=%rcx,104(<input_0=%rdi)
movq   %rcx,104(%rdi)

# qhasm: s0 = mem64[ input_0 + 112 ]
# asm 1: movq   112(<input_0=int64#1),>s0=int64#3
# asm 2: movq   112(<input_0=%rdi),>s0=%rdx
movq   112(%rdi),%rdx

# qhasm: s1 = mem64[ input_0 + 120 ]
# asm 1: movq   120(<input_0=int64#1),>s1=int64#4
# asm 2: movq   120(<input_0=%rdi),>s1=%rcx
movq   120(%rdi),%rcx

# qhasm: s0 = (s1 s0) >> 1
# asm 1: shrd $1,<s1=int64#4,<s0=int64#3
# asm 2: shrd $1,<s1=%rcx,<s0=%rdx
shrd $1,%rcx,%rdx

# qhasm: s1 = (s2 s1) >> 1
# asm 1: shrd $1,<s2=int64#2,<s1=int64#4
# asm 2: shrd $1,<s2=%rsi,<s1=%rcx
shrd $1,%rsi,%rcx

# qhasm: (uint64) s2 >>= 1
# asm 1: shr  $1,<s2=int64#2
# asm 2: shr  $1,<s2=%rsi
shr  $1,%rsi

# qhasm: mem64[ input_0 + 112 ] = s0
# asm 1: movq   <s0=int64#3,112(<input_0=int64#1)
# asm 2: movq   <s0=%rdx,112(<input_0=%rdi)
movq   %rdx,112(%rdi)

# qhasm: mem64[ input_0 + 120 ] = s1
# asm 1: movq   <s1=int64#4,120(<input_0=int64#1)
# asm 2: movq   <s1=%rcx,120(<input_0=%rdi)
movq   %rcx,120(%rdi)

# qhasm: s0 = mem64[ input_0 + 128 ]
# asm 1: movq   128(<input_0=int64#1),>s0=int64#3
# asm 2: movq   128(<input_0=%rdi),>s0=%rdx
movq   128(%rdi),%rdx

# qhasm: s1 = mem64[ input_0 + 136 ]
# asm 1: movq   136(<input_0=int64#1),>s1=int64#4
# asm 2: movq   136(<input_0=%rdi),>s1=%rcx
movq   136(%rdi),%rcx

# qhasm: s0 = (s1 s0) >> 1
# asm 1: shrd $1,<s1=int64#4,<s0=int64#3
# asm 2: shrd $1,<s1=%rcx,<s0=%rdx
shrd $1,%rcx,%rdx

# qhasm: s1 = (s2 s1) >> 1
# asm 1: shrd $1,<s2=int64#2,<s1=int64#4
# asm 2: shrd $1,<s2=%rsi,<s1=%rcx
shrd $1,%rsi,%rcx

# qhasm: (uint64) s2 >>= 1
# asm 1: shr  $1,<s2=int64#2
# asm 2: shr  $1,<s2=%rsi
shr  $1,%rsi

# qhasm: mem64[ input_0 + 128 ] = s0
# asm 1: movq   <s0=int64#3,128(<input_0=int64#1)
# asm 2: movq   <s0=%rdx,128(<input_0=%rdi)
movq   %rdx,128(%rdi)

# qhasm: mem64[ input_0 + 136 ] = s1
# asm 1: movq   <s1=int64#4,136(<input_0=int64#1)
# asm 2: movq   <s1=%rcx,136(<input_0=%rdi)
movq   %rcx,136(%rdi)

# qhasm: s0 = mem64[ input_0 + 144 ]
# asm 1: movq   144(<input_0=int64#1),>s0=int64#3
# asm 2: movq   144(<input_0=%rdi),>s0=%rdx
movq   144(%rdi),%rdx

# qhasm: s1 = mem64[ input_0 + 152 ]
# asm 1: movq   152(<input_0=int64#1),>s1=int64#4
# asm 2: movq   152(<input_0=%rdi),>s1=%rcx
movq   152(%rdi),%rcx

# qhasm: s0 = (s1 s0) >> 1
# asm 1: shrd $1,<s1=int64#4,<s0=int64#3
# asm 2: shrd $1,<s1=%rcx,<s0=%rdx
shrd $1,%rcx,%rdx

# qhasm: s1 = (s2 s1) >> 1
# asm 1: shrd $1,<s2=int64#2,<s1=int64#4
# asm 2: shrd $1,<s2=%rsi,<s1=%rcx
shrd $1,%rsi,%rcx

# qhasm: (uint64) s2 >>= 1
# asm 1: shr  $1,<s2=int64#2
# asm 2: shr  $1,<s2=%rsi
shr  $1,%rsi

# qhasm: mem64[ input_0 + 144 ] = s0
# asm 1: movq   <s0=int64#3,144(<input_0=int64#1)
# asm 2: movq   <s0=%rdx,144(<input_0=%rdi)
movq   %rdx,144(%rdi)

# qhasm: mem64[ input_0 + 152 ] = s1
# asm 1: movq   <s1=int64#4,152(<input_0=int64#1)
# asm 2: movq   <s1=%rcx,152(<input_0=%rdi)
movq   %rcx,152(%rdi)

# qhasm: s0 = mem64[ input_0 + 160 ]
# asm 1: movq   160(<input_0=int64#1),>s0=int64#3
# asm 2: movq   160(<input_0=%rdi),>s0=%rdx
movq   160(%rdi),%rdx

# qhasm: s1 = mem64[ input_0 + 168 ]
# asm 1: movq   168(<input_0=int64#1),>s1=int64#4
# asm 2: movq   168(<input_0=%rdi),>s1=%rcx
movq   168(%rdi),%rcx

# qhasm: s0 = (s1 s0) >> 1
# asm 1: shrd $1,<s1=int64#4,<s0=int64#3
# asm 2: shrd $1,<s1=%rcx,<s0=%rdx
shrd $1,%rcx,%rdx

# qhasm: s1 = (s2 s1) >> 1
# asm 1: shrd $1,<s2=int64#2,<s1=int64#4
# asm 2: shrd $1,<s2=%rsi,<s1=%rcx
shrd $1,%rsi,%rcx

# qhasm: (uint64) s2 >>= 1
# asm 1: shr  $1,<s2=int64#2
# asm 2: shr  $1,<s2=%rsi
shr  $1,%rsi

# qhasm: mem64[ input_0 + 160 ] = s0
# asm 1: movq   <s0=int64#3,160(<input_0=int64#1)
# asm 2: movq   <s0=%rdx,160(<input_0=%rdi)
movq   %rdx,160(%rdi)

# qhasm: mem64[ input_0 + 168 ] = s1
# asm 1: movq   <s1=int64#4,168(<input_0=int64#1)
# asm 2: movq   <s1=%rcx,168(<input_0=%rdi)
movq   %rcx,168(%rdi)

# qhasm: s0 = mem64[ input_0 + 176 ]
# asm 1: movq   176(<input_0=int64#1),>s0=int64#3
# asm 2: movq   176(<input_0=%rdi),>s0=%rdx
movq   176(%rdi),%rdx

# qhasm: s1 = mem64[ input_0 + 184 ]
# asm 1: movq   184(<input_0=int64#1),>s1=int64#4
# asm 2: movq   184(<input_0=%rdi),>s1=%rcx
movq   184(%rdi),%rcx

# qhasm: s0 = (s1 s0) >> 1
# asm 1: shrd $1,<s1=int64#4,<s0=int64#3
# asm 2: shrd $1,<s1=%rcx,<s0=%rdx
shrd $1,%rcx,%rdx

# qhasm: s1 = (s2 s1) >> 1
# asm 1: shrd $1,<s2=int64#2,<s1=int64#4
# asm 2: shrd $1,<s2=%rsi,<s1=%rcx
shrd $1,%rsi,%rcx

# qhasm: (uint64) s2 >>= 1
# asm 1: shr  $1,<s2=int64#2
# asm 2: shr  $1,<s2=%rsi
shr  $1,%rsi

# qhasm: mem64[ input_0 + 176 ] = s0
# asm 1: movq   <s0=int64#3,176(<input_0=int64#1)
# asm 2: movq   <s0=%rdx,176(<input_0=%rdi)
movq   %rdx,176(%rdi)

# qhasm: mem64[ input_0 + 184 ] = s1
# asm 1: movq   <s1=int64#4,184(<input_0=int64#1)
# asm 2: movq   <s1=%rcx,184(<input_0=%rdi)
movq   %rcx,184(%rdi)

# qhasm: s0 = mem64[ input_0 + 192 ]
# asm 1: movq   192(<input_0=int64#1),>s0=int64#3
# asm 2: movq   192(<input_0=%rdi),>s0=%rdx
movq   192(%rdi),%rdx

# qhasm: s1 = mem64[ input_0 + 200 ]
# asm 1: movq   200(<input_0=int64#1),>s1=int64#4
# asm 2: movq   200(<input_0=%rdi),>s1=%rcx
movq   200(%rdi),%rcx

# qhasm: s0 = (s1 s0) >> 1
# asm 1: shrd $1,<s1=int64#4,<s0=int64#3
# asm 2: shrd $1,<s1=%rcx,<s0=%rdx
shrd $1,%rcx,%rdx

# qhasm: s1 = (s2 s1) >> 1
# asm 1: shrd $1,<s2=int64#2,<s1=int64#4
# asm 2: shrd $1,<s2=%rsi,<s1=%rcx
shrd $1,%rsi,%rcx

# qhasm: (uint64) s2 >>= 1
# asm 1: shr  $1,<s2=int64#2
# asm 2: shr  $1,<s2=%rsi
shr  $1,%rsi

# qhasm: mem64[ input_0 + 192 ] = s0
# asm 1: movq   <s0=int64#3,192(<input_0=int64#1)
# asm 2: movq   <s0=%rdx,192(<input_0=%rdi)
movq   %rdx,192(%rdi)

# qhasm: mem64[ input_0 + 200 ] = s1
# asm 1: movq   <s1=int64#4,200(<input_0=int64#1)
# asm 2: movq   <s1=%rcx,200(<input_0=%rdi)
movq   %rcx,200(%rdi)

# qhasm: return
add %r11,%rsp
ret