add rv_ge
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sun, 14 Oct 2018 05:23:38 +0000 (06:23 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sun, 14 Oct 2018 05:23:38 +0000 (06:23 +0100)
riscv/insns/bge.h
riscv/insns/bgeu.h
riscv/sv_insn_redirect.cc
riscv/sv_insn_redirect.h

index da0c68e6a41fc8c048330b5473ffcf06343cde4f..8cd7e318c49d79a17981afdde54badd225b2a7e4 100644 (file)
@@ -1,2 +1,2 @@
-if(sreg_t(RS1) >= sreg_t(RS2))
+if(rv_ge(sreg_t(RS1), sreg_t(RS2)))
   set_pc(BRANCH_TARGET);
index d764a347ef9223f0c9c2e87c14ac974e1f837b35..a204465a63658a6db60d30ca11fe8a63e958b5d9 100644 (file)
@@ -1,2 +1,2 @@
-if(RS1 >= RS2)
+if(rv_ge(RS1, RS2))
   set_pc(BRANCH_TARGET);
index 012ff0d317e36e13d2a67380993c4c0af6dd5d03..f329ebd1df8daf2b167fc6c216860cd308f3aaa1 100644 (file)
@@ -297,6 +297,16 @@ sreg_t sv_proc_t::rv_gt(sreg_t lhs, sreg_t rhs)
     return lhs > rhs;
 }
 
+reg_t sv_proc_t::rv_ge(reg_t lhs, reg_t rhs)
+{
+    return lhs >= rhs;
+}
+
+sreg_t sv_proc_t::rv_ge(sreg_t lhs, sreg_t rhs)
+{
+    return lhs >= rhs;
+}
+
 reg_t sv_proc_t::rv_eq(reg_t lhs, reg_t rhs)
 {
     return lhs == rhs;
index d7e44ea588a221e0b386179d17258531b02a5b52..8052013de4cba3f398099278df609dc1d8c893e0 100644 (file)
@@ -110,6 +110,8 @@ public:
     sreg_t rv_lt(sreg_t lhs, sreg_t rhs);
     reg_t rv_gt(reg_t lhs, reg_t rhs);
     sreg_t rv_gt(sreg_t lhs, sreg_t rhs);
+    reg_t rv_ge(reg_t lhs, reg_t rhs);
+    sreg_t rv_ge(sreg_t lhs, sreg_t rhs);
     reg_t rv_eq(reg_t lhs, reg_t rhs);
     reg_t rv_ne(reg_t lhs, reg_t rhs);