From 653d42ccf3cef03a96b42f6830850b98b9e52f54 Mon Sep 17 00:00:00 2001
From: Yaossg <yaossg@outlook.com>
Date: Wed, 20 Nov 2024 22:46:57 +0800
Subject: [PATCH] srli should be srai

---
 boot.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/boot.c b/boot.c
index 4522e1b..2b3442e 100644
--- a/boot.c
+++ b/boot.c
@@ -765,7 +765,7 @@ int asm_sub(int lhs, int rhs) {
         load(0, lhs);
         load(1, rhs);
         printf("  sub t0, t0, t1\n");
-        asm_shift_t0("srli", lhs_type);
+        asm_shift_t0("srai", lhs_type);
         return materialize_t0(TYPE_INT);
     }
     if (type1) {