aboutsummaryrefslogtreecommitdiff
path: root/gcc/tree-vrp.c
AgeCommit message (Expand)AuthorFilesLines
2021-04-30Jump threader refactor.Aldy Hernandez1-91/+66
2021-04-26Remove irange::varying_p checks from symbolic_p and constant_p.Aldy Hernandez1-2/+2
2021-03-02vrp: Improve register_edge_assert_for [PR95757]Jakub Jelinek1-7/+15
2021-02-25vrp: Handle VCE in vrp_simplify_cond_using_ranges [PR80635]Jakub Jelinek1-3/+14
2021-01-04Update copyright years.Jakub Jelinek1-1/+1
2020-11-13tree-optimization/97812 - fix range query in VRP assert discoveryRichard Biener1-2/+8
2020-11-13Inline delegators in vrp_folder.Aldy Hernandez1-20/+13
2020-11-13Move vr_values out of vrp_prop into execute_vrp so it can be shared.Aldy Hernandez1-24/+29
2020-11-13Move vrp_prop before vrp_folder.Aldy Hernandez1-100/+100
2020-11-13Refactor VRP threading code into vrp_jump_threader class.Aldy Hernandez1-72/+72
2020-11-13Group tree-vrp.c by functionality.Aldy Hernandez1-914/+901
2020-10-21Move simplify_cond_using_ranges_2 to tree-vrp.cAldy Hernandez1-2/+63
2020-10-01Convert vr-values to value query class.Aldy Hernandez1-15/+4
2020-09-08PR tree-optimization/96967 - cast label range to type of switch operandAldy Hernandez1-0/+2
2020-09-04rename widest_irange to int_range_max.Aldy Hernandez1-2/+2
2020-08-31PR tree-optimization/96818 - cast label range to type of switch operandAldy Hernandez1-0/+2
2020-08-26Adjust tree-ssa-dom.c for irange API.Aldy Hernandez1-57/+60
2020-08-03Multi-range implementation for value_range (irange).Aldy Hernandez1-12/+20
2020-06-27Move simplification of statements using ranges into its own class.Aldy Hernandez1-15/+22
2020-06-10Merge evrp uses of substitute_and_fold_engine into the engine itself.Aldy Hernandez1-2/+2
2020-06-01Move array bounds checking into its own file.Aldy Hernandez1-681/+1
2020-06-01Move value_range_equiv code to its own file.Aldy Hernandez1-299/+1
2020-05-18PR middle-end/94940 - spurious -Warray-bounds for a zero length array member ...Martin Sebor1-29/+15
2020-05-17Revert previous patch:Aldy Hernandez1-0/+26
2020-05-17Move operand_less_p to vr-values.c.Aldy Hernandez1-26/+0
2020-05-17Remove vrp_insert::live_on_edge declaration.Aldy Hernandez1-3/+0
2020-05-17More refactoring of tree-vrp.c.Aldy Hernandez1-169/+232
2020-05-17Move array bounds checking out of vrp_prop and into its own class.Aldy Hernandez1-37/+61
2020-05-12Refactor tree-vrp.cGiuliano Belinassi1-111/+198
2020-01-01Update copyright years.Jakub Jelinek1-1/+1
2019-12-05PR middle-end/92622 - FAIL: gcc.dg/Warray-bounds-22.c on ILP32: missing warni...Martin Sebor1-14/+16
2019-11-14Change fold_range to return a boolean result.Andrew MacLeod1-4/+2
2019-11-14Make normalize_addresses and normalize_symbolics work on THIS, insteadAldy Hernandez1-8/+13
2019-11-13Move plain value_range things to value-range.[hc]*.Aldy Hernandez1-1536/+0
2019-11-13Rewrite value_range constructors to the value_range_kind is at the end, and d...Aldy Hernandez1-60/+47
2019-11-12Remove gcc/params.* files.Martin Liska1-1/+0
2019-11-12Apply mechanical replacement (generated patch).Martin Liska1-2/+2
2019-11-12re PR tree-optimization/92452 (ICE in vrp_prop::check_array_ref at tree-vrp.c...Jakub Jelinek1-2/+5
2019-11-08Modify range_operator::fold_range() and wi_fold () to return via reference.Andrew MacLeod1-12/+8
2019-11-05PR middle-end/92333 - missing variable name referencing VLA in warningsMartin Sebor1-8/+27
2019-11-05Fix indentation inconsistencies introduced by previous patch.Aldy Hernandez1-14/+7
2019-11-05PR middle-end/92341 - missing -Warray-bounds indexing past the end of a compo...Martin Sebor1-9/+12
2019-11-05The base class for ranges is currently value_range_base, which is rather long...Aldy Hernandez1-150/+151
2019-11-05Move vrp_set_zero_nonzero_bits from tree-vrp.c into vr-values.c, and make it ...Aldy Hernandez1-63/+0
2019-11-05Move vrp_bitmap_equal_p above its only use and make it static.Aldy Hernandez1-12/+12
2019-11-05Use value_range_base::equal_p in value_range_base::operator== so we can handleAldy Hernandez1-24/+1
2019-11-04Do not special case pointers in value_range_base::set.Aldy Hernandez1-8/+3
2019-11-04Remove handle_pointers argument from all the vrp_val*{min,max} functions.Aldy Hernandez1-36/+34
2019-11-04Use the value_range_base constructors in value_range_base::invert toAldy Hernandez1-2/+4
2019-11-04Remove unused range_int_cst_singleton_p.Aldy Hernandez1-9/+0