[PATCH] D28501: Add an assert for hasLoopInvariantOperands

[Sanjoy Das via Phabricator via llvm-commits]

sanjoy accepted this revision.
sanjoy added inline comments.
This revision is now accepted and ready to land.


================
Comment at: lib/Transforms/Scalar/LoopSink.cpp:288
+    assert(L.hasLoopInvariantOperands(I) &&
+           "Inst's operands should always be invariant to this loop");
     if (!canSinkOrHoistInst(*I, &AA, &DT, &L, &CurAST, nullptr))
----------------
I'd say something about the preheader in the assertion message: "Instructions in a loop's preheader should have loop invariant operands!" or something like that.


https://reviews.llvm.org/D28501