[PATCH 5/9] Native complex operations: Add the conjugate op in optabs

[Sylvain Noiry <snoiry@kalrayinc.com>]

Add an optab and rtl operation for the conjugate, called conj,
to expand CONJ_EXPR.

gcc/ChangeLog:

	* rtl.def: Add a conj operation in rtl
	* optabs.def: Add a conj optab
	* optabs-tree.cc (optab_for_tree_code): use the
	conj_optab to convert a CONJ_EXPR
	* expr.cc (expand_expr_real_2): Add a case to expand
	native CONJ_EXPR
	(expand_expr_real_1): Likewise
---
 gcc/expr.cc        | 17 ++++++++++++++++-
 gcc/optabs-tree.cc |  3 +++
 gcc/optabs.def     |  3 +++
 gcc/rtl.def        |  3 +++
 4 files changed, 25 insertions(+), 1 deletion(-)

diff --git a/gcc/expr.cc b/gcc/expr.cc
index e94de8a05b5..be153be0b71 100644
--- a/gcc/expr.cc
+++ b/gcc/expr.cc
@@ -10498,6 +10498,18 @@ expand_expr_real_2 (sepops ops, rtx target, machine_mode tmode,
 	return dst;
       }
 
+    case CONJ_EXPR:
+      op0 = expand_expr (treeop0, subtarget, VOIDmode, EXPAND_NORMAL);
+      if (modifier == EXPAND_STACK_PARM)
+	target = 0;
+      temp = expand_unop (mode,
+			  optab_for_tree_code (CONJ_EXPR, type,
+					       optab_default),
+			  op0, target, 0);
+      gcc_assert (temp);
+      return REDUCE_BIT_FIELD (temp);
+
+
     default:
       gcc_unreachable ();
     }
@@ -12064,6 +12076,10 @@ expand_expr_real_1 (tree exp, rtx target, machine_mode tmode,
       op0 = expand_normal (treeop0);
       return read_complex_part (op0, IMAG_P);
 
+    case CONJ_EXPR:
+      op0 = expand_normal (treeop0);
+      return op0;
+
     case RETURN_EXPR:
     case LABEL_EXPR:
     case GOTO_EXPR:
@@ -12087,7 +12103,6 @@ expand_expr_real_1 (tree exp, rtx target, machine_mode tmode,
     case VA_ARG_EXPR:
     case BIND_EXPR:
     case INIT_EXPR:
-    case CONJ_EXPR:
     case COMPOUND_EXPR:
     case PREINCREMENT_EXPR:
     case PREDECREMENT_EXPR:
diff --git a/gcc/optabs-tree.cc b/gcc/optabs-tree.cc
index e6ae15939d3..c646b3667d4 100644
--- a/gcc/optabs-tree.cc
+++ b/gcc/optabs-tree.cc
@@ -271,6 +271,9 @@ optab_for_tree_code (enum tree_code code, const_tree type,
 	return TYPE_UNSIGNED (type) ? usneg_optab : ssneg_optab;
       return trapv ? negv_optab : neg_optab;
 
+    case CONJ_EXPR:
+      return conj_optab;
+
     case ABS_EXPR:
       return trapv ? absv_optab : abs_optab;
 
diff --git a/gcc/optabs.def b/gcc/optabs.def
index 3dae228fba6..31475c8afcc 100644
--- a/gcc/optabs.def
+++ b/gcc/optabs.def
@@ -160,6 +160,9 @@ OPTAB_NL(umax_optab, "umax$I$a3", UMAX, "umax", '3', gen_int_libfunc)
 OPTAB_NL(neg_optab, "neg$P$a2", NEG, "neg", '2', gen_int_fp_fixed_libfunc)
 OPTAB_NX(neg_optab, "neg$F$a2")
 OPTAB_NX(neg_optab, "neg$Q$a2")
+OPTAB_NL(conj_optab, "conj$P$a2", CONJ, "conj", '2', gen_int_fp_fixed_libfunc)
+OPTAB_NX(conj_optab, "conj$F$a2")
+OPTAB_NX(conj_optab, "conj$Q$a2")
 OPTAB_VL(negv_optab, "negv$I$a2", NEG, "neg", '2', gen_intv_fp_libfunc)
 OPTAB_VX(negv_optab, "neg$F$a2")
 OPTAB_NL(ssneg_optab, "ssneg$Q$a2", SS_NEG, "ssneg", '2', gen_signed_fixed_libfunc)
diff --git a/gcc/rtl.def b/gcc/rtl.def
index 88e2b198503..4280f727286 100644
--- a/gcc/rtl.def
+++ b/gcc/rtl.def
@@ -460,6 +460,9 @@ DEF_RTL_EXPR(MINUS, "minus", "ee", RTX_BIN_ARITH)
 /* Minus operand 0.  */
 DEF_RTL_EXPR(NEG, "neg", "e", RTX_UNARY)
 
+/* Conj operand 0 */
+DEF_RTL_EXPR(CONJ, "conj", "e", RTX_UNARY)
+
 DEF_RTL_EXPR(MULT, "mult", "ee", RTX_COMM_ARITH)
 
 /* Multiplication with signed saturation */
-- 
2.17.1