|
150
|
1 ; RUN: opt %loadPolly -polly-optree-max-ops=1 -polly-optree -analyze < %s | FileCheck %s -match-full-lines
|
|
|
2 ; RUN: opt %loadPolly -polly-optree-max-ops=1 -polly-optree -disable-output -stats < %s 2>&1 | FileCheck %s -match-full-lines -check-prefix=STATS
|
|
|
3 ; REQUIRES: asserts
|
|
|
4 ;
|
|
|
5 ; for (int j = 0; j < n; j += 1) {
|
|
|
6 ; bodyA:
|
|
|
7 ; double val = B[j];
|
|
|
8 ;
|
|
|
9 ; bodyB:
|
|
|
10 ; A[j] = val;
|
|
|
11 ; }
|
|
|
12 ;
|
|
|
13 define void @func(i32 %n, double* noalias nonnull %A, double* noalias nonnull %B) {
|
|
|
14 entry:
|
|
|
15 br label %for
|
|
|
16
|
|
|
17 for:
|
|
|
18 %j = phi i32 [0, %entry], [%j.inc, %inc]
|
|
|
19 %j.cmp = icmp slt i32 %j, %n
|
|
|
20 br i1 %j.cmp, label %bodyA, label %exit
|
|
|
21
|
|
|
22 bodyA:
|
|
|
23 %B_idx = getelementptr inbounds double, double* %B, i32 %j
|
|
|
24 %val = load double, double* %B_idx
|
|
|
25 br label %bodyB
|
|
|
26
|
|
|
27 bodyB:
|
|
|
28 %A_idx = getelementptr inbounds double, double* %A, i32 %j
|
|
|
29 store double %val, double* %A_idx
|
|
|
30 br label %inc
|
|
|
31
|
|
|
32 inc:
|
|
|
33 %j.inc = add nuw nsw i32 %j, 1
|
|
|
34 br label %for
|
|
|
35
|
|
|
36 exit:
|
|
|
37 br label %return
|
|
|
38
|
|
|
39 return:
|
|
|
40 ret void
|
|
|
41 }
|
|
|
42
|
|
|
43
|
|
|
44 ; CHECK: ForwardOpTree executed, but did not modify anything
|
|
|
45
|
|
|
46 ; STATS-NOT: IMPLEMENTATION ERROR: Unhandled error state
|
|
|
47 ; STATS: 1 polly-optree - Analyses aborted because max_operations was reached
|
|
|
48 ; STATS-NOT: IMPLEMENTATION ERROR: Unhandled error state
|
