[Bug tree-optimization/64946] [AArch64] gcc.target/aarch64/vect-abs-compile.c - "abs" vectorization fails for char/short types

[kugan at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64946

--- Comment #24 from kugan at gcc dot gnu.org ---
Author: kugan
Date: Sat Jun 16 21:34:29 2018
New Revision: 261681

URL: https://gcc.gnu.org/viewcvs?rev=261681&root=gcc&view=rev
Log:
gcc/ChangeLog:

2018-06-16  Kugan Vivekanandarajah  <kuganv@linaro.org>

        PR middle-end/64946
        * cfgexpand.c (expand_debug_expr): Hande ABSU_EXPR.
        * config/i386/i386.c (ix86_add_stmt_cost): Likewise.
        * dojump.c (do_jump): Likewise.
        * expr.c (expand_expr_real_2): Check operand type's sign.
        * fold-const.c (const_unop): Handle ABSU_EXPR.
        (fold_abs_const): Likewise.
        * gimple-pretty-print.c (dump_unary_rhs): Likewise.
        * gimple-ssa-backprop.c (backprop::process_assign_use): Likesie.
        (strip_sign_op_1): Likesise.
        * match.pd: Add new pattern to generate ABSU_EXPR.
        * optabs-tree.c (optab_for_tree_code): Handle ABSU_EXPR.
        * tree-cfg.c (verify_gimple_assign_unary): Likewise.
        * tree-eh.c (operation_could_trap_helper_p): Likewise.
        * tree-inline.c (estimate_operator_cost): Likewise.
        * tree-pretty-print.c (dump_generic_node): Likewise.
        * tree-vect-patterns.c (vect_recog_sad_pattern): Likewise.
        * tree.def (ABSU_EXPR): New.

gcc/c-family/ChangeLog:

2018-06-16  Kugan Vivekanandarajah  <kuganv@linaro.org>

        * c-common.c (c_common_truthvalue_conversion): Handle ABSU_EXPR.

gcc/c/ChangeLog:

2018-06-16  Kugan Vivekanandarajah  <kuganv@linaro.org>

        * c-typeck.c (build_unary_op): Handle ABSU_EXPR;
        * gimple-parser.c (c_parser_gimple_statement): Likewise.
        (c_parser_gimple_unary_expression): Likewise.

gcc/cp/ChangeLog:

2018-06-16  Kugan Vivekanandarajah  <kuganv@linaro.org>

        * constexpr.c (potential_constant_expression_1): Handle ABSU_EXPR.
        * cp-gimplify.c (cp_fold): Likewise.

gcc/testsuite/ChangeLog:

2018-06-16  Kugan Vivekanandarajah  <kuganv@linaro.org>

        PR middle-end/64946
        * gcc.dg/absu.c: New test.
        * gcc.dg/gimplefe-29.c: New test.
        * gcc.target/aarch64/pr64946.c: New test.


Added:
    trunk/gcc/testsuite/gcc.dg/absu.c
    trunk/gcc/testsuite/gcc.dg/gimplefe-29.c
    trunk/gcc/testsuite/gcc.target/aarch64/pr64946.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/c-family/ChangeLog
    trunk/gcc/c-family/c-common.c
    trunk/gcc/c/ChangeLog
    trunk/gcc/c/c-typeck.c
    trunk/gcc/c/gimple-parser.c
    trunk/gcc/cfgexpand.c
    trunk/gcc/config/i386/i386.c
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/constexpr.c
    trunk/gcc/cp/cp-gimplify.c
    trunk/gcc/dojump.c
    trunk/gcc/expr.c
    trunk/gcc/fold-const.c
    trunk/gcc/gimple-pretty-print.c
    trunk/gcc/gimple-ssa-backprop.c
    trunk/gcc/match.pd
    trunk/gcc/optabs-tree.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-cfg.c
    trunk/gcc/tree-eh.c
    trunk/gcc/tree-inline.c
    trunk/gcc/tree-pretty-print.c
    trunk/gcc/tree-vect-patterns.c
    trunk/gcc/tree.def