aboutsummaryrefslogtreecommitdiff
path: root/gcc/tree-vrp.c
AgeCommit message (Expand)AuthorFilesLines
2022-01-17Rename .c files to .cc files.Martin Liska1-4420/+0
2022-01-12Always set EDGE_EXECUTABLE in VRP2.Andrew MacLeod1-0/+1
2022-01-03Update copyright years.Jakub Jelinek1-1/+1
2021-11-30Remove more stray returns and gcc_unreachable ()sRichard Biener1-2/+0
2021-11-07Remove VRP threader.Aldy Hernandez1-135/+2
2021-11-03Provide some context to folding via ranger.Andrew MacLeod1-1/+1
2021-10-28Reset scev before invoking array_checker.Andrew MacLeod1-1/+1
2021-10-25Move vrp_simplify_cond_using_ranges into the simplifier.Andrew MacLeod1-76/+15
2021-10-25Fold all statements in Ranger VRP.Andrew MacLeod1-1/+4
2021-10-21Add --param=vrp1-mode and --param=vrp2-mode.Andrew MacLeod1-2/+10
2021-10-21Move ranger only VRP folder to tree-vrp.Andrew MacLeod1-0/+122
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