Changeset View
Changeset View
Standalone View
Standalone View
test/Analysis/DependenceAnalysis/AA.ll
| Show First 20 Lines • Show All 83 Lines • ▼ Show 20 Lines | |||||
| ; CHECK: da analyze - none! | ; CHECK: da analyze - none! | ||||
| define void @test_tbaa_diff(i32* %A, i16* %B) { | define void @test_tbaa_diff(i32* %A, i16* %B) { | ||||
| store i32 1, i32* %A, !tbaa !5 | store i32 1, i32* %A, !tbaa !5 | ||||
| store i16 2, i16* %B, !tbaa !9 | store i16 2, i16* %B, !tbaa !9 | ||||
| ret void | ret void | ||||
| } | } | ||||
| ; CHECK-LABEL: tbaa_loop | ; CHECK-LABEL: tbaa_loop | ||||
| ; CHECK: da analyze - input | ; CHECK: da analyze - none! | ||||
| ; CHECK: da analyze - none | ; CHECK: da analyze - none! | ||||
| ; CHECK: da analyze - output | ; CHECK: da analyze - none! | ||||
| define void @tbaa_loop(i32 %I, i32 %J, i32* nocapture %A, i16* nocapture readonly %B) { | define void @tbaa_loop(i32 %I, i32 %J, i32* nocapture %A, i16* nocapture readonly %B) { | ||||
| entry: | entry: | ||||
| %cmp = icmp ne i32 %J, 0 | %cmp = icmp ne i32 %J, 0 | ||||
| %cmp122 = icmp ne i32 %I, 0 | %cmp122 = icmp ne i32 %I, 0 | ||||
| %or.cond = and i1 %cmp, %cmp122 | %or.cond = and i1 %cmp, %cmp122 | ||||
| br i1 %or.cond, label %for.outer.preheader, label %for.end | br i1 %or.cond, label %for.outer.preheader, label %for.end | ||||
| for.outer.preheader: | for.outer.preheader: | ||||
| Show All 38 Lines | |||||