// File: /workspace/github_c_makefile_star2_O1/barabo[P]advanced-shell-history/src/sqlite3.c
// Function: sqlite3ExprIfFalse
SQLITE_PRIVATE void sqlite3ExprIfFalse(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( pExpr==0 )    return;

  /* The value of pExpr->op and op are related as follows:
  **
  **       pExpr->op            op
  **       ---------          ----------
  **       TK_ISNULL          OP_NotNull
  **       TK_NOTNULL         OP_IsNull
  **       TK_NE              OP_Eq
  **       TK_EQ              OP_Ne
  **       TK_GT              OP_Le
  **       TK_LE              OP_Gt
  **       TK_GE              OP_Lt
  **       TK_LT              OP_Ge
  **
  ** For other values of pExpr->op, op is undefined and unused.
  ** The value of TK_ and OP_ constants are arranged such that we
  ** can compute the mapping above using the following expression.
  ** Assert()s verify that the computation is correct.
  */
  op = ((pExpr->op+(TK_ISNULL&1))^1)-(TK_ISNULL&1);

  /* Verify correct alignment of TK_ and OP_ constants
  */
  assert( pExpr->op!=TK_ISNULL || op==OP_NotNull );
  assert( pExpr->op!=TK_NOTNULL || op==OP_IsNull );
  assert( pExpr->op!=TK_NE || op==OP_Eq );
  assert( pExpr->op!=TK_EQ || op==OP_Ne );
  assert( pExpr->op!=TK_LT || op==OP_Ge );
  assert( pExpr->op!=TK_LE || op==OP_Gt );
  assert( pExpr->op!=TK_GT || op==OP_Le );
  assert( pExpr->op!=TK_GE || op==OP_Lt );

  switch( pExpr->op ){
    case TK_AND: {
      testcase( jumpIfNull==0 );
      sqlite3ExprIfFalse(pParse, pExpr->pLeft, dest, jumpIfNull);
      sqlite3ExprIfFalse(pParse, pExpr->pRight, dest, jumpIfNull);
      break;
    }
    case TK_OR: {
      int d2 = sqlite3VdbeMakeLabel(v);
      testcase( jumpIfNull==0 );
      sqlite3ExprCachePush(pParse);
      sqlite3ExprIfTrue(pParse, pExpr->pLeft, d2, jumpIfNull^SQLITE_JUMPIFNULL);
      sqlite3ExprIfFalse(pParse, pExpr->pRight, dest, jumpIfNull);
      sqlite3VdbeResolveLabel(v, d2);
      sqlite3ExprCachePop(pParse, 1);
      break;
    }
    case TK_NOT: {
      testcase( jumpIfNull==0 );
      sqlite3ExprIfTrue(pParse, pExpr->pLeft, dest, jumpIfNull);
      break;
    }
    case TK_LT:
    case TK_LE:
    case TK_GT:
    case TK_GE:
    case TK_NE:
    case TK_EQ: {
      testcase( op==TK_LT );
      testcase( op==TK_LE );
      testcase( op==TK_GT );
      testcase( op==TK_GE );
      testcase( op==TK_EQ );
      testcase( op==TK_NE );
      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);
      testcase( regFree1==0 );
      testcase( regFree2==0 );
      break;
    }
    case TK_IS:
    case TK_ISNOT: {
      testcase( pExpr->op==TK_IS );
      testcase( pExpr->op==TK_ISNOT );
      r1 = sqlite3ExprCodeTemp(pParse, pExpr->pLeft, &regFree1);
      r2 = sqlite3ExprCodeTemp(pParse, pExpr->pRight, &regFree2);
      op = (pExpr->op==TK_IS) ? TK_NE : TK_EQ;
      codeCompare(pParse, pExpr->pLeft, pExpr->pRight, op,
                  r1, r2, dest, SQLITE_NULLEQ);
      testcase( regFree1==0 );
      testcase( regFree2==0 );
      break;
    }
    case TK_ISNULL:
    case TK_NOTNULL: {
      testcase( op==TK_ISNULL );
      testcase( op==TK_NOTNULL );
      r1 = sqlite3ExprCodeTemp(pParse, pExpr->pLeft, &regFree1);
      sqlite3VdbeAddOp2(v, op, r1, dest);
      testcase( regFree1==0 );
      break;
    }
    case TK_BETWEEN: {
      testcase( jumpIfNull==0 );
      exprCodeBetween(pParse, pExpr, dest, 0, jumpIfNull);
      break;
    }
#ifndef SQLITE_OMIT_SUBQUERY
    case TK_IN: {
      if( jumpIfNull ){
        sqlite3ExprCodeIN(pParse, pExpr, dest, dest);
      }else{
        int destIfNull = sqlite3VdbeMakeLabel(v);
        sqlite3ExprCodeIN(pParse, pExpr, dest, destIfNull);
        sqlite3VdbeResolveLabel(v, destIfNull);
      }
      break;
    }
#endif
    default: {
      r1 = sqlite3ExprCodeTemp(pParse, pExpr, &regFree1);
      sqlite3VdbeAddOp3(v, OP_IfNot, r1, dest, jumpIfNull!=0);
      testcase( regFree1==0 );
      testcase( jumpIfNull==0 );
      break;
    }
  }
  sqlite3ReleaseTempReg(pParse, regFree1);
  sqlite3ReleaseTempReg(pParse, regFree2);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movl %ecx, %r12d
