[Mlir-commits] [mlir] Update MLIR to support nusw and nuw in GEP. (PR #137272)

[Tobias Gysi]

================
@@ -303,8 +303,10 @@ def LLVM_GEPOp : LLVM_Op<"getelementptr", [Pure,
     as indices. In the case of indexing within a structure, it is required to
     either use constant indices directly, or supply a constant SSA value.
 
-    An optional 'inbounds' attribute specifies the low-level pointer arithmetic
+    Optional attributes can be used to specify the low-level pointer arithmetic
     overflow behavior that LLVM uses after lowering the operation to LLVM IR.
+    The acceptable attributes could be one of or the combination of 'inbounds',
+    'nusw' or 'nuw'.
----------------
gysit wrote:

Yeah I would also be in favor of a verifier in MLIR itself. Triggering an assert after exporting to LLVM IR is not ideal.

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