Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

draft post about record-known-result #61

Open
wants to merge 15 commits into
base: main
Choose a base branch
from
Prev Previous commit
Next Next commit
shorter
cfbolz committed May 22, 2022
commit bdba88037f71b17d041fce2ae5a9edb3e018492d
3 changes: 1 addition & 2 deletions posts/2022/06/record-known-result.rst
Original file line number Diff line number Diff line change
@@ -33,8 +33,7 @@ built-in functions and data-types that are written in the implementation
language (RPython, in our case, C in the case of CPython). We want the JIT
optimizer to be able to reason about these functions and datatypes.

One way to do this would be to extend the meta-JIT to able to do
language-specific rewrites on these functions, effectively adding a new
One way to do this would be to extend the meta-JIT by adding a new language-specific
optimization pass that knows how to deal with these functions. This approach
however goes against the idea of a meta-JIT, since we want the JIT to be
language independent. So we developed various tools in the past that make it