parent
2e83c4c4c3
commit
cc87723178
|
@ -5,9 +5,9 @@ target datalayout = "e-p:64:64:64"
|
|||
; GVN should preserve the TBAA tag on loads when doing PRE.
|
||||
|
||||
; CHECK: @test
|
||||
; CHECK: %tmp33.pre = load i16* undef, align 2, !tbaa !0
|
||||
; CHECK: %tmp33.pre = load i16* %P, align 2, !tbaa !0
|
||||
; CHECK: br label %for.body
|
||||
define void @test() nounwind {
|
||||
define void @test(i16 *%P, i16* %Q) nounwind {
|
||||
entry:
|
||||
br i1 undef, label %bb.nph, label %for.end
|
||||
|
||||
|
@ -15,8 +15,10 @@ bb.nph: ; preds = %entry
|
|||
br label %for.body
|
||||
|
||||
for.body: ; preds = %for.body, %bb.nph
|
||||
%tmp33 = load i16* undef, align 2, !tbaa !0
|
||||
store i16 undef, i16* undef, align 2, !tbaa !0
|
||||
%tmp33 = load i16* %P, align 2, !tbaa !0
|
||||
store i16 %tmp33, i16* %Q
|
||||
|
||||
store i16 0, i16* %P, align 2, !tbaa !0
|
||||
br i1 false, label %for.end, label %for.body
|
||||
|
||||
for.end: ; preds = %for.body, %entry
|
||||
|
|
Loading…
Reference in New Issue