aboutsummaryrefslogtreecommitdiff
path: root/gcc/match.pd
AgeCommit message (Expand)AuthorFilesLines
2017-12-15re PR sanitizer/81281 (UBSAN: false positive, dropped promotion to long type.)Jakub Jelinek1-20/+25
2017-12-06re PR sanitizer/81281 (UBSAN: false positive, dropped promotion to long type.)Jakub Jelinek1-34/+66
2017-11-28re PR tree-optimization/80788 (ICE in set_value_range, at tree-vrp.c:252)Jakub Jelinek1-1/+2
2017-11-24Simplify 0 - ptr.Marc Glisse1-0/+4
2017-11-23Simplify ptr - 0Marc Glisse1-0/+5
2017-11-21New POINTER_DIFF_EXPRMarc Glisse1-4/+75
2017-11-16Canonicalize constant multiplies in divisionWilco Dijkstra1-11/+10
2017-11-13match.pd: Convert fminf<N>...Michael Meissner1-4/+10
2017-11-07match.pd: Fix build.Richard Biener1-1/+1
2017-11-07PR71026: Canonicalize negates in divisionWilco Dijkstra1-0/+5
2017-11-07PR80131: Simplification of 1U << (31 - x)Sudakshina Das1-0/+13
2017-11-07More bitop simplifications in match.pdMarc Glisse1-0/+42
2017-11-07More fold_negate in match.pdMarc Glisse1-0/+20
2017-11-03Generalize -(-X) a littleMarc Glisse1-4/+23
2017-10-11X+Y < X iff Y<0 moved to match.pdMarc Glisse1-3/+42
2017-10-10Require wi::to_wide for treesRichard Sandiford1-80/+105
2017-10-02Fix mismatched precisions in tree arithmeticRichard Sandiford1-3/+4
2017-09-29re PR middle-end/82319 (ICE in generic_simplify_148, at generic-match.c:6436)Yury Gribov1-1/+1
2017-09-27match.pd ((X / Y) == 0 -> X < Y): New pattern.Prathamesh Kulkarni1-0/+12
2017-09-22re PR middle-end/35691 (Missed (a == 0) && (b == 0) into (a|(typeof(a)(b)) ==...Jakub Jelinek1-6/+15
2017-09-15re PR tree-optimization/71026 (Missing division optimizations)Jackson Woodruff1-0/+7
2017-09-12re PR middle-end/82149 (match.pd: 2919: bad if test ?)Richard Biener1-1/+1
2017-08-30[34/77] Add a SCALAR_INT_TYPE_MODE macroRichard Sandiford1-1/+1
2017-08-21Add a type_has_mode_precision_p helper functionRichard Sandiford1-17/+10
2017-08-21This patch simplifies pow (C, x) into exp (x * C1) if C > 0, C1 = log (C).Wilco Dijkstra1-0/+10
2017-08-04Remove useless floating point casts in comparisons.Yury Gribov1-0/+74
2017-08-01tree.h (POINTER_TYPE_OVERFLOW_UNDEFINED): Delete.Bin Cheng1-8/+1
2017-07-28match.pd: Remove superfluous :c.Richard Biener1-1/+1
2017-07-28re PR middle-end/81502 (In some cases the data is moved to memory unnecessari...Richard Biener1-0/+22
2017-07-25match.pd: combine successive multiplications by constantsAlexander Monakov1-0/+13
2017-07-25match.pd: reassociate multiplicationsAlexander Monakov1-0/+8
2017-07-20match.pd (((m1 >/</>=/<= m2) * d -> (m1 >/</>=/<= m2) ? d : 0): New pattern.Naveen H.S1-0/+6
2017-07-19re PR tree-optimization/81346 (Missed constant propagation into comparison)Jakub Jelinek1-0/+13
2017-07-19re PR tree-optimization/81346 (Missed constant propagation into comparison)Jakub Jelinek1-0/+54
2017-07-17re PR tree-optimization/81428 (ICE: in build_one_cst, at tree.c:2079 with -O2...Jakub Jelinek1-2/+3
2017-06-28re PR tree-optimization/81227 (ICE in get_single_symbol, at tree-vrp.c:799)Richard Biener1-1/+1
2017-06-28Simplify 3*x == 3*y for wrapping typesMarc Glisse1-8/+19
2017-06-27match.pd (X >/>=/</<= 0 ? 1.0 : -1.0): New patterns.Andrew Pinski1-0/+52
2017-06-27Simple reassoc transforms in match.pdMarc Glisse1-0/+12
2017-06-22[Patch match.pd] Fold (A / (1 << B)) to (A >> B)James Greenhalgh1-0/+12
2017-06-21NOP conversions in X+CST+CSTMarc Glisse1-9/+49
2017-06-13match.pd: New pattern.Yury Gribov1-0/+28
2017-05-27re PR bootstrap/80887 (gnat bootstrap fails at s-regpat.o: raised STORAGE_ERR...Jakub Jelinek1-32/+8
2017-05-25Relax VIEW_CONVERT_EXPR - CONVERT_EXPR combinationMarc Glisse1-3/+6
2017-05-25Allow some NOP conversions in (X+CST1)+CST2 in match.pdMarc Glisse1-8/+32
2017-05-25Move "(A & C) == D is false when D & ~C != 0" to match.pdMarc Glisse1-0/+27
2017-05-18Move X==15-X to match.pdMarc Glisse1-0/+7
2017-05-10re PR tree-optimization/77644 (missed optimization with sqrt in comparison)Prathamesh Kulkarni1-1/+6
2017-04-28Drop Z from X + Z < Y + ZMarc Glisse1-0/+48
2017-04-24X /[ex] 4 < Y /[ex] 4Marc Glisse1-0/+7