1; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s --check-prefix=AFFINE
2; RUN: opt %loadPolly -polly-scops -polly-allow-nonaffine -analyze < %s | FileCheck %s --check-prefix=NONAFFINE
3
4; The loop for.body => for.inc has an unpredictable iteration count could due to
5; the undef start value that it is compared to. Therefore the array element
6; %arrayidx101 that depends on that exit value cannot be affine.
7; Derived from test-suite/MultiSource/Benchmarks/BitBench/uuencode/uuencode.c
8
9define void @encode_line(i8* nocapture readonly %input, i32 %octets, i64 %p) {
10entry:
11  br i1 undef, label %for.body, label %for.end
12
13for.body:
14  %indvars.iv = phi i64 [ %indvars.iv.next, %for.inc ], [ %p, %entry ]
15  %octets.addr.02 = phi i32 [ undef, %for.inc ], [ %octets, %entry ]
16  br i1 false, label %for.inc, label %if.else
17
18if.else:
19  %cond = icmp eq i32 %octets.addr.02, 2
20  br i1 %cond, label %if.then84, label %for.end
21
22if.then84:
23  %0 = add nsw i64 %indvars.iv, 1
24  %arrayidx101 = getelementptr inbounds i8, i8* %input, i64 %0
25  store i8 42, i8* %arrayidx101, align 1
26  br label %for.end
27
28for.inc:
29  %cmp = icmp sgt i32 %octets.addr.02, 3
30  %indvars.iv.next = add nsw i64 %indvars.iv, 3
31  br i1 %cmp, label %for.body, label %for.end
32
33for.end:
34  ret void
35}
36
37; AFFINE:       Region: %if.else---%for.end
38
39; AFFINE:       Statements {
40; AFFINE-NEXT:  	Stmt_if_then84
41; AFFINE-NEXT:          Domain :=
42; AFFINE-NEXT:              [octets, p_1, p] -> { Stmt_if_then84[] : octets = 2 };
43; AFFINE-NEXT:          Schedule :=
44; AFFINE-NEXT:              [octets, p_1, p] -> { Stmt_if_then84[] -> [] };
45; AFFINE-NEXT:          ReadAccess :=	[Reduction Type: NONE] [Scalar: 1]
46; AFFINE-NEXT:              [octets, p_1, p] -> { Stmt_if_then84[] -> MemRef_indvars_iv[] };
47; AFFINE-NEXT:          MustWriteAccess :=	[Reduction Type: NONE] [Scalar: 0]
48; AFFINE-NEXT:              [octets, p_1, p] -> { Stmt_if_then84[] -> MemRef_input[1 + p] };
49; AFFINE-NEXT:  }
50
51; NONAFFINE:      Region: %for.body---%for.end
52
53; NONAFFINE:      Statements {
54; NONAFFINE-NEXT: 	Stmt_for_body
55; NONAFFINE-NEXT:         Domain :=
56; NONAFFINE-NEXT:             [octets] -> { Stmt_for_body[0] };
57; NONAFFINE-NEXT:         Schedule :=
58; NONAFFINE-NEXT:             [octets] -> { Stmt_for_body[i0] -> [0, 0] };
59; NONAFFINE-NEXT:         MustWriteAccess :=	[Reduction Type: NONE] [Scalar: 1]
60; NONAFFINE-NEXT:             [octets] -> { Stmt_for_body[i0] -> MemRef_indvars_iv[] };
61; NONAFFINE-NEXT: 	Stmt_if_then84
62; NONAFFINE-NEXT:         Domain :=
63; NONAFFINE-NEXT:             [octets] -> { Stmt_if_then84[] : octets = 2 };
64; NONAFFINE-NEXT:         Schedule :=
65; NONAFFINE-NEXT:             [octets] -> { Stmt_if_then84[] -> [1, 0] };
66; NONAFFINE-NEXT:         ReadAccess :=	[Reduction Type: NONE] [Scalar: 1]
67; NONAFFINE-NEXT:             [octets] -> { Stmt_if_then84[] -> MemRef_indvars_iv[] };
68; NONAFFINE-NEXT:         MayWriteAccess :=	[Reduction Type: NONE] [Scalar: 0]
69; NONAFFINE-NEXT:             [octets] -> { Stmt_if_then84[] -> MemRef_input[o0] };
70; NONAFFINE-NEXT: }
71