Revert "Allow for rewriting of for loops resulting from extension for…

…wards"

This reverts commit a8e43c9.

grammars/edu.umn.cs.melt.exts.ableC.halide/abstractsyntax/IterStmt.sv

@@ -18,7 +18,7 @@ top::Stmt ::= s::Stmt t::Transformation
  ppConcat([pp"transform ", braces(nestlines(2, s.pp)), pp" by ", braces(nestlines(2, t.pp))]);
  top.functionDefs := [];
 
- local normalizedS::Stmt = rewriteWith(normalizeLoops, s.hostStmts).fromJust;
+ local normalizedS::Stmt = rewriteWith(normalizeLoops, new(s)).fromJust;
  normalizedS.env = s.env;
  normalizedS.returnType = s.returnType;
 
@@ -40,45 +40,6 @@ top::Stmt ::= s::Stmt t::Transformation
  else transResult.hostTrans;
 }
 
--- Translate away extensions that forward down to for loops before applying rewrites
-synthesized attribute hostStmts::Stmt occurs on Stmt;
-
-aspect default production
-top::Stmt ::=
-{
- top.hostStmts = top;
-}
-
-aspect production seqStmt
-top::Stmt ::= h::Stmt t::Stmt
-{
- propagate hostStmts;
-}
-
-aspect production compoundStmt
-top::Stmt ::= s::Stmt
-{
- propagate hostStmts;
-}
-
-aspect production forDeclStmt
-top::Stmt ::= i::Decl c::MaybeExpr s::MaybeExpr b::Stmt
-{
- propagate hostStmts;
-}
-
-aspect production ifStmt
-top::Stmt ::= c::Expr t::Stmt e::Stmt
-{
- propagate hostStmts;
-}
-
-aspect production decStmt
-top::Stmt ::= s::Decorated Stmt
-{
- top.hostStmts = s.hostStmts;
-}
-
 function rename
 s:Strategy ::= n1::String n2::String
 {