LLVM Language Reference Manual — LLVM 3.6 documentation

because the definition of %x does not dominate all of its uses. The LLVM infrastructure provides a verification pass that may be used to verify that an LLVM module is well formed. This pass is automatically run by the parser after parsing input assembly a

llvm.org