add rv_gt headers

diff --git a/riscv/sv_insn_redirect.h b/riscv/sv_insn_redirect.h
index 81a7ee93e9520f0f90ef85a29412213a7865d276..aba4f0cb529a55c13681bbf211089817ee7e9ea1 100644 (file)
--- a/riscv/sv_insn_redirect.h
+++ b/riscv/sv_insn_redirect.h
@@ -108,6 +108,8 @@ public:
     reg_t rv_sr(reg_t lhs, reg_t rhs);
     reg_t rv_lt(reg_t lhs, reg_t rhs);
     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);
 
 #include "sv_insn_decl.h"
 };