4 ms·
The post mentions: > Finally, we noticed that there has been an interesting bit of convergent evolution in compiler IRs: basically all heavily optimizing AOT c
by jstarks 10y ago
The post mentions:
> Finally, we noticed that there has been an interesting bit of convergent evolution in compiler IRs: basically all heavily optimizing AOT compilers (including GCC, MSVC, and Intel CC) have their own versions of deferred UB.
Does anyone know how GCC's deferred UB solution works and whether it suffers from the same problems as LLVM's?
- jstarks 10y agoAnswering my own question, the paper [1] referenced by the post goes into some detail on this in section 9. [1] http://www.cs.utah.edu/~regehr/papers/undef-pldi17.pdf http://www.cs.utah.edu/~regehr/papers/undef-pldi17.pdf