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