[Mlir-commits] [mlir] [mlir][arith] Add `exact` to `index_cast{, ui}` (PR #183395)

[Krzysztof Drewniak]

================
@@ -288,31 +288,38 @@ def SelectI1ToNot :
 // IndexCastOp
 //===----------------------------------------------------------------------===//
 
-// index_cast(index_cast(x)) -> x, if dstType == srcType.
+// index_cast(index_cast(x, exact)) -> x, if dstType == srcType.
----------------
krzysz00 wrote:

I'd also check if we ever constrained index to be st most i54 - or can stick a max_index_width somewhere so we can special-case

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