diff --git a/Intrinsics_Reference/ch_vec_reference.xml b/Intrinsics_Reference/ch_vec_reference.xml
index cbc0b89..550d16e 100644
--- a/Intrinsics_Reference/ch_vec_reference.xml
+++ b/Intrinsics_Reference/ch_vec_reference.xml
@@ -12737,13 +12737,15 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref">
r is undefined. For signed
integer division, when an element of a is the negative number with maximum
- cardinality and the corresponding element of b is negative one, the corresponding
- element of r is undefined.
+ element of r is undefined.
Review status:
- Unreviewed.
+ Reviewed by Paul Clarke and Jinsong Ji. Added 0x8000_0000
+ example per Jinsong's comment.
@@ -13020,9 +13022,10 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref">
Result value:
The value of each element of r is
obtained by shifting the corresponding element of a left by 32 bits, and then dividing that
- value by the corresponding element of b.
+ role="bold">a left by the element size in bits, and
+ then dividing that value by the corresponding element of b. For example, the shift amount is 32
+ bits for "int" and 64 bits for "long long."
Endian considerations:
None.
@@ -13038,7 +13041,8 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref">
Review status:
- Unreviewed.
+ Reviewed by Paul Clarke and Jinsong Ji. Updated language
+ about the shift amount per Jinsong's comment.
@@ -22643,7 +22647,7 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref">
Review status:
- Unreviewed.
+ Reviewed by Paul Clarke and Jinsong Ji.
@@ -23510,7 +23514,7 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref">
Review status:
- Unreviewed.
+ Changes reviewed by Paul Clarke and Jinsong Ji.
@@ -24050,7 +24054,7 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="VIPR.vec-ref">
None.
Review status:
- Unreviewed.
+ Reviewed by Paul Clarke and Jinsong Ji.