1; RUN: opt %loadPolly -polly-detect -analyze < %s | FileCheck %s 2target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" 3 4; Derived from the following code: 5; 6; void foo(long n, long m, double *A) { 7; for (long i = 0; i < n; i++) 8; for (long j = 0; j < m; j++) 9; *(A + i * n + j) = 1.0; 10; *(A + j * m + i) = 2.0; 11; } 12 13; CHECK-NOT: Valid Region for Scop 14 15define void @foo(i64 %n, i64 %m, double* %A) { 16entry: 17 br label %for.i 18 19for.i: 20 %i = phi i64 [ 0, %entry ], [ %i.inc, %for.i.inc ] 21 br label %for.j 22 23for.j: 24 %j = phi i64 [ 0, %for.i ], [ %j.inc, %for.j ] 25 %tmp = mul nsw i64 %i, %m 26 %vlaarrayidx.sum = add i64 %j, %tmp 27 %arrayidx = getelementptr inbounds double, double* %A, i64 %vlaarrayidx.sum 28 store double 1.0, double* %arrayidx 29 %tmp1 = mul nsw i64 %j, %n 30 %vlaarrayidx.sum1 = add i64 %i, %tmp1 31 %arrayidx1 = getelementptr inbounds double, double* %A, i64 %vlaarrayidx.sum1 32 store double 1.0, double* %arrayidx1 33 %j.inc = add nsw i64 %j, 1 34 %j.exitcond = icmp eq i64 %j.inc, %m 35 br i1 %j.exitcond, label %for.i.inc, label %for.j 36 37for.i.inc: 38 %i.inc = add nsw i64 %i, 1 39 %i.exitcond = icmp eq i64 %i.inc, %n 40 br i1 %i.exitcond, label %end, label %for.i 41 42end: 43 ret void 44} 45