@@ -11311,9 +11311,9 @@ For ``nusw`` (no unsigned signed wrap):
11311
11311
index type in a signed sense (``mul nsw``).
11312
11312
* The successive addition of each offset (without adding the base address)
11313
11313
does not wrap the pointer index type in a signed sense (``add nsw``).
11314
- * The successive addition of the current address, truncated to the index type
11315
- and interpreted as an unsigned number, and each offset, interpreted as
11316
- a signed number, does not wrap the index type.
11314
+ * The successive addition of the current address, truncated to the pointer
11315
+ index type and interpreted as an unsigned number, and each offset,
11316
+ interpreted as a signed number, does not wrap the pointer index type.
11317
11317
11318
11318
For ``nuw`` (no unsigned wrap):
11319
11319
@@ -11324,9 +11324,10 @@ For ``nuw`` (no unsigned wrap):
11324
11324
index type in an unsigned sense (``mul nuw``).
11325
11325
* The successive addition of each offset (without adding the base address)
11326
11326
does not wrap the pointer index type in an unsigned sense (``add nuw``).
11327
- * The successive addition of the current address, truncated to the index type
11328
- and interpreted as an unsigned number, and each offset, also interpreted as
11329
- an unsigned number, does not wrap the index type (``add nuw``).
11327
+ * The successive addition of the current address, truncated to the pointer
11328
+ index type and interpreted as an unsigned number, and each offset, also
11329
+ interpreted as an unsigned number, does not wrap the pointer index type
11330
+ (``add nuw``).
11330
11331
11331
11332
For ``inbounds`` all rules of the ``nusw`` attribute apply. Additionally,
11332
11333
if the ``getelementptr`` has any non-zero indices, the following rules apply:
0 commit comments