Guide136.3K views3,681 votes0 replies2,461 following
LLVM's GVN Pass: How Value Numbering Eliminates Redundant Computation and When to Trust It
How LLVM's Global Value Numbering pass decides two computations are the same value, where its correctness boundary with alias analysis lies, and how to verify what it actually did to your IR.
llvm