[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:

Could it make sense to provide a very short definition of the flags (I may be off in terms of the actual semantics):

Valid options include 'inbounds' (pointer arithmetic must be within object bounds),
'nsw' (no signed wrap), and 'nuw' (no unsigned wrap). The flags can be set individually or in combination.

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