Add test for sign extension in jump operations (Alan-Jowett#243)

* Add test for non-sign extending JLE Signed-off-by: Alan Jowett <[email protected]> * Test sign extension in jumps Signed-off-by: Alan Jowett <[email protected]> * Add test for sign extension of immediate value Signed-off-by: Alan Jowett <[email protected]> * Add test for sign extension of immediate value Signed-off-by: Alan Jowett <[email protected]> --------- Signed-off-by: Alan Jowett <[email protected]> Signed-off-by: Alan Jowett <[email protected]> Co-authored-by: Alan Jowett <[email protected]>
dthaler · May 7, 2024 · 35201b4 · 35201b4
1 parent de61836
commit 35201b4
Showing 1 changed file with 32 additions and 0 deletions.
diff --git a/tests/j-signed-imm.data b/tests/j-signed-imm.data
@@ -0,0 +1,32 @@
+# Copyright (c) Alan Jowett
+# SPDX-License-Identifier: MIT
+# This test checks if the immediate value is sign extended when performing
+# unsigned jump operations.
+
+-- asm
+mov32 %r0, 2
+
+lddw %r1, 0xFFFFFFFF80000000
+jeq %r1, 0x80000000, +1 # Taken, sign extended
+exit
+
+lddw %r1, 0xFFFFFFFF80000000
+jlt %r1, 0x80000001, +1 # Taken, sign extended
+exit
+
+lddw %r1, 0xFFFFFFFF80000001
+jgt %r1, 0x80000000, +1 # Taken, sign extended
+exit
+
+lddw %r1, 0x80000000
+jne %r1, 0x80000000, +1 # Taken, sign extended
+exit
+
+lddw %r1, 0xFFFFFFFF00000000
+jset %r1, 0x80000000, +1 # Taken, sign extended
+exit
+
+mov32 %r0, 1
+exit
+-- result
+0x1