3 ms·
Strict aliasing maps to TBAA in LLVM; the buggy feature is noalias, which corresponds to C's restrict.
by jcranmer 4y ago
Strict aliasing maps to TBAA in LLVM; the buggy feature is noalias, which corresponds to C's restrict.
- pclmulqdq 4y agoThe restrict keyword historically has meant "I know these pointers are different, please optimize as though they are." It had nothing to do with correctness. It is quite tricky to check for correctness in the general case of this kind of keyword.