Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[Local] Preserve !invariant.load of dominating instruction
Per LangRef: > If a load instruction tagged with the !invariant.load metadata > is executed, the memory location referenced by the load has to > contain the same value at all points in the program where the > memory location is dereferenceable; otherwise, the behavior is > undefined. As invariant.load violation is immediate undefined behavior, it is sufficient for it to be present on the dominating load (for the case where K does not move).
- Loading branch information