[polly] r309421 - [VirtualInstruction] Remove assertion. NFC.

[Michael Kruse via llvm-commits]

Author: meinersbur
Date: Fri Jul 28 12:26:24 2017
New Revision: 309421

URL: http://llvm.org/viewvc/llvm-project?rev=309421&view=rev
Log:
[VirtualInstruction] Remove assertion. NFC.

ScopStmt::contains is currently implemented on the basis of BasicBlock
and does not take the instruction list into account. Therefore any
instruction copied by -polly-optree into another statement currently
triggers that assertion.

Remove that assertion for now. We might re-enable it when the
implementation of ScopStmt::contains changes.

Modified:
    polly/trunk/include/polly/Support/VirtualInstruction.h

Modified: polly/trunk/include/polly/Support/VirtualInstruction.h
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/include/polly/Support/VirtualInstruction.h?rev=309421&r1=309420&r2=309421&view=diff
==============================================================================
--- polly/trunk/include/polly/Support/VirtualInstruction.h (original)
+++ polly/trunk/include/polly/Support/VirtualInstruction.h Fri Jul 28 12:26:24 2017
@@ -242,8 +242,6 @@ public:
   VirtualInstruction(ScopStmt *Stmt, Instruction *Inst)
       : Stmt(Stmt), Inst(Inst) {
     assert(Stmt && Inst);
-    assert(Stmt->contains(Inst) &&
-           "A virtual instruction must be exist in that statement");
   }
 
   VirtualOperandIterator operand_begin() const {