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.

1. 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.
2. 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

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