On Tue, Feb 18, 2014 at 1:09 PM, Philipp Tomsich <philipp.toms...@theobroma-systems.com> wrote:
Can you add a testcase or two for this? This should show why they are not matching before hand. Thanks, Andrew > --- > gcc/config/aarch64/aarch64.md | 49 > +++++++++++++++++++++++++++++++++++++++++++ > 1 file changed, 49 insertions(+) > > diff --git a/gcc/config/aarch64/aarch64.md b/gcc/config/aarch64/aarch64.md > index 90f1ee9..13a75d3 100644 > --- a/gcc/config/aarch64/aarch64.md > +++ b/gcc/config/aarch64/aarch64.md > @@ -1138,6 +1138,22 @@ > [(set_attr "type" "alus_reg,alus_imm,alus_imm")] > ) > > +;; alternative using the condition output only > +(define_insn "*add<mode>3_compare0_internal2" > + [(set (reg:CC_NZ CC_REGNUM) > + (compare:CC_NZ > + (plus:GPI (match_operand:GPI 1 "register_operand" "%r,r,r") > + (match_operand:GPI 2 "aarch64_plus_operand" "r,I,J")) > + (const_int 0))) > + (clobber (match_scratch:GPI 0 "=r,r,r"))] > + "" > + "@ > + adds\\t%<w>0, %<w>1, %<w>2 > + adds\\t%<w>0, %<w>1, %<w>2 > + subs\\t%<w>0, %<w>1, #%n2" > + [(set_attr "type" "alus_reg,alus_imm,alus_imm")] > +) > + > ;; zero_extend version of above > (define_insn "*addsi3_compare0_uxtw" > [(set (reg:CC_NZ CC_REGNUM) > @@ -1155,6 +1171,39 @@ > [(set_attr "type" "alus_reg,alus_imm,alus_imm")] > ) > > +;; variant of the above using a swapped condition/comparator > +(define_insn "*addsi3_compare0_uxtw_zeswp" > + [(set (reg:CC_ZESWP CC_REGNUM) > + (compare:CC_ZESWP > + (plus:SI (match_operand:SI 1 "register_operand" "%r,r,r") > + (match_operand:SI 2 "aarch64_plus_operand" "r,I,J")) > + (const_int 0))) > + (set (match_operand:DI 0 "register_operand" "=r,r,r") > + (zero_extend:DI (plus:SI (match_dup 1) (match_dup 2))))] > + "" > + "@ > + adds\\t%w0, %w1, %w2 > + adds\\t%w0, %w1, %w2 > + subs\\t%w0, %w1, #%n2" > + [(set_attr "type" "alus_reg,alus_imm,alus_imm")] > +) > + > +;; alternative using the condition output only > +(define_insn "*addsi3_compare0_uxtw_zeswp_internal2" > + [(set (reg:CC_ZESWP CC_REGNUM) > + (compare:CC_ZESWP > + (plus:SI (match_operand:SI 1 "register_operand" "%r,r,r") > + (match_operand:SI 2 "aarch64_plus_operand" "r,I,J")) > + (const_int 0))) > + (clobber (match_scratch:DI 0 "=r,r,r"))] > + "" > + "@ > + adds\\t%w0, %w1, %w2 > + adds\\t%w0, %w1, %w2 > + subs\\t%w0, %w1, #%n2" > + [(set_attr "type" "alus_reg,alus_imm,alus_imm")] > +) > + > (define_insn "*adds_mul_imm_<mode>" > [(set (reg:CC_NZ CC_REGNUM) > (compare:CC_NZ > -- > 1.9.0 >