Page MenuHomePhabricator
Differential D46201 Diff 149977 test/Analysis/DependenceAnalysis/AA.ll

Changeset View

Standalone View

View Options

test/Analysis/DependenceAnalysis/AA.ll

Show First 20 Lines • Show All 83 Lines • ▼ Show 20 Line(s)
84; CHECK: da analyze - none! 84​; CHECK: da analyze - none!
85define void @test_tbaa_diff(i32* %A, i16* %B) { 85​define void @test_tbaa_diff(i32* %A, i16* %B) {
86 store i32 1, i32* %A, !tbaa !5 86​ store i32 1, i32* %A, !tbaa !5
87 store i16 2, i16* %B, !tbaa !9 87​ store i16 2, i16* %B, !tbaa !9
88 ret void 88​ ret void
89} 89​}
90 90​
91; CHECK-LABEL: tbaa_loop 91​; CHECK-LABEL: tbaa_loop
92; CHECK: da analyze - input 92​; CHECK: da analyze - none!
93; CHECK: da analyze - none 93​; CHECK: da analyze - none!
94; CHECK: da analyze - output 94​; CHECK: da analyze - none!
95define void @tbaa_loop(i32 %I, i32 %J, i32* nocapture %A, i16* nocapture readonly %B) { 95​define void @tbaa_loop(i32 %I, i32 %J, i32* nocapture %A, i16* nocapture readonly %B) {
96entry: 96​entry:
97 %cmp = icmp ne i32 %J, 0 97​ %cmp = icmp ne i32 %J, 0
98 %cmp122 = icmp ne i32 %I, 0 98​ %cmp122 = icmp ne i32 %I, 0
99 %or.cond = and i1 %cmp, %cmp122 99​ %or.cond = and i1 %cmp, %cmp122
100 br i1 %or.cond, label %for.outer.preheader, label %for.end 100​ br i1 %or.cond, label %for.outer.preheader, label %for.end
101 101​
102for.outer.preheader: 102​for.outer.preheader:
Show All 38 Lines