source: icGREP/icgrep-devel/llvm-3.8.0.src/test/Analysis/DependenceAnalysis/UsefulGEP.ll @ 5027

Last change on this file since 5027 was 5027, checked in by cameron, 3 years ago

Upgrade to llvm 3.8

File size: 1.6 KB
Line 
1; RUN: opt < %s -analyze -basicaa -da
2;; Check this doesn't crash.
3target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
4target triple = "x86_64-unknown-linux-gnu"
5
6;; struct s {
7;;   int A[10][10];
8;;   int C[10][10][10];
9;; } S;
10
11;; void dep_constraint_crash_test(int k,int N) {
12;;   for( int i=0;i<N;i++)
13;;     for( int j=0;j<N;j++)
14;;       S.A[0][0] = S.C[0][0][k];
15;; }
16
17
18%struct.s = type { [10 x [10 x i32]], [10 x [10 x [10 x i32]]] }
19
20@S = common global %struct.s zeroinitializer
21
22define void @dep_constraint_crash_test(i32 %k, i32 %N) {
23entry:
24  %cmp12 = icmp sgt i32 %N, 0
25  br i1 %cmp12, label %for.cond1.preheader.lr.ph, label %for.end6
26
27for.cond1.preheader.lr.ph:                       
28  %idxprom = sext i32 %k to i64
29  %arrayidx = getelementptr inbounds %struct.s, %struct.s* @S, i64 0, i32 1, i64 0, i64 0, i64 %idxprom
30  br label %for.body3.preheader
31
32for.body3.preheader:                             
33  %i.013 = phi i32 [ 0, %for.cond1.preheader.lr.ph ], [ %inc5, %for.inc4 ]
34  br label %for.body3
35
36for.body3:                                       
37  %j.011 = phi i32 [ %inc, %for.body3 ], [ 0, %for.body3.preheader ]
38  %0 = load i32, i32* %arrayidx
39  store i32 %0, i32* getelementptr inbounds (%struct.s, %struct.s* @S, i64 0, i32 0, i64 0, i64 0)
40  %inc = add nuw nsw i32 %j.011, 1
41  %exitcond = icmp eq i32 %inc, %N
42  br i1 %exitcond, label %for.inc4, label %for.body3
43
44for.inc4:                                         
45  %inc5 = add nuw nsw i32 %i.013, 1
46  %exitcond14 = icmp eq i32 %inc5, %N
47  br i1 %exitcond14, label %for.end6, label %for.body3.preheader
48
49for.end6:                                         
50  ret void
51}
Note: See TracBrowser for help on using the repository browser.