Explore >> Select a destination
|
You are here 
|
bernsteinbear.com | ||
| | | | |
coredumped.dev
|
|
| | | | | In this post, we are going to take a deep dive into pointer tagging, where metadata is encoded into a word-sized pointer. Doing so allows us to keep a compact representation that can be passed around in machine registers. This is very common in implementing dynamic programming languages, but can really be used anywhere that additional runtime information is needed about a pointer. We will look at a handful of different ways these pointers can be encoded and see how the compiler can optimize them for diff... | |
| | | | |
kristerw.github.io
|
|
| | | | | This post describes the implementation of pysmtgcc. See "GCC Translation Validation" for background information. | |
| | | | |
www.pypy.org
|
|
| | | | | In my last post I've described how to use Z3 to find simple local peephole optimization patterns for the integer operations in PyPy's JIT. An example is int_and(x, 0) -> 0. In this post I want to scal | |
| | | | |
wingolog.org
|
|
| | | wingolog: article: two paths, one peak: a view from below on high-performance language implementations | ||
