[polly] r311423 - test/GPGPU/invalid-kernel-assert-verifymodule.ll also requires assertions

[Tobias Grosser via llvm-commits]

Author: grosser
Date: Mon Aug 21 20:12:29 2017
New Revision: 311423

URL: http://llvm.org/viewvc/llvm-project?rev=311423&view=rev
Log:
test/GPGPU/invalid-kernel-assert-verifymodule.ll also requires assertions

Modified:
    polly/trunk/lib/Transform/ZoneAlgo.cpp
    polly/trunk/test/GPGPU/invalid-kernel-assert-verifymodule.ll

Modified: polly/trunk/lib/Transform/ZoneAlgo.cpp
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/lib/Transform/ZoneAlgo.cpp?rev=311423&r1=311422&r2=311423&view=diff
==============================================================================
--- polly/trunk/lib/Transform/ZoneAlgo.cpp (original)
+++ polly/trunk/lib/Transform/ZoneAlgo.cpp Mon Aug 21 20:12:29 2017
@@ -182,7 +182,6 @@ static isl::union_map computeScalarReach
                                                       isl::union_set Writes,
                                                       bool InclDef,
                                                       bool InclRedef) {
-
   // { DomainWrite[] -> Element[] }
   isl::union_map Defs = isl::union_map::from_domain(Writes);
 

Modified: polly/trunk/test/GPGPU/invalid-kernel-assert-verifymodule.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/GPGPU/invalid-kernel-assert-verifymodule.ll?rev=311423&r1=311422&r2=311423&view=diff
==============================================================================
--- polly/trunk/test/GPGPU/invalid-kernel-assert-verifymodule.ll (original)
+++ polly/trunk/test/GPGPU/invalid-kernel-assert-verifymodule.ll Mon Aug 21 20:12:29 2017
@@ -4,7 +4,7 @@
 ; Make sure that if -polly-acc-fail-on-verify-module-failure is on, we actually
 ; fail on an illegal module.
 
-; REQUIRES: pollyacc
+; REQUIRES: pollyacc, asserts
 ; XFAIL: *
 ;
 ;    void foo(long A[1024], long B[1024]) {