Hacker News new | comments | show | ask | jobs | submit login

The real heart here is that program analyses have opened doors to optimizations that cannot be represented at the level of the language (LLVM IR). This is super convenient for compiler authors who want a flexible IR for optimization purposes. It's the same thing that happens with C UB too: optimizations will take advantage of what the compiler knows, not what the programmer believes.

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact