From: Andrew Waterman <waterman@cs.berkeley.edu>
Date: Sat, 21 Sep 2013 13:31:53 +0000 (-0700)
Subject: New AUIPC semantics
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ccc285d2f196a717bb639ef1a9a0a005d7527975;p=riscv-tests.git

New AUIPC semantics
---

diff --git a/isa/rv64ui/auipc.S b/isa/rv64ui/auipc.S
index 9b291b5..c2b5157 100644
--- a/isa/rv64ui/auipc.S
+++ b/isa/rv64ui/auipc.S
@@ -11,16 +11,22 @@
 RVTEST_RV64U
 RVTEST_CODE_BEGIN
 
-  TEST_CASE(2, a0, -4096+8, \
+  TEST_CASE(2, a0, 1<<12, \
+    .align 3; \
     auipc a0, 0x00001; \
-    jal 1f; \
-    1: sub a0, ra, a0; \
+    jal a1, 1f; \
+    1: srl a1, a1, 12; \
+    sll a1, a1, 12; \
+    sub a0, a0, a1; \
   )
 
-  TEST_CASE(3, a0, 4096+8, \
+  TEST_CASE(3, a0, -1<<12, \
+    .align 3; \
     auipc a0, 0xfffff; \
-    jal 1f; \
-    1: sub a0, ra, a0; \
+    jal a1, 1f; \
+    1: srl a1, a1, 12; \
+    sll a1, a1, 12; \
+    sub a0, a0, a1; \
   )
 
   TEST_PASSFAIL