Repository navigation
The Tier 2 Optimizer #113710
Description
Feature or enhancement
Proposal:
We're getting a JIT. Now it's time to optimize the traces to pass them to the JIT. The following workstreams are somewhat parallel, and split into two parts. They will not necessarily land in order.
- The specializer. This will be done as its own pass on uops. Please see Mark's issue here Superblock optimization: Specialization faster-cpython/ideas#560.
- The uops optimizer. This is a separate pass. In general there are two parts, uops abstract interpretation, and optimized code generation. Please see this document for more information. The following optimizations are targeted:
- Value numbering
- Type + constant propagation
- True function inlining
- [x] Interpreter DSL changes. https://github.com/python/cpython/pull/113711
- [ ] https://github.com/python/cpython/issues/114058
- [ ] https://github.com/python/cpython/issues/115419
Has this already been discussed elsewhere?
No response given
Links to previous discussion of this feature:
No response
Linked PRs
- gh-113710: Add types to the interpreter DSL #113711
- GH-113710: Add a peephole optimization pass. #114487
- GH-113710: Add a "globals to constants" pass #114592
- GH-113710: Backedge counter improvements. #115166
- GH-113710: Fix updating of dict version tag and add watched dict stats #115221
- GH-113710: Improve
_SET_IPand_CHECK_VALIDITY#115248 - GH-113710: Tier 2 optimizer: check the function instead of checking globals. #116410
- GH-113710: Fix optimization of globals using
_CHECK_FUNCTION#116460
Activity
gh-113710: Add types to the interpreter DSL (#113711)
pythongh-113710: Add types to the interpreter DSL (python#113711)
GH-113710: Add a tier 2 peephole optimization pass. (GH-114487)
GH-113710: Add a "globals to constants" pass (GH-114592)
pythonGH-113710: Add a "globals to constants" pass (pythonGH-114592)
pythongh-113710: Add types to the interpreter DSL (python#113711)
pythonGH-113710: Add a tier 2 peephole optimization pass. (pythonGH-1…
pythonGH-113710: Add a "globals to constants" pass (pythonGH-114592)
GH-113710: Fix updating of dict version tag and add watched dict stats (
GH-113710: Backedge counter improvements. (GH-115166)
GH-113710: Improve `_SET_IP` and `_CHECK_VALIDITY` (GH-115248)
pythonGH-113710: Add a "globals to constants" pass (pythonGH-114592)
pythonGH-113710: Fix updating of dict version tag and add watched dic…
pythonGH-113710: Backedge counter improvements. (pythonGH-115166)
pythonGH-113710: Improve `_SET_IP` and `_CHECK_VALIDITY` (pythonGH-11…
GH-113710: Tier 2 optimizer: check the function instead of checking g…
GH-113710: Fix optimization of globals using `_CHECK_FUNCTION` (GH-11…
pythonGH-113710: Tier 2 optimizer: check the function instead of chec…
pythonGH-113710: Fix optimization of globals using `_CHECK_FUNCTION` (p…
pythonGH-113710: Tier 2 optimizer: check the function instead of chec…
pythonGH-113710: Fix optimization of globals using `_CHECK_FUNCTION` (p…
pythongh-113710: Add types to the interpreter DSL (python#113711)
pythonGH-113710: Add a tier 2 peephole optimization pass. (pythonGH-1…
Fidget-Spinner commentedon Oct 10, 2024
Follow-up issue: #120619