[Patch] Add support for IEEE-conformant versions of scalar fmin* and fmax*

[David Sherwood]

Hi,

I have added new STRICT_MAX_EXPR and STRICT_MIN_EXPR expressions to support the
IEEE versions of fmin and fmax. This is done by recognising the math library
"fmax" and "fmin" builtin functions in a similar way to how this is done for
-ffast-math. This also allows us to vectorise the IEEE max/min functions for
targets that support it, for example aarch64/aarch32.

Tested:

x86_64-linux: no regressions
aarch64-none-elf: no regressions
aarch64_be-none-elf: no regressions
arm-none-eabi: no regressions

ChangeLog:

    2015-06-26  David Sherwood  <david.sherw...@arm.com>

    gcc/
        * builtins.c (integer_valued_real_p): Add STRICT_MIN_EXPR and
        STRICT_MAX_EXPR.
        (fold_builtin_fmin_fmax): For strict math, convert builting fmin and 
        fmax to STRICT_MIN_EXPR and STRICT_MIN_EXPR, respectively.
        * expr.c (expand_expr_real_2): Add STRICT_MIN_EXPR and STRICT_MAX_EXPR.
        * fold-const.c (const_binop): Likewise.
        (fold_binary_loc, tree_binary_nonnegative_warnv_p): Likewise.
        (tree_binary_nonzero_warnv_p): Likewise.
        * optabs.h (strict_minmax_support): Declare.
        * optabs.def: Add new optabs strict_max_optab/strict_min_optab.
        * optabs.c (optab_for_tree_code): Return new optabs for STRICT_MIN_EXPR
        and STRICT_MAX_EXPR.
        (strict_minmax_support): New function.
        * real.c (real_arithmetic): Add STRICT_MIN_EXPR and STRICT_MAX_EXPR.
        * tree.def: Likewise.
        * tree.c (associative_tree_code, commutative_tree_code): Likewise.
        * tree-cfg.c (verify_expr): Likewise.
        (verify_gimple_assign_binary): Likewise.
        * tree-inline.c (estimate_operator_cost): Likewise.
        * tree-pretty-print.c (dump_generic_node, op_code_prio): Likewise.
        (op_symbol_code): Likewise.
        * config/aarch64/aarch64.md: New pattern.
        * config/aarch64/aarch64-simd.md: Likewise.
        * config/aarch64/iterators.md: New unspecs, iterators.
        * config/arm/iterators.md: New iterators.
        * config/arm/unspecs.md: New unspecs.
        * config/arm/neon.md: New pattern.
        * config/arm/vfp.md: Likewise.
    gcc/testsuite
        * gcc.target/aarch64/maxmin_strict.c: New test.
        * gcc.target/arm/maxmin_strict.c: New test.
        * lib/target-supports.exp
        (check_effective_target_arm_v8_vfp_neon_ok): New check.
        (add_options_for_arm_v8_vfp_neon): New options.

Regards,
David Sherwood.

patch
Description: Binary data