Change the ForInst induction variable to be a block argument of the body instead of the ForInst itself. This is a necessary step in converting ForInst into an operation.

PiperOrigin-RevId: 231064139

1 files changed, 4 insertions, 5 deletions

diff --git a/mlir/lib/EDSC/MLIREmitter.cpp b/mlir/lib/EDSC/MLIREmitter.cpp
index 56f211ec578..c2a6dc1f90a 100644
--- a/mlir/lib/EDSC/MLIREmitter.cpp
+++ b/mlir/lib/EDSC/MLIREmitter.cpp
@@ -133,9 +133,7 @@ static void printDefininingStatement(llvm::raw_ostream &os, const Value &v) {
     inst->print(os);
     return;
   }
-  // &v is required here otherwise we get:
-  //  non-pointer operand type 'const mlir::ForInst' incompatible with nullptr
-  if (auto *forInst = dyn_cast<ForInst>(&v)) {
+  if (auto *forInst = getForInductionVarOwner(&v)) {
     forInst->print(os);
   } else {
     os << "unknown_ssa_value";
@@ -296,7 +294,7 @@ Value *MLIREmitter::emit(Expr e) {
           exprs[1]->getDefiningInst()->cast<ConstantIndexOp>()->getValue();
       auto step =
           exprs[2]->getDefiningInst()->cast<ConstantIndexOp>()->getValue();
-      res = builder->createFor(location, lb, ub, step);
+      res = builder->createFor(location, lb, ub, step)->getInductionVar();
     }
   }
 
@@ -347,7 +345,8 @@ void MLIREmitter::emitStmt(const Stmt &stmt) {
     bind(stmt.getLHS(), val);
     if (stmt.getRHS().getKind() == ExprKind::For) {
       // Step into the loop.
-      builder->setInsertionPointToStart(cast<ForInst>(val)->getBody());
+      builder->setInsertionPointToStart(
+          getForInductionVarOwner(val)->getBody());
     }
   }
   emitStmts(stmt.getEnclosedStmts());