// File: /workspace/github_c_makefile_star2_O1/genometools[P]genometools/src/external/sqlite-3.33.0/sqlite3.c
// Function: isDate
static int isDate(
  sqlite3_context *context,
  int argc,
  sqlite3_value **argv,
  DateTime *p
){
  int i, n;
  const unsigned char *z;
  int eType;
  memset(p, 0, sizeof(*p));
  if( argc==0 ){
    return setDateTimeToCurrent(context, p);
  }
  if( (eType = sqlite3_value_type(argv[0]))==SQLITE_FLOAT
                   || eType==SQLITE_INTEGER ){
    setRawDateNumber(p, sqlite3_value_double(argv[0]));
  }else{
    z = sqlite3_value_text(argv[0]);
    if( !z || parseDateOrTime(context, (char*)z, p) ){
      return 1;
    }
  }
  for(i=1; i<argc; i++){
    z = sqlite3_value_text(argv[i]);
    n = sqlite3_value_bytes(argv[i]);
    if( z==0 || parseModifier(context, (char*)z, n, p) ) return 1;
  }
  computeJD(p);
  if( p->isError || !validJulianDay(p->iJD) ) return 1;
  return 0;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x88, %rsp
movq %rcx, %rbp
xorpd %xmm0, %xmm0
movupd %xmm0, 0x20(%rcx)
movupd %xmm0, 0x10(%rcx)
movupd %xmm0, (%rcx)
testl %esi, %esi
je 0x2f7da0
movq %rdx, %r15
movl %esi, %r12d
movq %rdi, 0x18(%rsp)
movq (%rdx), %rdi
movzwl 0x8(%rdi), %eax
andl $0x3f, %eax
leaq 0xe2e20(%rip), %rcx     # 0x3dab60
movzbl (%rax,%rcx), %eax
decl %eax
cmpl $0x1, %eax
movq %rdx, 0x20(%rsp)
ja 0x2f7db9
callq 0x281bf8
movsd %xmm0, 0x20(%rbp)
movb $0x1, 0x29(%rbp)
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jb 0x2f7f3e
movsd 0xe7184(%rip), %xmm1    # 0x3deef8
ucomisd %xmm0, %xmm1
jbe 0x2f7f3e
mulsd 0xe7132(%rip), %xmm0    # 0x3deeb8
addsd 0x670ea(%rip), %xmm0    # 0x35ee78
cvttsd2si %xmm0, %rax
movq %rax, (%rbp)
movb $0x1, 0x28(%rbp)
jmp 0x2f7f3e
movq %rbp, %rsi
addq $0x88, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x2f89bd
movl $0x1, %r14d
movl $0x1, %esi
callq 0x281c96
testq %rax, %rax
je 0x2f8852
movq %rax, %r13
movb (%rax), %bl
xorl %r14d, %r14d
cmpb $0x2d, %bl
sete %r14b
leaq (%rax,%r14), %rdi
leaq 0xebaf5(%rip), %rsi     # 0x3e38e1
leaq 0x10(%rsp), %rdx
leaq 0x4(%rsp), %rcx
leaq 0x2c(%rsp), %r8
xorl %eax, %eax
callq 0x2f8c7d
cmpl $0x3, %eax
jne 0x2f7e4e
leaq (%r14,%r13), %r15
addq $0x9, %r15
leaq 0xe2daa(%rip), %rax     # 0x3dabc0
movzbl 0x1(%r15), %ecx
incq %r15
cmpq $0x54, %rcx
je 0x2f7e16
movb (%rcx,%rax), %cl
andb $0x1, %cl
jne 0x2f7e16
movq %r15, %rdi
movq %rbp, %rsi
callq 0x2f8a10
testl %eax, %eax
je 0x2f7f04
cmpb $0x0, (%r15)
movq 0x20(%rsp), %r15
je 0x2f7f00
movq %r13, %rdi
movq %rbp, %rsi
callq 0x2f8a10
testl %eax, %eax
je 0x2f7f3e
xorl %eax, %eax
leaq 0xeba73(%rip), %rcx     # 0x3e38dd
leaq 0xe2bef(%rip), %rdx     # 0x3daa60
movl $0x1, %r14d
movzbl (%r13,%rax), %esi
movzbl (%rax,%rcx), %edi
cmpb %dil, %sil
jne 0x2f7e8d
testq %rsi, %rsi
jne 0x2f7e97
jmp 0x2f7e9c
movb (%rsi,%rdx), %r8b
cmpb (%rdi,%rdx), %r8b
jne 0x2f7e9c
incq %rax
jmp 0x2f7e77
cmpb %dil, %sil
jne 0x2f7ec6
movq 0x18(%rsp), %rdi
callq 0x2f8be2
testl %eax, %eax
je 0x2f7ec6
movq 0x18(%rsp), %rdi
movq %rbp, %rsi
callq 0x2f89bd
testl %eax, %eax
jne 0x2f8852
jmp 0x2f7f3e
movq %r13, %rdi
callq 0x172f0
andl $0x3fffffff, %eax       # imm = 0x3FFFFFFF
leaq 0x50(%rsp), %rsi
movl $0x1, %r14d
movq %r13, %rdi
movl %eax, %edx
movl $0x1, %ecx
callq 0x29bf75
testl %eax, %eax
jle 0x2f8852
movsd 0x50(%rsp), %xmm0
jmp 0x2f7d55
movb $0x0, 0x2b(%rbp)
movb $0x0, 0x28(%rbp)
movb $0x1, 0x2a(%rbp)
movl 0x10(%rsp), %eax
movl %eax, %ecx
negl %ecx
cmpb $0x2d, %bl
cmovnel %eax, %ecx
movl %ecx, 0x8(%rbp)
movl 0x4(%rsp), %eax
movl %eax, 0xc(%rbp)
movl 0x2c(%rsp), %eax
movl %eax, 0x10(%rbp)
cmpb $0x0, 0x2c(%rbp)
je 0x2f7f39
movq %rbp, %rdi
callq 0x2f8867
movq 0x20(%rsp), %r15
movq %rbp, 0x8(%rsp)
cmpl $0x2, %r12d
jl 0x2f881d
movl %r12d, %eax
movq %rax, 0x48(%rsp)
movl $0x1, %ebp
leaq 0xe2c5f(%rip), %r14     # 0x3dabc0
leaq 0xeb9cc(%rip), %r13     # 0x3e3934
movq (%r15,%rbp,8), %rdi
movl $0x1, %esi
callq 0x281c96
movq %rax, %r12
movq (%r15,%rbp,8), %rdi
movl $0x1, %esi
callq 0x281bba
testq %r12, %r12
je 0x2f884c
movl $0x1, 0x4(%rsp)
movzbl (%r12), %ebx
leaq 0xe2abc(%rip), %r8      # 0x3daa60
movzbl (%rbx,%r8), %eax
cmpl $0x6b, %eax
jg 0x2f81be
leal -0x30(%rax), %ecx
cmpl $0xa, %ecx
jae 0x2f825a
movl $0x1, %edx
movq %r12, %r13
movzbl (%r12,%rdx), %r15d
testl %r15d, %r15d
je 0x2f7fe5
cmpl $0x3a, %r15d
je 0x2f7fe5
testb $0x1, (%r15,%r14)
jne 0x2f7fe5
incq %rdx
incq %r13
jmp 0x2f7fc6
movq %r12, %rdi
leaq 0x10(%rsp), %rsi
movl $0x1, %ecx
callq 0x29bf75
testl %eax, %eax
jle 0x2f8228
cmpl $0x3a, %r15d
jne 0x2f80c3
addq $-0x3a, %rbx
cmpq $-0xa, %rbx
movq %r12, %rdi
adcq $0x0, %rdi
xorpd %xmm0, %xmm0
movapd %xmm0, 0x70(%rsp)
movapd %xmm0, 0x60(%rsp)
movapd %xmm0, 0x50(%rsp)
leaq 0x50(%rsp), %rsi
callq 0x2f8a10
testl %eax, %eax
movq 0x20(%rsp), %r15
jne 0x2f8235
leaq 0x50(%rsp), %rdi
callq 0x2f8867
movq 0x50(%rsp), %rcx
addq $-0x2932e00, %rcx       # imm = 0xFD6CD200
movq %rcx, %rax
movabsq $0x636ba875fd33dc87, %rdx # imm = 0x636BA875FD33DC87
imulq %rdx
movq %rdx, %rax
shrq $0x3f, %rax
sarq $0x19, %rdx
addq %rax, %rdx
imulq $0x5265c00, %rdx, %rax  # imm = 0x5265C00
subq %rax, %rcx
movq %rcx, 0x50(%rsp)
cmpb $0x2d, (%r12)
jne 0x2f8097
negq %rcx
movq %rcx, 0x50(%rsp)
movq 0x8(%rsp), %rbx
movq %rbx, %rdi
callq 0x2f8867
movw $0x0, 0x2a(%rbx)
movb $0x0, 0x2c(%rbx)
movq 0x50(%rsp), %rax
addq %rax, (%rbx)
movl $0x0, 0x4(%rsp)
jmp 0x2f8235
movzbl 0x1(%r13), %eax
incq %r13
testb $0x1, (%rax,%r14)
jne 0x2f80c3
movq %r13, %rdi
callq 0x172f0
movq %rax, %r12
andl $0x3fffffff, %r12d      # imm = 0x3FFFFFFF
leal -0xb(%r12), %eax
cmpl $-0x8, %eax
movq 0x20(%rsp), %r15
jb 0x2f8235
leal -0x1(%r12), %eax
movb (%r13,%rax), %cl
andb $-0x21, %cl
cmpb $0x53, %cl
cmovel %eax, %r12d
movq 0x8(%rsp), %rdi
callq 0x2f8867
movl $0x1, 0x4(%rsp)
movsd 0x10(%rsp), %xmm1
xorl %eax, %eax
xorpd %xmm0, %xmm0
movapd %xmm1, 0x30(%rsp)
ucomisd %xmm1, %xmm0
seta %al
leaq 0xe6e73(%rip), %rcx     # 0x3defb0
movsd (%rcx,%rax,8), %xmm0
movsd %xmm0, 0x40(%rsp)
xorl %ebx, %ebx
leaq 0x1caf2f(%rip), %rcx    # 0x4c3080
movzbl 0x1(%rbx,%rcx), %eax
cmpl %eax, %r12d
jne 0x2f81a0
movq 0x8(%rbx,%rcx), %rdi
movq %r13, %rsi
movl %r12d, %edx
callq 0x27e951
leaq 0x1caf0e(%rip), %rcx    # 0x4c3080
testl %eax, %eax
jne 0x2f81a0
movsd 0x10(%rbx,%rcx), %xmm0
movapd %xmm0, %xmm1
xorpd 0x608f8(%rip), %xmm1    # 0x358a80
movapd 0x30(%rsp), %xmm2
ucomisd %xmm1, %xmm2
jbe 0x2f81a0
ucomisd 0x30(%rsp), %xmm0
ja 0x2f86c9
addq $0x20, %rbx
cmpq $0xc0, %rbx
jne 0x2f8151
movq 0x8(%rsp), %rax
movw $0x0, 0x2a(%rax)
movb $0x0, 0x2c(%rax)
jmp 0x2f8235
cmpl $0x74, %eax
jg 0x2f826e
cmpl $0x6c, %eax
je 0x2f82b2
cmpl $0x73, %eax
jne 0x2f8235
movq %r12, %r13
addq $0x9, %r13
movl $0x9, %eax
leaq 0xeb769(%rip), %rcx     # 0x3e3951
xorl %edx, %edx
movzbl (%r12), %esi
testq %rsi, %rsi
je 0x2f85c6
movb (%rsi,%r8), %sil
movzbl (%rcx), %edi
cmpb (%rdi,%r8), %sil
jne 0x2f85d3
incq %r12
incq %rdx
incq %rcx
decq %rax
jne 0x2f81ea
xorl %eax, %eax
movq %r13, %r12
leaq 0xeb737(%rip), %rcx     # 0x3e395a
jmp 0x2f85d3
movl $0x1, 0x4(%rsp)
movq 0x20(%rsp), %r15
cmpl $0x0, 0x4(%rsp)
jne 0x2f884c
incq %rbp
cmpq 0x48(%rsp), %rbp
leaq 0xeb6e5(%rip), %r13     # 0x3e3934
jne 0x2f7f68
jmp 0x2f881d
cmpl $0x2b, %eax
je 0x2f7fbe
cmpl $0x2d, %eax
je 0x2f7fbe
jmp 0x2f8235
cmpl $0x77, %eax
je 0x2f82d8
cmpl $0x75, %eax
jne 0x2f8235
xorl %eax, %eax
leaq 0xeb6bd(%rip), %rdi     # 0x3e393e
leaq 0x7b87c(%rip), %r9      # 0x373b04
movzbl (%r12,%rax), %ecx
movzbl (%rax,%rdi), %edx
cmpb %dl, %cl
jne 0x2f829f
testq %rcx, %rcx
jne 0x2f82ad
jmp 0x2f8376
movb (%rcx,%r8), %sil
cmpb (%rdx,%r8), %sil
jne 0x2f8376
incq %rax
jmp 0x2f8288
xorl %eax, %eax
movzbl (%r12,%rax), %ecx
movzbl (%rax,%r13), %edx
cmpb %dl, %cl
jne 0x2f82c9
testq %rcx, %rcx
jne 0x2f82d3
jmp 0x2f832b
movb (%rcx,%r8), %sil
cmpb (%rdx,%r8), %sil
jne 0x2f832b
incq %rax
jmp 0x2f82b4
movq %r12, %r13
addq $0x8, %r13
movl $0x8, %eax
leaq 0xeb65d(%rip), %rcx     # 0x3e3948
xorl %edx, %edx
movzbl (%r12), %esi
testq %rsi, %rsi
je 0x2f848b
movb (%rsi,%r8), %sil
movzbl (%rcx), %edi
cmpb (%rdi,%r8), %sil
jne 0x2f8498
incq %r12
incq %rdx
incq %rcx
decq %rax
jne 0x2f82ed
xorl %eax, %eax
movq %r13, %r12
leaq 0xeb62a(%rip), %rcx     # 0x3e3950
jmp 0x2f8498
cmpb %dl, %cl
jne 0x2f8235
movq 0x18(%rsp), %rdi
callq 0x2f8be2
testl %eax, %eax
je 0x2f8235
movq 0x8(%rsp), %rbx
movq %rbx, %rdi
callq 0x2f8867
movq %rbx, %rdi
movq 0x18(%rsp), %rsi
leaq 0x4(%rsp), %rdx
callq 0x2f8dd2
addq %rax, (%rbx)
movw $0x0, 0x2a(%rbx)
movb $0x0, 0x2c(%rbx)
jmp 0x2f8235
cmpb %dl, %cl
jne 0x2f83ea
movq 0x8(%rsp), %rax
cmpb $0x0, 0x29(%rax)
je 0x2f83ea
movq 0x8(%rsp), %rax
movsd 0x20(%rax), %xmm0
mulsd 0x952d9(%rip), %xmm0    # 0x38d670
addsd 0xe6b61(%rip), %xmm0    # 0x3def00
movsd %xmm0, 0x10(%rsp)
ucomisd 0x7cc33(%rip), %xmm0    # 0x374fe0
jb 0x2f8235
movsd 0xe6b4d(%rip), %xmm1    # 0x3def08
ucomisd %xmm0, %xmm1
jbe 0x2f8235
addsd 0x66aab(%rip), %xmm0    # 0x35ee78
cvttsd2si %xmm0, %rax
movq 0x8(%rsp), %rcx
movb $0x0, 0x2c(%rcx)
movq %rax, (%rcx)
movl $0x1, 0x28(%rcx)
jmp 0x2f80b6
xorl %eax, %eax
movzbl (%r12,%rax), %ecx
movzbl (%rax,%r9), %edx
cmpb %dl, %cl
jne 0x2f8401
testq %rcx, %rcx
jne 0x2f840b
jmp 0x2f8410
movb (%rcx,%r8), %sil
cmpb (%rdx,%r8), %sil
jne 0x2f8410
incq %rax
jmp 0x2f83ec
cmpb %dl, %cl
jne 0x2f8235
movq 0x18(%rsp), %rdi
callq 0x2f8be2
testl %eax, %eax
je 0x2f8235
movq 0x8(%rsp), %rbx
cmpb $0x0, 0x2d(%rbx)
jne 0x2f80b6
movq %rbx, %rdi
callq 0x2f8867
movq %rbx, %rdi
movq 0x18(%rsp), %rsi
leaq 0x4(%rsp), %rdx
callq 0x2f8dd2
cmpl $0x0, 0x4(%rsp)
jne 0x2f8482
movq %rax, %r12
subq %rax, (%rbx)
movw $0x0, 0x2a(%rbx)
movb $0x0, 0x2c(%rbx)
movq %rbx, %rdi
movq 0x18(%rsp), %rsi
leaq 0x4(%rsp), %rdx
callq 0x2f8dd2
subq %rax, %r12
addq %r12, (%rbx)
movb $0x1, 0x2d(%rbx)
jmp 0x2f8235
leaq 0xeb4b6(%rip), %rcx     # 0x3e3948
addq %rcx, %rdx
movq %rdx, %rcx
testl %eax, %eax
jle 0x2f84b2
movzbl (%r12), %eax
movb (%rax,%r8), %al
movzbl (%rcx), %ecx
cmpb (%rcx,%r8), %al
jne 0x2f8235
movq %r13, %rdi
callq 0x172f0
andl $0x3fffffff, %eax       # imm = 0x3FFFFFFF
movq %r13, %rdi
leaq 0x10(%rsp), %rsi
movl %eax, %edx
movl $0x1, %ecx
callq 0x29bf75
testl %eax, %eax
jle 0x2f8235
movsd 0x10(%rsp), %xmm0
movsd 0xd6a5f(%rip), %xmm1    # 0x3cef48
ucomisd %xmm0, %xmm1
jbe 0x2f8235
cvttsd2si %xmm0, %ebx
testl %ebx, %ebx
js 0x2f8235
cvttpd2dq %xmm0, %xmm1
cvtdq2pd %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jne 0x2f8235
jp 0x2f8235
movq 0x8(%rsp), %r15
movq %r15, %rdi
callq 0x2f8f7e
movq %r15, %rdi
callq 0x2f90b1
xorl %r12d, %r12d
movb %r12b, 0x2c(%r15)
movb %r12b, 0x28(%r15)
movq %r15, %rdi
callq 0x2f8867
movq (%r15), %rsi
leaq 0x7b98a00(%rsi), %rax
movabsq $0x636ba875fd33dc87, %rcx # imm = 0x636BA875FD33DC87
imulq %rcx
movq %rdx, %rcx
movq %rdx, %rax
shrq $0x3f, %rax
sarq $0x19, %rcx
addq %rax, %rcx
movq %rcx, %rax
movabsq $0x4924924924924925, %rdx # imm = 0x4924924924924925
imulq %rdx
movq %rdx, %rax
shrq $0x3f, %rax
sarq %rdx
addq %rax, %rdx
leaq (,%rdx,8), %rax
subq %rax, %rdx
leaq (%rcx,%rdx), %rax
movl %ebx, %edi
cmpq %rdi, %rax
leaq -0x7(%rdx,%rcx), %rcx
cmovleq %rax, %rcx
subq %rcx, %rdi
imulq $0x5265c00, %rdi, %rax  # imm = 0x5265C00
addq %rsi, %rax
movq %rax, (%r15)
movw $0x0, 0x2a(%r15)
movb %r12b, 0x2c(%r15)
movq 0x20(%rsp), %r15
jmp 0x2f80b6
leaq 0xeb384(%rip), %rcx     # 0x3e3951
addq %rcx, %rdx
movq %rdx, %rcx
testl %eax, %eax
jle 0x2f85ed
movzbl (%r12), %eax
movb (%rax,%r8), %al
movzbl (%rcx), %ecx
cmpb (%rcx,%r8), %al
jne 0x2f8235
movq 0x8(%rsp), %rax
cmpb $0x0, 0x28(%rax)
jne 0x2f8612
movq 0x8(%rsp), %rax
cmpb $0x0, 0x2a(%rax)
jne 0x2f8612
movq 0x8(%rsp), %rax
cmpb $0x0, 0x2b(%rax)
je 0x2f8235
movq 0x8(%rsp), %rbx
movq %rbx, %rdi
callq 0x2f8f7e
leaq 0xe243a(%rip), %rdi     # 0x3daa60
movw $0x1, 0x2b(%rbx)
xorl %eax, %eax
movq %rax, 0x14(%rbx)
movq %rax, 0x20(%rbx)
movw $0x0, 0x28(%rbx)
xorl %eax, %eax
leaq 0xd9c9f(%rip), %r8      # 0x3d22e4
movzbl (%r13,%rax), %ecx
movzbl (%rax,%r8), %edx
cmpb %dl, %cl
jne 0x2f865b
testq %rcx, %rcx
jne 0x2f8665
jmp 0x2f866a
movb (%rcx,%rdi), %sil
cmpb (%rdx,%rdi), %sil
jne 0x2f866a
incq %rax
jmp 0x2f8645
cmpb %dl, %cl
jne 0x2f867f
movq 0x8(%rsp), %rax
movl $0x1, 0x10(%rax)
jmp 0x2f80b6
xorl %eax, %eax
leaq 0xd9c62(%rip), %r8      # 0x3d22ea
movzbl (%r13,%rax), %ecx
movzbl (%rax,%r8), %edx
cmpb %dl, %cl
jne 0x2f869e
testq %rcx, %rcx
jne 0x2f86a8
jmp 0x2f86ad
movb (%rcx,%rdi), %sil
cmpb (%rdx,%rdi), %sil
jne 0x2f86ad
incq %rax
jmp 0x2f8688
cmpb %dl, %cl
jne 0x2f8721
movq 0x8(%rsp), %rax
movabsq $0x100000001, %rcx      # imm = 0x100000001
movq %rcx, 0xc(%rax)
jmp 0x2f80b6
movzbl (%rbx,%rcx), %eax
cmpl $0x2, %eax
je 0x2f875c
cmpl $0x1, %eax
movq 0x8(%rsp), %r12
jne 0x2f87e6
movq %r12, %rdi
callq 0x2f8f7e
movq %r12, %rdi
callq 0x2f90b1
cvttsd2si 0x30(%rsp), %eax
movl 0xc(%r12), %ecx
addl %eax, %ecx
movl %ecx, 0xc(%r12)
jle 0x2f8798
leal -0x1(%rcx), %edx
movl $0xaaaaaaab, %esi       # imm = 0xAAAAAAAB
imulq %rsi, %rdx
shrq $0x23, %rdx
jmp 0x2f87b2
xorl %eax, %eax
leaq 0xeb171(%rip), %r8      # 0x3e389b
movzbl (%r13,%rax), %ecx
movzbl (%rax,%r8), %edx
cmpb %dl, %cl
jne 0x2f8740
testq %rcx, %rcx
jne 0x2f874a
jmp 0x2f874f
movb (%rcx,%rdi), %sil
cmpb (%rdx,%rdi), %sil
jne 0x2f874f
incq %rax
jmp 0x2f872a
cmpb %dl, %cl
je 0x2f80b6
jmp 0x2f8235
cvttsd2si 0x30(%rsp), %r15d
movq 0x8(%rsp), %r12
movq %r12, %rdi
callq 0x2f8f7e
movq %r12, %rdi
callq 0x2f90b1
addl %r15d, 0x8(%r12)
movq 0x20(%rsp), %r15
movb $0x0, 0x28(%r12)
movapd 0x30(%rsp), %xmm1
cvttpd2dq %xmm1, %xmm0
cvtdq2pd %xmm0, %xmm0
jmp 0x2f87dc
leal -0xc(%rcx), %edx
movslq %edx, %rdx
imulq $0x2aaaaaab, %rdx, %rdx # imm = 0x2AAAAAAB
movq %rdx, %rsi
shrq $0x3f, %rsi
sarq $0x21, %rdx
addl %esi, %edx
movq 0x8(%rsp), %r12
addl %edx, 0x8(%r12)
shll $0x2, %edx
leal (%rdx,%rdx,2), %edx
subl %edx, %ecx
movl %ecx, 0xc(%r12)
movb $0x0, 0x28(%r12)
xorps %xmm0, %xmm0
cvtsi2sd %eax, %xmm0
movapd 0x30(%rsp), %xmm1
subsd %xmm0, %xmm1
movsd %xmm1, 0x10(%rsp)
movq %r12, %rdi
callq 0x2f8867
movsd 0x10(%rsp), %xmm0
leaq 0x1ca885(%rip), %rax    # 0x4c3080
mulsd 0x18(%rbx,%rax), %xmm0
addsd 0x40(%rsp), %xmm0
cvttsd2si %xmm0, %rax
addq %rax, (%r12)
movl $0x0, 0x4(%rsp)
jmp 0x2f81ad
movq 0x8(%rsp), %rbx
movq %rbx, %rdi
callq 0x2f8867
movl $0x1, %r14d
cmpb $0x0, 0x2e(%rbx)
jne 0x2f8852
movabsq $0x1a6401072fdff, %rax  # imm = 0x1A6401072FDFF
xorl %r14d, %r14d
cmpq %rax, (%rbx)
seta %r14b
jmp 0x2f8852
movl $0x1, %r14d
movl %r14d, %eax
addq $0x88, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq