An ex-ARM engineer critiques RISC-V

Re:An ex-ARM engineer critiques RISC-V by tom_mellior on Sunday November 01, 2020 @11:41AM (#24960609)

> 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".

[ Parent | on HN ]

Re:An ex-ARM engineer critiques RISC-V by pizlonator on Sunday November 01, 2020 @11:44AM (#24960634)

I 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

[ Parent | on HN ]