Lines Matching defs:Orig

183   R_SExpr reduceUndefined(Undefined &Orig) { return true; }
184 R_SExpr reduceWildcard(Wildcard &Orig) { return true; }
186 R_SExpr reduceLiteral(Literal &Orig) { return true; }
188 R_SExpr reduceLiteralT(LiteralT<T> &Orig) { return true; }
189 R_SExpr reduceLiteralPtr(Literal &Orig) { return true; }
191 R_SExpr reduceFunction(Function &Orig, Variable *Nvd, R_SExpr E0) {
194 R_SExpr reduceSFunction(SFunction &Orig, Variable *Nvd, R_SExpr E0) {
197 R_SExpr reduceCode(Code &Orig, R_SExpr E0, R_SExpr E1) {
200 R_SExpr reduceField(Field &Orig, R_SExpr E0, R_SExpr E1) {
203 R_SExpr reduceApply(Apply &Orig, R_SExpr E0, R_SExpr E1) {
206 R_SExpr reduceSApply(SApply &Orig, R_SExpr E0, R_SExpr E1) {
209 R_SExpr reduceProject(Project &Orig, R_SExpr E0) { return E0; }
210 R_SExpr reduceCall(Call &Orig, R_SExpr E0) { return E0; }
211 R_SExpr reduceAlloc(Alloc &Orig, R_SExpr E0) { return E0; }
212 R_SExpr reduceLoad(Load &Orig, R_SExpr E0) { return E0; }
213 R_SExpr reduceStore(Store &Orig, R_SExpr E0, R_SExpr E1) { return E0 && E1; }
214 R_SExpr reduceArrayIndex(Store &Orig, R_SExpr E0, R_SExpr E1) {
217 R_SExpr reduceArrayAdd(Store &Orig, R_SExpr E0, R_SExpr E1) {
220 R_SExpr reduceUnaryOp(UnaryOp &Orig, R_SExpr E0) { return E0; }
221 R_SExpr reduceBinaryOp(BinaryOp &Orig, R_SExpr E0, R_SExpr E1) {
224 R_SExpr reduceCast(Cast &Orig, R_SExpr E0) { return E0; }
226 R_SExpr reduceSCFG(SCFG &Orig, Container<BasicBlock *> Bbs) {
229 R_BasicBlock reduceBasicBlock(BasicBlock &Orig, Container<R_SExpr> &As,
233 R_SExpr reducePhi(Phi &Orig, Container<R_SExpr> &As) {
236 R_SExpr reduceGoto(Goto &Orig, BasicBlock *B) {
246 R_SExpr reduceIdentifier(Identifier &Orig) {
249 R_SExpr reduceIfThenElse(IfThenElse &Orig, R_SExpr C, R_SExpr T, R_SExpr E) {
252 R_SExpr reduceLet(Let &Orig, Variable *Nvd, R_SExpr B) {
256 Variable *enterScope(Variable &Orig, R_SExpr E0) { return &Orig; }
257 void exitScope(const Variable &Orig) {}