PR feedback

Signed-off-by: Alan Jowett <[email protected]>

test-data/shift.yaml

@@ -1110,11 +1110,12 @@ test-case: check that unsigned right shift by 0 is idempotent - svalue out of ra
 
 pre:
   - r0.type=number
-  - r0.svalue=-8863041185711652825
-  - r0.uvalue=9583702887997898791
+  #  This is 0x8000000000000000, which is out of range for a signed 64-bit number.
+  - r0.svalue=-9223372036854775808
+  - r0.uvalue=9223372036854775808
   - r1.type=number
-  - r1.svalue=-8863041185711652825
-  - r1.uvalue=9583702887997898791
+  - r1.svalue=-9223372036854775808
+  - r1.uvalue=9223372036854775808
 
 code:
   <start>: |
@@ -1128,10 +1129,11 @@ code:
 
 post:
   - r0.type=number
-  - r0.uvalue=9583702887997898791
+  - r0.uvalue=9223372036854775808
+  #  Note: The svalue gets havoced by the shift, so we can't check it.
   - r1.type=number
-  - r1.svalue=-8863041185711652825
-  - r1.uvalue=9583702887997898791
+  - r1.svalue=-9223372036854775808
+  - r1.uvalue=9223372036854775808
   - r0.uvalue=r1.uvalue
   - r2.type=number
   - r2.svalue=[0, 1]
@@ -1143,6 +1145,7 @@ test-case: check that unsigned right shift by 0 is idempotent - valid svalue
 
 pre:
   - r0.type=number
+  #  This is 0x7fffffffffffffff, which is in range for a signed 64-bit number.
   - r0.svalue=9223372036854775807
   - r0.uvalue=9223372036854775807
   - r1.type=number