tschuett wrote: A miscompile is caused by ordering issues: https://github.com/llvm/llvm-project/issues/78383 Nonetheless, I would expect UNDEF and catching misbeviour be executed/registered before optimizations. https://github.com/llvm/llvm-project/pull/80526