[llvm] [LangRef] Do not make align imply dereferenceability (PR #158062)

[Eli Friedman via llvm-commits]

efriedma-quic wrote:

> If someone runs codegenprepare and then takes that IR and reoptimizes it, bad things can happen if we have different semantics for different compiler phases.

To clarify, your concern is CodeGenPrepare performs transforms which are illegal under the new rules, and we need some way to represent the transformed load operation?  That seems like a legitimate concern... but I don't know if we need to fix it before we fix LangRef.  I don't think we're planning to make any specific changes to LLVM in response to this LangRef change.

Do you know exactly which transform we're talking about?

https://github.com/llvm/llvm-project/pull/158062