Mercurial > hg > CbC > CbC_llvm

comparison polly/test/ForwardOpTree/noforward_outofquota.ll @ 150:1d019706d866

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM10
author anatofuz
date Thu, 13 Feb 2020 15:10:13 +0900
parents
children c4bab56944e8
comparison
equal deleted inserted replaced
147:c2174574ed3a 150:1d019706d866
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