efriedma added inline comments. ================ Comment at: lib/Transforms/Scalar/LICM.cpp:354 + return DT->properlyDominates(B, A); + }); + ---------------- properlyDominates is not a strict weak ordering, so this has undefined behavior. https://reviews.llvm.org/D35609