engine,rv64,rtl-basic: do not use tmp0 if dest is not in SPM

src/engine/rv64/rv64-backend/rtl-basic.c

@@ -60,9 +60,15 @@ static inline void load_imm_no_opt(uint32_t r, const sword_t imm) {
 #ifdef REG_SPILLING
 #define make_rtl_compute_reg(rtl_name, rv64_name) \
   make_rtl(rtl_name, rtlreg_t* dest, const rtlreg_t* src1, const rtlreg_t* src2) { \
-    concat(rv64_, rv64_name) (tmp0, rtlreg2rvidx(s, src1), rtlreg2rvidx(s, src2)); \
-    rtl_kill(s, src1); \
-    rv64_addi(rtlreg2rvidx(s, dest), tmp0, 0); \
+    uint32_t dest_varidx = rtlreg2varidx(s, dest); \
+    uint32_t src1_rvidx = rtlreg2rvidx(s, src1); \
+    uint32_t src2_rvidx = rtlreg2rvidx(s, src2); \
+    if (dest_varidx & SPMIDX_MASK) { \
+      concat(rv64_, rv64_name) (tmp0, src1_rvidx, src2_rvidx); \
+      rtl_kill(s, src1); \
+      rv64_addi(rtlreg2rvidx(s, dest), tmp0, 0); \
+    } \
+    else concat(rv64_, rv64_name) (dest_varidx, src1_rvidx, src2_rvidx); \
   }
 #else
 #define make_rtl_compute_reg(rtl_name, rv64_name) \
@@ -130,9 +136,15 @@ make_rtl_compute_imm(sari, sraiw)
 
 #ifdef REG_SPILLING
 make_rtl(setrelop, uint32_t relop, rtlreg_t *dest, const rtlreg_t *src1, const rtlreg_t *src2) {
-  rv64_relop(relop, tmp0, rtlreg2rvidx(s, src1), rtlreg2rvidx(s, src2));
-  rtl_kill(s, src1);
-  rv64_addi(rtlreg2rvidx(s, dest), tmp0, 0);
+  uint32_t dest_varidx = rtlreg2varidx(s, dest);
+  uint32_t src1_rvidx = rtlreg2rvidx(s, src1);
+  uint32_t src2_rvidx = rtlreg2rvidx(s, src2);
+  if (dest_varidx & SPMIDX_MASK) {
+    rv64_relop(relop, tmp0, src1_rvidx, src2_rvidx);
+    rtl_kill(s, src1);
+    rv64_addi(rtlreg2rvidx(s, dest), tmp0, 0);
+  }
+  else rv64_relop(relop, dest_varidx, src1_rvidx, src2_rvidx);
 }
 #else
 make_rtl(setrelop, uint32_t relop, rtlreg_t *dest, const rtlreg_t *src1, const rtlreg_t *src2) {