Lines Matching refs:SExpr

43 inline bool equals(const til::SExpr *E1, const til::SExpr *E2) {  in equals()
47 inline bool matches(const til::SExpr *E1, const til::SExpr *E2) {  in matches()
59 inline bool partiallyMatches(const til::SExpr *E1, const til::SExpr *E2) {  in partiallyMatches()
69 inline std::string toString(const til::SExpr *E) {  in toString()
259   const til::SExpr* CapExpr;   ///< The capability expression.
263   CapabilityExpr(const til::SExpr *E, bool Neg) : CapExpr(E), Negated(Neg) {}  in CapabilityExpr()
265   const til::SExpr* sexpr()    const { return CapExpr; }  in sexpr()
358   til::SExpr *translate(const Stmt *S, CallingContext *Ctx);
361   til::SExpr *lookupStmt(const Stmt *S);
371   til::SExpr *translateDeclRefExpr(const DeclRefExpr *DRE,
373   til::SExpr *translateCXXThisExpr(const CXXThisExpr *TE, CallingContext *Ctx);
374   til::SExpr *translateMemberExpr(const MemberExpr *ME, CallingContext *Ctx);
375   til::SExpr *translateCallExpr(const CallExpr *CE, CallingContext *Ctx,
377   til::SExpr *translateCXXMemberCallExpr(const CXXMemberCallExpr *ME,
379   til::SExpr *translateCXXOperatorCallExpr(const CXXOperatorCallExpr *OCE,
381   til::SExpr *translateUnaryOperator(const UnaryOperator *UO,
383   til::SExpr *translateBinOp(til::TIL_BinaryOpcode Op,
386   til::SExpr *translateBinAssign(til::TIL_BinaryOpcode Op,
389   til::SExpr *translateBinaryOperator(const BinaryOperator *BO,
391   til::SExpr *translateCastExpr(const CastExpr *CE, CallingContext *Ctx);
392   til::SExpr *translateArraySubscriptExpr(const ArraySubscriptExpr *E,
394   til::SExpr *translateAbstractConditionalOperator(
397   til::SExpr *translateDeclStmt(const DeclStmt *S, CallingContext *Ctx);
400   typedef llvm::DenseMap<const Stmt*, til::SExpr*> StatementMap;
406   typedef std::pair<const ValueDecl *, til::SExpr *> NameVarPair;
457   void insertStmt(const Stmt *S, til::SExpr *E) {  in insertStmt()
460   til::SExpr *getCurrentLVarDefinition(const ValueDecl *VD);
462   til::SExpr *addStatement(til::SExpr *E, const Stmt *S,
464   til::SExpr *lookupVarDecl(const ValueDecl *VD);
465   til::SExpr *addVarDecl(const ValueDecl *VD, til::SExpr *E);
466   til::SExpr *updateVarDecl(const ValueDecl *VD, til::SExpr *E);
468   void makePhiNodeVar(unsigned i, unsigned NPreds, til::SExpr *E);
490   std::vector<til::SExpr*> CurrentInstructions;