[polly] r312021 - Do not consider mem intrinsics as error.

[Michael Kruse via llvm-commits]

Author: meinersbur
Date: Tue Aug 29 11:27:47 2017
New Revision: 312021

URL: http://llvm.org/viewvc/llvm-project?rev=312021&view=rev
Log:
Do not consider mem intrinsics as error.

The intrinsics memset, memcopy and memmove do have their memory accesses
modeled by ScopBuilder. Do not consider them error-case behavior.

Test case will come with a future patch that requires memory intrinsics
outside of error blocks.

Modified:
    polly/trunk/lib/Support/ScopHelper.cpp

Modified: polly/trunk/lib/Support/ScopHelper.cpp
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/lib/Support/ScopHelper.cpp?rev=312021&r1=312020&r2=312021&view=diff
==============================================================================
--- polly/trunk/lib/Support/ScopHelper.cpp (original)
+++ polly/trunk/lib/Support/ScopHelper.cpp Tue Aug 29 11:27:47 2017
@@ -415,6 +415,10 @@ bool polly::isErrorBlock(BasicBlock &BB,
       if (isIgnoredIntrinsic(CI))
         continue;
 
+      // memset, memcpy and memmove are modeled intrinsics.
+      if (isa<MemSetInst>(CI) || isa<MemTransferInst>(CI))
+        continue;
+
       if (!CI->doesNotAccessMemory())
         return true;
       if (CI->doesNotReturn())