aboutsummaryrefslogtreecommitdiff
path: root/gcc/vr-values.c
AgeCommit message (Expand)AuthorFilesLines
2021-09-20Use EDGE_EXECUTABLE in ranger and return UNDEFINED for those edges.Andrew MacLeod1-2/+37
2021-07-22Only call vrp_visit_cond_stmt if range_of_stmt doesn't resolve to a const.Andrew MacLeod1-13/+17
2021-07-19Remove gimple_expr_type uses from value-range codeRichard Biener1-12/+16
2021-06-29Add stmt context in simplify_using_ranges.Andrew MacLeod1-33/+38
2021-06-24middle-end: add support for per-location warning groups.Martin Sebor1-4/+4
2021-06-03Implement generic expression evaluator for range_query.Aldy Hernandez1-1/+1
2021-05-27Use get_range_query in simplify_conversion_using_ranges.Aldy Hernandez1-1/+1
2021-05-26Convert remaining passes to get_range_query.Aldy Hernandez1-5/+7
2021-05-26Common API for accessing global and on-demand ranges.Aldy Hernandez1-1/+1
2021-05-19Split gimple range folding with ranges into a stand alone class.Andrew MacLeod1-1/+1
2021-05-17Bail in bounds_of_var_in_loop if scev returns NULL.Aldy Hernandez1-0/+3
2021-04-26Remove irange::varying_p checks from symbolic_p and constant_p.Aldy Hernandez1-1/+1
2021-01-04Update copyright years.Jakub Jelinek1-1/+1
2020-11-15Remove duplicate vr_values::extract_range_builtin code.Aldy Hernandez1-226/+20
2020-10-29Selectively trap if ranger and vr-values disagree on range builtins.Aldy Hernandez1-3/+6
2020-10-21Adjust overflow for invariants in bounds_of_var_in_loop.Aldy Hernandez1-1/+2
2020-10-21Move simplify_cond_using_ranges_2 to tree-vrp.cAldy Hernandez1-62/+1
2020-10-20Temporarily disable trap in in extract_range_builtin check.Andrew MacLeod1-0/+3
2020-10-20Refactor range handling of builtins in vr_values and ranger.Aldy Hernandez1-243/+265
2020-10-16[PATCH] Don't display ranges for dead ssa-names.Andrew MacLeod1-1/+1
2020-10-09vrp: Fix up gcc.target/aarch64/pr90838.c [PR97312, PR94801]Jakub Jelinek1-35/+57
2020-10-06Hybrid EVRP and testcasesAndrew MacLeod1-1/+30
2020-10-01Convert vr-values to value query class.Aldy Hernandez1-31/+74
2020-08-18Decouple adjust_range_from_scev from vr_values and value_range_equiv.Aldy Hernandez1-84/+85
2020-08-17Add statement context to get_value_range.Aldy Hernandez1-25/+28
2020-08-04Add is_gimple_min_invariant dropped from previous patch.Aldy Hernandez1-1/+3
2020-08-04Adjust two_valued_val_range_p for irange API.Aldy Hernandez1-22/+9
2020-08-04Adjust simplify_conversion_using_ranges for irange API.Aldy Hernandez1-4/+7
2020-08-04Use irange API in test_for_singularity.Aldy Hernandez1-5/+8
2020-08-04Adjust vrp_evaluate_conditional for irange API.Aldy Hernandez1-5/+1
2020-08-04Adjust op_with_boolean_value_range_p for irange API.Aldy Hernandez1-3/+4
2020-08-03Multi-range implementation for value_range (irange).Aldy Hernandez1-1/+2
2020-06-27Move simplification of statements using ranges into its own class.Aldy Hernandez1-71/+83
2020-06-10Merge evrp uses of substitute_and_fold_engine into the engine itself.Aldy Hernandez1-1/+28
2020-05-17Revert previous patch:Aldy Hernandez1-26/+0
2020-05-17Move operand_less_p to vr-values.c.Aldy Hernandez1-0/+26
2020-01-01Update copyright years.Jakub Jelinek1-1/+1
2019-11-13Rewrite value_range constructors to the value_range_kind is at the end, and d...Aldy Hernandez1-34/+33
2019-11-05The base class for ranges is currently value_range_base, which is rather long...Aldy Hernandez1-136/+124
2019-11-05Move vrp_set_zero_nonzero_bits from tree-vrp.c into vr-values.c, and make it ...Aldy Hernandez1-4/+28
2019-10-03Makefile.in (OBJS): Add range.o and range-op.o.Aldy Hernandez1-6/+7
2019-09-11re PR tree-optimization/90387 (__builtin_constant_p and -Warray-bounds warnings)Richard Biener1-9/+2
2019-08-27PR tree-optimization/91567 - Spurious -Wformat-overflow warnings building gli...Martin Sebor1-1/+6
2019-08-26PR tree-optimization/83431 - -Wformat-truncation may incorrectly report trunc...Martin Sebor1-1/+1
2019-08-16Add type to VR_VARYING.Aldy Hernandez1-32/+46
2019-08-15Enforce canonicalization in value_range.Aldy Hernandez1-3/+3
2019-07-31vr-values.h (vr_values::swap_vr_value): New.Richard Biener1-0/+12
2019-07-29re PR middle-end/91267 (SEGV in value_range_base::equal_p)Richard Biener1-1/+5
2019-07-25gimple-loop-versioning.cc (loop_versioning::prune_loop_conditions): Make valu...Richard Biener1-65/+81
2019-07-09PR c++/61339 - add mismatch between struct and class [-Wmismatched-tags] to n...Martin Sebor1-2/+2