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 |