[Mlir-commits] [mlir] [mlir][affine] Add useExpensiveMath option to AffineLoopNormalize pass (PR #211989)

[Oleksandr Alex Zinenko]

================
@@ -385,6 +385,8 @@ def AffineLoopNormalize : Pass<"affine-loop-normalize", "func::FuncOp"> {
   let options = [
     Option<"promoteSingleIter", "promote-single-iter", "bool",
            /*default=*/"true", "Promote single iteration loops">,
+    Option<"useExpensiveMath", "use-expensive-math", "bool", /*default=*/"false",
+           "Use the Presburger to constantize loop upper bounds (higher analysis cost)">
----------------
ftynse wrote:

```suggestion
           "Use Presburger arithmetic to constantize loop upper bounds (higher analysis cost)">
```

https://github.com/llvm/llvm-project/pull/211989