aboutsummaryrefslogtreecommitdiff
path: root/gcc/gimple-range-path.cc
AgeCommit message (Expand)AuthorFilesLines
2022-02-09Register non-null side effects properly.Andrew MacLeod1-2/+2
2022-02-03Assert that backedges are available in path solver.Aldy Hernandez1-0/+3
2022-01-21Reset relations when crossing backedges.Aldy Hernandez1-6/+42
2022-01-03Update copyright years.Jakub Jelinek1-1/+1
2021-12-01path solver: Use only one ssa_global_cache.Aldy Hernandez1-12/+11
2021-11-25path solver: Revert computation of ranges in gimple order.Aldy Hernandez1-22/+11
2021-11-25path solver: Move boolean import code to compute_imports.Aldy Hernandez1-13/+12
2021-11-25path solver: Compute ranges in path in gimple order.Aldy Hernandez1-11/+22
2021-11-15Fix PHI ordering problems in the path solver.Aldy Hernandez1-20/+41
2021-11-15path solver: Default to global range if nothing found.Aldy Hernandez1-1/+1
2021-11-13path solver: Compute all PHI ranges simultaneously.Aldy Hernandez1-9/+33
2021-11-13path solver: Merge path_range_query constructors.Aldy Hernandez1-14/+17
2021-11-12path solver: Solve PHI imports first for ranges.Aldy Hernandez1-2/+13
2021-11-11Make ranger optional in path_range_query.Aldy Hernandez1-15/+28
2021-11-11Move import population from threader to path solver.Aldy Hernandez1-24/+21
2021-11-10path solver: Adjustments for use outside of the backward threader.Aldy Hernandez1-11/+30
2021-11-09Cleanup path solver dumps.Aldy Hernandez1-7/+4
2021-11-09Remove TDF_THREADING flag in favor of param.Aldy Hernandez1-1/+1
2021-11-08path solver: Avoid recalculating ranges already in the cache.Aldy Hernandez1-0/+3
2021-11-04path solver: Prefer range_of_expr instead of range_on_edge.Aldy Hernandez1-2/+16
2021-11-04path solver: Only compute relations for imports.Aldy Hernandez1-1/+6
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