// File: /workspace/github_c_makefile_star2_O3/skeeto[P]flappy/sqlite3.c
// Function: resolveExprStep
static int resolveExprStep(Walker *pWalker, Expr *pExpr){
  NameContext *pNC;
  Parse *pParse;

  pNC = pWalker->u.pNC;
  assert( pNC!=0 );
  pParse = pNC->pParse;
  assert( pParse==pWalker->pParse );

  if( ExprHasProperty(pExpr, EP_Resolved) ) return WRC_Prune;
  ExprSetProperty(pExpr, EP_Resolved);
#ifndef NDEBUG
  if( pNC->pSrcList && pNC->pSrcList->nAlloc>0 ){
    SrcList *pSrcList = pNC->pSrcList;
    int i;
    for(i=0; i<pNC->pSrcList->nSrc; i++){
      assert( pSrcList->a[i].iCursor>=0 && pSrcList->a[i].iCursor<pParse->nTab);
    }
  }
#endif
  switch( pExpr->op ){

#if defined(SQLITE_ENABLE_UPDATE_DELETE_LIMIT) && !defined(SQLITE_OMIT_SUBQUERY)
    /* The special operator TK_ROW means use the rowid for the first
    ** column in the FROM clause.  This is used by the LIMIT and ORDER BY
    ** clause processing on UPDATE and DELETE statements.
    */
    case TK_ROW: {
      SrcList *pSrcList = pNC->pSrcList;
      struct SrcList_item *pItem;
      assert( pSrcList && pSrcList->nSrc==1 );
      pItem = pSrcList->a; 
      pExpr->op = TK_COLUMN;
      pExpr->pTab = pItem->pTab;
      pExpr->iTable = pItem->iCursor;
      pExpr->iColumn = -1;
      pExpr->affinity = SQLITE_AFF_INTEGER;
      break;
    }
#endif /* defined(SQLITE_ENABLE_UPDATE_DELETE_LIMIT) && !defined(SQLITE_OMIT_SUBQUERY) */

    /* A lone identifier is the name of a column.
    */
    case TK_ID: {
      return lookupName(pParse, 0, 0, pExpr->u.zToken, pNC, pExpr);
    }
  
    /* A table name and column name:     ID.ID
    ** Or a database, table and column:  ID.ID.ID
    */
    case TK_DOT: {
      const char *zColumn;
      const char *zTable;
      const char *zDb;
      Expr *pRight;

      /* if( pSrcList==0 ) break; */
      pRight = pExpr->pRight;
      if( pRight->op==TK_ID ){
        zDb = 0;
        zTable = pExpr->pLeft->u.zToken;
        zColumn = pRight->u.zToken;
      }else{
        assert( pRight->op==TK_DOT );
        zDb = pExpr->pLeft->u.zToken;
        zTable = pRight->pLeft->u.zToken;
        zColumn = pRight->pRight->u.zToken;
      }
      return lookupName(pParse, zDb, zTable, zColumn, pNC, pExpr);
    }

    /* Resolve function names
    */
    case TK_FUNCTION: {
      ExprList *pList = pExpr->x.pList;    /* The argument list */
      int n = pList ? pList->nExpr : 0;    /* Number of arguments */
      int no_such_func = 0;       /* True if no such function exists */
      int wrong_num_args = 0;     /* True if wrong number of arguments */
      int is_agg = 0;             /* True if is an aggregate function */
      int auth;                   /* Authorization to use the function */
      int nId;                    /* Number of characters in function name */
      const char *zId;            /* The function name. */
      FuncDef *pDef;              /* Information about the function */
      u8 enc = ENC(pParse->db);   /* The database encoding */

      assert( !ExprHasProperty(pExpr, EP_xIsSelect) );
      notValidPartIdxWhere(pParse, pNC, "functions");
      zId = pExpr->u.zToken;
      nId = sqlite3Strlen30(zId);
      pDef = sqlite3FindFunction(pParse->db, zId, nId, n, enc, 0);
      if( pDef==0 ){
        pDef = sqlite3FindFunction(pParse->db, zId, nId, -2, enc, 0);
        if( pDef==0 ){
          no_such_func = 1;
        }else{
          wrong_num_args = 1;
        }
      }else{
        is_agg = pDef->xFunc==0;
        if( pDef->funcFlags & SQLITE_FUNC_UNLIKELY ){
          ExprSetProperty(pExpr, EP_Unlikely|EP_Skip);
          if( n==2 ){
            pExpr->iTable = exprProbability(pList->a[1].pExpr);
            if( pExpr->iTable<0 ){
              sqlite3ErrorMsg(pParse, "second argument to likelihood() must be a "
                                      "constant between 0.0 and 1.0");
              pNC->nErr++;
            }
          }else{
            /* EVIDENCE-OF: R-61304-29449 The unlikely(X) function is equivalent to
            ** likelihood(X, 0.0625).
            ** EVIDENCE-OF: R-01283-11636 The unlikely(X) function is short-hand for
            ** likelihood(X,0.0625). */
            pExpr->iTable = 62;  /* TUNING:  Default 2nd arg to unlikely() is 0.0625 */
          }             
        }
      }
#ifndef SQLITE_OMIT_AUTHORIZATION
      if( pDef ){
        auth = sqlite3AuthCheck(pParse, SQLITE_FUNCTION, 0, pDef->zName, 0);
        if( auth!=SQLITE_OK ){
          if( auth==SQLITE_DENY ){
            sqlite3ErrorMsg(pParse, "not authorized to use function: %s",
                                    pDef->zName);
            pNC->nErr++;
          }
          pExpr->op = TK_NULL;
          return WRC_Prune;
        }
        if( pDef->funcFlags & SQLITE_FUNC_CONSTANT ) ExprSetProperty(pExpr,EP_Constant);
      }
#endif
      if( is_agg && (pNC->ncFlags & NC_AllowAgg)==0 ){
        sqlite3ErrorMsg(pParse, "misuse of aggregate function %.*s()", nId,zId);
        pNC->nErr++;
        is_agg = 0;
      }else if( no_such_func && pParse->db->init.busy==0 ){
        sqlite3ErrorMsg(pParse, "no such function: %.*s", nId, zId);
        pNC->nErr++;
      }else if( wrong_num_args ){
        sqlite3ErrorMsg(pParse,"wrong number of arguments to function %.*s()",
             nId, zId);
        pNC->nErr++;
      }
      if( is_agg ) pNC->ncFlags &= ~NC_AllowAgg;
      sqlite3WalkExprList(pWalker, pList);
      if( is_agg ){
        NameContext *pNC2 = pNC;
        pExpr->op = TK_AGG_FUNCTION;
        pExpr->op2 = 0;
        while( pNC2 && !sqlite3FunctionUsesThisSrc(pExpr, pNC2->pSrcList) ){
          pExpr->op2++;
          pNC2 = pNC2->pNext;
        }
        if( pNC2 ) pNC2->ncFlags |= NC_HasAgg;
        pNC->ncFlags |= NC_AllowAgg;
      }
      /* FIX ME:  Compute pExpr->affinity based on the expected return
      ** type of the function 
      */
      return WRC_Prune;
    }
#ifndef SQLITE_OMIT_SUBQUERY
    case TK_SELECT:
    case TK_EXISTS:  testcase( pExpr->op==TK_EXISTS );
#endif
    case TK_IN: {
      testcase( pExpr->op==TK_IN );
      if( ExprHasProperty(pExpr, EP_xIsSelect) ){
        int nRef = pNC->nRef;
        notValidCheckConstraint(pParse, pNC, "subqueries");
        notValidPartIdxWhere(pParse, pNC, "subqueries");
        sqlite3WalkSelect(pWalker, pExpr->x.pSelect);
        assert( pNC->nRef>=nRef );
        if( nRef!=pNC->nRef ){
          ExprSetProperty(pExpr, EP_VarSelect);
        }
      }
      break;
    }
    case TK_VARIABLE: {
      notValidCheckConstraint(pParse, pNC, "parameters");
      notValidPartIdxWhere(pParse, pNC, "parameters");
      break;
    }
  }
  return (pParse->nErr || pParse->db->mallocFailed) ? WRC_Abort : WRC_Continue;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x78, %rsp
movl 0x4(%rsi), %eax
movl $0x1, %ebp
testb $0x4, %al
jne 0x4e4f5
movq %rsi, %r14
movq %rdi, %r12
movq 0x20(%rdi), %rbx
movq (%rbx), %r15
movl %eax, %ecx
orl $0x4, %ecx
movl %ecx, 0x4(%rsi)
movzbl (%rsi), %ecx
cmpl $0x74, %ecx
jle 0x4e0cb
cmpl $0x85, %ecx
jg 0x4e145
cmpl $0x75, %ecx
je 0x4e0e2
cmpl $0x77, %ecx
jne 0x4e1a9
movq 0x18(%r14), %rax
cmpb $0x1b, (%rax)
jne 0x4e1da
xorl %esi, %esi
movq %r14, %rdx
jmp 0x4e1e9
cmpl $0x14, %ecx
je 0x4e0e2
cmpl $0x1b, %ecx
je 0x4e1cd
cmpl $0x49, %ecx
jne 0x4e1a9
btl $0xb, %eax
jae 0x4e1a9
movl 0x28(%rbx), %ebp
movb 0x30(%rbx), %al
testb $0x4, %al
je 0x4e111
leaq 0x24ffe(%rip), %rsi     # 0x730fb
leaq 0x24f0a(%rip), %rdx     # 0x7300e
movq %r15, %rdi
xorl %eax, %eax
callq 0x11db0
movb 0x30(%rbx), %al
testb $0x10, %al
je 0x4e12d
leaq 0x24fb2(%rip), %rsi     # 0x730ce
leaq 0x24eeb(%rip), %rdx     # 0x7300e
movq %r15, %rdi
xorl %eax, %eax
callq 0x11db0
movq 0x20(%r14), %rsi
movq %r12, %rdi
callq 0x4be61
cmpl 0x28(%rbx), %ebp
je 0x4e1a9
orb $0x20, 0x4(%r14)
jmp 0x4e1a9
cmpl $0x86, %ecx
je 0x4e16b
cmpl $0x98, %ecx
jne 0x4e1a9
movq 0x20(%r14), %r13
testq %r13, %r13
je 0x4e211
movl (%r13), %ecx
jmp 0x4e213
movb 0x30(%rbx), %al
testb $0x4, %al
je 0x4e18d
leaq 0x24f82(%rip), %rsi     # 0x730fb
leaq 0x24e99(%rip), %rdx     # 0x73019
movq %r15, %rdi
xorl %eax, %eax
callq 0x11db0
movb 0x30(%rbx), %al
testb $0x10, %al
je 0x4e1a9
leaq 0x24f36(%rip), %rsi     # 0x730ce
leaq 0x24e7a(%rip), %rdx     # 0x73019
movq %r15, %rdi
xorl %eax, %eax
callq 0x11db0
movl $0x2, %ebp
cmpl $0x0, 0x50(%r15)
jne 0x4e4f5
movq (%r15), %rax
xorl %ebp, %ebp
cmpb $0x0, 0x50(%rax)
setne %bpl
addl %ebp, %ebp
jmp 0x4e4f5
movq 0x8(%r14), %rcx
movq %r15, %rdi
xorl %esi, %esi
xorl %edx, %edx
jmp 0x4e1f8
movq 0x10(%r14), %rcx
movq 0x8(%rcx), %rsi
movq %rax, %rdx
movq 0x18(%rax), %rax
movq 0x8(%rax), %rcx
movq 0x10(%rdx), %rax
movq 0x8(%rax), %rdx
movq %r15, %rdi
movq %rbx, %r8
movq %r14, %r9
addq $0x78, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x4e866
xorl %ecx, %ecx
movq (%r15), %rax
movq 0x20(%rax), %rax
movq 0x18(%rax), %rax
movb 0x71(%rax), %dl
testb $0x10, 0x30(%rbx)
movl %ecx, 0x10(%rsp)
je 0x4e24f
leaq 0x24e9c(%rip), %rsi     # 0x730ce
movb %dl, 0x28(%rsp)
leaq 0x24cf5(%rip), %rdx     # 0x72f32
movq %r15, %rdi
xorl %eax, %eax
callq 0x11db0
movb 0x28(%rsp), %dl
movl 0x10(%rsp), %ecx
movq %r15, 0x8(%rsp)
movq %r13, 0x28(%rsp)
movq 0x8(%r14), %r15
testq %r15, %r15
je 0x4e280
movl $0xffffffff, %r13d      # imm = 0xFFFFFFFF
movq %r15, %rax
incl %r13d
cmpb $0x0, (%rax)
leaq 0x1(%rax), %rax
jne 0x4e26b
andl $0x3fffffff, %r13d      # imm = 0x3FFFFFFF
jmp 0x4e283
xorl %r13d, %r13d
movq 0x8(%rsp), %rax
movq (%rax), %rdi
movzbl %dl, %r8d
movq %r15, %rsi
movl %r13d, %edx
movl %r8d, 0x34(%rsp)
xorl %r9d, %r9d
callq 0x162cf
testq %rax, %rax
movq %r15, 0x38(%rsp)
movq %rax, 0x20(%rsp)
je 0x4e2fe
cmpq $0x0, 0x18(%rax)
sete %cl
movl %ecx, 0x1c(%rsp)
testb $0x4, 0x3(%rax)
je 0x4e32b
orl $0x41000, 0x4(%r14)     # imm = 0x41000
cmpl $0x2, 0x10(%rsp)
movq 0x8(%rsp), %rdi
jne 0x4e332
movq %rdi, %r15
movq 0x28(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x20(%rax), %rdi
callq 0x4f433
movl %eax, 0x2c(%r14)
testl %eax, %eax
js 0x4e35d
movq 0x20(%rsp), %rax
movq %r15, %rdi
jmp 0x4e379
movq 0x8(%rsp), %rax
movq (%rax), %rdi
movl $0x0, 0x1c(%rsp)
movq %r15, %rsi
movl %r13d, %edx
movl $0xfffffffe, %ecx       # imm = 0xFFFFFFFE
movl 0x34(%rsp), %r8d
xorl %r9d, %r9d
callq 0x162cf
testq %rax, %rax
je 0x4e33c
movq 0x8(%rsp), %rdi
jmp 0x4e379
movl $0x3e, 0x2c(%r14)
jmp 0x4e379
movq 0x8(%rsp), %rax
movq (%rax), %rax
cmpb $0x0, 0x99(%rax)
jne 0x4e4d9
leaq 0x24c72(%rip), %rsi     # 0x72fca
jmp 0x4e3f1
leaq 0x24bd8(%rip), %rsi     # 0x72f3c
movq %r15, %rdi
xorl %eax, %eax
callq 0x11db0
movq %r15, %rdi
incl 0x2c(%rbx)
movq 0x20(%rsp), %rax
movq %rax, %r15
movq 0x30(%rax), %rcx
movl $0x1f, %esi
xorl %edx, %edx
xorl %r8d, %r8d
callq 0x4d23f
testl %eax, %eax
je 0x4e3bb
cmpl $0x1, %eax
jne 0x4e3b2
movq 0x30(%r15), %rdx
leaq 0x24be0(%rip), %rsi     # 0x72f83
movq 0x8(%rsp), %rdi
xorl %eax, %eax
callq 0x11db0
incl 0x2c(%rbx)
movb $0x63, (%r14)
jmp 0x4e4f5
testb $0x8, 0x3(%r15)
movq %rbx, 0x10(%rsp)
je 0x4e3cc
orb $0x8, 0x6(%r14)
cmpb $0x0, 0x1c(%rsp)
je 0x4e40d
movb $0x1, %bl
movq 0x10(%rsp), %rax
testb $0x1, 0x30(%rax)
movq 0x20(%rsp), %rax
jne 0x4e414
leaq 0x24bba(%rip), %rsi     # 0x72fa6
movq 0x10(%rsp), %rbx
movq 0x8(%rsp), %rdi
movl %r13d, %edx
movq 0x38(%rsp), %rcx
xorl %eax, %eax
callq 0x11db0
incl 0x2c(%rbx)
jmp 0x4e4d9
xorl %ebx, %ebx
movq 0x20(%rsp), %rax
testq %rax, %rax
je 0x4e4ab
testb %bl, %bl
movq 0x10(%rsp), %rbx
je 0x4e4d9
andb $-0x2, 0x30(%rbx)
movq %r12, %rdi
movq 0x28(%rsp), %rsi
callq 0x4bf8b
movb $-0x66, (%r14)
movb $0x0, 0x36(%r14)
leaq 0x58(%rsp), %r12
xorl %r13d, %r13d
leaq 0x50(%rsp), %r15
movq 0x8(%rbx), %rax
movq 0x20(%r14), %rsi
movq %r13, 0x10(%r12)
xorps %xmm0, %xmm0
movups %xmm0, (%r12)
leaq 0x155e(%rip), %rcx      # 0x4f9cb
movq %rcx, 0x50(%rsp)
leaq 0x40(%rsp), %rcx
movq %rcx, 0x70(%rsp)
movq %rax, 0x40(%rsp)
movq %r13, 0x48(%rsp)
movq %r15, %rdi
callq 0x4bf8b
cmpl $0x0, 0x48(%rsp)
jg 0x4e4e8
cmpl $0x0, 0x4c(%rsp)
je 0x4e4e8
incb 0x36(%r14)
movq 0x20(%rbx), %rbx
testq %rbx, %rbx
jne 0x4e451
jmp 0x4e4ec
leaq 0x24b2f(%rip), %rsi     # 0x72fe1
movq 0x8(%rsp), %rdi
movl %r13d, %edx
movq 0x38(%rsp), %rcx
xorl %eax, %eax
callq 0x11db0
movq 0x10(%rsp), %rax
incl 0x2c(%rax)
testb %bl, %bl
movq %rax, %rbx
jne 0x4e42a
movq %r12, %rdi
movq 0x28(%rsp), %rsi
callq 0x4bf8b
jmp 0x4e4f5
orb $0x2, 0x30(%rbx)
movq 0x10(%rsp), %rax
orb $0x1, 0x30(%rax)
movl %ebp, %eax
addq $0x78, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq