-rw-r--r-- 2365 libmceliece-20240513/crypto_kem/460896/avx/update_asm.q raw
int64 s0
int64 s1
int64 s2
enter update_asm
s2 = input_1
s0 = mem64[ input_0 + 0 ]
s1 = mem64[ input_0 + 8 ]
s0 = (s1 s0) >> 1
s1 = (s2 s1) >> 1
(uint64) s2 >>= 1
mem64[ input_0 + 0 ] = s0
mem64[ input_0 + 8 ] = s1
input_0 += input_2
s0 = mem64[ input_0 + 0 ]
s1 = mem64[ input_0 + 8 ]
s0 = (s1 s0) >> 1
s1 = (s2 s1) >> 1
(uint64) s2 >>= 1
mem64[ input_0 + 0 ] = s0
mem64[ input_0 + 8 ] = s1
input_0 += input_2
s0 = mem64[ input_0 + 0 ]
s1 = mem64[ input_0 + 8 ]
s0 = (s1 s0) >> 1
s1 = (s2 s1) >> 1
(uint64) s2 >>= 1
mem64[ input_0 + 0 ] = s0
mem64[ input_0 + 8 ] = s1
input_0 += input_2
s0 = mem64[ input_0 + 0 ]
s1 = mem64[ input_0 + 8 ]
s0 = (s1 s0) >> 1
s1 = (s2 s1) >> 1
(uint64) s2 >>= 1
mem64[ input_0 + 0 ] = s0
mem64[ input_0 + 8 ] = s1
input_0 += input_2
s0 = mem64[ input_0 + 0 ]
s1 = mem64[ input_0 + 8 ]
s0 = (s1 s0) >> 1
s1 = (s2 s1) >> 1
(uint64) s2 >>= 1
mem64[ input_0 + 0 ] = s0
mem64[ input_0 + 8 ] = s1
input_0 += input_2
s0 = mem64[ input_0 + 0 ]
s1 = mem64[ input_0 + 8 ]
s0 = (s1 s0) >> 1
s1 = (s2 s1) >> 1
(uint64) s2 >>= 1
mem64[ input_0 + 0 ] = s0
mem64[ input_0 + 8 ] = s1
input_0 += input_2
s0 = mem64[ input_0 + 0 ]
s1 = mem64[ input_0 + 8 ]
s0 = (s1 s0) >> 1
s1 = (s2 s1) >> 1
(uint64) s2 >>= 1
mem64[ input_0 + 0 ] = s0
mem64[ input_0 + 8 ] = s1
input_0 += input_2
s0 = mem64[ input_0 + 0 ]
s1 = mem64[ input_0 + 8 ]
s0 = (s1 s0) >> 1
s1 = (s2 s1) >> 1
(uint64) s2 >>= 1
mem64[ input_0 + 0 ] = s0
mem64[ input_0 + 8 ] = s1
input_0 += input_2
s0 = mem64[ input_0 + 0 ]
s1 = mem64[ input_0 + 8 ]
s0 = (s1 s0) >> 1
s1 = (s2 s1) >> 1
(uint64) s2 >>= 1
mem64[ input_0 + 0 ] = s0
mem64[ input_0 + 8 ] = s1
input_0 += input_2
s0 = mem64[ input_0 + 0 ]
s1 = mem64[ input_0 + 8 ]
s0 = (s1 s0) >> 1
s1 = (s2 s1) >> 1
(uint64) s2 >>= 1
mem64[ input_0 + 0 ] = s0
mem64[ input_0 + 8 ] = s1
input_0 += input_2
s0 = mem64[ input_0 + 0 ]
s1 = mem64[ input_0 + 8 ]
s0 = (s1 s0) >> 1
s1 = (s2 s1) >> 1
(uint64) s2 >>= 1
mem64[ input_0 + 0 ] = s0
mem64[ input_0 + 8 ] = s1
input_0 += input_2
s0 = mem64[ input_0 + 0 ]
s1 = mem64[ input_0 + 8 ]
s0 = (s1 s0) >> 1
s1 = (s2 s1) >> 1
(uint64) s2 >>= 1
mem64[ input_0 + 0 ] = s0
mem64[ input_0 + 8 ] = s1
input_0 += input_2
s0 = mem64[ input_0 + 0 ]
s1 = mem64[ input_0 + 8 ]
s0 = (s1 s0) >> 1
s1 = (s2 s1) >> 1
(uint64) s2 >>= 1
mem64[ input_0 + 0 ] = s0
mem64[ input_0 + 8 ] = s1
input_0 += input_2
return