movq 0x10(%rdi), %r13
xorl %eax, %eax
movl %eax, -0x2c(%rbp)
movl %eax, -0x30(%rbp)
testq %r13, %r13
sete %al
testq %rsi, %rsi
sete %cl
orb %al, %cl
jne 0x4c7ba
movl %edx, %r8d
movq %rsi, %r15
movq %rdi, %rbx
movzbl (%rsi), %r14d
leal -0x44(%r14), %eax
cmpl $0xc, %eax
ja 0x4c5b0
incl %r14d
xorl $0x1, %r14d
decl %r14d
leaq 0x2972b(%rip), %rcx     # 0x75c90
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq 0x10(%r15), %rsi
leaq -0x2c(%rbp), %rdx
movq %rbx, %rdi
movq %r8, -0x38(%rbp)
callq 0x4cc93
movl %eax, %r13d
movq 0x18(%r15), %rsi
leaq -0x30(%rbp), %rdx
movq %rbx, %rdi
callq 0x4cc93
movq 0x10(%r15), %rsi
movq 0x18(%r15), %rdx
movq %rbx, %rdi
movl %r14d, %ecx
movl %r13d, %r8d
movl %eax, %r9d
pushq %r12
pushq -0x38(%rbp)
jmp 0x4c611
cmpl $0x13, %r14d
je 0x4c664
cmpl $0x92, %r14d
jne 0x4c6a7
movq 0x10(%r15), %rsi
leaq -0x2c(%rbp), %rdx
movq %rbx, %rdi
movq %r8, %r12
callq 0x4cc93
movl %eax, %r14d
movq 0x18(%r15), %rsi
leaq -0x30(%rbp), %rdx
movq %rbx, %rdi
callq 0x4cc93
xorl %ecx, %ecx
cmpb $0x46, (%r15)
setne %cl
addl $0x4b, %ecx
movq 0x10(%r15), %rsi
movq 0x18(%r15), %rdx
movq %rbx, %rdi
movl %r14d, %r8d
movl %eax, %r9d
pushq $0x80
pushq %r12
callq 0x4cd27
addq $0x10, %rsp
jmp 0x4c748
movq 0x10(%r15), %rsi
leaq -0x2c(%rbp), %rdx
movq %rbx, %rdi
movq %r8, %r15
callq 0x4cc93
movq %r13, %rdi
movl %r14d, %esi
movl %eax, %edx
movl %r15d, %ecx
xorl %r8d, %r8d
jmp 0x4c6d0
testl %r12d, %r12d
je 0x4c7c9
movq %rbx, %rdi
movq %r15, %rsi
movl %r8d, %edx
movl %r8d, %ecx
callq 0x4cec8
jmp 0x4c748
movq 0x10(%r15), %rsi
movq %rbx, %rdi
movl %r8d, %edx
movl %r12d, %ecx
callq 0x4c94a
jmp 0x4c748
movq 0x10(%r15), %rsi
movq %rbx, %rdi
movl %r8d, %edx
movl %r12d, %ecx
movq %r8, %r14
callq 0x4c50a
movq 0x18(%r15), %rsi
movq %rbx, %rdi
movl %r14d, %edx
movl %r12d, %ecx
callq 0x4c50a
jmp 0x4c748
leaq -0x2c(%rbp), %rdx
movq %rbx, %rdi
movq %r15, %rsi
movq %r8, %r14
callq 0x4cc93
xorl %r8d, %r8d
testl %r12d, %r12d
setne %r8b
movq %r13, %rdi
movl $0x28, %esi
movl %eax, %edx
movl %r14d, %ecx
callq 0x45b9e
jmp 0x4c748
movq %rbx, %rdi
movq %r15, %rsi
movl %r8d, %edx
xorl %ecx, %ecx
movl %r12d, %r8d
callq 0x4cdc1
jmp 0x4c748
movq %r13, %rdi
movq %r8, -0x38(%rbp)
callq 0x4c4bf
incl 0x6c(%rbx)
movl %eax, %r14d
movq 0x10(%r15), %rsi
movl %r12d, %ecx
xorl $0x8, %ecx
movq %rbx, %rdi
movl %eax, %edx
callq 0x4c94a
movq 0x18(%r15), %rsi
movq %rbx, %rdi
movq -0x38(%rbp), %rdx
movl %r12d, %ecx
callq 0x4c50a
testl %r14d, %r14d
jns 0x4c740
movq 0x40(%r13), %rax
testq %rax, %rax
je 0x4c740
notl %r14d
movl 0x34(%r13), %ecx
movl %r14d, %edx
movl %ecx, (%rax,%rdx,4)
movq %rbx, %rdi
callq 0x4cc3a
movl -0x2c(%rbp), %eax
testl %eax, %eax
je 0x4c781
movzbl 0x1f(%rbx), %ecx
cmpq $0x7, %rcx
ja 0x4c781
xorl %edx, %edx
cmpl %eax, 0x84(%rbx,%rdx)
je 0x4c77c
addq $0x18, %rdx
cmpl $0xf0, %edx
jne 0x4c75b
leal 0x1(%rcx), %edx
movb %dl, 0x1f(%rbx)
movl %eax, 0x28(%rbx,%rcx,4)
jmp 0x4c781
movb $0x1, 0x7c(%rbx,%rdx)
movl -0x30(%rbp), %eax
testl %eax, %eax
je 0x4c7ba
movzbl 0x1f(%rbx), %ecx
cmpq $0x7, %rcx
ja 0x4c7ba
xorl %edx, %edx
cmpl %eax, 0x84(%rbx,%rdx)
je 0x4c7b5
addq $0x18, %rdx
cmpl $0xf0, %edx
jne 0x4c794
leal 0x1(%rcx), %edx
movb %dl, 0x1f(%rbx)
movl %eax, 0x28(%rbx,%rcx,4)
jmp 0x4c7ba
movb $0x1, 0x7c(%rbx,%rdx)
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %r13, %rdi
movq %r8, %r12
callq 0x4c4bf
movl %eax, %r14d
movq %rbx, %rdi
movq %r15, %rsi
movl %r12d, %edx
movl %eax, %ecx
callq 0x4cec8
testl %r14d, %r14d
jns 0x4c748
movq 0x40(%r13), %rax
testq %rax, %rax
je 0x4c748
notl %r14d
movl 0x34(%r13), %ecx
movl %r14d, %edx
movl %ecx, (%rax,%rdx,4)
jmp 0x4c748