Ping. Aaron Sawdey, Ph.D. saw...@linux.ibm.com IBM Linux on POWER Toolchain
> On Jan 3, 2021, at 2:43 PM, Aaron Sawdey <acsaw...@linux.ibm.com> wrote: > > Ping. > > Aaron Sawdey, Ph.D. saw...@linux.ibm.com > IBM Linux on POWER Toolchain > > >> On Dec 10, 2020, at 8:41 PM, acsaw...@linux.ibm.com wrote: >> >> From: Aaron Sawdey <acsaw...@linux.ibm.com> >> >> This patch adds a new function to genfusion.pl to generate patterns for >> logical-logical fusion. They are enabled by default for power10 and can >> be disabled by -mno-power10-fusion-2logical or -mno-power10-fusion. >> >> This patch builds on top of the load-cmpi patch posted earlier this week. >> >> Bootstrap passed on ppc64le/power10, if regtests pass, ok for trunk? >> >> gcc/ChangeLog >> * config/rs6000/genfusion.pl (gen_2logical): New function to >> generate patterns for logical-logical fusion. >> * config/rs6000/fusion.md: Regenerated patterns. >> * config/rs6000/rs6000-cpus.def: Add >> OPTION_MASK_P10_FUSION_2LOGICAL. >> * config/rs6000/rs6000.c (rs6000_option_override_internal): >> Enable logical-logical fusion for p10. >> * config/rs6000/rs6000.opt: Add -mpower10-fusion-2logical. >> --- >> gcc/config/rs6000/fusion.md | 2176 +++++++++++++++++++++++++++++ >> gcc/config/rs6000/genfusion.pl | 89 ++ >> gcc/config/rs6000/rs6000-cpus.def | 4 +- >> gcc/config/rs6000/rs6000.c | 3 + >> gcc/config/rs6000/rs6000.opt | 4 + >> 5 files changed, 2275 insertions(+), 1 deletion(-) >> >> diff --git a/gcc/config/rs6000/fusion.md b/gcc/config/rs6000/fusion.md >> index a4d3a6ae7f3..1ddbe7fe3d2 100644 >> --- a/gcc/config/rs6000/fusion.md >> +++ b/gcc/config/rs6000/fusion.md >> @@ -355,3 +355,2179 @@ (define_insn_and_split >> "*lbz_cmpldi_cr0_QI_GPR_CCUNS_zero" >> (set_attr "cost" "8") >> (set_attr "length" "8")]) >> >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: and op and rtl and inv 0 comp 0 >> +;; inner: and op and rtl and inv 0 comp 0 >> +(define_insn "*fuse_and_and" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (and:GPR (and:GPR (match_operand:GPR 0 "gpc_reg_operand" "r,r,r,r") >> (match_operand:GPR 1 "gpc_reg_operand" "%r,r,r,r")) (match_operand:GPR 2 >> "gpc_reg_operand" "r,r,r,r"))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + and %3,%1,%0\;and %3,%3,%2 >> + and %0,%1,%0\;and %0,%0,%2 >> + and %1,%1,%0\;and %1,%1,%2 >> + and %4,%1,%0\;and %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: and op and rtl and inv 0 comp 0 >> +;; inner: andc op andc rtl and inv 0 comp 1 >> +(define_insn "*fuse_andc_and" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (and:GPR (and:GPR (not:GPR (match_operand:GPR 0 "gpc_reg_operand" >> "r,r,r,r")) (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r")) >> (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r"))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + andc %3,%1,%0\;and %3,%3,%2 >> + andc %0,%1,%0\;and %0,%0,%2 >> + andc %1,%1,%0\;and %1,%1,%2 >> + andc %4,%1,%0\;and %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: and op and rtl and inv 0 comp 0 >> +;; inner: eqv op eqv rtl xor inv 1 comp 0 >> +(define_insn "*fuse_eqv_and" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (and:GPR (not:GPR (xor:GPR (match_operand:GPR 0 "gpc_reg_operand" >> "r,r,r,r") (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r"))) >> (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r"))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + eqv %3,%1,%0\;and %3,%3,%2 >> + eqv %0,%1,%0\;and %0,%0,%2 >> + eqv %1,%1,%0\;and %1,%1,%2 >> + eqv %4,%1,%0\;and %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: and op and rtl and inv 0 comp 0 >> +;; inner: nand op nand rtl ior inv 0 comp 3 >> +(define_insn "*fuse_nand_and" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (and:GPR (ior:GPR (not:GPR (match_operand:GPR 0 "gpc_reg_operand" >> "r,r,r,r")) (not:GPR (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r"))) >> (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r"))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + nand %3,%1,%0\;and %3,%3,%2 >> + nand %0,%1,%0\;and %0,%0,%2 >> + nand %1,%1,%0\;and %1,%1,%2 >> + nand %4,%1,%0\;and %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: and op and rtl and inv 0 comp 0 >> +;; inner: nor op nor rtl and inv 0 comp 3 >> +(define_insn "*fuse_nor_and" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (and:GPR (and:GPR (not:GPR (match_operand:GPR 0 "gpc_reg_operand" >> "r,r,r,r")) (not:GPR (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r"))) >> (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r"))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + nor %3,%1,%0\;and %3,%3,%2 >> + nor %0,%1,%0\;and %0,%0,%2 >> + nor %1,%1,%0\;and %1,%1,%2 >> + nor %4,%1,%0\;and %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: and op and rtl and inv 0 comp 0 >> +;; inner: or op or rtl ior inv 0 comp 0 >> +(define_insn "*fuse_or_and" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (and:GPR (ior:GPR (match_operand:GPR 0 "gpc_reg_operand" "r,r,r,r") >> (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r")) (match_operand:GPR 2 >> "gpc_reg_operand" "r,r,r,r"))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + or %3,%1,%0\;and %3,%3,%2 >> + or %0,%1,%0\;and %0,%0,%2 >> + or %1,%1,%0\;and %1,%1,%2 >> + or %4,%1,%0\;and %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: and op and rtl and inv 0 comp 0 >> +;; inner: orc op orc rtl ior inv 0 comp 1 >> +(define_insn "*fuse_orc_and" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (and:GPR (ior:GPR (not:GPR (match_operand:GPR 0 "gpc_reg_operand" >> "r,r,r,r")) (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r")) >> (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r"))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + orc %3,%1,%0\;and %3,%3,%2 >> + orc %0,%1,%0\;and %0,%0,%2 >> + orc %1,%1,%0\;and %1,%1,%2 >> + orc %4,%1,%0\;and %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: and op and rtl and inv 0 comp 0 >> +;; inner: xor op xor rtl xor inv 0 comp 0 >> +(define_insn "*fuse_xor_and" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (and:GPR (xor:GPR (match_operand:GPR 0 "gpc_reg_operand" "r,r,r,r") >> (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r")) (match_operand:GPR 2 >> "gpc_reg_operand" "r,r,r,r"))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + xor %3,%1,%0\;and %3,%3,%2 >> + xor %0,%1,%0\;and %0,%0,%2 >> + xor %1,%1,%0\;and %1,%1,%2 >> + xor %4,%1,%0\;and %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: andc op andc rtl and inv 0 comp 1 >> +;; inner: and op and rtl and inv 0 comp 0 >> +(define_insn "*fuse_and_andc" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (and:GPR (and:GPR (match_operand:GPR 0 "gpc_reg_operand" "r,r,r,r") >> (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r")) (not:GPR >> (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r")))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + and %3,%1,%0\;andc %3,%3,%2 >> + and %0,%1,%0\;andc %0,%0,%2 >> + and %1,%1,%0\;andc %1,%1,%2 >> + and %4,%1,%0\;andc %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: andc op andc rtl and inv 0 comp 1 >> +;; inner: andc op andc rtl and inv 0 comp 1 >> +(define_insn "*fuse_andc_andc" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (and:GPR (and:GPR (not:GPR (match_operand:GPR 0 "gpc_reg_operand" >> "r,r,r,r")) (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r")) (not:GPR >> (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r")))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + andc %3,%1,%0\;andc %3,%3,%2 >> + andc %0,%1,%0\;andc %0,%0,%2 >> + andc %1,%1,%0\;andc %1,%1,%2 >> + andc %4,%1,%0\;andc %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: andc op andc rtl and inv 0 comp 1 >> +;; inner: eqv op eqv rtl xor inv 1 comp 0 >> +(define_insn "*fuse_eqv_andc" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (and:GPR (not:GPR (xor:GPR (match_operand:GPR 0 "gpc_reg_operand" >> "r,r,r,r") (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r"))) (not:GPR >> (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r")))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + eqv %3,%1,%0\;andc %3,%3,%2 >> + eqv %0,%1,%0\;andc %0,%0,%2 >> + eqv %1,%1,%0\;andc %1,%1,%2 >> + eqv %4,%1,%0\;andc %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: andc op andc rtl and inv 0 comp 1 >> +;; inner: nand op nand rtl ior inv 0 comp 3 >> +(define_insn "*fuse_nand_andc" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (and:GPR (ior:GPR (not:GPR (match_operand:GPR 0 "gpc_reg_operand" >> "r,r,r,r")) (not:GPR (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r"))) >> (not:GPR (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r")))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + nand %3,%1,%0\;andc %3,%3,%2 >> + nand %0,%1,%0\;andc %0,%0,%2 >> + nand %1,%1,%0\;andc %1,%1,%2 >> + nand %4,%1,%0\;andc %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: andc op andc rtl and inv 0 comp 1 >> +;; inner: nor op nor rtl and inv 0 comp 3 >> +(define_insn "*fuse_nor_andc" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (and:GPR (and:GPR (not:GPR (match_operand:GPR 0 "gpc_reg_operand" >> "r,r,r,r")) (not:GPR (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r"))) >> (not:GPR (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r")))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + nor %3,%1,%0\;andc %3,%3,%2 >> + nor %0,%1,%0\;andc %0,%0,%2 >> + nor %1,%1,%0\;andc %1,%1,%2 >> + nor %4,%1,%0\;andc %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: andc op andc rtl and inv 0 comp 1 >> +;; inner: or op or rtl ior inv 0 comp 0 >> +(define_insn "*fuse_or_andc" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (and:GPR (ior:GPR (match_operand:GPR 0 "gpc_reg_operand" "r,r,r,r") >> (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r")) (not:GPR >> (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r")))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + or %3,%1,%0\;andc %3,%3,%2 >> + or %0,%1,%0\;andc %0,%0,%2 >> + or %1,%1,%0\;andc %1,%1,%2 >> + or %4,%1,%0\;andc %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: andc op andc rtl and inv 0 comp 1 >> +;; inner: orc op orc rtl ior inv 0 comp 1 >> +(define_insn "*fuse_orc_andc" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (and:GPR (ior:GPR (not:GPR (match_operand:GPR 0 "gpc_reg_operand" >> "r,r,r,r")) (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r")) (not:GPR >> (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r")))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + orc %3,%1,%0\;andc %3,%3,%2 >> + orc %0,%1,%0\;andc %0,%0,%2 >> + orc %1,%1,%0\;andc %1,%1,%2 >> + orc %4,%1,%0\;andc %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: andc op andc rtl and inv 0 comp 1 >> +;; inner: xor op xor rtl xor inv 0 comp 0 >> +(define_insn "*fuse_xor_andc" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (and:GPR (xor:GPR (match_operand:GPR 0 "gpc_reg_operand" "r,r,r,r") >> (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r")) (not:GPR >> (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r")))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + xor %3,%1,%0\;andc %3,%3,%2 >> + xor %0,%1,%0\;andc %0,%0,%2 >> + xor %1,%1,%0\;andc %1,%1,%2 >> + xor %4,%1,%0\;andc %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: eqv op eqv rtl xor inv 1 comp 0 >> +;; inner: and op and rtl and inv 0 comp 0 >> +(define_insn "*fuse_and_eqv" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (not:GPR (xor:GPR (and:GPR (match_operand:GPR 0 "gpc_reg_operand" >> "r,r,r,r") (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r")) >> (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r")))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + and %3,%1,%0\;eqv %3,%3,%2 >> + and %0,%1,%0\;eqv %0,%0,%2 >> + and %1,%1,%0\;eqv %1,%1,%2 >> + and %4,%1,%0\;eqv %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: eqv op eqv rtl xor inv 1 comp 0 >> +;; inner: andc op andc rtl and inv 0 comp 1 >> +(define_insn "*fuse_andc_eqv" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (not:GPR (xor:GPR (and:GPR (not:GPR (match_operand:GPR 0 >> "gpc_reg_operand" "r,r,r,r")) (match_operand:GPR 1 "gpc_reg_operand" >> "r,r,r,r")) (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r")))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + andc %3,%1,%0\;eqv %3,%3,%2 >> + andc %0,%1,%0\;eqv %0,%0,%2 >> + andc %1,%1,%0\;eqv %1,%1,%2 >> + andc %4,%1,%0\;eqv %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: eqv op eqv rtl xor inv 1 comp 0 >> +;; inner: eqv op eqv rtl xor inv 1 comp 0 >> +(define_insn "*fuse_eqv_eqv" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (not:GPR (xor:GPR (not:GPR (xor:GPR (match_operand:GPR 0 >> "gpc_reg_operand" "r,r,r,r") (match_operand:GPR 1 "gpc_reg_operand" >> "%r,r,r,r"))) (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r")))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + eqv %3,%1,%0\;eqv %3,%3,%2 >> + eqv %0,%1,%0\;eqv %0,%0,%2 >> + eqv %1,%1,%0\;eqv %1,%1,%2 >> + eqv %4,%1,%0\;eqv %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: eqv op eqv rtl xor inv 1 comp 0 >> +;; inner: nand op nand rtl ior inv 0 comp 3 >> +(define_insn "*fuse_nand_eqv" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (not:GPR (xor:GPR (ior:GPR (not:GPR (match_operand:GPR 0 >> "gpc_reg_operand" "r,r,r,r")) (not:GPR (match_operand:GPR 1 >> "gpc_reg_operand" "r,r,r,r"))) (match_operand:GPR 2 "gpc_reg_operand" >> "r,r,r,r")))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + nand %3,%1,%0\;eqv %3,%3,%2 >> + nand %0,%1,%0\;eqv %0,%0,%2 >> + nand %1,%1,%0\;eqv %1,%1,%2 >> + nand %4,%1,%0\;eqv %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: eqv op eqv rtl xor inv 1 comp 0 >> +;; inner: nor op nor rtl and inv 0 comp 3 >> +(define_insn "*fuse_nor_eqv" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (not:GPR (xor:GPR (and:GPR (not:GPR (match_operand:GPR 0 >> "gpc_reg_operand" "r,r,r,r")) (not:GPR (match_operand:GPR 1 >> "gpc_reg_operand" "r,r,r,r"))) (match_operand:GPR 2 "gpc_reg_operand" >> "r,r,r,r")))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + nor %3,%1,%0\;eqv %3,%3,%2 >> + nor %0,%1,%0\;eqv %0,%0,%2 >> + nor %1,%1,%0\;eqv %1,%1,%2 >> + nor %4,%1,%0\;eqv %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: eqv op eqv rtl xor inv 1 comp 0 >> +;; inner: or op or rtl ior inv 0 comp 0 >> +(define_insn "*fuse_or_eqv" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (not:GPR (xor:GPR (ior:GPR (match_operand:GPR 0 "gpc_reg_operand" >> "r,r,r,r") (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r")) >> (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r")))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + or %3,%1,%0\;eqv %3,%3,%2 >> + or %0,%1,%0\;eqv %0,%0,%2 >> + or %1,%1,%0\;eqv %1,%1,%2 >> + or %4,%1,%0\;eqv %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: eqv op eqv rtl xor inv 1 comp 0 >> +;; inner: orc op orc rtl ior inv 0 comp 1 >> +(define_insn "*fuse_orc_eqv" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (not:GPR (xor:GPR (ior:GPR (not:GPR (match_operand:GPR 0 >> "gpc_reg_operand" "r,r,r,r")) (match_operand:GPR 1 "gpc_reg_operand" >> "r,r,r,r")) (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r")))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + orc %3,%1,%0\;eqv %3,%3,%2 >> + orc %0,%1,%0\;eqv %0,%0,%2 >> + orc %1,%1,%0\;eqv %1,%1,%2 >> + orc %4,%1,%0\;eqv %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: eqv op eqv rtl xor inv 1 comp 0 >> +;; inner: xor op xor rtl xor inv 0 comp 0 >> +(define_insn "*fuse_xor_eqv" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (not:GPR (xor:GPR (xor:GPR (match_operand:GPR 0 "gpc_reg_operand" >> "r,r,r,r") (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r")) >> (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r")))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + xor %3,%1,%0\;eqv %3,%3,%2 >> + xor %0,%1,%0\;eqv %0,%0,%2 >> + xor %1,%1,%0\;eqv %1,%1,%2 >> + xor %4,%1,%0\;eqv %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: nand op nand rtl ior inv 0 comp 3 >> +;; inner: and op and rtl and inv 0 comp 0 >> +(define_insn "*fuse_and_nand" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (ior:GPR (not:GPR (and:GPR (match_operand:GPR 0 "gpc_reg_operand" >> "r,r,r,r") (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r"))) (not:GPR >> (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r")))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + and %3,%1,%0\;nand %3,%3,%2 >> + and %0,%1,%0\;nand %0,%0,%2 >> + and %1,%1,%0\;nand %1,%1,%2 >> + and %4,%1,%0\;nand %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: nand op nand rtl ior inv 0 comp 3 >> +;; inner: andc op andc rtl and inv 0 comp 1 >> +(define_insn "*fuse_andc_nand" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (ior:GPR (not:GPR (and:GPR (not:GPR (match_operand:GPR 0 >> "gpc_reg_operand" "r,r,r,r")) (match_operand:GPR 1 "gpc_reg_operand" >> "r,r,r,r"))) (not:GPR (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r")))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + andc %3,%1,%0\;nand %3,%3,%2 >> + andc %0,%1,%0\;nand %0,%0,%2 >> + andc %1,%1,%0\;nand %1,%1,%2 >> + andc %4,%1,%0\;nand %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: nand op nand rtl ior inv 0 comp 3 >> +;; inner: eqv op eqv rtl xor inv 1 comp 0 >> +(define_insn "*fuse_eqv_nand" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (ior:GPR (not:GPR (not:GPR (xor:GPR (match_operand:GPR 0 >> "gpc_reg_operand" "r,r,r,r") (match_operand:GPR 1 "gpc_reg_operand" >> "r,r,r,r")))) (not:GPR (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r")))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + eqv %3,%1,%0\;nand %3,%3,%2 >> + eqv %0,%1,%0\;nand %0,%0,%2 >> + eqv %1,%1,%0\;nand %1,%1,%2 >> + eqv %4,%1,%0\;nand %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: nand op nand rtl ior inv 0 comp 3 >> +;; inner: nand op nand rtl ior inv 0 comp 3 >> +(define_insn "*fuse_nand_nand" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (ior:GPR (not:GPR (ior:GPR (not:GPR (match_operand:GPR 0 >> "gpc_reg_operand" "r,r,r,r")) (not:GPR (match_operand:GPR 1 >> "gpc_reg_operand" "r,r,r,r")))) (not:GPR (match_operand:GPR 2 >> "gpc_reg_operand" "r,r,r,r")))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + nand %3,%1,%0\;nand %3,%3,%2 >> + nand %0,%1,%0\;nand %0,%0,%2 >> + nand %1,%1,%0\;nand %1,%1,%2 >> + nand %4,%1,%0\;nand %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: nand op nand rtl ior inv 0 comp 3 >> +;; inner: nor op nor rtl and inv 0 comp 3 >> +(define_insn "*fuse_nor_nand" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (ior:GPR (not:GPR (and:GPR (not:GPR (match_operand:GPR 0 >> "gpc_reg_operand" "r,r,r,r")) (not:GPR (match_operand:GPR 1 >> "gpc_reg_operand" "r,r,r,r")))) (not:GPR (match_operand:GPR 2 >> "gpc_reg_operand" "r,r,r,r")))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + nor %3,%1,%0\;nand %3,%3,%2 >> + nor %0,%1,%0\;nand %0,%0,%2 >> + nor %1,%1,%0\;nand %1,%1,%2 >> + nor %4,%1,%0\;nand %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: nand op nand rtl ior inv 0 comp 3 >> +;; inner: or op or rtl ior inv 0 comp 0 >> +(define_insn "*fuse_or_nand" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (ior:GPR (not:GPR (ior:GPR (match_operand:GPR 0 "gpc_reg_operand" >> "r,r,r,r") (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r"))) (not:GPR >> (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r")))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + or %3,%1,%0\;nand %3,%3,%2 >> + or %0,%1,%0\;nand %0,%0,%2 >> + or %1,%1,%0\;nand %1,%1,%2 >> + or %4,%1,%0\;nand %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: nand op nand rtl ior inv 0 comp 3 >> +;; inner: orc op orc rtl ior inv 0 comp 1 >> +(define_insn "*fuse_orc_nand" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (ior:GPR (not:GPR (ior:GPR (not:GPR (match_operand:GPR 0 >> "gpc_reg_operand" "r,r,r,r")) (match_operand:GPR 1 "gpc_reg_operand" >> "r,r,r,r"))) (not:GPR (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r")))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + orc %3,%1,%0\;nand %3,%3,%2 >> + orc %0,%1,%0\;nand %0,%0,%2 >> + orc %1,%1,%0\;nand %1,%1,%2 >> + orc %4,%1,%0\;nand %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: nand op nand rtl ior inv 0 comp 3 >> +;; inner: xor op xor rtl xor inv 0 comp 0 >> +(define_insn "*fuse_xor_nand" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (ior:GPR (not:GPR (xor:GPR (match_operand:GPR 0 "gpc_reg_operand" >> "r,r,r,r") (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r"))) (not:GPR >> (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r")))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + xor %3,%1,%0\;nand %3,%3,%2 >> + xor %0,%1,%0\;nand %0,%0,%2 >> + xor %1,%1,%0\;nand %1,%1,%2 >> + xor %4,%1,%0\;nand %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: nor op nor rtl and inv 0 comp 3 >> +;; inner: and op and rtl and inv 0 comp 0 >> +(define_insn "*fuse_and_nor" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (and:GPR (not:GPR (and:GPR (match_operand:GPR 0 "gpc_reg_operand" >> "r,r,r,r") (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r"))) (not:GPR >> (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r")))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + and %3,%1,%0\;nor %3,%3,%2 >> + and %0,%1,%0\;nor %0,%0,%2 >> + and %1,%1,%0\;nor %1,%1,%2 >> + and %4,%1,%0\;nor %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: nor op nor rtl and inv 0 comp 3 >> +;; inner: andc op andc rtl and inv 0 comp 1 >> +(define_insn "*fuse_andc_nor" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (and:GPR (not:GPR (and:GPR (not:GPR (match_operand:GPR 0 >> "gpc_reg_operand" "r,r,r,r")) (match_operand:GPR 1 "gpc_reg_operand" >> "r,r,r,r"))) (not:GPR (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r")))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + andc %3,%1,%0\;nor %3,%3,%2 >> + andc %0,%1,%0\;nor %0,%0,%2 >> + andc %1,%1,%0\;nor %1,%1,%2 >> + andc %4,%1,%0\;nor %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: nor op nor rtl and inv 0 comp 3 >> +;; inner: eqv op eqv rtl xor inv 1 comp 0 >> +(define_insn "*fuse_eqv_nor" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (and:GPR (not:GPR (not:GPR (xor:GPR (match_operand:GPR 0 >> "gpc_reg_operand" "r,r,r,r") (match_operand:GPR 1 "gpc_reg_operand" >> "r,r,r,r")))) (not:GPR (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r")))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + eqv %3,%1,%0\;nor %3,%3,%2 >> + eqv %0,%1,%0\;nor %0,%0,%2 >> + eqv %1,%1,%0\;nor %1,%1,%2 >> + eqv %4,%1,%0\;nor %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: nor op nor rtl and inv 0 comp 3 >> +;; inner: nand op nand rtl ior inv 0 comp 3 >> +(define_insn "*fuse_nand_nor" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (and:GPR (not:GPR (ior:GPR (not:GPR (match_operand:GPR 0 >> "gpc_reg_operand" "r,r,r,r")) (not:GPR (match_operand:GPR 1 >> "gpc_reg_operand" "r,r,r,r")))) (not:GPR (match_operand:GPR 2 >> "gpc_reg_operand" "r,r,r,r")))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + nand %3,%1,%0\;nor %3,%3,%2 >> + nand %0,%1,%0\;nor %0,%0,%2 >> + nand %1,%1,%0\;nor %1,%1,%2 >> + nand %4,%1,%0\;nor %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: nor op nor rtl and inv 0 comp 3 >> +;; inner: nor op nor rtl and inv 0 comp 3 >> +(define_insn "*fuse_nor_nor" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (and:GPR (not:GPR (and:GPR (not:GPR (match_operand:GPR 0 >> "gpc_reg_operand" "r,r,r,r")) (not:GPR (match_operand:GPR 1 >> "gpc_reg_operand" "r,r,r,r")))) (not:GPR (match_operand:GPR 2 >> "gpc_reg_operand" "r,r,r,r")))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + nor %3,%1,%0\;nor %3,%3,%2 >> + nor %0,%1,%0\;nor %0,%0,%2 >> + nor %1,%1,%0\;nor %1,%1,%2 >> + nor %4,%1,%0\;nor %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: nor op nor rtl and inv 0 comp 3 >> +;; inner: or op or rtl ior inv 0 comp 0 >> +(define_insn "*fuse_or_nor" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (and:GPR (not:GPR (ior:GPR (match_operand:GPR 0 "gpc_reg_operand" >> "r,r,r,r") (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r"))) (not:GPR >> (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r")))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + or %3,%1,%0\;nor %3,%3,%2 >> + or %0,%1,%0\;nor %0,%0,%2 >> + or %1,%1,%0\;nor %1,%1,%2 >> + or %4,%1,%0\;nor %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: nor op nor rtl and inv 0 comp 3 >> +;; inner: orc op orc rtl ior inv 0 comp 1 >> +(define_insn "*fuse_orc_nor" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (and:GPR (not:GPR (ior:GPR (not:GPR (match_operand:GPR 0 >> "gpc_reg_operand" "r,r,r,r")) (match_operand:GPR 1 "gpc_reg_operand" >> "r,r,r,r"))) (not:GPR (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r")))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + orc %3,%1,%0\;nor %3,%3,%2 >> + orc %0,%1,%0\;nor %0,%0,%2 >> + orc %1,%1,%0\;nor %1,%1,%2 >> + orc %4,%1,%0\;nor %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: nor op nor rtl and inv 0 comp 3 >> +;; inner: xor op xor rtl xor inv 0 comp 0 >> +(define_insn "*fuse_xor_nor" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (and:GPR (not:GPR (xor:GPR (match_operand:GPR 0 "gpc_reg_operand" >> "r,r,r,r") (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r"))) (not:GPR >> (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r")))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + xor %3,%1,%0\;nor %3,%3,%2 >> + xor %0,%1,%0\;nor %0,%0,%2 >> + xor %1,%1,%0\;nor %1,%1,%2 >> + xor %4,%1,%0\;nor %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: or op or rtl ior inv 0 comp 0 >> +;; inner: and op and rtl and inv 0 comp 0 >> +(define_insn "*fuse_and_or" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (ior:GPR (and:GPR (match_operand:GPR 0 "gpc_reg_operand" "r,r,r,r") >> (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r")) (match_operand:GPR 2 >> "gpc_reg_operand" "r,r,r,r"))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + and %3,%1,%0\;or %3,%3,%2 >> + and %0,%1,%0\;or %0,%0,%2 >> + and %1,%1,%0\;or %1,%1,%2 >> + and %4,%1,%0\;or %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: or op or rtl ior inv 0 comp 0 >> +;; inner: andc op andc rtl and inv 0 comp 1 >> +(define_insn "*fuse_andc_or" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (ior:GPR (and:GPR (not:GPR (match_operand:GPR 0 "gpc_reg_operand" >> "r,r,r,r")) (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r")) >> (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r"))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + andc %3,%1,%0\;or %3,%3,%2 >> + andc %0,%1,%0\;or %0,%0,%2 >> + andc %1,%1,%0\;or %1,%1,%2 >> + andc %4,%1,%0\;or %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: or op or rtl ior inv 0 comp 0 >> +;; inner: eqv op eqv rtl xor inv 1 comp 0 >> +(define_insn "*fuse_eqv_or" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (ior:GPR (not:GPR (xor:GPR (match_operand:GPR 0 "gpc_reg_operand" >> "r,r,r,r") (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r"))) >> (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r"))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + eqv %3,%1,%0\;or %3,%3,%2 >> + eqv %0,%1,%0\;or %0,%0,%2 >> + eqv %1,%1,%0\;or %1,%1,%2 >> + eqv %4,%1,%0\;or %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: or op or rtl ior inv 0 comp 0 >> +;; inner: nand op nand rtl ior inv 0 comp 3 >> +(define_insn "*fuse_nand_or" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (ior:GPR (ior:GPR (not:GPR (match_operand:GPR 0 "gpc_reg_operand" >> "r,r,r,r")) (not:GPR (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r"))) >> (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r"))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + nand %3,%1,%0\;or %3,%3,%2 >> + nand %0,%1,%0\;or %0,%0,%2 >> + nand %1,%1,%0\;or %1,%1,%2 >> + nand %4,%1,%0\;or %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: or op or rtl ior inv 0 comp 0 >> +;; inner: nor op nor rtl and inv 0 comp 3 >> +(define_insn "*fuse_nor_or" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (ior:GPR (and:GPR (not:GPR (match_operand:GPR 0 "gpc_reg_operand" >> "r,r,r,r")) (not:GPR (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r"))) >> (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r"))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + nor %3,%1,%0\;or %3,%3,%2 >> + nor %0,%1,%0\;or %0,%0,%2 >> + nor %1,%1,%0\;or %1,%1,%2 >> + nor %4,%1,%0\;or %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: or op or rtl ior inv 0 comp 0 >> +;; inner: or op or rtl ior inv 0 comp 0 >> +(define_insn "*fuse_or_or" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (ior:GPR (ior:GPR (match_operand:GPR 0 "gpc_reg_operand" "r,r,r,r") >> (match_operand:GPR 1 "gpc_reg_operand" "%r,r,r,r")) (match_operand:GPR 2 >> "gpc_reg_operand" "r,r,r,r"))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + or %3,%1,%0\;or %3,%3,%2 >> + or %0,%1,%0\;or %0,%0,%2 >> + or %1,%1,%0\;or %1,%1,%2 >> + or %4,%1,%0\;or %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: or op or rtl ior inv 0 comp 0 >> +;; inner: orc op orc rtl ior inv 0 comp 1 >> +(define_insn "*fuse_orc_or" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (ior:GPR (ior:GPR (not:GPR (match_operand:GPR 0 "gpc_reg_operand" >> "r,r,r,r")) (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r")) >> (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r"))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + orc %3,%1,%0\;or %3,%3,%2 >> + orc %0,%1,%0\;or %0,%0,%2 >> + orc %1,%1,%0\;or %1,%1,%2 >> + orc %4,%1,%0\;or %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: or op or rtl ior inv 0 comp 0 >> +;; inner: xor op xor rtl xor inv 0 comp 0 >> +(define_insn "*fuse_xor_or" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (ior:GPR (xor:GPR (match_operand:GPR 0 "gpc_reg_operand" "r,r,r,r") >> (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r")) (match_operand:GPR 2 >> "gpc_reg_operand" "r,r,r,r"))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + xor %3,%1,%0\;or %3,%3,%2 >> + xor %0,%1,%0\;or %0,%0,%2 >> + xor %1,%1,%0\;or %1,%1,%2 >> + xor %4,%1,%0\;or %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: orc op orc rtl ior inv 0 comp 1 >> +;; inner: and op and rtl and inv 0 comp 0 >> +(define_insn "*fuse_and_orc" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (ior:GPR (and:GPR (match_operand:GPR 0 "gpc_reg_operand" "r,r,r,r") >> (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r")) (not:GPR >> (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r")))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + and %3,%1,%0\;orc %3,%3,%2 >> + and %0,%1,%0\;orc %0,%0,%2 >> + and %1,%1,%0\;orc %1,%1,%2 >> + and %4,%1,%0\;orc %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: orc op orc rtl ior inv 0 comp 1 >> +;; inner: andc op andc rtl and inv 0 comp 1 >> +(define_insn "*fuse_andc_orc" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (ior:GPR (and:GPR (not:GPR (match_operand:GPR 0 "gpc_reg_operand" >> "r,r,r,r")) (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r")) (not:GPR >> (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r")))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + andc %3,%1,%0\;orc %3,%3,%2 >> + andc %0,%1,%0\;orc %0,%0,%2 >> + andc %1,%1,%0\;orc %1,%1,%2 >> + andc %4,%1,%0\;orc %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: orc op orc rtl ior inv 0 comp 1 >> +;; inner: eqv op eqv rtl xor inv 1 comp 0 >> +(define_insn "*fuse_eqv_orc" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (ior:GPR (not:GPR (xor:GPR (match_operand:GPR 0 "gpc_reg_operand" >> "r,r,r,r") (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r"))) (not:GPR >> (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r")))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + eqv %3,%1,%0\;orc %3,%3,%2 >> + eqv %0,%1,%0\;orc %0,%0,%2 >> + eqv %1,%1,%0\;orc %1,%1,%2 >> + eqv %4,%1,%0\;orc %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: orc op orc rtl ior inv 0 comp 1 >> +;; inner: nand op nand rtl ior inv 0 comp 3 >> +(define_insn "*fuse_nand_orc" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (ior:GPR (ior:GPR (not:GPR (match_operand:GPR 0 "gpc_reg_operand" >> "r,r,r,r")) (not:GPR (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r"))) >> (not:GPR (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r")))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + nand %3,%1,%0\;orc %3,%3,%2 >> + nand %0,%1,%0\;orc %0,%0,%2 >> + nand %1,%1,%0\;orc %1,%1,%2 >> + nand %4,%1,%0\;orc %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: orc op orc rtl ior inv 0 comp 1 >> +;; inner: nor op nor rtl and inv 0 comp 3 >> +(define_insn "*fuse_nor_orc" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (ior:GPR (and:GPR (not:GPR (match_operand:GPR 0 "gpc_reg_operand" >> "r,r,r,r")) (not:GPR (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r"))) >> (not:GPR (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r")))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + nor %3,%1,%0\;orc %3,%3,%2 >> + nor %0,%1,%0\;orc %0,%0,%2 >> + nor %1,%1,%0\;orc %1,%1,%2 >> + nor %4,%1,%0\;orc %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: orc op orc rtl ior inv 0 comp 1 >> +;; inner: or op or rtl ior inv 0 comp 0 >> +(define_insn "*fuse_or_orc" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (ior:GPR (ior:GPR (match_operand:GPR 0 "gpc_reg_operand" "r,r,r,r") >> (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r")) (not:GPR >> (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r")))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + or %3,%1,%0\;orc %3,%3,%2 >> + or %0,%1,%0\;orc %0,%0,%2 >> + or %1,%1,%0\;orc %1,%1,%2 >> + or %4,%1,%0\;orc %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: orc op orc rtl ior inv 0 comp 1 >> +;; inner: orc op orc rtl ior inv 0 comp 1 >> +(define_insn "*fuse_orc_orc" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (ior:GPR (ior:GPR (not:GPR (match_operand:GPR 0 "gpc_reg_operand" >> "r,r,r,r")) (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r")) (not:GPR >> (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r")))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + orc %3,%1,%0\;orc %3,%3,%2 >> + orc %0,%1,%0\;orc %0,%0,%2 >> + orc %1,%1,%0\;orc %1,%1,%2 >> + orc %4,%1,%0\;orc %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: orc op orc rtl ior inv 0 comp 1 >> +;; inner: xor op xor rtl xor inv 0 comp 0 >> +(define_insn "*fuse_xor_orc" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (ior:GPR (xor:GPR (match_operand:GPR 0 "gpc_reg_operand" "r,r,r,r") >> (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r")) (not:GPR >> (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r")))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + xor %3,%1,%0\;orc %3,%3,%2 >> + xor %0,%1,%0\;orc %0,%0,%2 >> + xor %1,%1,%0\;orc %1,%1,%2 >> + xor %4,%1,%0\;orc %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: xor op xor rtl xor inv 0 comp 0 >> +;; inner: and op and rtl and inv 0 comp 0 >> +(define_insn "*fuse_and_xor" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (xor:GPR (and:GPR (match_operand:GPR 0 "gpc_reg_operand" "r,r,r,r") >> (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r")) (match_operand:GPR 2 >> "gpc_reg_operand" "r,r,r,r"))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + and %3,%1,%0\;xor %3,%3,%2 >> + and %0,%1,%0\;xor %0,%0,%2 >> + and %1,%1,%0\;xor %1,%1,%2 >> + and %4,%1,%0\;xor %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: xor op xor rtl xor inv 0 comp 0 >> +;; inner: andc op andc rtl and inv 0 comp 1 >> +(define_insn "*fuse_andc_xor" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (xor:GPR (and:GPR (not:GPR (match_operand:GPR 0 "gpc_reg_operand" >> "r,r,r,r")) (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r")) >> (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r"))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + andc %3,%1,%0\;xor %3,%3,%2 >> + andc %0,%1,%0\;xor %0,%0,%2 >> + andc %1,%1,%0\;xor %1,%1,%2 >> + andc %4,%1,%0\;xor %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: xor op xor rtl xor inv 0 comp 0 >> +;; inner: eqv op eqv rtl xor inv 1 comp 0 >> +(define_insn "*fuse_eqv_xor" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (xor:GPR (not:GPR (xor:GPR (match_operand:GPR 0 "gpc_reg_operand" >> "r,r,r,r") (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r"))) >> (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r"))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + eqv %3,%1,%0\;xor %3,%3,%2 >> + eqv %0,%1,%0\;xor %0,%0,%2 >> + eqv %1,%1,%0\;xor %1,%1,%2 >> + eqv %4,%1,%0\;xor %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: xor op xor rtl xor inv 0 comp 0 >> +;; inner: nand op nand rtl ior inv 0 comp 3 >> +(define_insn "*fuse_nand_xor" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (xor:GPR (ior:GPR (not:GPR (match_operand:GPR 0 "gpc_reg_operand" >> "r,r,r,r")) (not:GPR (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r"))) >> (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r"))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + nand %3,%1,%0\;xor %3,%3,%2 >> + nand %0,%1,%0\;xor %0,%0,%2 >> + nand %1,%1,%0\;xor %1,%1,%2 >> + nand %4,%1,%0\;xor %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: xor op xor rtl xor inv 0 comp 0 >> +;; inner: nor op nor rtl and inv 0 comp 3 >> +(define_insn "*fuse_nor_xor" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (xor:GPR (and:GPR (not:GPR (match_operand:GPR 0 "gpc_reg_operand" >> "r,r,r,r")) (not:GPR (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r"))) >> (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r"))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + nor %3,%1,%0\;xor %3,%3,%2 >> + nor %0,%1,%0\;xor %0,%0,%2 >> + nor %1,%1,%0\;xor %1,%1,%2 >> + nor %4,%1,%0\;xor %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: xor op xor rtl xor inv 0 comp 0 >> +;; inner: or op or rtl ior inv 0 comp 0 >> +(define_insn "*fuse_or_xor" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (xor:GPR (ior:GPR (match_operand:GPR 0 "gpc_reg_operand" "r,r,r,r") >> (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r")) (match_operand:GPR 2 >> "gpc_reg_operand" "r,r,r,r"))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + or %3,%1,%0\;xor %3,%3,%2 >> + or %0,%1,%0\;xor %0,%0,%2 >> + or %1,%1,%0\;xor %1,%1,%2 >> + or %4,%1,%0\;xor %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: xor op xor rtl xor inv 0 comp 0 >> +;; inner: orc op orc rtl ior inv 0 comp 1 >> +(define_insn "*fuse_orc_xor" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (xor:GPR (ior:GPR (not:GPR (match_operand:GPR 0 "gpc_reg_operand" >> "r,r,r,r")) (match_operand:GPR 1 "gpc_reg_operand" "r,r,r,r")) >> (match_operand:GPR 2 "gpc_reg_operand" "r,r,r,r"))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + orc %3,%1,%0\;xor %3,%3,%2 >> + orc %0,%1,%0\;xor %0,%0,%2 >> + orc %1,%1,%0\;xor %1,%1,%2 >> + orc %4,%1,%0\;xor %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: scalar outer: xor op xor rtl xor inv 0 comp 0 >> +;; inner: xor op xor rtl xor inv 0 comp 0 >> +(define_insn "*fuse_xor_xor" >> + [(set (match_operand:GPR 3 "gpc_reg_operand" "=&r,0,1,r") >> + (xor:GPR (xor:GPR (match_operand:GPR 0 "gpc_reg_operand" "r,r,r,r") >> (match_operand:GPR 1 "gpc_reg_operand" "%r,r,r,r")) (match_operand:GPR 2 >> "gpc_reg_operand" "r,r,r,r"))) >> + (clobber (match_scratch:GPR 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + xor %3,%1,%0\;xor %3,%3,%2 >> + xor %0,%1,%0\;xor %0,%0,%2 >> + xor %1,%1,%0\;xor %1,%1,%2 >> + xor %4,%1,%0\;xor %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: and op vand rtl and inv 0 comp 0 >> +;; inner: and op vand rtl and inv 0 comp 0 >> +(define_insn "*fuse_vand_vand" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (and:VM (and:VM (match_operand:VM 0 "altivec_register_operand" >> "v,v,v,v") (match_operand:VM 1 "altivec_register_operand" "%v,v,v,v")) >> (match_operand:VM 2 "altivec_register_operand" "v,v,v,v"))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vand %3,%1,%0\;vand %3,%3,%2 >> + vand %0,%1,%0\;vand %0,%0,%2 >> + vand %1,%1,%0\;vand %1,%1,%2 >> + vand %4,%1,%0\;vand %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: and op vand rtl and inv 0 comp 0 >> +;; inner: andc op vandc rtl and inv 0 comp 1 >> +(define_insn "*fuse_vandc_vand" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (and:VM (and:VM (not:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v")) (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v")) (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v"))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vandc %3,%1,%0\;vand %3,%3,%2 >> + vandc %0,%1,%0\;vand %0,%0,%2 >> + vandc %1,%1,%0\;vand %1,%1,%2 >> + vandc %4,%1,%0\;vand %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: and op vand rtl and inv 0 comp 0 >> +;; inner: eqv op veqv rtl xor inv 1 comp 0 >> +(define_insn "*fuse_veqv_vand" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (and:VM (not:VM (xor:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v") (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v"))) (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v"))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + veqv %3,%1,%0\;vand %3,%3,%2 >> + veqv %0,%1,%0\;vand %0,%0,%2 >> + veqv %1,%1,%0\;vand %1,%1,%2 >> + veqv %4,%1,%0\;vand %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: and op vand rtl and inv 0 comp 0 >> +;; inner: nand op vnand rtl ior inv 0 comp 3 >> +(define_insn "*fuse_vnand_vand" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (and:VM (ior:VM (not:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v")) (not:VM (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v"))) (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v"))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vnand %3,%1,%0\;vand %3,%3,%2 >> + vnand %0,%1,%0\;vand %0,%0,%2 >> + vnand %1,%1,%0\;vand %1,%1,%2 >> + vnand %4,%1,%0\;vand %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: and op vand rtl and inv 0 comp 0 >> +;; inner: nor op vnor rtl and inv 0 comp 3 >> +(define_insn "*fuse_vnor_vand" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (and:VM (and:VM (not:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v")) (not:VM (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v"))) (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v"))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vnor %3,%1,%0\;vand %3,%3,%2 >> + vnor %0,%1,%0\;vand %0,%0,%2 >> + vnor %1,%1,%0\;vand %1,%1,%2 >> + vnor %4,%1,%0\;vand %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: and op vand rtl and inv 0 comp 0 >> +;; inner: or op vor rtl ior inv 0 comp 0 >> +(define_insn "*fuse_vor_vand" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (and:VM (ior:VM (match_operand:VM 0 "altivec_register_operand" >> "v,v,v,v") (match_operand:VM 1 "altivec_register_operand" "v,v,v,v")) >> (match_operand:VM 2 "altivec_register_operand" "v,v,v,v"))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vor %3,%1,%0\;vand %3,%3,%2 >> + vor %0,%1,%0\;vand %0,%0,%2 >> + vor %1,%1,%0\;vand %1,%1,%2 >> + vor %4,%1,%0\;vand %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: and op vand rtl and inv 0 comp 0 >> +;; inner: orc op vorc rtl ior inv 0 comp 1 >> +(define_insn "*fuse_vorc_vand" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (and:VM (ior:VM (not:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v")) (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v")) (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v"))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vorc %3,%1,%0\;vand %3,%3,%2 >> + vorc %0,%1,%0\;vand %0,%0,%2 >> + vorc %1,%1,%0\;vand %1,%1,%2 >> + vorc %4,%1,%0\;vand %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: and op vand rtl and inv 0 comp 0 >> +;; inner: xor op vxor rtl xor inv 0 comp 0 >> +(define_insn "*fuse_vxor_vand" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (and:VM (xor:VM (match_operand:VM 0 "altivec_register_operand" >> "v,v,v,v") (match_operand:VM 1 "altivec_register_operand" "v,v,v,v")) >> (match_operand:VM 2 "altivec_register_operand" "v,v,v,v"))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vxor %3,%1,%0\;vand %3,%3,%2 >> + vxor %0,%1,%0\;vand %0,%0,%2 >> + vxor %1,%1,%0\;vand %1,%1,%2 >> + vxor %4,%1,%0\;vand %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: andc op vandc rtl and inv 0 comp 1 >> +;; inner: and op vand rtl and inv 0 comp 0 >> +(define_insn "*fuse_vand_vandc" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (and:VM (and:VM (match_operand:VM 0 "altivec_register_operand" >> "v,v,v,v") (match_operand:VM 1 "altivec_register_operand" "v,v,v,v")) >> (not:VM (match_operand:VM 2 "altivec_register_operand" "v,v,v,v")))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vand %3,%1,%0\;vandc %3,%3,%2 >> + vand %0,%1,%0\;vandc %0,%0,%2 >> + vand %1,%1,%0\;vandc %1,%1,%2 >> + vand %4,%1,%0\;vandc %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: andc op vandc rtl and inv 0 comp 1 >> +;; inner: andc op vandc rtl and inv 0 comp 1 >> +(define_insn "*fuse_vandc_vandc" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (and:VM (and:VM (not:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v")) (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v")) (not:VM (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v")))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vandc %3,%1,%0\;vandc %3,%3,%2 >> + vandc %0,%1,%0\;vandc %0,%0,%2 >> + vandc %1,%1,%0\;vandc %1,%1,%2 >> + vandc %4,%1,%0\;vandc %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: andc op vandc rtl and inv 0 comp 1 >> +;; inner: eqv op veqv rtl xor inv 1 comp 0 >> +(define_insn "*fuse_veqv_vandc" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (and:VM (not:VM (xor:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v") (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v"))) (not:VM (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v")))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + veqv %3,%1,%0\;vandc %3,%3,%2 >> + veqv %0,%1,%0\;vandc %0,%0,%2 >> + veqv %1,%1,%0\;vandc %1,%1,%2 >> + veqv %4,%1,%0\;vandc %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: andc op vandc rtl and inv 0 comp 1 >> +;; inner: nand op vnand rtl ior inv 0 comp 3 >> +(define_insn "*fuse_vnand_vandc" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (and:VM (ior:VM (not:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v")) (not:VM (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v"))) (not:VM (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v")))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vnand %3,%1,%0\;vandc %3,%3,%2 >> + vnand %0,%1,%0\;vandc %0,%0,%2 >> + vnand %1,%1,%0\;vandc %1,%1,%2 >> + vnand %4,%1,%0\;vandc %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: andc op vandc rtl and inv 0 comp 1 >> +;; inner: nor op vnor rtl and inv 0 comp 3 >> +(define_insn "*fuse_vnor_vandc" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (and:VM (and:VM (not:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v")) (not:VM (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v"))) (not:VM (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v")))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vnor %3,%1,%0\;vandc %3,%3,%2 >> + vnor %0,%1,%0\;vandc %0,%0,%2 >> + vnor %1,%1,%0\;vandc %1,%1,%2 >> + vnor %4,%1,%0\;vandc %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: andc op vandc rtl and inv 0 comp 1 >> +;; inner: or op vor rtl ior inv 0 comp 0 >> +(define_insn "*fuse_vor_vandc" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (and:VM (ior:VM (match_operand:VM 0 "altivec_register_operand" >> "v,v,v,v") (match_operand:VM 1 "altivec_register_operand" "v,v,v,v")) >> (not:VM (match_operand:VM 2 "altivec_register_operand" "v,v,v,v")))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vor %3,%1,%0\;vandc %3,%3,%2 >> + vor %0,%1,%0\;vandc %0,%0,%2 >> + vor %1,%1,%0\;vandc %1,%1,%2 >> + vor %4,%1,%0\;vandc %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: andc op vandc rtl and inv 0 comp 1 >> +;; inner: orc op vorc rtl ior inv 0 comp 1 >> +(define_insn "*fuse_vorc_vandc" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (and:VM (ior:VM (not:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v")) (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v")) (not:VM (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v")))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vorc %3,%1,%0\;vandc %3,%3,%2 >> + vorc %0,%1,%0\;vandc %0,%0,%2 >> + vorc %1,%1,%0\;vandc %1,%1,%2 >> + vorc %4,%1,%0\;vandc %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: andc op vandc rtl and inv 0 comp 1 >> +;; inner: xor op vxor rtl xor inv 0 comp 0 >> +(define_insn "*fuse_vxor_vandc" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (and:VM (xor:VM (match_operand:VM 0 "altivec_register_operand" >> "v,v,v,v") (match_operand:VM 1 "altivec_register_operand" "v,v,v,v")) >> (not:VM (match_operand:VM 2 "altivec_register_operand" "v,v,v,v")))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vxor %3,%1,%0\;vandc %3,%3,%2 >> + vxor %0,%1,%0\;vandc %0,%0,%2 >> + vxor %1,%1,%0\;vandc %1,%1,%2 >> + vxor %4,%1,%0\;vandc %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: eqv op veqv rtl xor inv 1 comp 0 >> +;; inner: and op vand rtl and inv 0 comp 0 >> +(define_insn "*fuse_vand_veqv" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (not:VM (xor:VM (and:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v") (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v")) (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v")))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vand %3,%1,%0\;veqv %3,%3,%2 >> + vand %0,%1,%0\;veqv %0,%0,%2 >> + vand %1,%1,%0\;veqv %1,%1,%2 >> + vand %4,%1,%0\;veqv %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: eqv op veqv rtl xor inv 1 comp 0 >> +;; inner: andc op vandc rtl and inv 0 comp 1 >> +(define_insn "*fuse_vandc_veqv" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (not:VM (xor:VM (and:VM (not:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v")) (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v")) (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v")))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vandc %3,%1,%0\;veqv %3,%3,%2 >> + vandc %0,%1,%0\;veqv %0,%0,%2 >> + vandc %1,%1,%0\;veqv %1,%1,%2 >> + vandc %4,%1,%0\;veqv %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: eqv op veqv rtl xor inv 1 comp 0 >> +;; inner: eqv op veqv rtl xor inv 1 comp 0 >> +(define_insn "*fuse_veqv_veqv" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (not:VM (xor:VM (not:VM (xor:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v") (match_operand:VM 1 >> "altivec_register_operand" "%v,v,v,v"))) (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v")))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + veqv %3,%1,%0\;veqv %3,%3,%2 >> + veqv %0,%1,%0\;veqv %0,%0,%2 >> + veqv %1,%1,%0\;veqv %1,%1,%2 >> + veqv %4,%1,%0\;veqv %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: eqv op veqv rtl xor inv 1 comp 0 >> +;; inner: nand op vnand rtl ior inv 0 comp 3 >> +(define_insn "*fuse_vnand_veqv" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (not:VM (xor:VM (ior:VM (not:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v")) (not:VM (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v"))) (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v")))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vnand %3,%1,%0\;veqv %3,%3,%2 >> + vnand %0,%1,%0\;veqv %0,%0,%2 >> + vnand %1,%1,%0\;veqv %1,%1,%2 >> + vnand %4,%1,%0\;veqv %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: eqv op veqv rtl xor inv 1 comp 0 >> +;; inner: nor op vnor rtl and inv 0 comp 3 >> +(define_insn "*fuse_vnor_veqv" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (not:VM (xor:VM (and:VM (not:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v")) (not:VM (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v"))) (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v")))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vnor %3,%1,%0\;veqv %3,%3,%2 >> + vnor %0,%1,%0\;veqv %0,%0,%2 >> + vnor %1,%1,%0\;veqv %1,%1,%2 >> + vnor %4,%1,%0\;veqv %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: eqv op veqv rtl xor inv 1 comp 0 >> +;; inner: or op vor rtl ior inv 0 comp 0 >> +(define_insn "*fuse_vor_veqv" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (not:VM (xor:VM (ior:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v") (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v")) (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v")))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vor %3,%1,%0\;veqv %3,%3,%2 >> + vor %0,%1,%0\;veqv %0,%0,%2 >> + vor %1,%1,%0\;veqv %1,%1,%2 >> + vor %4,%1,%0\;veqv %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: eqv op veqv rtl xor inv 1 comp 0 >> +;; inner: orc op vorc rtl ior inv 0 comp 1 >> +(define_insn "*fuse_vorc_veqv" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (not:VM (xor:VM (ior:VM (not:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v")) (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v")) (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v")))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vorc %3,%1,%0\;veqv %3,%3,%2 >> + vorc %0,%1,%0\;veqv %0,%0,%2 >> + vorc %1,%1,%0\;veqv %1,%1,%2 >> + vorc %4,%1,%0\;veqv %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: eqv op veqv rtl xor inv 1 comp 0 >> +;; inner: xor op vxor rtl xor inv 0 comp 0 >> +(define_insn "*fuse_vxor_veqv" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (not:VM (xor:VM (xor:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v") (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v")) (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v")))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vxor %3,%1,%0\;veqv %3,%3,%2 >> + vxor %0,%1,%0\;veqv %0,%0,%2 >> + vxor %1,%1,%0\;veqv %1,%1,%2 >> + vxor %4,%1,%0\;veqv %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: nand op vnand rtl ior inv 0 comp 3 >> +;; inner: and op vand rtl and inv 0 comp 0 >> +(define_insn "*fuse_vand_vnand" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (ior:VM (not:VM (and:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v") (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v"))) (not:VM (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v")))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vand %3,%1,%0\;vnand %3,%3,%2 >> + vand %0,%1,%0\;vnand %0,%0,%2 >> + vand %1,%1,%0\;vnand %1,%1,%2 >> + vand %4,%1,%0\;vnand %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: nand op vnand rtl ior inv 0 comp 3 >> +;; inner: andc op vandc rtl and inv 0 comp 1 >> +(define_insn "*fuse_vandc_vnand" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (ior:VM (not:VM (and:VM (not:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v")) (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v"))) (not:VM (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v")))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vandc %3,%1,%0\;vnand %3,%3,%2 >> + vandc %0,%1,%0\;vnand %0,%0,%2 >> + vandc %1,%1,%0\;vnand %1,%1,%2 >> + vandc %4,%1,%0\;vnand %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: nand op vnand rtl ior inv 0 comp 3 >> +;; inner: eqv op veqv rtl xor inv 1 comp 0 >> +(define_insn "*fuse_veqv_vnand" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (ior:VM (not:VM (not:VM (xor:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v") (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v")))) (not:VM (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v")))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + veqv %3,%1,%0\;vnand %3,%3,%2 >> + veqv %0,%1,%0\;vnand %0,%0,%2 >> + veqv %1,%1,%0\;vnand %1,%1,%2 >> + veqv %4,%1,%0\;vnand %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: nand op vnand rtl ior inv 0 comp 3 >> +;; inner: nand op vnand rtl ior inv 0 comp 3 >> +(define_insn "*fuse_vnand_vnand" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (ior:VM (not:VM (ior:VM (not:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v")) (not:VM (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v")))) (not:VM (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v")))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vnand %3,%1,%0\;vnand %3,%3,%2 >> + vnand %0,%1,%0\;vnand %0,%0,%2 >> + vnand %1,%1,%0\;vnand %1,%1,%2 >> + vnand %4,%1,%0\;vnand %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: nand op vnand rtl ior inv 0 comp 3 >> +;; inner: nor op vnor rtl and inv 0 comp 3 >> +(define_insn "*fuse_vnor_vnand" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (ior:VM (not:VM (and:VM (not:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v")) (not:VM (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v")))) (not:VM (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v")))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vnor %3,%1,%0\;vnand %3,%3,%2 >> + vnor %0,%1,%0\;vnand %0,%0,%2 >> + vnor %1,%1,%0\;vnand %1,%1,%2 >> + vnor %4,%1,%0\;vnand %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: nand op vnand rtl ior inv 0 comp 3 >> +;; inner: or op vor rtl ior inv 0 comp 0 >> +(define_insn "*fuse_vor_vnand" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (ior:VM (not:VM (ior:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v") (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v"))) (not:VM (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v")))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vor %3,%1,%0\;vnand %3,%3,%2 >> + vor %0,%1,%0\;vnand %0,%0,%2 >> + vor %1,%1,%0\;vnand %1,%1,%2 >> + vor %4,%1,%0\;vnand %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: nand op vnand rtl ior inv 0 comp 3 >> +;; inner: orc op vorc rtl ior inv 0 comp 1 >> +(define_insn "*fuse_vorc_vnand" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (ior:VM (not:VM (ior:VM (not:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v")) (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v"))) (not:VM (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v")))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vorc %3,%1,%0\;vnand %3,%3,%2 >> + vorc %0,%1,%0\;vnand %0,%0,%2 >> + vorc %1,%1,%0\;vnand %1,%1,%2 >> + vorc %4,%1,%0\;vnand %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: nand op vnand rtl ior inv 0 comp 3 >> +;; inner: xor op vxor rtl xor inv 0 comp 0 >> +(define_insn "*fuse_vxor_vnand" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (ior:VM (not:VM (xor:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v") (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v"))) (not:VM (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v")))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vxor %3,%1,%0\;vnand %3,%3,%2 >> + vxor %0,%1,%0\;vnand %0,%0,%2 >> + vxor %1,%1,%0\;vnand %1,%1,%2 >> + vxor %4,%1,%0\;vnand %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: nor op vnor rtl and inv 0 comp 3 >> +;; inner: and op vand rtl and inv 0 comp 0 >> +(define_insn "*fuse_vand_vnor" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (and:VM (not:VM (and:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v") (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v"))) (not:VM (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v")))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vand %3,%1,%0\;vnor %3,%3,%2 >> + vand %0,%1,%0\;vnor %0,%0,%2 >> + vand %1,%1,%0\;vnor %1,%1,%2 >> + vand %4,%1,%0\;vnor %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: nor op vnor rtl and inv 0 comp 3 >> +;; inner: andc op vandc rtl and inv 0 comp 1 >> +(define_insn "*fuse_vandc_vnor" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (and:VM (not:VM (and:VM (not:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v")) (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v"))) (not:VM (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v")))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vandc %3,%1,%0\;vnor %3,%3,%2 >> + vandc %0,%1,%0\;vnor %0,%0,%2 >> + vandc %1,%1,%0\;vnor %1,%1,%2 >> + vandc %4,%1,%0\;vnor %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: nor op vnor rtl and inv 0 comp 3 >> +;; inner: eqv op veqv rtl xor inv 1 comp 0 >> +(define_insn "*fuse_veqv_vnor" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (and:VM (not:VM (not:VM (xor:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v") (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v")))) (not:VM (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v")))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + veqv %3,%1,%0\;vnor %3,%3,%2 >> + veqv %0,%1,%0\;vnor %0,%0,%2 >> + veqv %1,%1,%0\;vnor %1,%1,%2 >> + veqv %4,%1,%0\;vnor %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: nor op vnor rtl and inv 0 comp 3 >> +;; inner: nand op vnand rtl ior inv 0 comp 3 >> +(define_insn "*fuse_vnand_vnor" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (and:VM (not:VM (ior:VM (not:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v")) (not:VM (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v")))) (not:VM (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v")))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vnand %3,%1,%0\;vnor %3,%3,%2 >> + vnand %0,%1,%0\;vnor %0,%0,%2 >> + vnand %1,%1,%0\;vnor %1,%1,%2 >> + vnand %4,%1,%0\;vnor %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: nor op vnor rtl and inv 0 comp 3 >> +;; inner: nor op vnor rtl and inv 0 comp 3 >> +(define_insn "*fuse_vnor_vnor" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (and:VM (not:VM (and:VM (not:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v")) (not:VM (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v")))) (not:VM (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v")))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vnor %3,%1,%0\;vnor %3,%3,%2 >> + vnor %0,%1,%0\;vnor %0,%0,%2 >> + vnor %1,%1,%0\;vnor %1,%1,%2 >> + vnor %4,%1,%0\;vnor %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: nor op vnor rtl and inv 0 comp 3 >> +;; inner: or op vor rtl ior inv 0 comp 0 >> +(define_insn "*fuse_vor_vnor" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (and:VM (not:VM (ior:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v") (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v"))) (not:VM (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v")))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vor %3,%1,%0\;vnor %3,%3,%2 >> + vor %0,%1,%0\;vnor %0,%0,%2 >> + vor %1,%1,%0\;vnor %1,%1,%2 >> + vor %4,%1,%0\;vnor %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: nor op vnor rtl and inv 0 comp 3 >> +;; inner: orc op vorc rtl ior inv 0 comp 1 >> +(define_insn "*fuse_vorc_vnor" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (and:VM (not:VM (ior:VM (not:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v")) (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v"))) (not:VM (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v")))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vorc %3,%1,%0\;vnor %3,%3,%2 >> + vorc %0,%1,%0\;vnor %0,%0,%2 >> + vorc %1,%1,%0\;vnor %1,%1,%2 >> + vorc %4,%1,%0\;vnor %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: nor op vnor rtl and inv 0 comp 3 >> +;; inner: xor op vxor rtl xor inv 0 comp 0 >> +(define_insn "*fuse_vxor_vnor" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (and:VM (not:VM (xor:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v") (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v"))) (not:VM (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v")))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vxor %3,%1,%0\;vnor %3,%3,%2 >> + vxor %0,%1,%0\;vnor %0,%0,%2 >> + vxor %1,%1,%0\;vnor %1,%1,%2 >> + vxor %4,%1,%0\;vnor %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: or op vor rtl ior inv 0 comp 0 >> +;; inner: and op vand rtl and inv 0 comp 0 >> +(define_insn "*fuse_vand_vor" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (ior:VM (and:VM (match_operand:VM 0 "altivec_register_operand" >> "v,v,v,v") (match_operand:VM 1 "altivec_register_operand" "v,v,v,v")) >> (match_operand:VM 2 "altivec_register_operand" "v,v,v,v"))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vand %3,%1,%0\;vor %3,%3,%2 >> + vand %0,%1,%0\;vor %0,%0,%2 >> + vand %1,%1,%0\;vor %1,%1,%2 >> + vand %4,%1,%0\;vor %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: or op vor rtl ior inv 0 comp 0 >> +;; inner: andc op vandc rtl and inv 0 comp 1 >> +(define_insn "*fuse_vandc_vor" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (ior:VM (and:VM (not:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v")) (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v")) (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v"))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vandc %3,%1,%0\;vor %3,%3,%2 >> + vandc %0,%1,%0\;vor %0,%0,%2 >> + vandc %1,%1,%0\;vor %1,%1,%2 >> + vandc %4,%1,%0\;vor %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: or op vor rtl ior inv 0 comp 0 >> +;; inner: eqv op veqv rtl xor inv 1 comp 0 >> +(define_insn "*fuse_veqv_vor" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (ior:VM (not:VM (xor:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v") (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v"))) (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v"))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + veqv %3,%1,%0\;vor %3,%3,%2 >> + veqv %0,%1,%0\;vor %0,%0,%2 >> + veqv %1,%1,%0\;vor %1,%1,%2 >> + veqv %4,%1,%0\;vor %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: or op vor rtl ior inv 0 comp 0 >> +;; inner: nand op vnand rtl ior inv 0 comp 3 >> +(define_insn "*fuse_vnand_vor" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (ior:VM (ior:VM (not:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v")) (not:VM (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v"))) (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v"))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vnand %3,%1,%0\;vor %3,%3,%2 >> + vnand %0,%1,%0\;vor %0,%0,%2 >> + vnand %1,%1,%0\;vor %1,%1,%2 >> + vnand %4,%1,%0\;vor %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: or op vor rtl ior inv 0 comp 0 >> +;; inner: nor op vnor rtl and inv 0 comp 3 >> +(define_insn "*fuse_vnor_vor" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (ior:VM (and:VM (not:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v")) (not:VM (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v"))) (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v"))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vnor %3,%1,%0\;vor %3,%3,%2 >> + vnor %0,%1,%0\;vor %0,%0,%2 >> + vnor %1,%1,%0\;vor %1,%1,%2 >> + vnor %4,%1,%0\;vor %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: or op vor rtl ior inv 0 comp 0 >> +;; inner: or op vor rtl ior inv 0 comp 0 >> +(define_insn "*fuse_vor_vor" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (ior:VM (ior:VM (match_operand:VM 0 "altivec_register_operand" >> "v,v,v,v") (match_operand:VM 1 "altivec_register_operand" "%v,v,v,v")) >> (match_operand:VM 2 "altivec_register_operand" "v,v,v,v"))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vor %3,%1,%0\;vor %3,%3,%2 >> + vor %0,%1,%0\;vor %0,%0,%2 >> + vor %1,%1,%0\;vor %1,%1,%2 >> + vor %4,%1,%0\;vor %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: or op vor rtl ior inv 0 comp 0 >> +;; inner: orc op vorc rtl ior inv 0 comp 1 >> +(define_insn "*fuse_vorc_vor" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (ior:VM (ior:VM (not:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v")) (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v")) (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v"))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vorc %3,%1,%0\;vor %3,%3,%2 >> + vorc %0,%1,%0\;vor %0,%0,%2 >> + vorc %1,%1,%0\;vor %1,%1,%2 >> + vorc %4,%1,%0\;vor %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: or op vor rtl ior inv 0 comp 0 >> +;; inner: xor op vxor rtl xor inv 0 comp 0 >> +(define_insn "*fuse_vxor_vor" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (ior:VM (xor:VM (match_operand:VM 0 "altivec_register_operand" >> "v,v,v,v") (match_operand:VM 1 "altivec_register_operand" "v,v,v,v")) >> (match_operand:VM 2 "altivec_register_operand" "v,v,v,v"))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vxor %3,%1,%0\;vor %3,%3,%2 >> + vxor %0,%1,%0\;vor %0,%0,%2 >> + vxor %1,%1,%0\;vor %1,%1,%2 >> + vxor %4,%1,%0\;vor %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: orc op vorc rtl ior inv 0 comp 1 >> +;; inner: and op vand rtl and inv 0 comp 0 >> +(define_insn "*fuse_vand_vorc" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (ior:VM (and:VM (match_operand:VM 0 "altivec_register_operand" >> "v,v,v,v") (match_operand:VM 1 "altivec_register_operand" "v,v,v,v")) >> (not:VM (match_operand:VM 2 "altivec_register_operand" "v,v,v,v")))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vand %3,%1,%0\;vorc %3,%3,%2 >> + vand %0,%1,%0\;vorc %0,%0,%2 >> + vand %1,%1,%0\;vorc %1,%1,%2 >> + vand %4,%1,%0\;vorc %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: orc op vorc rtl ior inv 0 comp 1 >> +;; inner: andc op vandc rtl and inv 0 comp 1 >> +(define_insn "*fuse_vandc_vorc" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (ior:VM (and:VM (not:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v")) (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v")) (not:VM (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v")))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vandc %3,%1,%0\;vorc %3,%3,%2 >> + vandc %0,%1,%0\;vorc %0,%0,%2 >> + vandc %1,%1,%0\;vorc %1,%1,%2 >> + vandc %4,%1,%0\;vorc %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: orc op vorc rtl ior inv 0 comp 1 >> +;; inner: eqv op veqv rtl xor inv 1 comp 0 >> +(define_insn "*fuse_veqv_vorc" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (ior:VM (not:VM (xor:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v") (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v"))) (not:VM (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v")))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + veqv %3,%1,%0\;vorc %3,%3,%2 >> + veqv %0,%1,%0\;vorc %0,%0,%2 >> + veqv %1,%1,%0\;vorc %1,%1,%2 >> + veqv %4,%1,%0\;vorc %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: orc op vorc rtl ior inv 0 comp 1 >> +;; inner: nand op vnand rtl ior inv 0 comp 3 >> +(define_insn "*fuse_vnand_vorc" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (ior:VM (ior:VM (not:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v")) (not:VM (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v"))) (not:VM (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v")))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vnand %3,%1,%0\;vorc %3,%3,%2 >> + vnand %0,%1,%0\;vorc %0,%0,%2 >> + vnand %1,%1,%0\;vorc %1,%1,%2 >> + vnand %4,%1,%0\;vorc %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: orc op vorc rtl ior inv 0 comp 1 >> +;; inner: nor op vnor rtl and inv 0 comp 3 >> +(define_insn "*fuse_vnor_vorc" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (ior:VM (and:VM (not:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v")) (not:VM (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v"))) (not:VM (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v")))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vnor %3,%1,%0\;vorc %3,%3,%2 >> + vnor %0,%1,%0\;vorc %0,%0,%2 >> + vnor %1,%1,%0\;vorc %1,%1,%2 >> + vnor %4,%1,%0\;vorc %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: orc op vorc rtl ior inv 0 comp 1 >> +;; inner: or op vor rtl ior inv 0 comp 0 >> +(define_insn "*fuse_vor_vorc" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (ior:VM (ior:VM (match_operand:VM 0 "altivec_register_operand" >> "v,v,v,v") (match_operand:VM 1 "altivec_register_operand" "v,v,v,v")) >> (not:VM (match_operand:VM 2 "altivec_register_operand" "v,v,v,v")))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vor %3,%1,%0\;vorc %3,%3,%2 >> + vor %0,%1,%0\;vorc %0,%0,%2 >> + vor %1,%1,%0\;vorc %1,%1,%2 >> + vor %4,%1,%0\;vorc %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: orc op vorc rtl ior inv 0 comp 1 >> +;; inner: orc op vorc rtl ior inv 0 comp 1 >> +(define_insn "*fuse_vorc_vorc" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (ior:VM (ior:VM (not:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v")) (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v")) (not:VM (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v")))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vorc %3,%1,%0\;vorc %3,%3,%2 >> + vorc %0,%1,%0\;vorc %0,%0,%2 >> + vorc %1,%1,%0\;vorc %1,%1,%2 >> + vorc %4,%1,%0\;vorc %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: orc op vorc rtl ior inv 0 comp 1 >> +;; inner: xor op vxor rtl xor inv 0 comp 0 >> +(define_insn "*fuse_vxor_vorc" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (ior:VM (xor:VM (match_operand:VM 0 "altivec_register_operand" >> "v,v,v,v") (match_operand:VM 1 "altivec_register_operand" "v,v,v,v")) >> (not:VM (match_operand:VM 2 "altivec_register_operand" "v,v,v,v")))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vxor %3,%1,%0\;vorc %3,%3,%2 >> + vxor %0,%1,%0\;vorc %0,%0,%2 >> + vxor %1,%1,%0\;vorc %1,%1,%2 >> + vxor %4,%1,%0\;vorc %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: xor op vxor rtl xor inv 0 comp 0 >> +;; inner: and op vand rtl and inv 0 comp 0 >> +(define_insn "*fuse_vand_vxor" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (xor:VM (and:VM (match_operand:VM 0 "altivec_register_operand" >> "v,v,v,v") (match_operand:VM 1 "altivec_register_operand" "v,v,v,v")) >> (match_operand:VM 2 "altivec_register_operand" "v,v,v,v"))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vand %3,%1,%0\;vxor %3,%3,%2 >> + vand %0,%1,%0\;vxor %0,%0,%2 >> + vand %1,%1,%0\;vxor %1,%1,%2 >> + vand %4,%1,%0\;vxor %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: xor op vxor rtl xor inv 0 comp 0 >> +;; inner: andc op vandc rtl and inv 0 comp 1 >> +(define_insn "*fuse_vandc_vxor" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (xor:VM (and:VM (not:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v")) (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v")) (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v"))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vandc %3,%1,%0\;vxor %3,%3,%2 >> + vandc %0,%1,%0\;vxor %0,%0,%2 >> + vandc %1,%1,%0\;vxor %1,%1,%2 >> + vandc %4,%1,%0\;vxor %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: xor op vxor rtl xor inv 0 comp 0 >> +;; inner: eqv op veqv rtl xor inv 1 comp 0 >> +(define_insn "*fuse_veqv_vxor" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (xor:VM (not:VM (xor:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v") (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v"))) (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v"))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + veqv %3,%1,%0\;vxor %3,%3,%2 >> + veqv %0,%1,%0\;vxor %0,%0,%2 >> + veqv %1,%1,%0\;vxor %1,%1,%2 >> + veqv %4,%1,%0\;vxor %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: xor op vxor rtl xor inv 0 comp 0 >> +;; inner: nand op vnand rtl ior inv 0 comp 3 >> +(define_insn "*fuse_vnand_vxor" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (xor:VM (ior:VM (not:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v")) (not:VM (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v"))) (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v"))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vnand %3,%1,%0\;vxor %3,%3,%2 >> + vnand %0,%1,%0\;vxor %0,%0,%2 >> + vnand %1,%1,%0\;vxor %1,%1,%2 >> + vnand %4,%1,%0\;vxor %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: xor op vxor rtl xor inv 0 comp 0 >> +;; inner: nor op vnor rtl and inv 0 comp 3 >> +(define_insn "*fuse_vnor_vxor" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (xor:VM (and:VM (not:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v")) (not:VM (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v"))) (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v"))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vnor %3,%1,%0\;vxor %3,%3,%2 >> + vnor %0,%1,%0\;vxor %0,%0,%2 >> + vnor %1,%1,%0\;vxor %1,%1,%2 >> + vnor %4,%1,%0\;vxor %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: xor op vxor rtl xor inv 0 comp 0 >> +;; inner: or op vor rtl ior inv 0 comp 0 >> +(define_insn "*fuse_vor_vxor" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (xor:VM (ior:VM (match_operand:VM 0 "altivec_register_operand" >> "v,v,v,v") (match_operand:VM 1 "altivec_register_operand" "v,v,v,v")) >> (match_operand:VM 2 "altivec_register_operand" "v,v,v,v"))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vor %3,%1,%0\;vxor %3,%3,%2 >> + vor %0,%1,%0\;vxor %0,%0,%2 >> + vor %1,%1,%0\;vxor %1,%1,%2 >> + vor %4,%1,%0\;vxor %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: xor op vxor rtl xor inv 0 comp 0 >> +;; inner: orc op vorc rtl ior inv 0 comp 1 >> +(define_insn "*fuse_vorc_vxor" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (xor:VM (ior:VM (not:VM (match_operand:VM 0 >> "altivec_register_operand" "v,v,v,v")) (match_operand:VM 1 >> "altivec_register_operand" "v,v,v,v")) (match_operand:VM 2 >> "altivec_register_operand" "v,v,v,v"))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vorc %3,%1,%0\;vxor %3,%3,%2 >> + vorc %0,%1,%0\;vxor %0,%0,%2 >> + vorc %1,%1,%0\;vxor %1,%1,%2 >> + vorc %4,%1,%0\;vxor %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: vector outer: xor op vxor rtl xor inv 0 comp 0 >> +;; inner: xor op vxor rtl xor inv 0 comp 0 >> +(define_insn "*fuse_vxor_vxor" >> + [(set (match_operand:VM 3 "altivec_register_operand" "=&v,0,1,v") >> + (xor:VM (xor:VM (match_operand:VM 0 "altivec_register_operand" >> "v,v,v,v") (match_operand:VM 1 "altivec_register_operand" "%v,v,v,v")) >> (match_operand:VM 2 "altivec_register_operand" "v,v,v,v"))) >> + (clobber (match_scratch:VM 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + vxor %3,%1,%0\;vxor %3,%3,%2 >> + vxor %0,%1,%0\;vxor %0,%0,%2 >> + vxor %1,%1,%0\;vxor %1,%1,%2 >> + vxor %4,%1,%0\;vxor %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> diff --git a/gcc/config/rs6000/genfusion.pl b/gcc/config/rs6000/genfusion.pl >> index 494537c9439..06bce3c43a4 100755 >> --- a/gcc/config/rs6000/genfusion.pl >> +++ b/gcc/config/rs6000/genfusion.pl >> @@ -137,8 +137,97 @@ sub gen_ld_cmpi_p10 >> } >> } >> >> +sub gen_2logical >> +{ >> + my @logicals = ( "and", "andc", "eqv", "nand", "nor", "or", "orc", >> "xor" ); >> + my %complement = ( "and"=> 0, "andc"=> 1, "eqv"=> 0, "nand"=> 3, >> + "nor"=> 3, "or"=> 0, "orc"=> 1, "xor"=> 0 ); >> + my %invert = ( "and"=> 0, "andc"=> 0, "eqv"=> 1, "nand"=> 0, >> + "nor"=> 0, "or"=> 0, "orc"=> 0, "xor"=> 0 ); >> + my %commute2 = ( "and"=> 1, "andc"=> 0, "eqv"=> 1, "nand"=> 0, >> + "nor"=> 0, "or"=> 1, "orc"=> 0, "xor"=> 1 ); >> + my %rtlop = ( "and"=>"and", "andc"=>"and", "eqv"=>"xor", "nand"=>"ior", >> + "nor"=>"and", "or"=>"ior", "orc"=>"ior", "xor"=>"xor" ); >> + >> + KIND: foreach $kind ('scalar','vector') { >> + if ( $kind eq 'vector' ) { >> + $vchr = "v"; >> + $mode = "VM"; >> + $pred = "altivec_register_operand"; >> + $constraint = "v"; >> + } else { >> + $vchr = ""; >> + $mode = "GPR"; >> + $pred = "gpc_reg_operand"; >> + $constraint = "r"; >> + } >> + $c4 = "${constraint},${constraint},${constraint},${constraint}"; >> + OUTER: foreach $outer ( @logicals ) { >> + $outer_op = "${vchr}${outer}"; >> + $outer_comp = $complement{$outer}; >> + $outer_inv = $invert{$outer}; >> + $outer_rtl = $rtlop{$outer}; >> + INNER: foreach $inner ( @logicals ) { >> + $inner_comp = $complement{$inner}; >> + $inner_inv = $invert{$inner}; >> + $inner_rtl = $rtlop{$inner}; >> + $inner_op = "${vchr}${inner}"; >> + # If both ops commute then we can specify % on operand 1 >> + # so the pattern will let operands 1 and 2 interchange. >> + $both_commute = ($inner eq $outer) && ($commute2{$inner} == 1); >> + $bc = ""; if ( $both_commute ) { $bc = "%"; } >> + $inner_arg0 = "(match_operand:${mode} 0 \"${pred}\" \"${c4}\")"; >> + $inner_arg1 = "(match_operand:${mode} 1 \"${pred}\" \"${bc}${c4}\")"; >> + if ( ($inner_comp & 1) == 1 ) { >> + $inner_arg0 = "(not:${mode} $inner_arg0)"; >> + } >> + if ( ($inner_comp & 2) == 2 ) { >> + $inner_arg1 = "(not:${mode} $inner_arg1)"; >> + } >> + $inner_exp = "(${inner_rtl}:${mode} ${inner_arg0} ${inner_arg1})"; >> + if ( $inner_inv == 1 ) { >> + $inner_exp = "(not:${mode} $inner_exp)"; >> + } >> + $outer_arg2 = "(match_operand:${mode} 2 \"${pred}\" \"${c4}\")"; >> + if ( ($outer_comp & 1) == 1 ) { >> + $outer_arg2 = "(not:${mode} $outer_arg2)"; >> + } >> + if ( ($outer_comp & 2) == 2 ) { >> + $inner_exp = "(not:${mode} $inner_exp)"; >> + } >> + $outer_exp = "(${outer_rtl}:${mode} ${inner_exp} ${outer_arg2})"; >> + if ( $outer_inv == 1 ) { >> + $outer_exp = "(not:${mode} $outer_exp)"; >> + } >> + >> + $insn = <<"EOF"; >> + >> +;; logical-logical fusion pattern generated by gen_2logical >> +;; kind: $kind outer: $outer op $outer_op rtl $outer_rtl inv $outer_inv >> comp $outer_comp >> +;; inner: $inner op $inner_op rtl $inner_rtl inv $inner_inv comp $inner_comp >> +(define_insn "*fuse_${inner_op}_${outer_op}" >> + [(set (match_operand:${mode} 3 "${pred}" >> "=&${constraint},0,1,${constraint}") >> + ${outer_exp}) >> + (clobber (match_scratch:${mode} 4 "=X,X,X,r"))] >> + "(TARGET_P10_FUSION && TARGET_P10_FUSION_2LOGICAL)" >> + "@ >> + ${inner_op} %3,%1,%0\\;${outer_op} %3,%3,%2 >> + ${inner_op} %0,%1,%0\\;${outer_op} %0,%0,%2 >> + ${inner_op} %1,%1,%0\\;${outer_op} %1,%1,%2 >> + ${inner_op} %4,%1,%0\\;${outer_op} %3,%4,%2" >> + [(set_attr "type" "logical") >> + (set_attr "cost" "6") >> + (set_attr "length" "8")]) >> +EOF >> + >> + print $insn; >> + } >> + } >> + } >> +} >> >> gen_ld_cmpi_p10(); >> +gen_2logical(); >> >> exit(0); >> >> diff --git a/gcc/config/rs6000/rs6000-cpus.def >> b/gcc/config/rs6000/rs6000-cpus.def >> index 3e65289d8df..a09a760daa9 100644 >> --- a/gcc/config/rs6000/rs6000-cpus.def >> +++ b/gcc/config/rs6000/rs6000-cpus.def >> @@ -84,7 +84,8 @@ >> | OPTION_MASK_POWER10 \ >> | OTHER_POWER10_MASKS \ >> | OPTION_MASK_P10_FUSION \ >> - | OPTION_MASK_P10_FUSION_LD_CMPI) >> + | OPTION_MASK_P10_FUSION_LD_CMPI \ >> + | OPTION_MASK_P10_FUSION_2LOGICAL) >> >> /* Flags that need to be turned off if -mno-power9-vector. */ >> #define OTHER_P9_VECTOR_MASKS (OPTION_MASK_FLOAT128_HW >> \ >> @@ -133,6 +134,7 @@ >> | OPTION_MASK_POWER10 \ >> | OPTION_MASK_P10_FUSION \ >> | OPTION_MASK_P10_FUSION_LD_CMPI \ >> + | OPTION_MASK_P10_FUSION_2LOGICAL \ >> | OPTION_MASK_HTM \ >> | OPTION_MASK_ISEL \ >> | OPTION_MASK_MFCRF \ >> diff --git a/gcc/config/rs6000/rs6000.c b/gcc/config/rs6000/rs6000.c >> index 759551d07ec..7c043a22128 100644 >> --- a/gcc/config/rs6000/rs6000.c >> +++ b/gcc/config/rs6000/rs6000.c >> @@ -4429,6 +4429,9 @@ rs6000_option_override_internal (bool global_init_p) >> if (TARGET_POWER10 && (rs6000_isa_flags_explicit & >> OPTION_MASK_P10_FUSION_LD_CMPI) == 0) >> rs6000_isa_flags |= OPTION_MASK_P10_FUSION_LD_CMPI; >> >> + if (TARGET_POWER10 && (rs6000_isa_flags_explicit & >> OPTION_MASK_P10_FUSION_2LOGICAL) == 0) >> + rs6000_isa_flags |= OPTION_MASK_P10_FUSION_2LOGICAL; >> + >> /* Turn off vector pair/mma options on non-power10 systems. */ >> else if (!TARGET_POWER10 && TARGET_MMA) >> { >> diff --git a/gcc/config/rs6000/rs6000.opt b/gcc/config/rs6000/rs6000.opt >> index 008a318b98d..d4eecba013b 100644 >> --- a/gcc/config/rs6000/rs6000.opt >> +++ b/gcc/config/rs6000/rs6000.opt >> @@ -487,6 +487,10 @@ mpower10-fusion-ld-cmpi >> Target Undocumented Mask(P10_FUSION_LD_CMPI) Var(rs6000_isa_flags) >> Fuse certain integer operations together for better performance on power10. >> >> +mpower10-fusion-2logical >> +Target Undocumented Mask(P10_FUSION_2LOGICAL) Var(rs6000_isa_flags) >> +Fuse certain integer operations together for better performance on power10. >> + >> mcrypto >> Target Report Mask(CRYPTO) Var(rs6000_isa_flags) >> Use ISA 2.07 Category:Vector.AES and Category:Vector.SHA2 instructions. >> -- >> 2.27.0 >> >