From f84e7fd6cb5091fa4eba373782f2a87dd449521f Mon Sep 17 00:00:00 2001 From: Richard Biener Date: Thu, 13 Nov 2014 13:58:59 +0000 Subject: match.pd: Add tcc_comparison... 2014-11-13 Richard Biener * match.pd: Add tcc_comparison, inverted_tcc_comparison and inverted_tcc_comparison_with_nans operator lists. Use tcc_comparison in the truth_valued_p predicate definition. Restrict logical_inverted_value with bit_xor to integral types. Build a boolean true for simplifying x |^ !x because of vector types. Implement patterns from forward_propagate_comparison * tree-ssa-forwprop.c (forward_propagate_comparison): Remove. (get_prop_dest_stmt): Likewise. (pass_forwprop::execute): Do not call it. * fold-const.c (fold_unary_loc): Remove the pattern here. * gcc.dg/tree-ssa/forwprop-28.c: Adjust. From-SVN: r217496 --- gcc/fold-const.c | 12 ------------ 1 file changed, 12 deletions(-) (limited to 'gcc/fold-const.c') diff --git a/gcc/fold-const.c b/gcc/fold-const.c index a711be9..e51abee 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -7938,18 +7938,6 @@ fold_unary_loc (location_t loc, enum tree_code code, tree type, tree op0) if (i == count) return build_vector (type, elements); } - else if (COMPARISON_CLASS_P (arg0) - && (VECTOR_TYPE_P (type) - || (INTEGRAL_TYPE_P (type) && TYPE_PRECISION (type) == 1))) - { - tree op_type = TREE_TYPE (TREE_OPERAND (arg0, 0)); - enum tree_code subcode = invert_tree_comparison (TREE_CODE (arg0), - HONOR_NANS (TYPE_MODE (op_type))); - if (subcode != ERROR_MARK) - return build2_loc (loc, subcode, type, TREE_OPERAND (arg0, 0), - TREE_OPERAND (arg0, 1)); - } - return NULL_TREE; -- cgit v1.1