aboutsummaryrefslogtreecommitdiff
path: root/gcc/tree-vrp.cc
AgeCommit message (Expand)AuthorFilesLines
2024-09-07Before running fast VRP, make sure all edges have EXECUTABLE set.Andrew MacLeod1-0/+1
2024-09-05vrp: Fix up diagnostics wordingJakub Jelinek1-1/+1
2024-06-25Add param for bb limit to invoke fast_vrp.Andrew MacLeod1-2/+12
2024-06-24Make transitive relations an oracle optionAndrew MacLeod1-1/+2
2024-06-21Print "Global Exported" to dump_file from set_range_info.Andrew MacLeod1-39/+4
2024-06-21Change fast VRP algorithmAndrew MacLeod1-0/+2
2024-06-21Add builtin_unreachable processing for fast_vrp.Andrew MacLeod1-11/+41
2024-06-17Rename Value_Range to value_range.Aldy Hernandez1-12/+12
2024-06-10Move array_bounds warnings into a separate pass.Andrew MacLeod1-32/+8
2024-05-28More tweaks from gimple_outgoing_range changes.Andrew MacLeod1-2/+45
2024-05-23Make gori_map a shared component.Andrew MacLeod1-4/+4
2024-05-23Gori_compute no longer inherits from gori_map.Andrew MacLeod1-4/+5
2024-04-09Fix up duplicated words mostly in comments, part 2Jakub Jelinek1-1/+1
2024-02-21ipa: Convert lattices from pure array to vector (PR 113476)Martin Jambor1-0/+2
2024-01-03Update copyright years.Jakub Jelinek1-1/+1
2023-11-20inter-procedural value range propagationJan Hubicka1-0/+51
2023-11-14Use case label type to create case range.Andrew MacLeod1-5/+1
2023-10-05Create a fast VRP passAndrew MacLeod1-0/+124
2023-10-03Remove pass counting in VRP.Andrew MacLeod1-15/+11
2023-09-19New early __builtin_unreachable processing.Andrew MacLeod1-37/+166
2023-08-23Phi analyzer - Initialize with range instead of a tree.Andrew MacLeod1-4/+1
2023-06-29Move maybe_set_nonzero_bits() to its only user.Aldy Hernandez1-65/+0
2023-05-24Gimple range PHI analyzer and testcasesAndrew MacLeod1-1/+6
2023-05-04Rename last_stmt to last_nondebug_stmtRichard Biener1-1/+1
2023-05-03More last_stmt removalRichard Biener1-7/+6
2023-05-01Cleanup irange::set.Aldy Hernandez1-2/+6
2023-05-01Conversion to irange wide_int API.Aldy Hernandez1-2/+6
2023-05-01Remove irange::{min,max,kind}.Aldy Hernandez1-24/+0
2023-04-26Remove range_int_cst_p.Aldy Hernandez1-9/+0
2023-04-26Remove range_fold_{unary,binary}_expr.Aldy Hernandez1-86/+0
2023-04-21Do not fold ADDR_EXPR conditions leading to builtin_unreachable early.Andrew MacLeod1-1/+3
2023-04-17tree-optimization/109524 - ICE with VRP edge removalRichard Biener1-4/+9
2023-03-23ranger: Ranger meets aspellJakub Jelinek1-3/+3
2023-02-03Reset SCEV before removing unreachable globals.Andrew MacLeod1-0/+4
2023-01-04vrp: Handle pointers in maybe_set_nonzero_bits [PR108253]Jakub Jelinek1-2/+16
2023-01-02Update copyright years.Jakub Jelinek1-1/+1
2022-12-16Add a new warning option -Wstrict-flex-arrays.Qing Zhao1-1/+1
2022-11-24Remove follow_assert_exprs from overflow_comparison.Aldy Hernandez1-36/+4
2022-11-24Remove ASSERT_EXPR.Aldy Hernandez1-4/+3
2022-11-24Remove value_range_equiv.Aldy Hernandez1-3/+2
2022-11-24Remove unused legacy VRP code.Aldy Hernandez1-3432/+6
2022-11-11process transitive inferred ranges in pre_fold_stmt.Andrew MacLeod1-9/+7
2022-11-07Add transitive inferred range processing.Andrew MacLeod1-0/+9
2022-11-01Make sure ssa-name is valid.Andrew MacLeod1-1/+1
2022-11-01Remove builtin_unreachable in VRPAndrew MacLeod1-3/+187
2022-10-19Add assume support to VRP.Andrew MacLeod1-0/+34
2022-10-18middle-end IFN_ASSUME support [PR106654]Jakub Jelinek1-0/+35
2022-09-22Always check the return value of fold_range.Andrew MacLeod1-2/+4
2022-07-11Implement global ranges for all vrange types (SSA_NAME_RANGE_INFO).Aldy Hernandez1-10/+12
2022-07-04Remove some deprecated irange methods.Aldy Hernandez1-1/+2