Mind if I quote you on this in the post?
Worth calling out that this is the form used by two forms in JavaScriptCore:
- DFG-SSA (used for high level optimizations in the FTL JIT)
- B3 (used for low level optimizations in the FTL JIT)
B3 is somewhat well documented: https://www.webkit.org/docs/b3/intermediate-representation.h...