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

[Erick Ochoa Lopez]

================
@@ -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.
----------------
amd-eochoalo wrote:

@razvanlupusoru 

> a pattern that's dependent on DLTI attributes which looks up the target index bitwidth and uses that to determine soundness.

this is way. I'll start something later today, but I do have some other tasks I need to take care of so it might take a bit of time. Thanks for your patience in advance! If you are on a timeline, I don't think anyone would oppose a contribution. :) 

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