Lines Matching refs:SExpr

62 static bool isIncompletePhi(const til::SExpr *E) {  in isIncompletePhi()
70 til::SExpr *SExprBuilder::lookupStmt(const Stmt *S) { in lookupStmt()
180 til::SExpr *E = translate(AttrExp, Ctx); in translateAttrExpr()
198 til::SExpr *SExprBuilder::translate(const Stmt *S, CallingContext *Ctx) { in translate()
204 if (til::SExpr *E = lookupStmt(S)) in translate()
266 til::SExpr *SExprBuilder::translateDeclRefExpr(const DeclRefExpr *DRE, in translateDeclRefExpr()
290 til::SExpr *SExprBuilder::translateCXXThisExpr(const CXXThisExpr *TE, in translateCXXThisExpr()
299 static const ValueDecl *getValueDeclFromSExpr(const til::SExpr *E) { in getValueDeclFromSExpr()
311 static bool hasCppPointerType(const til::SExpr *E) { in hasCppPointerType()
334 til::SExpr *SExprBuilder::translateMemberExpr(const MemberExpr *ME, in translateMemberExpr()
336 til::SExpr *BE = translate(ME->getBase(), Ctx); in translateMemberExpr()
337 til::SExpr *E = new (Arena) til::SApply(BE); in translateMemberExpr()
350 til::SExpr *SExprBuilder::translateCallExpr(const CallExpr *CE, in translateCallExpr()
362 return const_cast<til::SExpr*>( in translateCallExpr()
367 til::SExpr *E = translate(CE->getCallee(), Ctx); in translateCallExpr()
369 til::SExpr *A = translate(Arg, Ctx); in translateCallExpr()
375 til::SExpr *SExprBuilder::translateCXXMemberCallExpr( in translateCXXMemberCallExpr()
390 til::SExpr *SExprBuilder::translateCXXOperatorCallExpr( in translateCXXOperatorCallExpr()
404 til::SExpr *SExprBuilder::translateUnaryOperator(const UnaryOperator *UO, in translateUnaryOperator()
454 til::SExpr *SExprBuilder::translateBinOp(til::TIL_BinaryOpcode Op, in translateBinOp()
457 til::SExpr *E0 = translate(BO->getLHS(), Ctx); in translateBinOp()
458 til::SExpr *E1 = translate(BO->getRHS(), Ctx); in translateBinOp()
465 til::SExpr *SExprBuilder::translateBinAssign(til::TIL_BinaryOpcode Op, in translateBinAssign()
471 til::SExpr *E0 = translate(LHS, Ctx); in translateBinAssign()
472 til::SExpr *E1 = translate(RHS, Ctx); in translateBinAssign()
475 til::SExpr *CV = nullptr; in translateBinAssign()
482 til::SExpr *Arg = CV ? CV : new (Arena) til::Load(E0); in translateBinAssign()
491 til::SExpr *SExprBuilder::translateBinaryOperator(const BinaryOperator *BO, in translateBinaryOperator()
536 til::SExpr *SExprBuilder::translateCastExpr(const CastExpr *CE, in translateCastExpr()
542 til::SExpr *E0 = lookupVarDecl(DRE->getDecl()); in translateCastExpr()
546 til::SExpr *E0 = translate(CE->getSubExpr(), Ctx); in translateCastExpr()
556 til::SExpr *E0 = translate(CE->getSubExpr(), Ctx); in translateCastExpr()
561 til::SExpr *E0 = translate(CE->getSubExpr(), Ctx); in translateCastExpr()
569 til::SExpr *
572 til::SExpr *E0 = translate(E->getBase(), Ctx); in translateArraySubscriptExpr()
573 til::SExpr *E1 = translate(E->getIdx(), Ctx); in translateArraySubscriptExpr()
577 til::SExpr *
586 til::SExpr *
592 til::SExpr* SE = translate(E, Ctx); in translateDeclStmt()
611 til::SExpr *SExprBuilder::addStatement(til::SExpr* E, const Stmt *S, in addStatement()
624 til::SExpr *SExprBuilder::lookupVarDecl(const ValueDecl *VD) { in lookupVarDecl()
634 static void maybeUpdateVD(til::SExpr *E, const ValueDecl *VD) { in maybeUpdateVD()
644 til::SExpr *SExprBuilder::addVarDecl(const ValueDecl *VD, til::SExpr *E) { in addVarDecl()
653 til::SExpr *SExprBuilder::updateVarDecl(const ValueDecl *VD, til::SExpr *E) { in updateVarDecl()
657 til::SExpr *Ptr = new (Arena) til::LiteralPtr(VD); in updateVarDecl()
658 til::SExpr *St = new (Arena) til::Store(Ptr, E); in updateVarDecl()
669 void SExprBuilder::makePhiNodeVar(unsigned i, unsigned NPreds, til::SExpr *E) { in makePhiNodeVar()
673 til::SExpr *CurrE = CurrentLVarMap[i].second; in makePhiNodeVar()
776 for (til::SExpr *PE : BB->arguments()) { in mergePhiNodesBackEdge()
781 til::SExpr *E = lookupVarDecl(Ph->clangDecl()); in mergePhiNodesBackEdge()
813 til::SExpr *Lp = new (Arena) til::LiteralPtr(Pm); in enterCFG()
814 til::SExpr *Ld = new (Arena) til::Load(Lp); in enterCFG()
815 til::SExpr *V = addStatement(Ld, nullptr, Pm); in enterCFG()
862 til::SExpr *E = translate(S, nullptr); in handleStatement()
868 til::SExpr *Sf = new (Arena) til::LiteralPtr(VD); in handleDestructorCall()
869 til::SExpr *Dr = new (Arena) til::LiteralPtr(DD); in handleDestructorCall()
870 til::SExpr *Ap = new (Arena) til::Apply(Dr, Sf); in handleDestructorCall()
871 til::SExpr *E = new (Arena) til::Call(Ap); in handleDestructorCall()
892 til::SExpr *C = translate(B->getTerminatorCondition(true), nullptr); in exitCFGBlockBody()