aboutsummaryrefslogtreecommitdiff
path: root/gcc/gimple-range-path.cc
AgeCommit message (Expand)AuthorFilesLines
2021-10-27Kill known equivalences before a new assignment in the path solver.Aldy Hernandez1-2/+8
2021-10-27Reorder relation calculating code in the path solver.Aldy Hernandez1-53/+54
2021-10-22Disregard incoming equivalences to a path when defining a new one.Aldy Hernandez1-1/+9
2021-10-14Do not call range_on_path_entry for SSAs defined within the pathAldy Hernandez1-1/+5
2021-10-01Remove shadowed oracle field.Aldy Hernandez1-1/+1
2021-09-28Improve jump threading dump output.Aldy Hernandez1-1/+1
2021-09-28Return VARYING in range_on_path_entry if nothing found.Aldy Hernandez1-1/+10
2021-09-27Minor cleanups to solver.Aldy Hernandez1-14/+14
2021-09-24path solver: Avoid further lookups when range is defined in block.Aldy Hernandez1-6/+3
2021-09-23Hoist edge calculations in precompute_relations.Aldy Hernandez1-6/+6
2021-09-22path solver: Use range_on_path_entry instead of looking at equivalences.Aldy Hernandez1-32/+1
2021-09-21path solver: Use ranger to solve unknowns.Aldy Hernandez1-4/+85
2021-09-21path solver: Add related SSAs to solvable set.Aldy Hernandez1-1/+79
2021-09-21path solver: Remove useless code.Aldy Hernandez1-4/+0
2021-09-21path solver: Add relation support.Aldy Hernandez1-17/+187
2021-09-19Make dump_ranger routines externally visible.Aldy Hernandez1-2/+6
2021-09-10Disable threading through latches until after loop optimizations.Aldy Hernandez1-0/+3
2021-09-05Make the path solver's range_of_stmt() handle all statements.Aldy Hernandez1-5/+3
2021-09-05Add an unreachable_path_p method to path_range_query.Aldy Hernandez1-1/+21
2021-09-03Use non-null knowledge in path_range_query.Aldy Hernandez1-0/+33
2021-09-03Improve path_range_query dumps.Aldy Hernandez1-2/+12
2021-09-03Skip statements with no BB in ranger.Aldy Hernandez1-2/+7
2021-07-27Implement basic block path solver.Aldy Hernandez1-0/+329