goldsteinn wrote: Maybe leave a comment explaining as much though. But nikic is right, we intentionally don't do this. In the backend if we still have non-zero info we optimize this properly. https://github.com/llvm/llvm-project/pull/67268