[Mlir-commits] [mlir] Add 'exact' flag to arith.shrui/shrsi/divsi/divui operations (PR #165923)

[Jakub Kuderski]

================
@@ -830,12 +856,17 @@ def Arith_ShRUIOp : Arith_TotalIntBinaryOp<"shrui"> {
     filled with zeros. If the value of the second operand is greater or equal than the
     bitwidth of the first operand, then the operation returns poison.
 
+    If the `exact` keyword is present, the result value of shrui is a poison
----------------
kuhar wrote:

```suggestion
    If the `exact` attribute is present, the result value of shrui is a poison
```

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