aboutsummaryrefslogtreecommitdiff
path: root/gcc/tree-vrp.c
AgeCommit message (Expand)AuthorFilesLines
2021-09-30Plug memory leak in hybrid_threader.Aldy Hernandez1-0/+1
2021-09-29Avoid CFG updates in VRP threader if nothing changed.Aldy Hernandez1-4/+5
2021-09-29Use a separate TV_* timer for the VRP threader.Aldy Hernandez1-1/+1
2021-09-27Remove old VRP jump threader code.Aldy Hernandez1-301/+7
2021-09-27Replace VRP threader with a hybrid forward threader.Aldy Hernandez1-20/+123
2021-09-23Overhaul jump thread state in forward threader.Aldy Hernandez1-14/+67
2021-07-29Use range-based for loops for traversing loopsKewen Lin1-2/+1
2021-07-27Abstract out (forward) jump threader state handling.Aldy Hernandez1-6/+10
2021-07-26Abstract out conditional simplification out of execute_vrp.Aldy Hernandez1-16/+23
2021-07-19Remove gimple_expr_type uses from value-range codeRichard Biener1-7/+7
2021-06-24middle-end: add support for per-location warning groups.Martin Sebor1-6/+6
2021-06-03Replace uses of determine_value_range with range_of_expr.Aldy Hernandez1-56/+0
2021-05-26Convert remaining passes to get_range_query.Aldy Hernandez1-11/+10
2021-05-26Common API for accessing global and on-demand ranges.Aldy Hernandez1-1/+1
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