Understanding a static analysis pass in JavaScriptCore JIT (sillycross.github.io)

If only there were a formalism where the programmer could specify how the values are used before the program is ran. But since there isn't I guess we'll have to have the runtimes do this.