From 4022e5c95210631e4aceb08eaf9d9071aa5aefc4 Mon Sep 17 00:00:00 2001
From: Richard Qin <richard.qin.001@gmail.com>
Date: Tue, 15 Sep 2026 08:16:43 +0800
Subject: Set up a git repo

---
 tests/functional/81_global_addr.sy | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 tests/functional/81_global_addr.sy

(limited to 'tests/functional/81_global_addr.sy')

diff --git a/tests/functional/81_global_addr.sy b/tests/functional/81_global_addr.sy
new file mode 100644
index 0000000..7089f70
--- /dev/null
+++ b/tests/functional/81_global_addr.sy
@@ -0,0 +1,17 @@
+// 回归用例: rv64 全局符号取址走 `la` (medany), 而非 lui %hi/addi %lo (medlow)
+// 触发 (修前): bare-metal/高地址链接脚本下 R_RISCV_HI20 relocation truncated
+int g[10];
+int read_arr(int a[], int idx) {
+    return a[idx];
+}
+int main() {
+    int i;
+    i = 0;
+    while (i < 10) {
+        g[i] = i * i;
+        i = i + 1;
+    }
+    putint(read_arr(g, 7));
+    putch(10);
+    return 0;
+}
-- 
cgit v1.2.3