RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-01-19 18:24:05 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Add a basic testcase for TBAA-aware DSE.

Browse Source 
llvm-svn: 117632
This commit is contained in:
Dan Gohman 2010-10-29 00:54:02 +00:00
parent b7a4b7a7b0
commit a592a0f539
1 changed files with 43 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

43
test/Analysis/TypeBasedAliasAnalysis/dse.ll Normal file
View File

@ -0,0 +1,43 @@
; RUN: opt < %s -enable-tbaa -tbaa -basicaa -dse -S | FileCheck %s
; DSE should make use of TBAA.
; CHECK: @test0_yes
; CHECK-NEXT: load i8* %b
; CHECK-NEXT: store i8 1, i8* %a
; CHECK-NEXT: ret i8 %y
define i8 @test0_yes(i8* %a, i8* %b) nounwind {
store i8 0, i8* %a, !tbaa !1
%y = load i8* %b, !tbaa !2
store i8 1, i8* %a, !tbaa !1
ret i8 %y
}
; CHECK: @test0_no
; CHECK-NEXT: store i8 0, i8* %a
; CHECK-NEXT: load i8* %b
; CHECK-NEXT: store i8 1, i8* %a
; CHECK-NEXT: ret i8 %y
define i8 @test0_no(i8* %a, i8* %b) nounwind {
store i8 0, i8* %a, !tbaa !3
%y = load i8* %b, !tbaa !4
store i8 1, i8* %a, !tbaa !3
ret i8 %y
}
; Root note.
!0 = metadata !{ }
; Some type.
!1 = metadata !{ metadata !"foo", metadata !0 }
; Some other non-aliasing type.
!2 = metadata !{ metadata !"bar", metadata !0 }
; Some type.
!3 = metadata !{ metadata !"foo", metadata !0 }
; Some type in a different type system.
!4 = metadata !{ metadata !"bar", metadata !"different" }
; Invariant memory.
!5 = metadata !{ metadata !"qux", metadata !0, i1 1 }
; Not invariant memory.
!6 = metadata !{ metadata !"qux", metadata !0, i1 0 }