From: Segher Boessenkool Date: Thu, 7 May 2020 23:25:44 +0000 (-0500) Subject: rs6000: New insns setbc and setbcr X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=98329e3f5b85acc50d08c3f0680a30f6e728c033;p=gcc.git rs6000: New insns setbc and setbcr New instructions setbc and setbcr. setbc sets a GPR to 1 if some condition register bit is set, and 0 otherwise; setbcr does it the other way around. 2020-05-07 Segher Boessenkool * config/rs6000/rs6000.md (setbc_signed_): New define_insn. (*setbcr_signed_): Likewise. (cstore4): Use setbc[r] if available. (2_isel): Avoid for TARGET_FUTURE. (eq3): Use setbc for TARGET_FUTURE. (*eq3): Avoid for TARGET_FUTURE. (ne3): Replace :P with :GPR; use setbc for TARGET_FUTURE; else for non-Pmode, use gen_eq and gen_xor. (*ne3): Avoid for TARGET_FUTURE. (*eqsi3_ext): Avoid for TARGET_FUTURE; fix missing && 1. --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index ce5c3eac23c..a161162591f 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,17 @@ +2020-05-07 Segher Boessenkool + + * config/rs6000/rs6000.md (setbc_signed_): New + define_insn. + (*setbcr_signed_): Likewise. + (cstore4): Use setbc[r] if available. + (2_isel): Avoid for TARGET_FUTURE. + (eq3): Use setbc for TARGET_FUTURE. + (*eq3): Avoid for TARGET_FUTURE. + (ne3): Replace :P with :GPR; use setbc for TARGET_FUTURE; + else for non-Pmode, use gen_eq and gen_xor. + (*ne3): Avoid for TARGET_FUTURE. + (*eqsi3_ext): Avoid for TARGET_FUTURE; fix missing && 1. + 2020-05-07 Jeff Law * config/h8300/h8300.md: Move expanders and patterns into diff --git a/gcc/config/rs6000/rs6000.md b/gcc/config/rs6000/rs6000.md index 6173994797c..e8dc576779a 100644 --- a/gcc/config/rs6000/rs6000.md +++ b/gcc/config/rs6000/rs6000.md @@ -5138,6 +5138,25 @@ } [(set_attr "type" "isel")]) +; Set Boolean Condition (Reverse) +(define_insn "setbc_signed_" + [(set (match_operand:GPR 0 "gpc_reg_operand" "=r") + (match_operator:GPR 1 "scc_comparison_operator" + [(match_operand:CCEITHER 2 "cc_reg_operand" "y") + (const_int 0)]))] + "TARGET_FUTURE" + "setbc %0,%j1" + [(set_attr "type" "isel")]) + +(define_insn "*setbcr_signed_" + [(set (match_operand:GPR 0 "gpc_reg_operand" "=r") + (match_operator:GPR 1 "scc_rev_comparison_operator" + [(match_operand:CCEITHER 2 "cc_reg_operand" "y") + (const_int 0)]))] + "TARGET_FUTURE" + "setbcr %0,%j1" + [(set_attr "type" "isel")]) + ;; Floating point conditional move (define_expand "movcc" [(set (match_operand:SFDF 0 "gpc_reg_operand") @@ -11425,6 +11444,10 @@ (clobber (match_operand:GPR 0 "gpc_reg_operand"))] "" { + /* Everything is best done with setbc[r] if available. */ + if (TARGET_FUTURE) + rs6000_emit_int_cmove (operands[0], operands[1], const1_rtx, const0_rtx); + /* Expanding EQ and NE directly to some machine instructions does not help but does hurt combine. So don't. */ if (GET_CODE (operands[1]) == EQ) @@ -11837,7 +11860,7 @@ (clobber (match_scratch:GPR 3 "=r")) (clobber (match_scratch:GPR 4 "=r")) (clobber (match_scratch: 5 "=y"))] - "TARGET_ISEL + "!TARGET_FUTURE && TARGET_ISEL && !( == EQ && operands[2] == const0_rtx) && !( == NE && operands[2] == const0_rtx && mode == Pmode && mode == Pmode)" @@ -11917,6 +11940,16 @@ (clobber (match_scratch:GPR 4 "=r"))])] "" { + if (TARGET_FUTURE) + { + rtx cc = gen_reg_rtx (CCmode); + rtx compare = gen_rtx_COMPARE (CCmode, operands[1], operands[2]); + emit_insn (gen_rtx_SET (cc, compare)); + rtx eq = gen_rtx_fmt_ee (EQ, mode, cc, const0_rtx); + emit_insn (gen_setbc_signed_ (operands[0], eq, cc)); + DONE; + } + if (TARGET_ISEL && operands[2] != const0_rtx) { emit_insn (gen_eq2_isel (operands[0], operands[1], @@ -11931,7 +11964,7 @@ (match_operand:GPR 2 "scc_eq_operand" ""))) (clobber (match_scratch:GPR 3 "=r")) (clobber (match_scratch:GPR 4 "=r"))] - "!(TARGET_ISEL && operands[2] != const0_rtx)" + "!TARGET_FUTURE && !(TARGET_ISEL && operands[2] != const0_rtx)" "#" "&& 1" [(set (match_dup 4) @@ -11955,14 +11988,32 @@ (define_expand "ne3" [(parallel [ - (set (match_operand:P 0 "gpc_reg_operand" "=r") - (ne:P (match_operand:P 1 "gpc_reg_operand" "r") - (match_operand:P 2 "scc_eq_operand" ""))) - (clobber (match_scratch:P 3 "=r")) - (clobber (match_scratch:P 4 "=r")) - (clobber (reg:P CA_REGNO))])] + (set (match_operand:GPR 0 "gpc_reg_operand" "=r") + (ne:GPR (match_operand:GPR 1 "gpc_reg_operand" "r") + (match_operand:GPR 2 "scc_eq_operand" ""))) + (clobber (match_scratch:GPR 3 "=r")) + (clobber (match_scratch:GPR 4 "=r")) + (clobber (reg:GPR CA_REGNO))])] "" { + if (TARGET_FUTURE) + { + rtx cc = gen_reg_rtx (CCmode); + rtx compare = gen_rtx_COMPARE (CCmode, operands[1], operands[2]); + emit_insn (gen_rtx_SET (cc, compare)); + rtx ne = gen_rtx_fmt_ee (NE, mode, cc, const0_rtx); + emit_insn (gen_setbc_signed_ (operands[0], ne, cc)); + DONE; + } + + if (mode != Pmode) + { + rtx x = gen_reg_rtx (mode); + emit_insn (gen_eq3 (x, operands[1], operands[2])); + emit_insn (gen_xor3 (operands[0], x, const1_rtx)); + DONE; + } + if (TARGET_ISEL && operands[2] != const0_rtx) { emit_insn (gen_ne2_isel (operands[0], operands[1], @@ -11978,7 +12029,7 @@ (clobber (match_scratch:P 3 "=r")) (clobber (match_scratch:P 4 "=r")) (clobber (reg:P CA_REGNO))] - "!(TARGET_ISEL && operands[2] != const0_rtx)" + "!TARGET_FUTURE && !(TARGET_ISEL && operands[2] != const0_rtx)" "#" "&& 1" [(parallel [(set (match_dup 4) @@ -12205,9 +12256,9 @@ (match_operand:SI 2 "scc_eq_operand" "rKLI"))) (clobber (match_scratch:SI 3 "=r")) (clobber (match_scratch:SI 4 "=r"))] - "" + "!TARGET_FUTURE" "#" - "" + "&& 1" [(set (match_dup 4) (clz:SI (match_dup 3))) (set (match_dup 0)