aboutsummaryrefslogtreecommitdiff
path: root/gcc/value-query.cc
AgeCommit message (Expand)AuthorFilesLines
2024-06-24Make transitive relations an oracle optionAndrew MacLeod1-3/+4
2024-06-17Rename Value_Range to value_range.Aldy Hernandez1-17/+17
2024-05-25Delete gori_map during destruction of GORI.Andrew MacLeod1-0/+4
2024-05-23Make gori_map a shared component.Andrew MacLeod1-1/+5
2024-05-23Make GORI a range_query component.Andrew MacLeod1-0/+20
2024-05-23Move infer_manager to a range_query oracle.Andrew MacLeod1-0/+20
2024-05-23Allow components to be shared among range-queries.Andrew MacLeod1-0/+11
2024-05-23Rename relation oracle and API.Andrew MacLeod1-8/+8
2024-05-23Move to an always available relation oracle.Andrew MacLeod1-3/+35
2024-05-23Move all relation queries into relation_oracle.Andrew MacLeod1-50/+2
2024-04-30Add range_on_entry/exit to value_query API.Andrew MacLeod1-7/+93
2024-04-30Remove wrapper around gimple_range_global.Andrew MacLeod1-33/+7
2024-04-28Make some integer specific ranges generic Value_Range's.Aldy Hernandez1-3/+1
2024-01-03Update copyright years.Jakub Jelinek1-1/+1
2023-07-28Remove value_query, push into sub&fold classAndrew MacLeod1-21/+0
2023-06-12Remove type from range_op_handler table selectionAndrew MacLeod1-3/+2
2023-05-25Disallow setting of NANs in frange setter unless setting trees.Aldy Hernandez1-3/+10
2023-05-01Conversion to irange wide_int API.Aldy Hernandez1-6/+11
2023-05-01vrange_storage overhaulAldy Hernandez1-5/+2
2023-04-26Remove range_query::get_value_range.Aldy Hernandez1-21/+0
2023-03-31range-op-float, value-range: Fix up handling of UN{LT,LE,GT,GE,EQ}_EXPR and h...Jakub Jelinek1-6/+12
2023-03-23ranger: Ranger meets aspellJakub Jelinek1-4/+4
2023-02-10Add function context for querying global ranges.Andrew MacLeod1-5/+5
2023-01-02Update copyright years.Jakub Jelinek1-1/+1
2022-11-24Remove value_range_equiv.Aldy Hernandez1-19/+6
2022-10-20[PR c++/106654] Handle non-irange ranges in get_range_global for default defs.Aldy Hernandez1-1/+1
2022-09-22Always check the return value of fold_range.Andrew MacLeod1-2/+4
2022-09-18Rewrite NAN and sign handling in frangeAldy Hernandez1-10/+1
2022-09-14Provide cleaner set_nan(), clear_nan(), and update_nan() methods.Aldy Hernandez1-2/+2
2022-09-14Minor fixes to frange.Aldy Hernandez1-3/+0
2022-09-14[PR106936] Remove assert from get_value_range.Aldy Hernandez1-1/+0
2022-09-01Add signbit property to frange to better model signed zeros.Aldy Hernandez1-8/+19
2022-08-30Add support for floating point endpoints to frange.Aldy Hernandez1-0/+9
2022-07-25Dispatch code for floating point range ops.Aldy Hernandez1-0/+1
2022-07-24Minor fixes to vr_values to not die on non integral types.Aldy Hernandez1-0/+1
2022-07-24Tweaks to global ranges.Aldy Hernandez1-6/+3
2022-07-11Implement global ranges for all vrange types (SSA_NAME_RANGE_INFO).Aldy Hernandez1-45/+9
2022-06-03Implement vrange::supports_type_p.Aldy Hernandez1-9/+7
2022-06-01Convert ranger and clients to vrange.Aldy Hernandez1-35/+38
2022-06-01Convert range-op.* to vrange.Aldy Hernandez1-4/+4
2022-06-01Implement generic range temporaries.Aldy Hernandez1-1/+2
2022-05-13Move VREL values to their own enumerated type.Andrew MacLeod1-2/+2
2022-01-03Update copyright years.Jakub Jelinek1-1/+1
2021-11-09Keep x_range_query NULL for global ranges.Andrew MacLeod1-8/+0
2021-10-16Change set_ptr_nonull to set_ptr_nonnull in commentsH.J. Lu1-1/+1
2021-10-15Ranger : Do not process abnormal ssa-names.Andrew MacLeod1-1/+2
2021-06-29Allow PHIs to pick up global values.Andrew MacLeod1-1/+2
2021-06-22Initial value-relation code.Andrew MacLeod1-0/+50
2021-06-14Pick up global ranges in ranger after inlining.Aldy Hernandez1-7/+13
2021-06-10Adjust variable names and comments in value-query.*Aldy Hernandez1-12/+12