From 7f6ccfc7f17482943025a553558abed54f483023 Mon Sep 17 00:00:00 2001 From: Ry Date: Tue, 7 Feb 2023 18:44:42 -0800 Subject: [PATCH] rv2fox: Understand `bgt` and `bgtu` --- gcc/rv2fox | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/gcc/rv2fox b/gcc/rv2fox index 9d3b5fe..dbe574f 100755 --- a/gcc/rv2fox +++ b/gcc/rv2fox @@ -158,7 +158,7 @@ class Converter: self.xregidx = { r: i for i, r in enumerate(self.xregs) } self.tmp = 'rfp' # temporary register - self.branches = ['bge', 'bgeu', 'blt', 'bltu', 'ble', 'bleu', 'bne', 'bneu'] + self.branches = ['bge', 'bgeu', 'bgt', 'bgtu', 'blt', 'bltu', 'ble', 'bleu', 'bne', 'bneu'] self.label_gen = iter(range(1000000)) @@ -240,6 +240,7 @@ class Converter: if op in ['bne', 'bnez']: return 'ifnz', False if op in ['ble', 'bleu']: return 'ifgt', True if op in ['bge', 'bgeu']: return 'ifgteq', False + if op in ['bgt', 'bgtu']: return 'ifgt', False def convert_branch(self, insn, rs1, rs2, label): cond, reverse = self.convert_condition(insn)