Mercurial > hg > CbC > CbC_llvm
comparison test/Analysis/BasicAA/noalias-param.ll @ 95:afa8332a0e37 LLVM3.8
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 |
---|---|
4 | 4 |
5 define void @no(i32* noalias %a, i32* %b) nounwind { | 5 define void @no(i32* noalias %a, i32* %b) nounwind { |
6 entry: | 6 entry: |
7 store i32 1, i32* %a | 7 store i32 1, i32* %a |
8 %cap = call i32* @captures(i32* %a) nounwind readonly | 8 %cap = call i32* @captures(i32* %a) nounwind readonly |
9 %l = load i32* %b | 9 %l = load i32, i32* %b |
10 ret void | 10 ret void |
11 } | 11 } |
12 | 12 |
13 ; CHECK: NoAlias: i32* %a, i32* %b | 13 ; CHECK: NoAlias: i32* %a, i32* %b |
14 | 14 |
15 define void @yes(i32* %c, i32* %d) nounwind { | 15 define void @yes(i32* %c, i32* %d) nounwind { |
16 entry: | 16 entry: |
17 store i32 1, i32* %c | 17 store i32 1, i32* %c |
18 %cap = call i32* @captures(i32* %c) nounwind readonly | 18 %cap = call i32* @captures(i32* %c) nounwind readonly |
19 %l = load i32* %d | 19 %l = load i32, i32* %d |
20 ret void | 20 ret void |
21 } | 21 } |
22 | 22 |
23 ; CHECK: MayAlias: i32* %c, i32* %d | 23 ; CHECK: MayAlias: i32* %c, i32* %d |