// File: /workspace/github_c_makefile_star2_O3/genometools[P]genometools/src/external/sqlite-3.33.0/sqlite3.c
// Function: sqlite3ExprIfTrue
SQLITE_PRIVATE void sqlite3ExprIfTrue(Parse *pParse, Expr *pExpr, int dest, int jumpIfNull){
  Vdbe *v = pParse->pVdbe;
  int op = 0;
  int regFree1 = 0;
  int regFree2 = 0;
  int r1, r2;

  assert( jumpIfNull==SQLITE_JUMPIFNULL || jumpIfNull==0 );
  if( NEVER(v==0) )     return;  /* Existence of VDBE checked by caller */
  if( NEVER(pExpr==0) ) return;  /* No way this can happen */
  assert( !ExprHasVVAProperty(pExpr, EP_Immutable) );
  op = pExpr->op;
  switch( op ){
    case TK_AND:
    case TK_OR: {
      Expr *pAlt = sqlite3ExprSimplifiedAndOr(pExpr);
      if( pAlt!=pExpr ){
        sqlite3ExprIfTrue(pParse, pAlt, dest, jumpIfNull);
      }else if( op==TK_AND ){
        int d2 = sqlite3VdbeMakeLabel(pParse);
        testcase( jumpIfNull==0 );
        sqlite3ExprIfFalse(pParse, pExpr->pLeft, d2,
                           jumpIfNull^SQLITE_JUMPIFNULL);
        sqlite3ExprIfTrue(pParse, pExpr->pRight, dest, jumpIfNull);
        sqlite3VdbeResolveLabel(v, d2);
      }else{
        testcase( jumpIfNull==0 );
        sqlite3ExprIfTrue(pParse, pExpr->pLeft, dest, jumpIfNull);
        sqlite3ExprIfTrue(pParse, pExpr->pRight, dest, jumpIfNull);
      }
      break;
    }
    case TK_NOT: {
      testcase( jumpIfNull==0 );
      sqlite3ExprIfFalse(pParse, pExpr->pLeft, dest, jumpIfNull);
      break;
    }
    case TK_TRUTH: {
      int isNot;      /* IS NOT TRUE or IS NOT FALSE */
      int isTrue;     /* IS TRUE or IS NOT TRUE */
      testcase( jumpIfNull==0 );
      isNot = pExpr->op2==TK_ISNOT;
      isTrue = sqlite3ExprTruthValue(pExpr->pRight);
      testcase( isTrue && isNot );
      testcase( !isTrue && isNot );
      if( isTrue ^ isNot ){
        sqlite3ExprIfTrue(pParse, pExpr->pLeft, dest,
                          isNot ? SQLITE_JUMPIFNULL : 0);
      }else{
        sqlite3ExprIfFalse(pParse, pExpr->pLeft, dest,
                           isNot ? SQLITE_JUMPIFNULL : 0);
      }
      break;
    }
    case TK_IS:
    case TK_ISNOT:
      testcase( op==TK_IS );
      testcase( op==TK_ISNOT );
      op = (op==TK_IS) ? TK_EQ : TK_NE;
      jumpIfNull = SQLITE_NULLEQ;
      /* no break */ deliberate_fall_through
    case TK_LT:
    case TK_LE:
    case TK_GT:
    case TK_GE:
    case TK_NE:
    case TK_EQ: {
      if( sqlite3ExprIsVector(pExpr->pLeft) ) goto default_expr;
      testcase( jumpIfNull==0 );
      r1 = sqlite3ExprCodeTemp(pParse, pExpr->pLeft, &regFree1);
      r2 = sqlite3ExprCodeTemp(pParse, pExpr->pRight, &regFree2);
      codeCompare(pParse, pExpr->pLeft, pExpr->pRight, op,
                  r1, r2, dest, jumpIfNull, ExprHasProperty(pExpr,EP_Commuted));
      assert(TK_LT==OP_Lt); testcase(op==OP_Lt); VdbeCoverageIf(v,op==OP_Lt);
      assert(TK_LE==OP_Le); testcase(op==OP_Le); VdbeCoverageIf(v,op==OP_Le);
      assert(TK_GT==OP_Gt); testcase(op==OP_Gt); VdbeCoverageIf(v,op==OP_Gt);
      assert(TK_GE==OP_Ge); testcase(op==OP_Ge); VdbeCoverageIf(v,op==OP_Ge);
      assert(TK_EQ==OP_Eq); testcase(op==OP_Eq);
      VdbeCoverageIf(v, op==OP_Eq && jumpIfNull==SQLITE_NULLEQ);
      VdbeCoverageIf(v, op==OP_Eq && jumpIfNull!=SQLITE_NULLEQ);
      assert(TK_NE==OP_Ne); testcase(op==OP_Ne);
      VdbeCoverageIf(v, op==OP_Ne && jumpIfNull==SQLITE_NULLEQ);
      VdbeCoverageIf(v, op==OP_Ne && jumpIfNull!=SQLITE_NULLEQ);
      testcase( regFree1==0 );
      testcase( regFree2==0 );
      break;
    }
    case TK_ISNULL:
    case TK_NOTNULL: {
      assert( TK_ISNULL==OP_IsNull );   testcase( op==TK_ISNULL );
      assert( TK_NOTNULL==OP_NotNull ); testcase( op==TK_NOTNULL );
      r1 = sqlite3ExprCodeTemp(pParse, pExpr->pLeft, &regFree1);
      sqlite3VdbeAddOp2(v, op, r1, dest);
      VdbeCoverageIf(v, op==TK_ISNULL);
      VdbeCoverageIf(v, op==TK_NOTNULL);
      testcase( regFree1==0 );
      break;
    }
    case TK_BETWEEN: {
      testcase( jumpIfNull==0 );
      exprCodeBetween(pParse, pExpr, dest, sqlite3ExprIfTrue, jumpIfNull);
      break;
    }
#ifndef SQLITE_OMIT_SUBQUERY
    case TK_IN: {
      int destIfFalse = sqlite3VdbeMakeLabel(pParse);
      int destIfNull = jumpIfNull ? dest : destIfFalse;
      sqlite3ExprCodeIN(pParse, pExpr, destIfFalse, destIfNull);
      sqlite3VdbeGoto(v, dest);
      sqlite3VdbeResolveLabel(v, destIfFalse);
      break;
    }
#endif
    default: {
    default_expr:
      if( ExprAlwaysTrue(pExpr) ){
        sqlite3VdbeGoto(v, dest);
      }else if( ExprAlwaysFalse(pExpr) ){
        /* No-op */
      }else{
        r1 = sqlite3ExprCodeTemp(pParse, pExpr, &regFree1);
        sqlite3VdbeAddOp3(v, OP_If, r1, dest, jumpIfNull!=0);
        VdbeCoverage(v);
        testcase( regFree1==0 );
        testcase( jumpIfNull==0 );
      }
      break;
    }
  }
  sqlite3ReleaseTempReg(pParse, regFree1);
  sqlite3ReleaseTempReg(pParse, regFree2);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movl %ecx, %r15d
movq 0x10(%rdi), %r13
xorl %eax, %eax
movl %eax, (%rsp)
movl %eax, 0x4(%rsp)
testq %r13, %r13
sete %al
testq %rsi, %rsi
sete %cl
orb %al, %cl
jne 0x2c37ab
movl %edx, %r14d
movq %rsi, %r12
movq %rdi, %rbx
movzbl (%rsi), %ebp
cmpl $0xa7, %ebp
jg 0x2c3526
leal -0x2b(%rbp), %eax
cmpl $0xe, %eax
ja 0x2c3609
leaq 0x10db83(%rip), %rcx    # 0x3d1084
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq %r12, %rdi
callq 0x2c341f
cmpq %r12, %rax
je 0x2c3707
movq %rbx, %rdi
movq %rax, %rsi
jmp 0x2c3763
cmpl $0xa8, %ebp
je 0x2c3570
cmpl $0xac, %ebp
jne 0x2c3621
movb 0x2(%r12), %dl
movq 0x18(%r12), %rax
testb $0x10, 0x5(%rax)
je 0x2c36d9
movq 0x10(%rax), %rax
jmp 0x2c3544
movq 0x10(%r12), %rsi
movq %rsp, %rdx
movq %rbx, %rdi
callq 0x2be5d4
movq %r13, %rdi
movl %ebp, %esi
movl %eax, %edx
jmp 0x2c3640
xorl %eax, %eax
cmpl $0x2d, %ebp
sete %al
orl $0x34, %eax
movl $0x80, %r15d
movl %eax, %ebp
movq 0x10(%r12), %rsi
movb (%rsi), %al
cmpb $-0x53, %al
jne 0x2c3591
movb 0x2(%rsi), %al
movq %rsi, %rcx
cmpb $-0x52, %al
je 0x2c35a6
movzbl %al, %eax
cmpl $0x88, %eax
jne 0x2c35af
movq 0x20(%rsi), %rcx
movq 0x20(%rcx), %rax
cmpl $0x1, (%rax)
jg 0x2c3621
movq %rsp, %rdx
movq %rbx, %rdi
callq 0x2be5d4
movl %eax, %r13d
movq 0x18(%r12), %rsi
leaq 0x4(%rsp), %rdx
movq %rbx, %rdi
callq 0x2be5d4
movq 0x10(%r12), %rsi
movq 0x18(%r12), %rdx
movl 0x4(%r12), %r10d
shrl $0x9, %r10d
andl $0x1, %r10d
subq $0x8, %rsp
movq %rbx, %rdi
movl %ebp, %ecx
movl %r13d, %r8d
movl %eax, %r9d
pushq %r10
pushq %r15
pushq %r14
callq 0x2be6e6
addq $0x20, %rsp
jmp 0x2c376e
cmpl $0x13, %ebp
jne 0x2c3621
movq 0x10(%r12), %rsi
movq %rbx, %rdi
movl %r14d, %edx
movl %r15d, %ecx
jmp 0x2c3700
movl 0x4(%r12), %eax
movl %eax, %ecx
andl $0x10000001, %ecx       # imm = 0x10000001
cmpl $0x10000000, %ecx       # imm = 0x10000000
jne 0x2c3650
movq %r13, %rdi
movl $0xb, %esi
xorl %edx, %edx
movl %r14d, %ecx
xorl %r8d, %r8d
callq 0x2a83e1
jmp 0x2c376e
andl $0x20000001, %eax       # imm = 0x20000001
cmpl $0x20000000, %eax       # imm = 0x20000000
je 0x2c376e
movq %rsp, %rdx
movq %rbx, %rdi
movq %r12, %rsi
callq 0x2be5d4
xorl %r8d, %r8d
testl %r15d, %r15d
setne %r8b
movq %r13, %rdi
movl $0x12, %esi
movl %eax, %edx
movl %r14d, %ecx
jmp 0x2c3646
leaq -0x1e3(%rip), %rcx      # 0x2c34ab
movq %rbx, %rdi
movq %r12, %rsi
movl %r14d, %edx
movl %r15d, %r8d
callq 0x2bfa61
jmp 0x2c376e
movl 0x44(%rbx), %ebp
decl %ebp
movl %ebp, 0x44(%rbx)
testl %r15d, %r15d
movl %r14d, %ecx
cmovel %ebp, %ecx
movq %rbx, %rdi
movq %r12, %rsi
movl %ebp, %edx
callq 0x2bf243
movq %r13, %rdi
movl $0xb, %esi
xorl %edx, %edx
movl %r14d, %ecx
xorl %r8d, %r8d
callq 0x2a83e1
jmp 0x2c373c
xorl %ecx, %ecx
cmpb $-0x58, %dl
sete %cl
movq 0x8(%rax), %rax
cmpb $0x0, 0x4(%rax)
setne %al
xorb %cl, %al
movq 0x10(%r12), %rsi
shll $0x4, %ecx
movq %rbx, %rdi
movl %r14d, %edx
testb %al, %al
je 0x2c3769
callq 0x2bfceb
jmp 0x2c376e
cmpl $0x2c, %ebp
jne 0x2c3748
movl 0x44(%rbx), %ebp
decl %ebp
movl %ebp, 0x44(%rbx)
movq 0x10(%r12), %rsi
movl %r15d, %ecx
xorl $0x10, %ecx
movq %rbx, %rdi
movl %ebp, %edx
callq 0x2bfceb
movq 0x18(%r12), %rsi
movq %rbx, %rdi
movl %r14d, %edx
movl %r15d, %ecx
callq 0x2c34ab
movq %r13, %rdi
movl %ebp, %esi
callq 0x2bfa39
jmp 0x2c376e
movq 0x10(%r12), %rsi
movq %rbx, %rdi
movl %r14d, %edx
movl %r15d, %ecx
callq 0x2c34ab
movq 0x18(%r12), %rsi
movq %rbx, %rdi
movl %r14d, %edx
movl %r15d, %ecx
callq 0x2c34ab
movl (%rsp), %eax
testl %eax, %eax
je 0x2c378c
movzbl 0x1f(%rbx), %ecx
cmpq $0x7, %rcx
ja 0x2c378c
leal 0x1(%rcx), %edx
movb %dl, 0x1f(%rbx)
movl %eax, 0xd4(%rbx,%rcx,4)
movl 0x4(%rsp), %eax
testl %eax, %eax
je 0x2c37ab
movzbl 0x1f(%rbx), %ecx
cmpq $0x7, %rcx
ja 0x2c37ab
leal 0x1(%rcx), %edx
movb %dl, 0x1f(%rbx)
movl %eax, 0xd4(%rbx,%rcx,4)
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq