aboutsummaryrefslogtreecommitdiff
path: root/gcc/value-relation.cc
AgeCommit message (Expand)AuthorFilesLines
2024-09-26tree-optimization/114855 - speed up dom_oracle::register_transitivesRichard Biener1-18/+37
2024-09-25tree-optimization/114855 - slow VRP due to equiv oracle queriesRichard Biener1-0/+1
2024-07-19Check for SSA_NAME not in the IL yet.Andrew MacLeod1-1/+5
2024-06-24Make transitive relations an oracle optionAndrew MacLeod1-1/+5
2024-05-23Rename relation oracle and API.Andrew MacLeod1-28/+23
2024-05-23Move to an always available relation oracle.Andrew MacLeod1-63/+3
2024-05-23Move all relation queries into relation_oracle.Andrew MacLeod1-0/+33
2024-02-08ranger: Grow BBs in relation oracle as needed [PR113735]Aldy Hernandez1-0/+1
2024-01-03Update copyright years.Jakub Jelinek1-1/+1
2023-10-13Do not add partial equivalences with no uses.Andrew MacLeod1-0/+9
2023-10-09Ensure float equivalences include + and - zero.Andrew MacLeod1-0/+19
2023-10-09Remove unused get_identity_relation.Andrew MacLeod1-14/+0
2023-09-26Ensure ssa_name is still valid.Andrew MacLeod1-3/+6
2023-08-03Provide a routine for NAME == NAME relation.Andrew MacLeod1-0/+14
2023-06-12Remove type from range_op_handler table selectionAndrew MacLeod1-1/+1
2023-04-26Quicker relation check.Andrew MacLeod1-0/+6
2023-03-23ranger: Ranger meets aspellJakub Jelinek1-11/+11
2023-01-31Properly set GORI relation trios.Andrew MacLeod1-0/+34
2023-01-26value-relation: Small tweaks to tablesJakub Jelinek1-12/+14
2023-01-19value-relation: Fix up relation_union [PR108447]Jakub Jelinek1-1/+24
2023-01-02Update copyright years.Jakub Jelinek1-1/+1
2022-10-17Merge partial relation precisions properlyAndrew MacLeod1-1/+1
2022-10-17Add relation_trio class for range-ops.Andrew MacLeod1-10/+9
2022-10-17Don't set useless relations.Andrew MacLeod1-1/+1
2022-10-13Add equivalence iterator to relation oracle.Andrew MacLeod1-0/+78
2022-10-13Add partial equivalence support to the relation oracle.Andrew MacLeod1-12/+153
2022-10-07Fix comment typosJakub Jelinek1-1/+1
2022-09-29Move class value_relation the header file.Andrew MacLeod1-55/+0
2022-08-17Reset root oracle from path_oracle::reset_path.Aldy Hernandez1-2/+4
2022-08-03Do not walk equivalence set in path_oracle::killing_def.Andrew MacLeod1-10/+1
2022-07-24Allow registering same SSA name relations in oracle.Aldy Hernandez1-2/+5
2022-07-18Check if transitives need to be registered.Andrew MacLeod1-3/+10
2022-07-05Provide a relation verification mechanism.Andrew MacLeod1-2/+68
2022-05-17Check for equivalence after merging relations.Andrew MacLeod1-4/+4
2022-05-13Move VREL values to their own enumerated type.Andrew MacLeod1-141/+137
2022-05-13Clear killing defs when resetting the path in path_oracle.Andrew MacLeod1-0/+1
2022-01-21Reset relations when crossing backedges.Aldy Hernandez1-2/+2
2022-01-20Only add equivalencies that are still valid.Andrew MacLeod1-12/+29
2022-01-18Limit the number of relations registered per basic block.Andrew MacLeod1-3/+12
2022-01-03Update copyright years.Jakub Jelinek1-1/+1
2021-11-09Cleanup path solver dumps.Aldy Hernandez1-1/+5
2021-11-06path oracle: Do not look at root oracle for killed defs.Aldy Hernandez1-0/+9
2021-11-01Don't register nonsensical relations.Andrew MacLeod1-1/+7
2021-10-29path oracle: Do not look back to the root oracle for killing defs.Aldy Hernandez1-1/+12
2021-10-28path relation oracle: Remove SSA's being killed from the equivalence list.Aldy Hernandez1-10/+10
2021-10-27Kill second order relations in the path solver.Aldy Hernandez1-1/+20
2021-10-22Disregard incoming equivalences to a path when defining a new one.Aldy Hernandez1-0/+23
2021-09-20Make each def a new equivalency record.Andrew MacLeod1-0/+57
2021-09-17Provide a relation oracle for paths.Andrew MacLeod1-13/+175
2021-09-17Virtualize relation oracle and various cleanups.Andrew MacLeod1-157/+159