Changeset View
Changeset View
Standalone View
Standalone View
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! | ||
85 | define 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! | ||
95 | define 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) { | ||
96 | entry: | 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 | | |||
102 | for.outer.preheader: | 102 | for.outer.preheader: | ||
Show All 38 Lines |