// File: /workspace/github_c_makefile_star2_O2/genometools[P]genometools/src/external/sqlite-3.33.0/sqlite3.c
// Function: exprImpliesNotNull
static int exprImpliesNotNull(
  Parse *pParse,      /* Parsing context */
  Expr *p,            /* The expression to be checked */
  Expr *pNN,          /* The expression that is NOT NULL */
  int iTab,           /* Table being evaluated */
  int seenNot         /* Return true only if p can be any non-NULL value */
){
  assert( p );
  assert( pNN );
  if( sqlite3ExprCompare(pParse, p, pNN, iTab)==0 ){
    return pNN->op!=TK_NULL;
  }
  switch( p->op ){
    case TK_IN: {
      if( seenNot && ExprHasProperty(p, EP_xIsSelect) ) return 0;
      assert( ExprHasProperty(p,EP_xIsSelect)
           || (p->x.pList!=0 && p->x.pList->nExpr>0) );
      return exprImpliesNotNull(pParse, p->pLeft, pNN, iTab, 1);
    }
    case TK_BETWEEN: {
      ExprList *pList = p->x.pList;
      assert( pList!=0 );
      assert( pList->nExpr==2 );
      if( seenNot ) return 0;
      if( exprImpliesNotNull(pParse, pList->a[0].pExpr, pNN, iTab, 1)
       || exprImpliesNotNull(pParse, pList->a[1].pExpr, pNN, iTab, 1)
      ){
        return 1;
      }
      return exprImpliesNotNull(pParse, p->pLeft, pNN, iTab, 1);
    }
    case TK_EQ:
    case TK_NE:
    case TK_LT:
    case TK_LE:
    case TK_GT:
    case TK_GE:
    case TK_PLUS:
    case TK_MINUS:
    case TK_BITOR:
    case TK_LSHIFT:
    case TK_RSHIFT:
    case TK_CONCAT:
      seenNot = 1;
      /* no break */ deliberate_fall_through
    case TK_STAR:
    case TK_REM:
    case TK_BITAND:
    case TK_SLASH: {
      if( exprImpliesNotNull(pParse, p->pRight, pNN, iTab, seenNot) ) return 1;
      /* no break */ deliberate_fall_through
    }
    case TK_SPAN:
    case TK_COLLATE:
    case TK_UPLUS:
    case TK_UMINUS: {
      return exprImpliesNotNull(pParse, p->pLeft, pNN, iTab, seenNot);
    }
    case TK_TRUTH: {
      if( seenNot ) return 0;
      if( p->op2!=TK_IS ) return 0;
      return exprImpliesNotNull(pParse, p->pLeft, pNN, iTab, 1);
    }
    case TK_BITNOT:
    case TK_NOT: {
      return exprImpliesNotNull(pParse, p->pLeft, pNN, iTab, 1);
    }
  }
  return 0;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movl %r8d, %r13d
movl %ecx, %ebp
movq %rdx, %rbx
movq %rsi, %r15
movq %rdi, %r12
pushq $0x1
popq %r14
movq %r12, %rdi
movq %r15, %rsi
movq %rbx, %rdx
movl %ebp, %ecx
callq 0x26823c
testl %eax, %eax
je 0x26899c
movzbl (%r15), %ecx
leal -0x65(%rcx), %eax
cmpl $0xb, %eax
jbe 0x268910
leal -0x34(%rcx), %eax
cmpl $0x6, %eax
movl %r14d, %r8d
jb 0x268923
leal -0xaa(%rcx), %eax
cmpl $0x2, %eax
jb 0x26893e
cmpl $0x13, %ecx
je 0x268947
xorl %eax, %eax
cmpl $0x30, %ecx
je 0x26895d
cmpl $0xb2, %ecx
je 0x26893e
cmpl $0xac, %ecx
je 0x26894c
cmpl $0x31, %ecx
jne 0x2689a9
testl %r13d, %r13d
movl %r8d, %r13d
je 0x26893e
testb $0x8, 0x5(%r15)
jmp 0x268956
leaq 0x108b2d(%rip), %rcx    # 0x371444
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
movl %r14d, %r8d
jmpq *%rax
movl %r8d, %r13d
movq 0x18(%r15), %rsi
movq %r12, %rdi
movq %rbx, %rdx
movl %ebp, %ecx
movl %r13d, %r8d
callq 0x268885
testl %eax, %eax
jne 0x2689a6
movq 0x10(%r15), %r15
jmp 0x2688a2
movl %r8d, %r13d
jmp 0x26893e
testl %r13d, %r13d
jne 0x2689a9
cmpb $0x2d, 0x2(%r15)
movl %r8d, %r13d
je 0x26893e
jmp 0x2689a9
testl %r13d, %r13d
jne 0x2689a9
movq 0x20(%r15), %r13
movq 0x8(%r13), %rsi
movq %r12, %rdi
movq %rbx, %rdx
movl %ebp, %ecx
callq 0x268885
testl %eax, %eax
jne 0x2689b8
movq 0x20(%r13), %rsi
movq %r12, %rdi
movq %rbx, %rdx
movl %ebp, %ecx
pushq $0x1
popq %r8
movl %r8d, %r13d
callq 0x268885
testl %eax, %eax
je 0x26893e
movl %r13d, %eax
jmp 0x2689a9
xorl %eax, %eax
cmpb $0x77, (%rbx)
setne %al
jmp 0x2689a9
movl %r14d, %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
pushq $0x1
popq %rax
jmp 0x2689a9