From 00440a6490e117309c3454d34d4bd5e0f8dbe828 Mon Sep 17 00:00:00 2001
From: Alan Jowett <alan.jowett@microsoft.com>
Date: Wed, 16 Oct 2024 12:54:30 -0700
Subject: [PATCH] PR feedback

Signed-off-by: Alan Jowett <alan.jowett@microsoft.com>
---
 test-data/sdivmod.yaml | 11 +++--------
 test-data/udivmod.yaml |  9 ++-------
 2 files changed, 5 insertions(+), 15 deletions(-)

diff --git a/test-data/sdivmod.yaml b/test-data/sdivmod.yaml
index 6221bd65f..ed7b651d5 100644
--- 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
index 56d7a5caa..9e6d86f4a 100644
--- 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