3 ms·
> JSC [...] a forward interpreter that uses a simplified octagon domain to prove integer ranges Off-topic, but could you point me to more details on this? Some
by tom_mellior 6y ago
> JSC [...] a forward interpreter that uses a simplified octagon domain to prove integer ranges
Off-topic, but could you point me to more details on this? Someone (else?) recently mentioned octagon analysis in JSC in a HN thread. I grepped through the sources at the time but didn't find any indication that it exists. At least not under the name "octagon".
- pizlonator 6y agoI didn’t call it octagon when I wrote it because I didn’t know that I reinvented a shitty/awesome version (shitty because it misses optimization opportunities, awesome because by missing them it converges super fast while still nailing the hard bits). Look at DFGIntegerRangeOptimizationPhase.cpp