Lines Matching defs:Arena
160 return CapabilityExpr(new (Arena) til::Wildcard(), false);
253 return new (Arena) til::Literal(cast<Expr>(S));
263 return new (Arena) til::Undefined(S);
287 return new (Arena) til::LiteralPtr(VD);
337 til::SExpr *E = new (Arena) til::SApply(BE);
344 til::Project *P = new (Arena) til::Project(E, D);
370 E = new (Arena) til::Apply(E, A);
372 return new (Arena) til::Call(E, CE);
382 return new (Arena) til::Cast(til::CAST_objToPtr, E);
397 return new (Arena) til::Cast(til::CAST_objToPtr, E);
411 return new (Arena) til::Undefined(UO);
420 auto *W = new (Arena) til::Wildcard();
421 return new (Arena) til::Project(W, DRE->getDecl());
435 return new (Arena)
438 return new (Arena)
441 return new (Arena)
449 return new (Arena) til::Undefined(UO);
451 return new (Arena) til::Undefined(UO);
460 return new (Arena) til::BinaryOp(Op, E1, E0);
462 return new (Arena) til::BinaryOp(Op, E0, E1);
482 til::SExpr *Arg = CV ? CV : new (Arena) til::Load(E0);
483 E1 = new (Arena) til::BinaryOp(Op, Arg, E1);
488 return new (Arena) til::Store(E0, E1);
496 return new (Arena) til::Undefined(BO);
533 return new (Arena) til::Undefined(BO);
549 // return new (Arena) til::Load(E0);
564 return new (Arena) til::Cast(til::CAST_none, E0);
574 return new (Arena) til::ArrayIndex(E0, E1);
583 return new (Arena) til::IfThenElse(C, T, E);
616 E = new (Arena) til::Variable(E, VD);
657 til::SExpr *Ptr = new (Arena) til::LiteralPtr(VD);
658 til::SExpr *St = new (Arena) til::Store(Ptr, E);
686 til::Phi *Ph = new (Arena) til::Phi(Arena, NPreds);
791 Scfg = new (Arena) til::SCFG(Arena, NBlocks);
798 auto *BB = new (Arena) til::BasicBlock(Arena);
813 til::SExpr *Lp = new (Arena) til::LiteralPtr(Pm);
814 til::SExpr *Ld = new (Arena) til::Load(Lp);
856 static_cast<unsigned>(CurrentArguments.size()), Arena);
868 til::SExpr *Sf = new (Arena) til::LiteralPtr(VD);
869 til::SExpr *Dr = new (Arena) til::LiteralPtr(DD);
870 til::SExpr *Ap = new (Arena) til::Apply(Dr, Sf);
871 til::SExpr *E = new (Arena) til::Call(Ap);
877 static_cast<unsigned>(CurrentInstructions.size()), Arena);
888 auto *Tm = new (Arena) til::Goto(BB, Idx);
897 auto *Tm = new (Arena) til::Branch(C, BB1, BB2);
933 til::MemRegionRef Arena(&Bpa);
934 SExprBuilder SxBuilder(Arena);
