-rw-r--r-- 51231 lib25519-20230630/crypto_nG/merged25519/amd64-51/choose_t.S raw
#include "crypto_asm_hidden.h"
// linker define choose_t
// linker use 2P0
// linker use 2P1234
# qhasm: int64 tp
# qhasm: int64 pos
# qhasm: int64 b
# qhasm: int64 basep
# qhasm: input tp
# qhasm: input pos
# qhasm: input b
# qhasm: input basep
# qhasm: int64 mask
# qhasm: int64 u
# qhasm: int64 tysubx0
# qhasm: int64 tysubx1
# qhasm: int64 tysubx2
# qhasm: int64 tysubx3
# qhasm: int64 tysubx4
# qhasm: int64 txaddy0
# qhasm: int64 txaddy1
# qhasm: int64 txaddy2
# qhasm: int64 txaddy3
# qhasm: int64 txaddy4
# qhasm: int64 tt2d0
# qhasm: int64 tt2d1
# qhasm: int64 tt2d2
# qhasm: int64 tt2d3
# qhasm: int64 tt2d4
# qhasm: int64 tt0
# qhasm: int64 tt1
# qhasm: int64 tt2
# qhasm: int64 tt3
# qhasm: int64 tt4
# qhasm: int64 t
# qhasm: stack64 tp_stack
# qhasm: int64 caller1
# qhasm: int64 caller2
# qhasm: int64 caller3
# qhasm: int64 caller4
# qhasm: int64 caller5
# qhasm: int64 caller6
# qhasm: int64 caller7
# qhasm: caller caller1
# qhasm: caller caller2
# qhasm: caller caller3
# qhasm: caller caller4
# qhasm: caller caller5
# qhasm: caller caller6
# qhasm: caller caller7
# qhasm: stack64 caller1_stack
# qhasm: stack64 caller2_stack
# qhasm: stack64 caller3_stack
# qhasm: stack64 caller4_stack
# qhasm: stack64 caller5_stack
# qhasm: stack64 caller6_stack
# qhasm: stack64 caller7_stack
# qhasm: enter CRYPTO_SHARED_NAMESPACE(choose_t)
.text
.p2align 5
ASM_HIDDEN _CRYPTO_SHARED_NAMESPACE(choose_t)
.globl _CRYPTO_SHARED_NAMESPACE(choose_t)
ASM_HIDDEN CRYPTO_SHARED_NAMESPACE(choose_t)
.globl CRYPTO_SHARED_NAMESPACE(choose_t)
_CRYPTO_SHARED_NAMESPACE(choose_t):
CRYPTO_SHARED_NAMESPACE(choose_t):
mov %rsp,%r11
and $31,%r11
add $64,%r11
sub %r11,%rsp
# qhasm: caller1_stack = caller1
# asm 1: movq <caller1=int64#9,>caller1_stack=stack64#1
# asm 2: movq <caller1=%r11,>caller1_stack=0(%rsp)
movq %r11,0(%rsp)
# qhasm: caller2_stack = caller2
# asm 1: movq <caller2=int64#10,>caller2_stack=stack64#2
# asm 2: movq <caller2=%r12,>caller2_stack=8(%rsp)
movq %r12,8(%rsp)
# qhasm: caller3_stack = caller3
# asm 1: movq <caller3=int64#11,>caller3_stack=stack64#3
# asm 2: movq <caller3=%r13,>caller3_stack=16(%rsp)
movq %r13,16(%rsp)
# qhasm: caller4_stack = caller4
# asm 1: movq <caller4=int64#12,>caller4_stack=stack64#4
# asm 2: movq <caller4=%r14,>caller4_stack=24(%rsp)
movq %r14,24(%rsp)
# qhasm: caller5_stack = caller5
# asm 1: movq <caller5=int64#13,>caller5_stack=stack64#5
# asm 2: movq <caller5=%r15,>caller5_stack=32(%rsp)
movq %r15,32(%rsp)
# qhasm: caller6_stack = caller6
# asm 1: movq <caller6=int64#14,>caller6_stack=stack64#6
# asm 2: movq <caller6=%rbx,>caller6_stack=40(%rsp)
movq %rbx,40(%rsp)
# qhasm: caller7_stack = caller7
# asm 1: movq <caller7=int64#15,>caller7_stack=stack64#7
# asm 2: movq <caller7=%rbp,>caller7_stack=48(%rsp)
movq %rbp,48(%rsp)
# qhasm: tp_stack = tp
# asm 1: movq <tp=int64#1,>tp_stack=stack64#8
# asm 2: movq <tp=%rdi,>tp_stack=56(%rsp)
movq %rdi,56(%rsp)
# qhasm: pos *= 960
# asm 1: imulq $960,<pos=int64#2,>pos=int64#1
# asm 2: imulq $960,<pos=%rsi,>pos=%rdi
imulq $960,%rsi,%rdi
# qhasm: mask = b
# asm 1: mov <b=int64#3,>mask=int64#2
# asm 2: mov <b=%rdx,>mask=%rsi
mov %rdx,%rsi
# qhasm: (int64) mask >>= 7
# asm 1: sar $7,<mask=int64#2
# asm 2: sar $7,<mask=%rsi
sar $7,%rsi
# qhasm: u = b
# asm 1: mov <b=int64#3,>u=int64#5
# asm 2: mov <b=%rdx,>u=%r8
mov %rdx,%r8
# qhasm: u += mask
# asm 1: add <mask=int64#2,<u=int64#5
# asm 2: add <mask=%rsi,<u=%r8
add %rsi,%r8
# qhasm: u ^= mask
# asm 1: xor <mask=int64#2,<u=int64#5
# asm 2: xor <mask=%rsi,<u=%r8
xor %rsi,%r8
# qhasm: tysubx0 = 1
# asm 1: mov $1,>tysubx0=int64#2
# asm 2: mov $1,>tysubx0=%rsi
mov $1,%rsi
# qhasm: tysubx1 = 0
# asm 1: mov $0,>tysubx1=int64#6
# asm 2: mov $0,>tysubx1=%r9
mov $0,%r9
# qhasm: tysubx2 = 0
# asm 1: mov $0,>tysubx2=int64#7
# asm 2: mov $0,>tysubx2=%rax
mov $0,%rax
# qhasm: tysubx3 = 0
# asm 1: mov $0,>tysubx3=int64#8
# asm 2: mov $0,>tysubx3=%r10
mov $0,%r10
# qhasm: tysubx4 = 0
# asm 1: mov $0,>tysubx4=int64#9
# asm 2: mov $0,>tysubx4=%r11
mov $0,%r11
# qhasm: txaddy0 = 1
# asm 1: mov $1,>txaddy0=int64#10
# asm 2: mov $1,>txaddy0=%r12
mov $1,%r12
# qhasm: txaddy1 = 0
# asm 1: mov $0,>txaddy1=int64#11
# asm 2: mov $0,>txaddy1=%r13
mov $0,%r13
# qhasm: txaddy2 = 0
# asm 1: mov $0,>txaddy2=int64#12
# asm 2: mov $0,>txaddy2=%r14
mov $0,%r14
# qhasm: txaddy3 = 0
# asm 1: mov $0,>txaddy3=int64#13
# asm 2: mov $0,>txaddy3=%r15
mov $0,%r15
# qhasm: txaddy4 = 0
# asm 1: mov $0,>txaddy4=int64#14
# asm 2: mov $0,>txaddy4=%rbx
mov $0,%rbx
# qhasm: =? u - 1
# asm 1: cmp $1,<u=int64#5
# asm 2: cmp $1,<u=%r8
cmp $1,%r8
# qhasm: t = *(uint64 *)(basep + 0 + pos)
# asm 1: movq 0(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 0(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 0(%rcx,%rdi),%rbp
# qhasm: tysubx0 = t if =
# asm 1: cmove <t=int64#15,<tysubx0=int64#2
# asm 2: cmove <t=%rbp,<tysubx0=%rsi
cmove %rbp,%rsi
# qhasm: t = *(uint64 *)(basep + 8 + pos)
# asm 1: movq 8(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 8(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 8(%rcx,%rdi),%rbp
# qhasm: tysubx1 = t if =
# asm 1: cmove <t=int64#15,<tysubx1=int64#6
# asm 2: cmove <t=%rbp,<tysubx1=%r9
cmove %rbp,%r9
# qhasm: t = *(uint64 *)(basep + 16 + pos)
# asm 1: movq 16(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 16(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 16(%rcx,%rdi),%rbp
# qhasm: tysubx2 = t if =
# asm 1: cmove <t=int64#15,<tysubx2=int64#7
# asm 2: cmove <t=%rbp,<tysubx2=%rax
cmove %rbp,%rax
# qhasm: t = *(uint64 *)(basep + 24 + pos)
# asm 1: movq 24(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 24(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 24(%rcx,%rdi),%rbp
# qhasm: tysubx3 = t if =
# asm 1: cmove <t=int64#15,<tysubx3=int64#8
# asm 2: cmove <t=%rbp,<tysubx3=%r10
cmove %rbp,%r10
# qhasm: t = *(uint64 *)(basep + 32 + pos)
# asm 1: movq 32(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 32(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 32(%rcx,%rdi),%rbp
# qhasm: tysubx4 = t if =
# asm 1: cmove <t=int64#15,<tysubx4=int64#9
# asm 2: cmove <t=%rbp,<tysubx4=%r11
cmove %rbp,%r11
# qhasm: t = *(uint64 *)(basep + 40 + pos)
# asm 1: movq 40(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 40(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 40(%rcx,%rdi),%rbp
# qhasm: txaddy0 = t if =
# asm 1: cmove <t=int64#15,<txaddy0=int64#10
# asm 2: cmove <t=%rbp,<txaddy0=%r12
cmove %rbp,%r12
# qhasm: t = *(uint64 *)(basep + 48 + pos)
# asm 1: movq 48(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 48(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 48(%rcx,%rdi),%rbp
# qhasm: txaddy1 = t if =
# asm 1: cmove <t=int64#15,<txaddy1=int64#11
# asm 2: cmove <t=%rbp,<txaddy1=%r13
cmove %rbp,%r13
# qhasm: t = *(uint64 *)(basep + 56 + pos)
# asm 1: movq 56(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 56(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 56(%rcx,%rdi),%rbp
# qhasm: txaddy2 = t if =
# asm 1: cmove <t=int64#15,<txaddy2=int64#12
# asm 2: cmove <t=%rbp,<txaddy2=%r14
cmove %rbp,%r14
# qhasm: t = *(uint64 *)(basep + 64 + pos)
# asm 1: movq 64(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 64(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 64(%rcx,%rdi),%rbp
# qhasm: txaddy3 = t if =
# asm 1: cmove <t=int64#15,<txaddy3=int64#13
# asm 2: cmove <t=%rbp,<txaddy3=%r15
cmove %rbp,%r15
# qhasm: t = *(uint64 *)(basep + 72 + pos)
# asm 1: movq 72(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 72(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 72(%rcx,%rdi),%rbp
# qhasm: txaddy4 = t if =
# asm 1: cmove <t=int64#15,<txaddy4=int64#14
# asm 2: cmove <t=%rbp,<txaddy4=%rbx
cmove %rbp,%rbx
# qhasm: =? u - 2
# asm 1: cmp $2,<u=int64#5
# asm 2: cmp $2,<u=%r8
cmp $2,%r8
# qhasm: t = *(uint64 *)(basep + 120 + pos)
# asm 1: movq 120(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 120(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 120(%rcx,%rdi),%rbp
# qhasm: tysubx0 = t if =
# asm 1: cmove <t=int64#15,<tysubx0=int64#2
# asm 2: cmove <t=%rbp,<tysubx0=%rsi
cmove %rbp,%rsi
# qhasm: t = *(uint64 *)(basep + 128 + pos)
# asm 1: movq 128(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 128(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 128(%rcx,%rdi),%rbp
# qhasm: tysubx1 = t if =
# asm 1: cmove <t=int64#15,<tysubx1=int64#6
# asm 2: cmove <t=%rbp,<tysubx1=%r9
cmove %rbp,%r9
# qhasm: t = *(uint64 *)(basep + 136 + pos)
# asm 1: movq 136(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 136(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 136(%rcx,%rdi),%rbp
# qhasm: tysubx2 = t if =
# asm 1: cmove <t=int64#15,<tysubx2=int64#7
# asm 2: cmove <t=%rbp,<tysubx2=%rax
cmove %rbp,%rax
# qhasm: t = *(uint64 *)(basep + 144 + pos)
# asm 1: movq 144(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 144(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 144(%rcx,%rdi),%rbp
# qhasm: tysubx3 = t if =
# asm 1: cmove <t=int64#15,<tysubx3=int64#8
# asm 2: cmove <t=%rbp,<tysubx3=%r10
cmove %rbp,%r10
# qhasm: t = *(uint64 *)(basep + 152 + pos)
# asm 1: movq 152(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 152(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 152(%rcx,%rdi),%rbp
# qhasm: tysubx4 = t if =
# asm 1: cmove <t=int64#15,<tysubx4=int64#9
# asm 2: cmove <t=%rbp,<tysubx4=%r11
cmove %rbp,%r11
# qhasm: t = *(uint64 *)(basep + 160 + pos)
# asm 1: movq 160(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 160(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 160(%rcx,%rdi),%rbp
# qhasm: txaddy0 = t if =
# asm 1: cmove <t=int64#15,<txaddy0=int64#10
# asm 2: cmove <t=%rbp,<txaddy0=%r12
cmove %rbp,%r12
# qhasm: t = *(uint64 *)(basep + 168 + pos)
# asm 1: movq 168(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 168(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 168(%rcx,%rdi),%rbp
# qhasm: txaddy1 = t if =
# asm 1: cmove <t=int64#15,<txaddy1=int64#11
# asm 2: cmove <t=%rbp,<txaddy1=%r13
cmove %rbp,%r13
# qhasm: t = *(uint64 *)(basep + 176 + pos)
# asm 1: movq 176(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 176(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 176(%rcx,%rdi),%rbp
# qhasm: txaddy2 = t if =
# asm 1: cmove <t=int64#15,<txaddy2=int64#12
# asm 2: cmove <t=%rbp,<txaddy2=%r14
cmove %rbp,%r14
# qhasm: t = *(uint64 *)(basep + 184 + pos)
# asm 1: movq 184(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 184(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 184(%rcx,%rdi),%rbp
# qhasm: txaddy3 = t if =
# asm 1: cmove <t=int64#15,<txaddy3=int64#13
# asm 2: cmove <t=%rbp,<txaddy3=%r15
cmove %rbp,%r15
# qhasm: t = *(uint64 *)(basep + 192 + pos)
# asm 1: movq 192(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 192(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 192(%rcx,%rdi),%rbp
# qhasm: txaddy4 = t if =
# asm 1: cmove <t=int64#15,<txaddy4=int64#14
# asm 2: cmove <t=%rbp,<txaddy4=%rbx
cmove %rbp,%rbx
# qhasm: =? u - 3
# asm 1: cmp $3,<u=int64#5
# asm 2: cmp $3,<u=%r8
cmp $3,%r8
# qhasm: t = *(uint64 *)(basep + 240 + pos)
# asm 1: movq 240(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 240(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 240(%rcx,%rdi),%rbp
# qhasm: tysubx0 = t if =
# asm 1: cmove <t=int64#15,<tysubx0=int64#2
# asm 2: cmove <t=%rbp,<tysubx0=%rsi
cmove %rbp,%rsi
# qhasm: t = *(uint64 *)(basep + 248 + pos)
# asm 1: movq 248(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 248(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 248(%rcx,%rdi),%rbp
# qhasm: tysubx1 = t if =
# asm 1: cmove <t=int64#15,<tysubx1=int64#6
# asm 2: cmove <t=%rbp,<tysubx1=%r9
cmove %rbp,%r9
# qhasm: t = *(uint64 *)(basep + 256 + pos)
# asm 1: movq 256(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 256(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 256(%rcx,%rdi),%rbp
# qhasm: tysubx2 = t if =
# asm 1: cmove <t=int64#15,<tysubx2=int64#7
# asm 2: cmove <t=%rbp,<tysubx2=%rax
cmove %rbp,%rax
# qhasm: t = *(uint64 *)(basep + 264 + pos)
# asm 1: movq 264(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 264(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 264(%rcx,%rdi),%rbp
# qhasm: tysubx3 = t if =
# asm 1: cmove <t=int64#15,<tysubx3=int64#8
# asm 2: cmove <t=%rbp,<tysubx3=%r10
cmove %rbp,%r10
# qhasm: t = *(uint64 *)(basep + 272 + pos)
# asm 1: movq 272(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 272(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 272(%rcx,%rdi),%rbp
# qhasm: tysubx4 = t if =
# asm 1: cmove <t=int64#15,<tysubx4=int64#9
# asm 2: cmove <t=%rbp,<tysubx4=%r11
cmove %rbp,%r11
# qhasm: t = *(uint64 *)(basep + 280 + pos)
# asm 1: movq 280(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 280(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 280(%rcx,%rdi),%rbp
# qhasm: txaddy0 = t if =
# asm 1: cmove <t=int64#15,<txaddy0=int64#10
# asm 2: cmove <t=%rbp,<txaddy0=%r12
cmove %rbp,%r12
# qhasm: t = *(uint64 *)(basep + 288 + pos)
# asm 1: movq 288(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 288(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 288(%rcx,%rdi),%rbp
# qhasm: txaddy1 = t if =
# asm 1: cmove <t=int64#15,<txaddy1=int64#11
# asm 2: cmove <t=%rbp,<txaddy1=%r13
cmove %rbp,%r13
# qhasm: t = *(uint64 *)(basep + 296 + pos)
# asm 1: movq 296(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 296(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 296(%rcx,%rdi),%rbp
# qhasm: txaddy2 = t if =
# asm 1: cmove <t=int64#15,<txaddy2=int64#12
# asm 2: cmove <t=%rbp,<txaddy2=%r14
cmove %rbp,%r14
# qhasm: t = *(uint64 *)(basep + 304 + pos)
# asm 1: movq 304(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 304(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 304(%rcx,%rdi),%rbp
# qhasm: txaddy3 = t if =
# asm 1: cmove <t=int64#15,<txaddy3=int64#13
# asm 2: cmove <t=%rbp,<txaddy3=%r15
cmove %rbp,%r15
# qhasm: t = *(uint64 *)(basep + 312 + pos)
# asm 1: movq 312(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 312(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 312(%rcx,%rdi),%rbp
# qhasm: txaddy4 = t if =
# asm 1: cmove <t=int64#15,<txaddy4=int64#14
# asm 2: cmove <t=%rbp,<txaddy4=%rbx
cmove %rbp,%rbx
# qhasm: =? u - 4
# asm 1: cmp $4,<u=int64#5
# asm 2: cmp $4,<u=%r8
cmp $4,%r8
# qhasm: t = *(uint64 *)(basep + 360 + pos)
# asm 1: movq 360(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 360(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 360(%rcx,%rdi),%rbp
# qhasm: tysubx0 = t if =
# asm 1: cmove <t=int64#15,<tysubx0=int64#2
# asm 2: cmove <t=%rbp,<tysubx0=%rsi
cmove %rbp,%rsi
# qhasm: t = *(uint64 *)(basep + 368 + pos)
# asm 1: movq 368(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 368(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 368(%rcx,%rdi),%rbp
# qhasm: tysubx1 = t if =
# asm 1: cmove <t=int64#15,<tysubx1=int64#6
# asm 2: cmove <t=%rbp,<tysubx1=%r9
cmove %rbp,%r9
# qhasm: t = *(uint64 *)(basep + 376 + pos)
# asm 1: movq 376(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 376(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 376(%rcx,%rdi),%rbp
# qhasm: tysubx2 = t if =
# asm 1: cmove <t=int64#15,<tysubx2=int64#7
# asm 2: cmove <t=%rbp,<tysubx2=%rax
cmove %rbp,%rax
# qhasm: t = *(uint64 *)(basep + 384 + pos)
# asm 1: movq 384(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 384(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 384(%rcx,%rdi),%rbp
# qhasm: tysubx3 = t if =
# asm 1: cmove <t=int64#15,<tysubx3=int64#8
# asm 2: cmove <t=%rbp,<tysubx3=%r10
cmove %rbp,%r10
# qhasm: t = *(uint64 *)(basep + 392 + pos)
# asm 1: movq 392(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 392(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 392(%rcx,%rdi),%rbp
# qhasm: tysubx4 = t if =
# asm 1: cmove <t=int64#15,<tysubx4=int64#9
# asm 2: cmove <t=%rbp,<tysubx4=%r11
cmove %rbp,%r11
# qhasm: t = *(uint64 *)(basep + 400 + pos)
# asm 1: movq 400(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 400(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 400(%rcx,%rdi),%rbp
# qhasm: txaddy0 = t if =
# asm 1: cmove <t=int64#15,<txaddy0=int64#10
# asm 2: cmove <t=%rbp,<txaddy0=%r12
cmove %rbp,%r12
# qhasm: t = *(uint64 *)(basep + 408 + pos)
# asm 1: movq 408(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 408(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 408(%rcx,%rdi),%rbp
# qhasm: txaddy1 = t if =
# asm 1: cmove <t=int64#15,<txaddy1=int64#11
# asm 2: cmove <t=%rbp,<txaddy1=%r13
cmove %rbp,%r13
# qhasm: t = *(uint64 *)(basep + 416 + pos)
# asm 1: movq 416(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 416(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 416(%rcx,%rdi),%rbp
# qhasm: txaddy2 = t if =
# asm 1: cmove <t=int64#15,<txaddy2=int64#12
# asm 2: cmove <t=%rbp,<txaddy2=%r14
cmove %rbp,%r14
# qhasm: t = *(uint64 *)(basep + 424 + pos)
# asm 1: movq 424(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 424(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 424(%rcx,%rdi),%rbp
# qhasm: txaddy3 = t if =
# asm 1: cmove <t=int64#15,<txaddy3=int64#13
# asm 2: cmove <t=%rbp,<txaddy3=%r15
cmove %rbp,%r15
# qhasm: t = *(uint64 *)(basep + 432 + pos)
# asm 1: movq 432(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 432(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 432(%rcx,%rdi),%rbp
# qhasm: txaddy4 = t if =
# asm 1: cmove <t=int64#15,<txaddy4=int64#14
# asm 2: cmove <t=%rbp,<txaddy4=%rbx
cmove %rbp,%rbx
# qhasm: =? u - 5
# asm 1: cmp $5,<u=int64#5
# asm 2: cmp $5,<u=%r8
cmp $5,%r8
# qhasm: t = *(uint64 *)(basep + 480 + pos)
# asm 1: movq 480(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 480(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 480(%rcx,%rdi),%rbp
# qhasm: tysubx0 = t if =
# asm 1: cmove <t=int64#15,<tysubx0=int64#2
# asm 2: cmove <t=%rbp,<tysubx0=%rsi
cmove %rbp,%rsi
# qhasm: t = *(uint64 *)(basep + 488 + pos)
# asm 1: movq 488(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 488(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 488(%rcx,%rdi),%rbp
# qhasm: tysubx1 = t if =
# asm 1: cmove <t=int64#15,<tysubx1=int64#6
# asm 2: cmove <t=%rbp,<tysubx1=%r9
cmove %rbp,%r9
# qhasm: t = *(uint64 *)(basep + 496 + pos)
# asm 1: movq 496(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 496(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 496(%rcx,%rdi),%rbp
# qhasm: tysubx2 = t if =
# asm 1: cmove <t=int64#15,<tysubx2=int64#7
# asm 2: cmove <t=%rbp,<tysubx2=%rax
cmove %rbp,%rax
# qhasm: t = *(uint64 *)(basep + 504 + pos)
# asm 1: movq 504(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 504(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 504(%rcx,%rdi),%rbp
# qhasm: tysubx3 = t if =
# asm 1: cmove <t=int64#15,<tysubx3=int64#8
# asm 2: cmove <t=%rbp,<tysubx3=%r10
cmove %rbp,%r10
# qhasm: t = *(uint64 *)(basep + 512 + pos)
# asm 1: movq 512(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 512(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 512(%rcx,%rdi),%rbp
# qhasm: tysubx4 = t if =
# asm 1: cmove <t=int64#15,<tysubx4=int64#9
# asm 2: cmove <t=%rbp,<tysubx4=%r11
cmove %rbp,%r11
# qhasm: t = *(uint64 *)(basep + 520 + pos)
# asm 1: movq 520(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 520(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 520(%rcx,%rdi),%rbp
# qhasm: txaddy0 = t if =
# asm 1: cmove <t=int64#15,<txaddy0=int64#10
# asm 2: cmove <t=%rbp,<txaddy0=%r12
cmove %rbp,%r12
# qhasm: t = *(uint64 *)(basep + 528 + pos)
# asm 1: movq 528(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 528(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 528(%rcx,%rdi),%rbp
# qhasm: txaddy1 = t if =
# asm 1: cmove <t=int64#15,<txaddy1=int64#11
# asm 2: cmove <t=%rbp,<txaddy1=%r13
cmove %rbp,%r13
# qhasm: t = *(uint64 *)(basep + 536 + pos)
# asm 1: movq 536(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 536(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 536(%rcx,%rdi),%rbp
# qhasm: txaddy2 = t if =
# asm 1: cmove <t=int64#15,<txaddy2=int64#12
# asm 2: cmove <t=%rbp,<txaddy2=%r14
cmove %rbp,%r14
# qhasm: t = *(uint64 *)(basep + 544 + pos)
# asm 1: movq 544(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 544(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 544(%rcx,%rdi),%rbp
# qhasm: txaddy3 = t if =
# asm 1: cmove <t=int64#15,<txaddy3=int64#13
# asm 2: cmove <t=%rbp,<txaddy3=%r15
cmove %rbp,%r15
# qhasm: t = *(uint64 *)(basep + 552 + pos)
# asm 1: movq 552(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 552(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 552(%rcx,%rdi),%rbp
# qhasm: txaddy4 = t if =
# asm 1: cmove <t=int64#15,<txaddy4=int64#14
# asm 2: cmove <t=%rbp,<txaddy4=%rbx
cmove %rbp,%rbx
# qhasm: =? u - 6
# asm 1: cmp $6,<u=int64#5
# asm 2: cmp $6,<u=%r8
cmp $6,%r8
# qhasm: t = *(uint64 *)(basep + 600 + pos)
# asm 1: movq 600(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 600(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 600(%rcx,%rdi),%rbp
# qhasm: tysubx0 = t if =
# asm 1: cmove <t=int64#15,<tysubx0=int64#2
# asm 2: cmove <t=%rbp,<tysubx0=%rsi
cmove %rbp,%rsi
# qhasm: t = *(uint64 *)(basep + 608 + pos)
# asm 1: movq 608(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 608(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 608(%rcx,%rdi),%rbp
# qhasm: tysubx1 = t if =
# asm 1: cmove <t=int64#15,<tysubx1=int64#6
# asm 2: cmove <t=%rbp,<tysubx1=%r9
cmove %rbp,%r9
# qhasm: t = *(uint64 *)(basep + 616 + pos)
# asm 1: movq 616(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 616(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 616(%rcx,%rdi),%rbp
# qhasm: tysubx2 = t if =
# asm 1: cmove <t=int64#15,<tysubx2=int64#7
# asm 2: cmove <t=%rbp,<tysubx2=%rax
cmove %rbp,%rax
# qhasm: t = *(uint64 *)(basep + 624 + pos)
# asm 1: movq 624(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 624(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 624(%rcx,%rdi),%rbp
# qhasm: tysubx3 = t if =
# asm 1: cmove <t=int64#15,<tysubx3=int64#8
# asm 2: cmove <t=%rbp,<tysubx3=%r10
cmove %rbp,%r10
# qhasm: t = *(uint64 *)(basep + 632 + pos)
# asm 1: movq 632(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 632(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 632(%rcx,%rdi),%rbp
# qhasm: tysubx4 = t if =
# asm 1: cmove <t=int64#15,<tysubx4=int64#9
# asm 2: cmove <t=%rbp,<tysubx4=%r11
cmove %rbp,%r11
# qhasm: t = *(uint64 *)(basep + 640 + pos)
# asm 1: movq 640(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 640(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 640(%rcx,%rdi),%rbp
# qhasm: txaddy0 = t if =
# asm 1: cmove <t=int64#15,<txaddy0=int64#10
# asm 2: cmove <t=%rbp,<txaddy0=%r12
cmove %rbp,%r12
# qhasm: t = *(uint64 *)(basep + 648 + pos)
# asm 1: movq 648(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 648(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 648(%rcx,%rdi),%rbp
# qhasm: txaddy1 = t if =
# asm 1: cmove <t=int64#15,<txaddy1=int64#11
# asm 2: cmove <t=%rbp,<txaddy1=%r13
cmove %rbp,%r13
# qhasm: t = *(uint64 *)(basep + 656 + pos)
# asm 1: movq 656(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 656(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 656(%rcx,%rdi),%rbp
# qhasm: txaddy2 = t if =
# asm 1: cmove <t=int64#15,<txaddy2=int64#12
# asm 2: cmove <t=%rbp,<txaddy2=%r14
cmove %rbp,%r14
# qhasm: t = *(uint64 *)(basep + 664 + pos)
# asm 1: movq 664(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 664(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 664(%rcx,%rdi),%rbp
# qhasm: txaddy3 = t if =
# asm 1: cmove <t=int64#15,<txaddy3=int64#13
# asm 2: cmove <t=%rbp,<txaddy3=%r15
cmove %rbp,%r15
# qhasm: t = *(uint64 *)(basep + 672 + pos)
# asm 1: movq 672(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 672(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 672(%rcx,%rdi),%rbp
# qhasm: txaddy4 = t if =
# asm 1: cmove <t=int64#15,<txaddy4=int64#14
# asm 2: cmove <t=%rbp,<txaddy4=%rbx
cmove %rbp,%rbx
# qhasm: =? u - 7
# asm 1: cmp $7,<u=int64#5
# asm 2: cmp $7,<u=%r8
cmp $7,%r8
# qhasm: t = *(uint64 *)(basep + 720 + pos)
# asm 1: movq 720(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 720(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 720(%rcx,%rdi),%rbp
# qhasm: tysubx0 = t if =
# asm 1: cmove <t=int64#15,<tysubx0=int64#2
# asm 2: cmove <t=%rbp,<tysubx0=%rsi
cmove %rbp,%rsi
# qhasm: t = *(uint64 *)(basep + 728 + pos)
# asm 1: movq 728(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 728(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 728(%rcx,%rdi),%rbp
# qhasm: tysubx1 = t if =
# asm 1: cmove <t=int64#15,<tysubx1=int64#6
# asm 2: cmove <t=%rbp,<tysubx1=%r9
cmove %rbp,%r9
# qhasm: t = *(uint64 *)(basep + 736 + pos)
# asm 1: movq 736(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 736(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 736(%rcx,%rdi),%rbp
# qhasm: tysubx2 = t if =
# asm 1: cmove <t=int64#15,<tysubx2=int64#7
# asm 2: cmove <t=%rbp,<tysubx2=%rax
cmove %rbp,%rax
# qhasm: t = *(uint64 *)(basep + 744 + pos)
# asm 1: movq 744(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 744(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 744(%rcx,%rdi),%rbp
# qhasm: tysubx3 = t if =
# asm 1: cmove <t=int64#15,<tysubx3=int64#8
# asm 2: cmove <t=%rbp,<tysubx3=%r10
cmove %rbp,%r10
# qhasm: t = *(uint64 *)(basep + 752 + pos)
# asm 1: movq 752(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 752(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 752(%rcx,%rdi),%rbp
# qhasm: tysubx4 = t if =
# asm 1: cmove <t=int64#15,<tysubx4=int64#9
# asm 2: cmove <t=%rbp,<tysubx4=%r11
cmove %rbp,%r11
# qhasm: t = *(uint64 *)(basep + 760 + pos)
# asm 1: movq 760(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 760(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 760(%rcx,%rdi),%rbp
# qhasm: txaddy0 = t if =
# asm 1: cmove <t=int64#15,<txaddy0=int64#10
# asm 2: cmove <t=%rbp,<txaddy0=%r12
cmove %rbp,%r12
# qhasm: t = *(uint64 *)(basep + 768 + pos)
# asm 1: movq 768(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 768(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 768(%rcx,%rdi),%rbp
# qhasm: txaddy1 = t if =
# asm 1: cmove <t=int64#15,<txaddy1=int64#11
# asm 2: cmove <t=%rbp,<txaddy1=%r13
cmove %rbp,%r13
# qhasm: t = *(uint64 *)(basep + 776 + pos)
# asm 1: movq 776(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 776(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 776(%rcx,%rdi),%rbp
# qhasm: txaddy2 = t if =
# asm 1: cmove <t=int64#15,<txaddy2=int64#12
# asm 2: cmove <t=%rbp,<txaddy2=%r14
cmove %rbp,%r14
# qhasm: t = *(uint64 *)(basep + 784 + pos)
# asm 1: movq 784(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 784(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 784(%rcx,%rdi),%rbp
# qhasm: txaddy3 = t if =
# asm 1: cmove <t=int64#15,<txaddy3=int64#13
# asm 2: cmove <t=%rbp,<txaddy3=%r15
cmove %rbp,%r15
# qhasm: t = *(uint64 *)(basep + 792 + pos)
# asm 1: movq 792(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 792(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 792(%rcx,%rdi),%rbp
# qhasm: txaddy4 = t if =
# asm 1: cmove <t=int64#15,<txaddy4=int64#14
# asm 2: cmove <t=%rbp,<txaddy4=%rbx
cmove %rbp,%rbx
# qhasm: =? u - 8
# asm 1: cmp $8,<u=int64#5
# asm 2: cmp $8,<u=%r8
cmp $8,%r8
# qhasm: t = *(uint64 *)(basep + 840 + pos)
# asm 1: movq 840(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 840(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 840(%rcx,%rdi),%rbp
# qhasm: tysubx0 = t if =
# asm 1: cmove <t=int64#15,<tysubx0=int64#2
# asm 2: cmove <t=%rbp,<tysubx0=%rsi
cmove %rbp,%rsi
# qhasm: t = *(uint64 *)(basep + 848 + pos)
# asm 1: movq 848(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 848(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 848(%rcx,%rdi),%rbp
# qhasm: tysubx1 = t if =
# asm 1: cmove <t=int64#15,<tysubx1=int64#6
# asm 2: cmove <t=%rbp,<tysubx1=%r9
cmove %rbp,%r9
# qhasm: t = *(uint64 *)(basep + 856 + pos)
# asm 1: movq 856(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 856(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 856(%rcx,%rdi),%rbp
# qhasm: tysubx2 = t if =
# asm 1: cmove <t=int64#15,<tysubx2=int64#7
# asm 2: cmove <t=%rbp,<tysubx2=%rax
cmove %rbp,%rax
# qhasm: t = *(uint64 *)(basep + 864 + pos)
# asm 1: movq 864(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 864(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 864(%rcx,%rdi),%rbp
# qhasm: tysubx3 = t if =
# asm 1: cmove <t=int64#15,<tysubx3=int64#8
# asm 2: cmove <t=%rbp,<tysubx3=%r10
cmove %rbp,%r10
# qhasm: t = *(uint64 *)(basep + 872 + pos)
# asm 1: movq 872(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 872(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 872(%rcx,%rdi),%rbp
# qhasm: tysubx4 = t if =
# asm 1: cmove <t=int64#15,<tysubx4=int64#9
# asm 2: cmove <t=%rbp,<tysubx4=%r11
cmove %rbp,%r11
# qhasm: t = *(uint64 *)(basep + 880 + pos)
# asm 1: movq 880(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 880(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 880(%rcx,%rdi),%rbp
# qhasm: txaddy0 = t if =
# asm 1: cmove <t=int64#15,<txaddy0=int64#10
# asm 2: cmove <t=%rbp,<txaddy0=%r12
cmove %rbp,%r12
# qhasm: t = *(uint64 *)(basep + 888 + pos)
# asm 1: movq 888(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 888(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 888(%rcx,%rdi),%rbp
# qhasm: txaddy1 = t if =
# asm 1: cmove <t=int64#15,<txaddy1=int64#11
# asm 2: cmove <t=%rbp,<txaddy1=%r13
cmove %rbp,%r13
# qhasm: t = *(uint64 *)(basep + 896 + pos)
# asm 1: movq 896(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 896(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 896(%rcx,%rdi),%rbp
# qhasm: txaddy2 = t if =
# asm 1: cmove <t=int64#15,<txaddy2=int64#12
# asm 2: cmove <t=%rbp,<txaddy2=%r14
cmove %rbp,%r14
# qhasm: t = *(uint64 *)(basep + 904 + pos)
# asm 1: movq 904(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 904(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 904(%rcx,%rdi),%rbp
# qhasm: txaddy3 = t if =
# asm 1: cmove <t=int64#15,<txaddy3=int64#13
# asm 2: cmove <t=%rbp,<txaddy3=%r15
cmove %rbp,%r15
# qhasm: t = *(uint64 *)(basep + 912 + pos)
# asm 1: movq 912(<basep=int64#4,<pos=int64#1),>t=int64#15
# asm 2: movq 912(<basep=%rcx,<pos=%rdi),>t=%rbp
movq 912(%rcx,%rdi),%rbp
# qhasm: txaddy4 = t if =
# asm 1: cmove <t=int64#15,<txaddy4=int64#14
# asm 2: cmove <t=%rbp,<txaddy4=%rbx
cmove %rbp,%rbx
# qhasm: signed<? b - 0
# asm 1: cmp $0,<b=int64#3
# asm 2: cmp $0,<b=%rdx
cmp $0,%rdx
# qhasm: t = tysubx0
# asm 1: mov <tysubx0=int64#2,>t=int64#15
# asm 2: mov <tysubx0=%rsi,>t=%rbp
mov %rsi,%rbp
# qhasm: tysubx0 = txaddy0 if signed<
# asm 1: cmovl <txaddy0=int64#10,<tysubx0=int64#2
# asm 2: cmovl <txaddy0=%r12,<tysubx0=%rsi
cmovl %r12,%rsi
# qhasm: txaddy0 = t if signed<
# asm 1: cmovl <t=int64#15,<txaddy0=int64#10
# asm 2: cmovl <t=%rbp,<txaddy0=%r12
cmovl %rbp,%r12
# qhasm: t = tysubx1
# asm 1: mov <tysubx1=int64#6,>t=int64#15
# asm 2: mov <tysubx1=%r9,>t=%rbp
mov %r9,%rbp
# qhasm: tysubx1 = txaddy1 if signed<
# asm 1: cmovl <txaddy1=int64#11,<tysubx1=int64#6
# asm 2: cmovl <txaddy1=%r13,<tysubx1=%r9
cmovl %r13,%r9
# qhasm: txaddy1 = t if signed<
# asm 1: cmovl <t=int64#15,<txaddy1=int64#11
# asm 2: cmovl <t=%rbp,<txaddy1=%r13
cmovl %rbp,%r13
# qhasm: t = tysubx2
# asm 1: mov <tysubx2=int64#7,>t=int64#15
# asm 2: mov <tysubx2=%rax,>t=%rbp
mov %rax,%rbp
# qhasm: tysubx2 = txaddy2 if signed<
# asm 1: cmovl <txaddy2=int64#12,<tysubx2=int64#7
# asm 2: cmovl <txaddy2=%r14,<tysubx2=%rax
cmovl %r14,%rax
# qhasm: txaddy2 = t if signed<
# asm 1: cmovl <t=int64#15,<txaddy2=int64#12
# asm 2: cmovl <t=%rbp,<txaddy2=%r14
cmovl %rbp,%r14
# qhasm: t = tysubx3
# asm 1: mov <tysubx3=int64#8,>t=int64#15
# asm 2: mov <tysubx3=%r10,>t=%rbp
mov %r10,%rbp
# qhasm: tysubx3 = txaddy3 if signed<
# asm 1: cmovl <txaddy3=int64#13,<tysubx3=int64#8
# asm 2: cmovl <txaddy3=%r15,<tysubx3=%r10
cmovl %r15,%r10
# qhasm: txaddy3 = t if signed<
# asm 1: cmovl <t=int64#15,<txaddy3=int64#13
# asm 2: cmovl <t=%rbp,<txaddy3=%r15
cmovl %rbp,%r15
# qhasm: t = tysubx4
# asm 1: mov <tysubx4=int64#9,>t=int64#15
# asm 2: mov <tysubx4=%r11,>t=%rbp
mov %r11,%rbp
# qhasm: tysubx4 = txaddy4 if signed<
# asm 1: cmovl <txaddy4=int64#14,<tysubx4=int64#9
# asm 2: cmovl <txaddy4=%rbx,<tysubx4=%r11
cmovl %rbx,%r11
# qhasm: txaddy4 = t if signed<
# asm 1: cmovl <t=int64#15,<txaddy4=int64#14
# asm 2: cmovl <t=%rbp,<txaddy4=%rbx
cmovl %rbp,%rbx
# qhasm: tp = tp_stack
# asm 1: movq <tp_stack=stack64#8,>tp=int64#15
# asm 2: movq <tp_stack=56(%rsp),>tp=%rbp
movq 56(%rsp),%rbp
# qhasm: *(uint64 *)(tp + 0) = tysubx0
# asm 1: movq <tysubx0=int64#2,0(<tp=int64#15)
# asm 2: movq <tysubx0=%rsi,0(<tp=%rbp)
movq %rsi,0(%rbp)
# qhasm: *(uint64 *)(tp + 8) = tysubx1
# asm 1: movq <tysubx1=int64#6,8(<tp=int64#15)
# asm 2: movq <tysubx1=%r9,8(<tp=%rbp)
movq %r9,8(%rbp)
# qhasm: *(uint64 *)(tp + 16) = tysubx2
# asm 1: movq <tysubx2=int64#7,16(<tp=int64#15)
# asm 2: movq <tysubx2=%rax,16(<tp=%rbp)
movq %rax,16(%rbp)
# qhasm: *(uint64 *)(tp + 24) = tysubx3
# asm 1: movq <tysubx3=int64#8,24(<tp=int64#15)
# asm 2: movq <tysubx3=%r10,24(<tp=%rbp)
movq %r10,24(%rbp)
# qhasm: *(uint64 *)(tp + 32) = tysubx4
# asm 1: movq <tysubx4=int64#9,32(<tp=int64#15)
# asm 2: movq <tysubx4=%r11,32(<tp=%rbp)
movq %r11,32(%rbp)
# qhasm: *(uint64 *)(tp + 40) = txaddy0
# asm 1: movq <txaddy0=int64#10,40(<tp=int64#15)
# asm 2: movq <txaddy0=%r12,40(<tp=%rbp)
movq %r12,40(%rbp)
# qhasm: *(uint64 *)(tp + 48) = txaddy1
# asm 1: movq <txaddy1=int64#11,48(<tp=int64#15)
# asm 2: movq <txaddy1=%r13,48(<tp=%rbp)
movq %r13,48(%rbp)
# qhasm: *(uint64 *)(tp + 56) = txaddy2
# asm 1: movq <txaddy2=int64#12,56(<tp=int64#15)
# asm 2: movq <txaddy2=%r14,56(<tp=%rbp)
movq %r14,56(%rbp)
# qhasm: *(uint64 *)(tp + 64) = txaddy3
# asm 1: movq <txaddy3=int64#13,64(<tp=int64#15)
# asm 2: movq <txaddy3=%r15,64(<tp=%rbp)
movq %r15,64(%rbp)
# qhasm: *(uint64 *)(tp + 72) = txaddy4
# asm 1: movq <txaddy4=int64#14,72(<tp=int64#15)
# asm 2: movq <txaddy4=%rbx,72(<tp=%rbp)
movq %rbx,72(%rbp)
# qhasm: tt2d0 = 0
# asm 1: mov $0,>tt2d0=int64#2
# asm 2: mov $0,>tt2d0=%rsi
mov $0,%rsi
# qhasm: tt2d1 = 0
# asm 1: mov $0,>tt2d1=int64#6
# asm 2: mov $0,>tt2d1=%r9
mov $0,%r9
# qhasm: tt2d2 = 0
# asm 1: mov $0,>tt2d2=int64#7
# asm 2: mov $0,>tt2d2=%rax
mov $0,%rax
# qhasm: tt2d3 = 0
# asm 1: mov $0,>tt2d3=int64#8
# asm 2: mov $0,>tt2d3=%r10
mov $0,%r10
# qhasm: tt2d4 = 0
# asm 1: mov $0,>tt2d4=int64#9
# asm 2: mov $0,>tt2d4=%r11
mov $0,%r11
# qhasm: =? u - 1
# asm 1: cmp $1,<u=int64#5
# asm 2: cmp $1,<u=%r8
cmp $1,%r8
# qhasm: t = *(uint64 *)(basep + 80 + pos)
# asm 1: movq 80(<basep=int64#4,<pos=int64#1),>t=int64#10
# asm 2: movq 80(<basep=%rcx,<pos=%rdi),>t=%r12
movq 80(%rcx,%rdi),%r12
# qhasm: tt2d0 = t if =
# asm 1: cmove <t=int64#10,<tt2d0=int64#2
# asm 2: cmove <t=%r12,<tt2d0=%rsi
cmove %r12,%rsi
# qhasm: t = *(uint64 *)(basep + 88 + pos)
# asm 1: movq 88(<basep=int64#4,<pos=int64#1),>t=int64#10
# asm 2: movq 88(<basep=%rcx,<pos=%rdi),>t=%r12
movq 88(%rcx,%rdi),%r12
# qhasm: tt2d1 = t if =
# asm 1: cmove <t=int64#10,<tt2d1=int64#6
# asm 2: cmove <t=%r12,<tt2d1=%r9
cmove %r12,%r9
# qhasm: t = *(uint64 *)(basep + 96 + pos)
# asm 1: movq 96(<basep=int64#4,<pos=int64#1),>t=int64#10
# asm 2: movq 96(<basep=%rcx,<pos=%rdi),>t=%r12
movq 96(%rcx,%rdi),%r12
# qhasm: tt2d2 = t if =
# asm 1: cmove <t=int64#10,<tt2d2=int64#7
# asm 2: cmove <t=%r12,<tt2d2=%rax
cmove %r12,%rax
# qhasm: t = *(uint64 *)(basep + 104 + pos)
# asm 1: movq 104(<basep=int64#4,<pos=int64#1),>t=int64#10
# asm 2: movq 104(<basep=%rcx,<pos=%rdi),>t=%r12
movq 104(%rcx,%rdi),%r12
# qhasm: tt2d3 = t if =
# asm 1: cmove <t=int64#10,<tt2d3=int64#8
# asm 2: cmove <t=%r12,<tt2d3=%r10
cmove %r12,%r10
# qhasm: t = *(uint64 *)(basep + 112 + pos)
# asm 1: movq 112(<basep=int64#4,<pos=int64#1),>t=int64#10
# asm 2: movq 112(<basep=%rcx,<pos=%rdi),>t=%r12
movq 112(%rcx,%rdi),%r12
# qhasm: tt2d4 = t if =
# asm 1: cmove <t=int64#10,<tt2d4=int64#9
# asm 2: cmove <t=%r12,<tt2d4=%r11
cmove %r12,%r11
# qhasm: =? u - 2
# asm 1: cmp $2,<u=int64#5
# asm 2: cmp $2,<u=%r8
cmp $2,%r8
# qhasm: t = *(uint64 *)(basep + 200 + pos)
# asm 1: movq 200(<basep=int64#4,<pos=int64#1),>t=int64#10
# asm 2: movq 200(<basep=%rcx,<pos=%rdi),>t=%r12
movq 200(%rcx,%rdi),%r12
# qhasm: tt2d0 = t if =
# asm 1: cmove <t=int64#10,<tt2d0=int64#2
# asm 2: cmove <t=%r12,<tt2d0=%rsi
cmove %r12,%rsi
# qhasm: t = *(uint64 *)(basep + 208 + pos)
# asm 1: movq 208(<basep=int64#4,<pos=int64#1),>t=int64#10
# asm 2: movq 208(<basep=%rcx,<pos=%rdi),>t=%r12
movq 208(%rcx,%rdi),%r12
# qhasm: tt2d1 = t if =
# asm 1: cmove <t=int64#10,<tt2d1=int64#6
# asm 2: cmove <t=%r12,<tt2d1=%r9
cmove %r12,%r9
# qhasm: t = *(uint64 *)(basep + 216 + pos)
# asm 1: movq 216(<basep=int64#4,<pos=int64#1),>t=int64#10
# asm 2: movq 216(<basep=%rcx,<pos=%rdi),>t=%r12
movq 216(%rcx,%rdi),%r12
# qhasm: tt2d2 = t if =
# asm 1: cmove <t=int64#10,<tt2d2=int64#7
# asm 2: cmove <t=%r12,<tt2d2=%rax
cmove %r12,%rax
# qhasm: t = *(uint64 *)(basep + 224 + pos)
# asm 1: movq 224(<basep=int64#4,<pos=int64#1),>t=int64#10
# asm 2: movq 224(<basep=%rcx,<pos=%rdi),>t=%r12
movq 224(%rcx,%rdi),%r12
# qhasm: tt2d3 = t if =
# asm 1: cmove <t=int64#10,<tt2d3=int64#8
# asm 2: cmove <t=%r12,<tt2d3=%r10
cmove %r12,%r10
# qhasm: t = *(uint64 *)(basep + 232 + pos)
# asm 1: movq 232(<basep=int64#4,<pos=int64#1),>t=int64#10
# asm 2: movq 232(<basep=%rcx,<pos=%rdi),>t=%r12
movq 232(%rcx,%rdi),%r12
# qhasm: tt2d4 = t if =
# asm 1: cmove <t=int64#10,<tt2d4=int64#9
# asm 2: cmove <t=%r12,<tt2d4=%r11
cmove %r12,%r11
# qhasm: =? u - 3
# asm 1: cmp $3,<u=int64#5
# asm 2: cmp $3,<u=%r8
cmp $3,%r8
# qhasm: t = *(uint64 *)(basep + 320 + pos)
# asm 1: movq 320(<basep=int64#4,<pos=int64#1),>t=int64#10
# asm 2: movq 320(<basep=%rcx,<pos=%rdi),>t=%r12
movq 320(%rcx,%rdi),%r12
# qhasm: tt2d0 = t if =
# asm 1: cmove <t=int64#10,<tt2d0=int64#2
# asm 2: cmove <t=%r12,<tt2d0=%rsi
cmove %r12,%rsi
# qhasm: t = *(uint64 *)(basep + 328 + pos)
# asm 1: movq 328(<basep=int64#4,<pos=int64#1),>t=int64#10
# asm 2: movq 328(<basep=%rcx,<pos=%rdi),>t=%r12
movq 328(%rcx,%rdi),%r12
# qhasm: tt2d1 = t if =
# asm 1: cmove <t=int64#10,<tt2d1=int64#6
# asm 2: cmove <t=%r12,<tt2d1=%r9
cmove %r12,%r9
# qhasm: t = *(uint64 *)(basep + 336 + pos)
# asm 1: movq 336(<basep=int64#4,<pos=int64#1),>t=int64#10
# asm 2: movq 336(<basep=%rcx,<pos=%rdi),>t=%r12
movq 336(%rcx,%rdi),%r12
# qhasm: tt2d2 = t if =
# asm 1: cmove <t=int64#10,<tt2d2=int64#7
# asm 2: cmove <t=%r12,<tt2d2=%rax
cmove %r12,%rax
# qhasm: t = *(uint64 *)(basep + 344 + pos)
# asm 1: movq 344(<basep=int64#4,<pos=int64#1),>t=int64#10
# asm 2: movq 344(<basep=%rcx,<pos=%rdi),>t=%r12
movq 344(%rcx,%rdi),%r12
# qhasm: tt2d3 = t if =
# asm 1: cmove <t=int64#10,<tt2d3=int64#8
# asm 2: cmove <t=%r12,<tt2d3=%r10
cmove %r12,%r10
# qhasm: t = *(uint64 *)(basep + 352 + pos)
# asm 1: movq 352(<basep=int64#4,<pos=int64#1),>t=int64#10
# asm 2: movq 352(<basep=%rcx,<pos=%rdi),>t=%r12
movq 352(%rcx,%rdi),%r12
# qhasm: tt2d4 = t if =
# asm 1: cmove <t=int64#10,<tt2d4=int64#9
# asm 2: cmove <t=%r12,<tt2d4=%r11
cmove %r12,%r11
# qhasm: =? u - 4
# asm 1: cmp $4,<u=int64#5
# asm 2: cmp $4,<u=%r8
cmp $4,%r8
# qhasm: t = *(uint64 *)(basep + 440 + pos)
# asm 1: movq 440(<basep=int64#4,<pos=int64#1),>t=int64#10
# asm 2: movq 440(<basep=%rcx,<pos=%rdi),>t=%r12
movq 440(%rcx,%rdi),%r12
# qhasm: tt2d0 = t if =
# asm 1: cmove <t=int64#10,<tt2d0=int64#2
# asm 2: cmove <t=%r12,<tt2d0=%rsi
cmove %r12,%rsi
# qhasm: t = *(uint64 *)(basep + 448 + pos)
# asm 1: movq 448(<basep=int64#4,<pos=int64#1),>t=int64#10
# asm 2: movq 448(<basep=%rcx,<pos=%rdi),>t=%r12
movq 448(%rcx,%rdi),%r12
# qhasm: tt2d1 = t if =
# asm 1: cmove <t=int64#10,<tt2d1=int64#6
# asm 2: cmove <t=%r12,<tt2d1=%r9
cmove %r12,%r9
# qhasm: t = *(uint64 *)(basep + 456 + pos)
# asm 1: movq 456(<basep=int64#4,<pos=int64#1),>t=int64#10
# asm 2: movq 456(<basep=%rcx,<pos=%rdi),>t=%r12
movq 456(%rcx,%rdi),%r12
# qhasm: tt2d2 = t if =
# asm 1: cmove <t=int64#10,<tt2d2=int64#7
# asm 2: cmove <t=%r12,<tt2d2=%rax
cmove %r12,%rax
# qhasm: t = *(uint64 *)(basep + 464 + pos)
# asm 1: movq 464(<basep=int64#4,<pos=int64#1),>t=int64#10
# asm 2: movq 464(<basep=%rcx,<pos=%rdi),>t=%r12
movq 464(%rcx,%rdi),%r12
# qhasm: tt2d3 = t if =
# asm 1: cmove <t=int64#10,<tt2d3=int64#8
# asm 2: cmove <t=%r12,<tt2d3=%r10
cmove %r12,%r10
# qhasm: t = *(uint64 *)(basep + 472 + pos)
# asm 1: movq 472(<basep=int64#4,<pos=int64#1),>t=int64#10
# asm 2: movq 472(<basep=%rcx,<pos=%rdi),>t=%r12
movq 472(%rcx,%rdi),%r12
# qhasm: tt2d4 = t if =
# asm 1: cmove <t=int64#10,<tt2d4=int64#9
# asm 2: cmove <t=%r12,<tt2d4=%r11
cmove %r12,%r11
# qhasm: =? u - 5
# asm 1: cmp $5,<u=int64#5
# asm 2: cmp $5,<u=%r8
cmp $5,%r8
# qhasm: t = *(uint64 *)(basep + 560 + pos)
# asm 1: movq 560(<basep=int64#4,<pos=int64#1),>t=int64#10
# asm 2: movq 560(<basep=%rcx,<pos=%rdi),>t=%r12
movq 560(%rcx,%rdi),%r12
# qhasm: tt2d0 = t if =
# asm 1: cmove <t=int64#10,<tt2d0=int64#2
# asm 2: cmove <t=%r12,<tt2d0=%rsi
cmove %r12,%rsi
# qhasm: t = *(uint64 *)(basep + 568 + pos)
# asm 1: movq 568(<basep=int64#4,<pos=int64#1),>t=int64#10
# asm 2: movq 568(<basep=%rcx,<pos=%rdi),>t=%r12
movq 568(%rcx,%rdi),%r12
# qhasm: tt2d1 = t if =
# asm 1: cmove <t=int64#10,<tt2d1=int64#6
# asm 2: cmove <t=%r12,<tt2d1=%r9
cmove %r12,%r9
# qhasm: t = *(uint64 *)(basep + 576 + pos)
# asm 1: movq 576(<basep=int64#4,<pos=int64#1),>t=int64#10
# asm 2: movq 576(<basep=%rcx,<pos=%rdi),>t=%r12
movq 576(%rcx,%rdi),%r12
# qhasm: tt2d2 = t if =
# asm 1: cmove <t=int64#10,<tt2d2=int64#7
# asm 2: cmove <t=%r12,<tt2d2=%rax
cmove %r12,%rax
# qhasm: t = *(uint64 *)(basep + 584 + pos)
# asm 1: movq 584(<basep=int64#4,<pos=int64#1),>t=int64#10
# asm 2: movq 584(<basep=%rcx,<pos=%rdi),>t=%r12
movq 584(%rcx,%rdi),%r12
# qhasm: tt2d3 = t if =
# asm 1: cmove <t=int64#10,<tt2d3=int64#8
# asm 2: cmove <t=%r12,<tt2d3=%r10
cmove %r12,%r10
# qhasm: t = *(uint64 *)(basep + 592 + pos)
# asm 1: movq 592(<basep=int64#4,<pos=int64#1),>t=int64#10
# asm 2: movq 592(<basep=%rcx,<pos=%rdi),>t=%r12
movq 592(%rcx,%rdi),%r12
# qhasm: tt2d4 = t if =
# asm 1: cmove <t=int64#10,<tt2d4=int64#9
# asm 2: cmove <t=%r12,<tt2d4=%r11
cmove %r12,%r11
# qhasm: =? u - 6
# asm 1: cmp $6,<u=int64#5
# asm 2: cmp $6,<u=%r8
cmp $6,%r8
# qhasm: t = *(uint64 *)(basep + 680 + pos)
# asm 1: movq 680(<basep=int64#4,<pos=int64#1),>t=int64#10
# asm 2: movq 680(<basep=%rcx,<pos=%rdi),>t=%r12
movq 680(%rcx,%rdi),%r12
# qhasm: tt2d0 = t if =
# asm 1: cmove <t=int64#10,<tt2d0=int64#2
# asm 2: cmove <t=%r12,<tt2d0=%rsi
cmove %r12,%rsi
# qhasm: t = *(uint64 *)(basep + 688 + pos)
# asm 1: movq 688(<basep=int64#4,<pos=int64#1),>t=int64#10
# asm 2: movq 688(<basep=%rcx,<pos=%rdi),>t=%r12
movq 688(%rcx,%rdi),%r12
# qhasm: tt2d1 = t if =
# asm 1: cmove <t=int64#10,<tt2d1=int64#6
# asm 2: cmove <t=%r12,<tt2d1=%r9
cmove %r12,%r9
# qhasm: t = *(uint64 *)(basep + 696 + pos)
# asm 1: movq 696(<basep=int64#4,<pos=int64#1),>t=int64#10
# asm 2: movq 696(<basep=%rcx,<pos=%rdi),>t=%r12
movq 696(%rcx,%rdi),%r12
# qhasm: tt2d2 = t if =
# asm 1: cmove <t=int64#10,<tt2d2=int64#7
# asm 2: cmove <t=%r12,<tt2d2=%rax
cmove %r12,%rax
# qhasm: t = *(uint64 *)(basep + 704 + pos)
# asm 1: movq 704(<basep=int64#4,<pos=int64#1),>t=int64#10
# asm 2: movq 704(<basep=%rcx,<pos=%rdi),>t=%r12
movq 704(%rcx,%rdi),%r12
# qhasm: tt2d3 = t if =
# asm 1: cmove <t=int64#10,<tt2d3=int64#8
# asm 2: cmove <t=%r12,<tt2d3=%r10
cmove %r12,%r10
# qhasm: t = *(uint64 *)(basep + 712 + pos)
# asm 1: movq 712(<basep=int64#4,<pos=int64#1),>t=int64#10
# asm 2: movq 712(<basep=%rcx,<pos=%rdi),>t=%r12
movq 712(%rcx,%rdi),%r12
# qhasm: tt2d4 = t if =
# asm 1: cmove <t=int64#10,<tt2d4=int64#9
# asm 2: cmove <t=%r12,<tt2d4=%r11
cmove %r12,%r11
# qhasm: =? u - 7
# asm 1: cmp $7,<u=int64#5
# asm 2: cmp $7,<u=%r8
cmp $7,%r8
# qhasm: t = *(uint64 *)(basep + 800 + pos)
# asm 1: movq 800(<basep=int64#4,<pos=int64#1),>t=int64#10
# asm 2: movq 800(<basep=%rcx,<pos=%rdi),>t=%r12
movq 800(%rcx,%rdi),%r12
# qhasm: tt2d0 = t if =
# asm 1: cmove <t=int64#10,<tt2d0=int64#2
# asm 2: cmove <t=%r12,<tt2d0=%rsi
cmove %r12,%rsi
# qhasm: t = *(uint64 *)(basep + 808 + pos)
# asm 1: movq 808(<basep=int64#4,<pos=int64#1),>t=int64#10
# asm 2: movq 808(<basep=%rcx,<pos=%rdi),>t=%r12
movq 808(%rcx,%rdi),%r12
# qhasm: tt2d1 = t if =
# asm 1: cmove <t=int64#10,<tt2d1=int64#6
# asm 2: cmove <t=%r12,<tt2d1=%r9
cmove %r12,%r9
# qhasm: t = *(uint64 *)(basep + 816 + pos)
# asm 1: movq 816(<basep=int64#4,<pos=int64#1),>t=int64#10
# asm 2: movq 816(<basep=%rcx,<pos=%rdi),>t=%r12
movq 816(%rcx,%rdi),%r12
# qhasm: tt2d2 = t if =
# asm 1: cmove <t=int64#10,<tt2d2=int64#7
# asm 2: cmove <t=%r12,<tt2d2=%rax
cmove %r12,%rax
# qhasm: t = *(uint64 *)(basep + 824 + pos)
# asm 1: movq 824(<basep=int64#4,<pos=int64#1),>t=int64#10
# asm 2: movq 824(<basep=%rcx,<pos=%rdi),>t=%r12
movq 824(%rcx,%rdi),%r12
# qhasm: tt2d3 = t if =
# asm 1: cmove <t=int64#10,<tt2d3=int64#8
# asm 2: cmove <t=%r12,<tt2d3=%r10
cmove %r12,%r10
# qhasm: t = *(uint64 *)(basep + 832 + pos)
# asm 1: movq 832(<basep=int64#4,<pos=int64#1),>t=int64#10
# asm 2: movq 832(<basep=%rcx,<pos=%rdi),>t=%r12
movq 832(%rcx,%rdi),%r12
# qhasm: tt2d4 = t if =
# asm 1: cmove <t=int64#10,<tt2d4=int64#9
# asm 2: cmove <t=%r12,<tt2d4=%r11
cmove %r12,%r11
# qhasm: =? u - 8
# asm 1: cmp $8,<u=int64#5
# asm 2: cmp $8,<u=%r8
cmp $8,%r8
# qhasm: t = *(uint64 *)(basep + 920 + pos)
# asm 1: movq 920(<basep=int64#4,<pos=int64#1),>t=int64#5
# asm 2: movq 920(<basep=%rcx,<pos=%rdi),>t=%r8
movq 920(%rcx,%rdi),%r8
# qhasm: tt2d0 = t if =
# asm 1: cmove <t=int64#5,<tt2d0=int64#2
# asm 2: cmove <t=%r8,<tt2d0=%rsi
cmove %r8,%rsi
# qhasm: t = *(uint64 *)(basep + 928 + pos)
# asm 1: movq 928(<basep=int64#4,<pos=int64#1),>t=int64#5
# asm 2: movq 928(<basep=%rcx,<pos=%rdi),>t=%r8
movq 928(%rcx,%rdi),%r8
# qhasm: tt2d1 = t if =
# asm 1: cmove <t=int64#5,<tt2d1=int64#6
# asm 2: cmove <t=%r8,<tt2d1=%r9
cmove %r8,%r9
# qhasm: t = *(uint64 *)(basep + 936 + pos)
# asm 1: movq 936(<basep=int64#4,<pos=int64#1),>t=int64#5
# asm 2: movq 936(<basep=%rcx,<pos=%rdi),>t=%r8
movq 936(%rcx,%rdi),%r8
# qhasm: tt2d2 = t if =
# asm 1: cmove <t=int64#5,<tt2d2=int64#7
# asm 2: cmove <t=%r8,<tt2d2=%rax
cmove %r8,%rax
# qhasm: t = *(uint64 *)(basep + 944 + pos)
# asm 1: movq 944(<basep=int64#4,<pos=int64#1),>t=int64#5
# asm 2: movq 944(<basep=%rcx,<pos=%rdi),>t=%r8
movq 944(%rcx,%rdi),%r8
# qhasm: tt2d3 = t if =
# asm 1: cmove <t=int64#5,<tt2d3=int64#8
# asm 2: cmove <t=%r8,<tt2d3=%r10
cmove %r8,%r10
# qhasm: t = *(uint64 *)(basep + 952 + pos)
# asm 1: movq 952(<basep=int64#4,<pos=int64#1),>t=int64#1
# asm 2: movq 952(<basep=%rcx,<pos=%rdi),>t=%rdi
movq 952(%rcx,%rdi),%rdi
# qhasm: tt2d4 = t if =
# asm 1: cmove <t=int64#1,<tt2d4=int64#9
# asm 2: cmove <t=%rdi,<tt2d4=%r11
cmove %rdi,%r11
# qhasm: tt0 = *(uint64 *)&CRYPTO_SHARED_NAMESPACE(2P0)
# asm 1: movq CRYPTO_SHARED_NAMESPACE(2P0),>tt0=int64#1
# asm 2: movq CRYPTO_SHARED_NAMESPACE(2P0),>tt0=%rdi
movq CRYPTO_SHARED_NAMESPACE(2P0)(%rip),%rdi
# qhasm: tt1 = *(uint64 *)&CRYPTO_SHARED_NAMESPACE(2P1234)
# asm 1: movq CRYPTO_SHARED_NAMESPACE(2P1234),>tt1=int64#4
# asm 2: movq CRYPTO_SHARED_NAMESPACE(2P1234),>tt1=%rcx
movq CRYPTO_SHARED_NAMESPACE(2P1234)(%rip),%rcx
# qhasm: tt2 = *(uint64 *)&CRYPTO_SHARED_NAMESPACE(2P1234)
# asm 1: movq CRYPTO_SHARED_NAMESPACE(2P1234),>tt2=int64#5
# asm 2: movq CRYPTO_SHARED_NAMESPACE(2P1234),>tt2=%r8
movq CRYPTO_SHARED_NAMESPACE(2P1234)(%rip),%r8
# qhasm: tt3 = *(uint64 *)&CRYPTO_SHARED_NAMESPACE(2P1234)
# asm 1: movq CRYPTO_SHARED_NAMESPACE(2P1234),>tt3=int64#10
# asm 2: movq CRYPTO_SHARED_NAMESPACE(2P1234),>tt3=%r12
movq CRYPTO_SHARED_NAMESPACE(2P1234)(%rip),%r12
# qhasm: tt4 = *(uint64 *)&CRYPTO_SHARED_NAMESPACE(2P1234)
# asm 1: movq CRYPTO_SHARED_NAMESPACE(2P1234),>tt4=int64#11
# asm 2: movq CRYPTO_SHARED_NAMESPACE(2P1234),>tt4=%r13
movq CRYPTO_SHARED_NAMESPACE(2P1234)(%rip),%r13
# qhasm: tt0 -= tt2d0
# asm 1: sub <tt2d0=int64#2,<tt0=int64#1
# asm 2: sub <tt2d0=%rsi,<tt0=%rdi
sub %rsi,%rdi
# qhasm: tt1 -= tt2d1
# asm 1: sub <tt2d1=int64#6,<tt1=int64#4
# asm 2: sub <tt2d1=%r9,<tt1=%rcx
sub %r9,%rcx
# qhasm: tt2 -= tt2d2
# asm 1: sub <tt2d2=int64#7,<tt2=int64#5
# asm 2: sub <tt2d2=%rax,<tt2=%r8
sub %rax,%r8
# qhasm: tt3 -= tt2d3
# asm 1: sub <tt2d3=int64#8,<tt3=int64#10
# asm 2: sub <tt2d3=%r10,<tt3=%r12
sub %r10,%r12
# qhasm: tt4 -= tt2d4
# asm 1: sub <tt2d4=int64#9,<tt4=int64#11
# asm 2: sub <tt2d4=%r11,<tt4=%r13
sub %r11,%r13
# qhasm: signed<? b - 0
# asm 1: cmp $0,<b=int64#3
# asm 2: cmp $0,<b=%rdx
cmp $0,%rdx
# qhasm: tt2d0 = tt0 if signed<
# asm 1: cmovl <tt0=int64#1,<tt2d0=int64#2
# asm 2: cmovl <tt0=%rdi,<tt2d0=%rsi
cmovl %rdi,%rsi
# qhasm: tt2d1 = tt1 if signed<
# asm 1: cmovl <tt1=int64#4,<tt2d1=int64#6
# asm 2: cmovl <tt1=%rcx,<tt2d1=%r9
cmovl %rcx,%r9
# qhasm: tt2d2 = tt2 if signed<
# asm 1: cmovl <tt2=int64#5,<tt2d2=int64#7
# asm 2: cmovl <tt2=%r8,<tt2d2=%rax
cmovl %r8,%rax
# qhasm: tt2d3 = tt3 if signed<
# asm 1: cmovl <tt3=int64#10,<tt2d3=int64#8
# asm 2: cmovl <tt3=%r12,<tt2d3=%r10
cmovl %r12,%r10
# qhasm: tt2d4 = tt4 if signed<
# asm 1: cmovl <tt4=int64#11,<tt2d4=int64#9
# asm 2: cmovl <tt4=%r13,<tt2d4=%r11
cmovl %r13,%r11
# qhasm: *(uint64 *)(tp + 80) = tt2d0
# asm 1: movq <tt2d0=int64#2,80(<tp=int64#15)
# asm 2: movq <tt2d0=%rsi,80(<tp=%rbp)
movq %rsi,80(%rbp)
# qhasm: *(uint64 *)(tp + 88) = tt2d1
# asm 1: movq <tt2d1=int64#6,88(<tp=int64#15)
# asm 2: movq <tt2d1=%r9,88(<tp=%rbp)
movq %r9,88(%rbp)
# qhasm: *(uint64 *)(tp + 96) = tt2d2
# asm 1: movq <tt2d2=int64#7,96(<tp=int64#15)
# asm 2: movq <tt2d2=%rax,96(<tp=%rbp)
movq %rax,96(%rbp)
# qhasm: *(uint64 *)(tp + 104) = tt2d3
# asm 1: movq <tt2d3=int64#8,104(<tp=int64#15)
# asm 2: movq <tt2d3=%r10,104(<tp=%rbp)
movq %r10,104(%rbp)
# qhasm: *(uint64 *)(tp + 112) = tt2d4
# asm 1: movq <tt2d4=int64#9,112(<tp=int64#15)
# asm 2: movq <tt2d4=%r11,112(<tp=%rbp)
movq %r11,112(%rbp)
# qhasm: caller1 = caller1_stack
# asm 1: movq <caller1_stack=stack64#1,>caller1=int64#9
# asm 2: movq <caller1_stack=0(%rsp),>caller1=%r11
movq 0(%rsp),%r11
# qhasm: caller2 = caller2_stack
# asm 1: movq <caller2_stack=stack64#2,>caller2=int64#10
# asm 2: movq <caller2_stack=8(%rsp),>caller2=%r12
movq 8(%rsp),%r12
# qhasm: caller3 = caller3_stack
# asm 1: movq <caller3_stack=stack64#3,>caller3=int64#11
# asm 2: movq <caller3_stack=16(%rsp),>caller3=%r13
movq 16(%rsp),%r13
# qhasm: caller4 = caller4_stack
# asm 1: movq <caller4_stack=stack64#4,>caller4=int64#12
# asm 2: movq <caller4_stack=24(%rsp),>caller4=%r14
movq 24(%rsp),%r14
# qhasm: caller5 = caller5_stack
# asm 1: movq <caller5_stack=stack64#5,>caller5=int64#13
# asm 2: movq <caller5_stack=32(%rsp),>caller5=%r15
movq 32(%rsp),%r15
# qhasm: caller6 = caller6_stack
# asm 1: movq <caller6_stack=stack64#6,>caller6=int64#14
# asm 2: movq <caller6_stack=40(%rsp),>caller6=%rbx
movq 40(%rsp),%rbx
# qhasm: caller7 = caller7_stack
# asm 1: movq <caller7_stack=stack64#7,>caller7=int64#15
# asm 2: movq <caller7_stack=48(%rsp),>caller7=%rbp
movq 48(%rsp),%rbp
# qhasm: leave
add %r11,%rsp
mov %rdi,%rax
mov %rsi,%rdx
ret