[llvm] r267015 - [LoopUtils] Add asserts to findStringMetadataForLoop. NFC

Adam Nemet via llvm-commits llvm-commits at lists.llvm.org
Thu Apr 21 10:33:20 PDT 2016


Author: anemet
Date: Thu Apr 21 12:33:20 2016
New Revision: 267015

URL: http://llvm.org/viewvc/llvm-project?rev=267015&view=rev
Log:
[LoopUtils] Add asserts to findStringMetadataForLoop. NFC

These ensure that operand array has at least one element and it is the
self-reference.

Modified:
    llvm/trunk/lib/Transforms/Utils/LoopUtils.cpp

Modified: llvm/trunk/lib/Transforms/Utils/LoopUtils.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Transforms/Utils/LoopUtils.cpp?rev=267015&r1=267014&r2=267015&view=diff
==============================================================================
--- llvm/trunk/lib/Transforms/Utils/LoopUtils.cpp (original)
+++ llvm/trunk/lib/Transforms/Utils/LoopUtils.cpp Thu Apr 21 12:33:20 2016
@@ -830,6 +830,11 @@ bool llvm::findStringMetadataForLoop(Loo
   // Return false if LoopID is false.
   if (!LoopID)
     return false;
+
+  // First operand should refer to the loop id itself.
+  assert(LoopID->getNumOperands() > 0 && "requires at least one operand");
+  assert(LoopID->getOperand(0) == LoopID && "invalid loop id");
+
   // Iterate over LoopID operands and look for MDString Metadata
   for (unsigned i = 1, e = LoopID->getNumOperands(); i < e; ++i) {
     MDNode *MD = dyn_cast<MDNode>(LoopID->getOperand(i));




More information about the llvm-commits mailing list