Mercurial > hg > CbC > CbC_llvm

comparison test/Analysis/BasicAA/2006-03-03-BadArraySubscript.ll @ 95:afa8332a0e37 LLVM3.8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM 3.8
author Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
date Tue, 13 Oct 2015 17:48:58 +0900
parents 95c75e76d11b
children
comparison
equal deleted inserted replaced
84:f3e34b893a5f 95:afa8332a0e37
10 %tmp.24 = icmp sgt i32 %N, 0 ; <i1> [#uses=1] 10 %tmp.24 = icmp sgt i32 %N, 0 ; <i1> [#uses=1]
11 br i1 %tmp.24, label %no_exit, label %loopexit 11 br i1 %tmp.24, label %no_exit, label %loopexit
12 12
13 no_exit: ; preds = %no_exit, %entry 13 no_exit: ; preds = %no_exit, %entry
14 %i.0.0 = phi i32 [ 0, %entry ], [ %inc, %no_exit ] ; <i32> [#uses=2] 14 %i.0.0 = phi i32 [ 0, %entry ], [ %inc, %no_exit ] ; <i32> [#uses=2]
15 %tmp.6 = getelementptr [3 x [3 x i32]]* %X, i32 0, i32 0, i32 %i.0.0 ; <i32*> [#uses=1] 15 %tmp.6 = getelementptr [3 x [3 x i32]], [3 x [3 x i32]]* %X, i32 0, i32 0, i32 %i.0.0 ; <i32*> [#uses=1]
16 store i32 1, i32* %tmp.6 16 store i32 1, i32* %tmp.6
17 %tmp.8 = getelementptr [3 x [3 x i32]]* %X, i32 0, i32 0, i32 0 ; <i32*> [#uses=1] 17 %tmp.8 = getelementptr [3 x [3 x i32]], [3 x [3 x i32]]* %X, i32 0, i32 0, i32 0 ; <i32*> [#uses=1]
18 %tmp.9 = load i32* %tmp.8 ; <i32> [#uses=1] 18 %tmp.9 = load i32, i32* %tmp.8 ; <i32> [#uses=1]
19 %tmp.11 = getelementptr [3 x [3 x i32]]* %X, i32 0, i32 1, i32 0 ; <i32*> [#uses=1] 19 %tmp.11 = getelementptr [3 x [3 x i32]], [3 x [3 x i32]]* %X, i32 0, i32 1, i32 0 ; <i32*> [#uses=1]
20 %tmp.12 = load i32* %tmp.11 ; <i32> [#uses=1] 20 %tmp.12 = load i32, i32* %tmp.11 ; <i32> [#uses=1]
21 %tmp.13 = add i32 %tmp.12, %tmp.9 ; <i32> [#uses=1] 21 %tmp.13 = add i32 %tmp.12, %tmp.9 ; <i32> [#uses=1]
22 %inc = add i32 %i.0.0, 1 ; <i32> [#uses=2] 22 %inc = add i32 %i.0.0, 1 ; <i32> [#uses=2]
23 %tmp.2 = icmp slt i32 %inc, %N ; <i1> [#uses=1] 23 %tmp.2 = icmp slt i32 %inc, %N ; <i1> [#uses=1]
24 br i1 %tmp.2, label %no_exit, label %loopexit 24 br i1 %tmp.2, label %no_exit, label %loopexit
25 25
26 loopexit: ; preds = %no_exit, %entry 26 loopexit: ; preds = %no_exit, %entry
27 %Y.0.1 = phi i32 [ 0, %entry ], [ %tmp.13, %no_exit ] ; <i32> [#uses=1] 27 %Y.0.1 = phi i32 [ 0, %entry ], [ %tmp.13, %no_exit ] ; <i32> [#uses=1]
28 %tmp.4 = getelementptr [3 x [3 x i32]]* %X, i32 0, i32 0 ; <[3 x i32]*> [#uses=1] 28 %tmp.4 = getelementptr [3 x [3 x i32]], [3 x [3 x i32]]* %X, i32 0, i32 0 ; <[3 x i32]*> [#uses=1]
29 %tmp.15 = call i32 (...)* @foo( [3 x i32]* %tmp.4, i32 %Y.0.1 ) ; <i32> [#uses=0] 29 %tmp.15 = call i32 (...) @foo( [3 x i32]* %tmp.4, i32 %Y.0.1 ) ; <i32> [#uses=0]
30 ret void 30 ret void
31 } 31 }
32 32
33 declare i32 @foo(...) 33 declare i32 @foo(...)