undefined behavior is pretty well understood at this point, but a piece of the puzzle that has always been missing is "how well could a compiler like LLVM optimize, without leaning on UB"
here's a very cool new paper that takes a crack at answering this, for LLVM: