[PATCH] D80187: [mlir] Custom printing/parsing for Shape::AssumingOp

[Stephan Herhut via Phabricator via llvm-commits]

herhut accepted this revision.
herhut added inline comments.


================
Comment at: mlir/include/mlir/Dialect/Shape/IR/ShapeOps.td:410
   }];
-  let arguments = (ins Shape_WitnessType);
-  let regions = (region SizedRegion<1>:$thenRegion);
+  let arguments = (ins Shape_WitnessType:$condition);
+  let regions = (region SizedRegion<1>:$doRegion);
----------------
`condition` -> `witness`?


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D80187/new/

https://reviews.llvm.org/D80187