PR feedback

Signed-off-by: Alan Jowett <[email protected]>
vbpf · Oct 16, 2024 · 00440a6 · 00440a6
1 parent ea2278b
commit 00440a6
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 15 deletions.
diff --git a/test-data/sdivmod.yaml b/test-data/sdivmod.yaml
@@ -573,17 +573,12 @@ post:
 ---
 test-case: Inverted range after modulo
 
-pre: [r0.type=number]
+pre: ["r0.type=number",
+      "r0.svalue=[32768, 9223372036854775807]"]
 
 code:
   <start>: |
-    if r0 s< 0x8000 goto <reset>
-    r0 %= 0x808
-    goto <exit>
-  <reset>: |
-    r0 = 0
-  <exit>: |
-    exit
+    r0 s%= 0x808
 
 post:
   - r0.type=number

diff --git a/test-data/udivmod.yaml b/test-data/udivmod.yaml
@@ -577,17 +577,12 @@ post:
 ---
 test-case: Inverted range after modulo
 
-pre: [r0.type=number]
+pre: ["r0.type=number",
+      "r0.uvalue=[32768, 9223372036854775807]"]
 
 code:
   <start>: |
-    if r0 s< 0x8000 goto <reset>
     r0 %= 0x808
-    goto <exit>
-  <reset>: |
-    r0 = 0
-  <exit>: |
-    exit
 
 post:
   - r0.type=number