perf: Unify the undo log of all snapshot types#69464

Merged

bors merged 22 commits intorust-lang:masterfrom Marwes:detach_undo_log

May 6, 2020

+893-535

Commits on May 5, 2020

Allow hir().find to return None

Zoxc
authored and
Markus Westerlind
committed
perf: Reduce snapshot/rollback overhead
Markus Westerlind
committed
Move region_constraint to the unified undo log
Markus Westerlind
committed
Allow SnapshotMap to have a separate undo_log
Markus Westerlind
committed
Move projection_cache into the combined undo log
Markus Westerlind
committed
perf: Separate CombinedSnapshot into a FullSnapshot for probing
Markus Westerlind
committed
perf: Lazily recive the Rollback argument in rollback_to
Markus Westerlind
committed
perf: Limit leak check snapshotting to probe_maybe_skip_leak_check
Markus Westerlind
committed
perf: Merge region_obligations snapshotting into the undo log
Markus Westerlind
committed
simplify
Markus Westerlind
committed
refactor: Rename Logs to InferCtxtUndoLogs
Markus Westerlind
committed
refactor: Extract the undo log to its own modules
Markus Westerlind
committed
Fix import
Markus Westerlind
committed
Prevent modifications without an undo log
Markus Westerlind
committed
refactor: simplify
Markus Westerlind
committed
Rebase and use ena 0.14
Markus Westerlind
committed
Fix review comments
Markus Westerlind
committed
Generate the UndoLog upcasts with a macro
Markus Westerlind
committed
Improve naming
Markus Westerlind
committed
refactor: Move probe_fudge into fudge.rs
Markus Westerlind
committed
refactor: Replace probe_fudge by an explict call for the lengths
Markus Westerlind
committed
Restore the snapshot/rollback optimization for region constraints
Markus Westerlind
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

perf: Unify the undo log of all snapshot types#69464

Commits on May 5, 2020

Allow `hir().find` to return `None`

perf: Reduce snapshot/rollback overhead

Move region_constraint to the unified undo log

Allow SnapshotMap to have a separate undo_log

Move projection_cache into the combined undo log

perf: Separate CombinedSnapshot into a FullSnapshot for probing

perf: Lazily recive the Rollback argument in rollback_to

perf: Limit leak check snapshotting to probe_maybe_skip_leak_check

perf: Merge region_obligations snapshotting into the undo log

simplify

refactor: Rename Logs to InferCtxtUndoLogs

refactor: Extract the undo log to its own modules

Fix import

Prevent modifications without an undo log

refactor: simplify

Rebase and use ena 0.14

Fix review comments

Generate the UndoLog upcasts with a macro

Improve naming

refactor: Move probe_fudge into fudge.rs

refactor: Replace probe_fudge by an explict call for the lengths

Restore the snapshot/rollback optimization for region constraints