[PATCH] D37121: [DivRemHoist] add a pass to move div/rem pairs into the same block (PR31028)

[Eli Friedman via Phabricator via llvm-commits]

efriedma added inline comments.


================
Comment at: lib/Transforms/Scalar/DivRemHoist.cpp:86
+      assert(DT.dominates(RemInst, DivInst) &&
+             "Instructions with same operands, but one doesn't dominate?");
+      // Hoist the div into the rem block. No cost calculation needed here.
----------------
Why is this assertion true?  I don't see why two instructions with the same operands must have a dominance relation.


https://reviews.llvm.org/D37121