Simple and Effective Type Check Removal through Lazy Basic Block Versioning
This paper introduces lazy basic block versioning, a simple JIT compilation architecture which effectively removes redundant type checks from critical code paths. Our approach lazily generates type-specialized versions of basic blocks on-the-fly while propagating context-dependent type information. This does not require the use of costly program analyses, is not restricted by the precision limitations of traditional type analyses and avoids the implementation complexity of speculative optimization techniques.
Wed 8 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
13:30 - 15:00
|Concrete Types for TypeScript|
|Simple and Effective Type Check Removal through Lazy Basic Block Versioning|
|Loop tiling in the presence of exceptions|