https://9dok.net/document/zgw2k57n-an-intermediate-representation-for-speculative-optimizations-dynamic-compiler.html