[20/30] tcg/loongarch: Implement setcond ops

Commit Message

WANG Xuerui Sept. 20, 2021, 8:04 a.m. UTC

Signed-off-by: WANG Xuerui <[e-mail]>
---
 tcg/loongarch/tcg-target.c.inc | 53 ++++++++++++++++++++++++++++++++++
 1 file changed, 53 insertions(+)

Comments

Richard Henderson Sept. 20, 2021, 4:24 p.m. UTC | #1

On 9/20/21 1:04 AM, WANG Xuerui wrote:
> +    switch (cond) {
> +    case TCG_COND_EQ:
> +        tcg_out_opc_sub_d(s, ret, arg1, arg2);
> +        tcg_out_opc_sltui(s, ret, ret, 1);
> +        break;
> +    case TCG_COND_NE:
> +        tcg_out_opc_sub_d(s, ret, arg1, arg2);
> +        tcg_out_opc_sltu(s, ret, TCG_REG_ZERO, ret);
> +        break;

You accept zero as input; you'll want to skip the subtract in that case.

r~

Patch

diff --git a/tcg/loongarch/tcg-target.c.inc b/tcg/loongarch/tcg-target.c.inc
index a533a5619d..fb0143474a 100644
--- a/tcg/loongarch/tcg-target.c.inc
+++ b/tcg/loongarch/tcg-target.c.inc
@@ -373,6 +373,52 @@  static void tcg_out_clzctz(TCGContext *s, LoongArchInsn opc,
     tcg_out_opc_or(s, a0, TCG_REG_TMP0, a0);
 }
 
+static void tcg_out_setcond(TCGContext *s, TCGCond cond, TCGReg ret,
+                            TCGReg arg1, TCGReg arg2)
+{
+    switch (cond) {
+    case TCG_COND_EQ:
+        tcg_out_opc_sub_d(s, ret, arg1, arg2);
+        tcg_out_opc_sltui(s, ret, ret, 1);
+        break;
+    case TCG_COND_NE:
+        tcg_out_opc_sub_d(s, ret, arg1, arg2);
+        tcg_out_opc_sltu(s, ret, TCG_REG_ZERO, ret);
+        break;
+    case TCG_COND_LT:
+        tcg_out_opc_slt(s, ret, arg1, arg2);
+        break;
+    case TCG_COND_GE:
+        tcg_out_opc_slt(s, ret, arg1, arg2);
+        tcg_out_opc_xori(s, ret, ret, 1);
+        break;
+    case TCG_COND_LE:
+        tcg_out_opc_slt(s, ret, arg2, arg1);
+        tcg_out_opc_xori(s, ret, ret, 1);
+        break;
+    case TCG_COND_GT:
+        tcg_out_opc_slt(s, ret, arg2, arg1);
+        break;
+    case TCG_COND_LTU:
+        tcg_out_opc_sltu(s, ret, arg1, arg2);
+        break;
+    case TCG_COND_GEU:
+        tcg_out_opc_sltu(s, ret, arg1, arg2);
+        tcg_out_opc_xori(s, ret, ret, 1);
+        break;
+    case TCG_COND_LEU:
+        tcg_out_opc_sltu(s, ret, arg2, arg1);
+        tcg_out_opc_xori(s, ret, ret, 1);
+        break;
+    case TCG_COND_GTU:
+        tcg_out_opc_sltu(s, ret, arg2, arg1);
+        break;
+    default:
+         g_assert_not_reached();
+         break;
+     }
+}
+
 /*
  * Branch helpers
  */
@@ -726,6 +772,11 @@  static void tcg_out_op(TCGContext *s, TCGOpcode opc,
         tcg_out_opc_mod_du(s, a0, a1, a2);
         break;
 
+    case INDEX_op_setcond_i32:
+    case INDEX_op_setcond_i64:
+        tcg_out_setcond(s, args[3], a0, a1, a2);
+        break;
+
     case INDEX_op_mov_i32:  /* Always emitted via tcg_out_mov.  */
     case INDEX_op_mov_i64:
     default:
@@ -830,6 +881,8 @@  static TCGConstraintSetIndex tcg_target_op_def(TCGOpcode op)
     case INDEX_op_rem_i64:
     case INDEX_op_remu_i32:
     case INDEX_op_remu_i64:
+    case INDEX_op_setcond_i32:
+    case INDEX_op_setcond_i64:
         return C_O1_I2(r, rZ, rZ);
 
     default: