llvm.org GIT mirror llvm / dd2dc5b
add testcase for r208237: do not collect undef terms git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@208347 91177308-0d34-0410-b5e6-96231b3b80d8 Sebastian Pop 6 years ago
1 changed file(s) with 38 addition(s) and 0 deletion(s). Raw diff Collapse all Expand all
0 ; RUN: opt < %s -analyze -delinearize
1 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
2 target triple = "x86_64-unknown-linux-gnu"
3
4 define void @foo(double* %Ey) {
5 entry:
6 br i1 undef, label %for.cond55.preheader, label %for.end324
7
8 for.cond55.preheader:
9 %iz.069 = phi i64 [ %inc323, %for.inc322 ], [ 0, %entry ]
10 br i1 undef, label %for.cond58.preheader, label %for.inc322
11
12 for.cond58.preheader:
13 %iy.067 = phi i64 [ %inc320, %for.end ], [ 0, %for.cond55.preheader ]
14 br i1 undef, label %for.body60, label %for.end
15
16 for.body60:
17 %ix.062 = phi i64 [ %inc, %for.body60 ], [ 0, %for.cond58.preheader ]
18 %0 = mul i64 %iz.069, undef
19 %tmp5 = add i64 %iy.067, %0
20 %tmp6 = mul i64 %tmp5, undef
21 %arrayidx69.sum = add i64 undef, %tmp6
22 %arrayidx70 = getelementptr inbounds double* %Ey, i64 %arrayidx69.sum
23 %1 = load double* %arrayidx70, align 8
24 %inc = add nsw i64 %ix.062, 1
25 br i1 false, label %for.body60, label %for.end
26
27 for.end:
28 %inc320 = add nsw i64 %iy.067, 1
29 br i1 undef, label %for.cond58.preheader, label %for.inc322
30
31 for.inc322:
32 %inc323 = add nsw i64 %iz.069, 1
33 br i1 undef, label %for.cond55.preheader, label %for.end324
34
35 for.end324:
36 ret void
37 }