aboutsummaryrefslogtreecommitdiff
path: root/gcc/match.pd
AgeCommit message (Expand)AuthorFilesLines
2015-08-04gimple-fold.c (gimple_fold_stmt_to_constant_1): Canonicalize bool compares on...Richard Biener1-0/+5
2015-08-03genmatch.c (simplify::for_subst_vec): New member.Richard Biener1-2/+6
2015-07-31fold-const.c (fold_binary_loc): Remove X ^ C1 == C2 -> X == (C1 ^ C2) which i...Richard Biener1-2/+25
2015-07-30genmatch.c (verbose): New global.Richard Biener1-2/+3
2015-07-30re PR middle-end/67053 (FAIL: experimental/optional/constexpr/make_optional.cc)Richard Biener1-1/+1
2015-07-29match.pd: Merge address comparison patterns and make them handle some more ca...Richard Biener1-38/+43
2015-07-28match.pd: Add more simplification of address comparisons.Richard Biener1-0/+40
2015-07-28match.pd: Re-order two cases in comparison with max/min value simplification ...Richard Biener1-6/+6
2015-07-28fold-const.c (fold_comparison): Remove equality folding of decl addresses ...Richard Biener1-8/+13
2015-07-24fold-const.c (fold_binary_loc): Move simplifying of comparisons against the h...Richard Biener1-0/+67
2015-07-24fold-const.c (maybe_canonicalize_comparison_1): Move A code CST canonicalizat...Richard Biener1-0/+17
2015-07-24genmatch.c (add_operator): Allow SSA_NAME as predicate.Richard Biener1-0/+15
2015-07-24re PR middle-end/25530 ((unsigned / 2)*2 is not changed into unsigned &~1)Naveen H.S1-0/+6
2015-07-24re PR middle-end/25529 ((unsigned * 2)/2 is not changed into unsigned &0x7FFF...Naveen H.S1-1/+10
2015-07-23generic-match-head.c: Include cgraph.h.Richard Biener1-1/+22
2015-07-23re PR middle-end/66916 (FAIL: gcc.target/arm/pr43920-2.c object-size text <= 54)Richard Biener1-1/+2
2015-07-21re PR tree-optimization/66948 (Performance regression in bit manipulation code)Richard Biener1-1/+1
2015-07-21[match.pd] PR middle-end/66915 Restrict A - B -> A + (-B) to non-fixed-point ...Kyrylo Tkachov1-2/+2
2015-07-17fold-const.c (fold_binary_loc): Move A - (A & B) into ~B & A ...Marek Polacek1-0/+6
2015-07-16fold-const.c (fold_widened_comparison): Remove.Richard Biener1-0/+56
2015-07-15fold-const.c (fold_binary_loc): Move bool_var != 0 -> bool_var and bool_var =...Richard Biener1-12/+41
2015-07-15genmatch.c (parser::peek, [...]): Add argument to tell how many tokens to pee...Richard Biener1-180/+186
2015-07-14genmatch.c (struct operand): Add OP_IF and OP_WITH op_types.Richard Biener1-132/+126
2015-07-10fold-const.c (distribute_bit_expr): Remove.Richard Biener1-8/+43
2015-07-09genmatch.c (struct expr): Add force_single_use flag.Richard Biener1-22/+15
2015-07-07fold-const.c (fold_binary_loc): Move (X & C2) << C1 -> (X << C1) & (C2 << C1)...Richard Biener1-1/+18
2015-07-07re PR tree-optimization/66739 (FAIL: gcc.target/aarch64/subs.c scan-assembler...Richard Biener1-2/+3
2015-07-06match.pd: Remove element_mode inside HONOR_*.Marc Glisse1-19/+17
2015-07-06re PR tree-optimization/66759 (ICE in generic-match.c on 456.hmmer)Richard Biener1-1/+1
2015-07-06re PR tree-optimization/66757 (wrong code at -O1 and above on x86_64-linux-gnu)Eric Botcazou1-1/+2
2015-07-03fold-const.c (fold_mathfn_compare): Remove.Richard Biener1-17/+195
2015-07-03fold-const.c (fold_binary_loc): Move (T)ptr & CST folding...Richard Biener1-0/+15
2015-07-01fold-const.c (fold_comparison): Move X - Y CMP 0 -> X CMP Y...Richard Biener1-0/+63
2015-07-01fold-const.c (fold_binary_loc): Move ~X ^ X -> -1 and (X & Y) ^ Y -> ~X & Y t...Richard Biener1-0/+10
2015-06-30match.pd (~x | x): Don't use tree_nop_conversion_p.Marek Polacek1-2/+1
2015-06-30match.pd (X - (X / Y) * Y): Use convert1 and convert2.Marek Polacek1-2/+2
2015-06-30fold-const.c (fold_binary_loc): Move ~x & ~y -> ~(x | y) and ~x | ~y -> ~(x &...Richard Biener1-0/+41
2015-06-30fold-const.c (fold_unary_loc): Move abs(abs(x)) -> abs(x)...Richard Biener1-13/+60
2015-06-30fold-const.c (fold_binary_loc): Move ~X | X folding ...Marek Polacek1-0/+6
2015-06-29fold-const.c (fold_binary_loc): Move X - (X / Y) * Y -> X % Y to ...Marek Polacek1-0/+6
2015-06-29genmatch.c (add_operator): Treat ADDR_EXPR as atom.Richard Biener1-1/+16
2015-06-26fold-const.c (fold_binary_loc): Remove -A CMP -B -> A CMP B and -A CMP CST ->...Richard Biener1-0/+29
2015-06-26match.pd ((x | y) & ~(x & y) -> x ^ y, (x | y) & (~x ^ y) -> x & y): New patt...Marek Polacek1-0/+10
2015-06-26match.pd: Allow associating FLOAT_TYPE_P when flag_associative_math.Richard Biener1-4/+6
2015-06-25fold-const.c (fold_binary_loc): Move simplification of (X <<>> C1) & C2 ...Richard Biener1-0/+91
2015-06-25match.pd: Add patterns for vec_conds between 1 and 0.Richard Sandiford1-0/+20
2015-06-23match.pd ((x + y) - (x | y) -> x & y, (x + y) - (x & y) -> x | y): New patterns.Marek Polacek1-0/+14
2015-06-22match.pd ((x ^ y) ^ (x | y) -> x & y, (x & y) + (x ^ y) -> x | y, (x & y) | (...Marek Polacek1-0/+28
2015-06-11* match.pd ((x & y) ^ (x | y)): Don't check for single_use.Marek Polacek1-3/+2
2015-06-11match.pd ((x & y) ^ (x | y) -> x ^ y): New pattern.Marek Polacek1-0/+6