Mercurial > hg > CbC > CbC_llvm

comparison test/Analysis/BasicAA/phi-speculation.ll @ 0:95c75e76d11b LLVM3.4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM 3.4
author Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
date Thu, 12 Dec 2013 13:56:28 +0900
parents
children afa8332a0e37
comparison
equal deleted inserted replaced
-1:000000000000 0:95c75e76d11b
1 target datalayout =
2 "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
3
4 ; RUN: opt < %s -basicaa -aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s
5
6 ; ptr_phi and ptr2_phi do not alias.
7 ; CHECK: test_noalias_1
8 ; CHECK: NoAlias: i32* %ptr2_phi, i32* %ptr_phi
9 define i32 @test_noalias_1(i32* %ptr2, i32 %count, i32* %coeff) {
10 entry:
11 %ptr = getelementptr inbounds i32* %ptr2, i64 1
12 br label %while.body
13
14 while.body:
15 %num = phi i32 [ %count, %entry ], [ %dec, %while.body ]
16 %ptr_phi = phi i32* [ %ptr, %entry ], [ %ptr_inc, %while.body ]
17 %ptr2_phi = phi i32* [ %ptr2, %entry ], [ %ptr2_inc, %while.body ]
18 %result.09 = phi i32 [ 0 , %entry ], [ %add, %while.body ]
19 %dec = add nsw i32 %num, -1
20 %0 = load i32* %ptr_phi, align 4
21 store i32 %0, i32* %ptr2_phi, align 4
22 %1 = load i32* %coeff, align 4
23 %2 = load i32* %ptr_phi, align 4
24 %mul = mul nsw i32 %1, %2
25 %add = add nsw i32 %mul, %result.09
26 %tobool = icmp eq i32 %dec, 0
27 %ptr_inc = getelementptr inbounds i32* %ptr_phi, i64 1
28 %ptr2_inc = getelementptr inbounds i32* %ptr2_phi, i64 1
29 br i1 %tobool, label %the_exit, label %while.body
30
31 the_exit:
32 ret i32 %add
33 }
34
35 ; CHECK: test_noalias_2
36 ; CHECK: NoAlias: i32* %ptr_outer_phi, i32* %ptr_outer_phi2
37 ; CHECK: NoAlias: i32* %ptr2_phi, i32* %ptr_phi
38 define i32 @test_noalias_2(i32* %ptr2, i32 %count, i32* %coeff) {
39 entry:
40 %ptr = getelementptr inbounds i32* %ptr2, i64 1
41 br label %outer.while.header
42
43 outer.while.header:
44 %ptr_outer_phi = phi i32* [%ptr_inc_outer, %outer.while.backedge], [ %ptr, %entry]
45 %ptr_outer_phi2 = phi i32* [%ptr2_inc_outer, %outer.while.backedge], [ %ptr2, %entry]
46 %num.outer = phi i32 [ %count, %entry ], [ %dec.outer, %outer.while.backedge ]
47 br label %while.body
48
49 while.body:
50 %num = phi i32 [ %count, %outer.while.header ], [ %dec, %while.body ]
51 %ptr_phi = phi i32* [ %ptr_outer_phi, %outer.while.header ], [ %ptr_inc, %while.body ]
52 %ptr2_phi = phi i32* [ %ptr_outer_phi2, %outer.while.header ], [ %ptr2_inc, %while.body ]
53 %result.09 = phi i32 [ 0 , %outer.while.header ], [ %add, %while.body ]
54 %dec = add nsw i32 %num, -1
55 %0 = load i32* %ptr_phi, align 4
56 store i32 %0, i32* %ptr2_phi, align 4
57 %1 = load i32* %coeff, align 4
58 %2 = load i32* %ptr_phi, align 4
59 %mul = mul nsw i32 %1, %2
60 %add = add nsw i32 %mul, %result.09
61 %tobool = icmp eq i32 %dec, 0
62 %ptr_inc = getelementptr inbounds i32* %ptr_phi, i64 1
63 %ptr2_inc = getelementptr inbounds i32* %ptr2_phi, i64 1
64 br i1 %tobool, label %outer.while.backedge, label %while.body
65
66 outer.while.backedge:
67 %ptr_inc_outer = getelementptr inbounds i32* %ptr_phi, i64 1
68 %ptr2_inc_outer = getelementptr inbounds i32* %ptr2_phi, i64 1
69 %dec.outer = add nsw i32 %num.outer, -1
70 %br.cond = icmp eq i32 %dec.outer, 0
71 br i1 %br.cond, label %the_exit, label %outer.while.header
72
73 the_exit:
74 ret i32 %add
75 }
76
77 ; CHECK: test_noalias_3
78 ; CHECK: MayAlias: i8* %ptr2_phi, i8* %ptr_phi
79 define i32 @test_noalias_3(i8* noalias %x, i8* noalias %y, i8* noalias %z,
80 i32 %count) {
81 entry:
82 br label %while.body
83
84 while.body:
85 %num = phi i32 [ %count, %entry ], [ %dec, %while.body ]
86 %ptr_phi = phi i8* [ %x, %entry ], [ %z, %while.body ]
87 %ptr2_phi = phi i8* [ %y, %entry ], [ %ptr_phi, %while.body ]
88 %dec = add nsw i32 %num, -1
89 %tobool = icmp eq i32 %dec, 0
90 br i1 %tobool, label %the_exit, label %while.body
91
92 the_exit:
93 ret i32 1
94 }