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