maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Xfail the test added in r324445 until the underlying issue in LoopSink is fixed. 

llvm-svn: 324448
This commit is contained in:
Michael Zolotukhin 2018-02-07 06:11:50 +00:00
parent 25347ea895
commit 1713dd5b8d
2 changed files with 69 additions and 61 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

69
llvm/test/Transforms/LICM/loopsink-lcssa.ll Normal file
View File

@ -0,0 +1,69 @@
; XFAIL: *
; ...should pass when LoopSink stops breaking LCSSA. Currently the test fails
; when expensive checks are enabled. Also, a LCSSA verification if disabled in
; loop pass manager until LoopSink is fixed.
; RUN: opt -S -loop-sink -verify-loop-lcssa < %s | FileCheck %s
; RUN: opt -S -aa-pipeline=basic-aa -passes=loop-sink -verify-loop-lcssa < %s | FileCheck %s
%a = type { i8 }
; CHECK-LABEL: @foo
; CHECK: ret void
define void @foo() !prof !0 {
bb:
br label %bb1
bb1: ; preds = %bb
%tmp = getelementptr inbounds %a, %a* undef, i64 0, i32 0
br label %bb2
bb2: ; preds = %bb16, %bb1
br i1 undef, label %bb16, label %bb3
bb3: ; preds = %bb2
br i1 undef, label %bb16, label %bb4
bb4: ; preds = %bb3
br i1 undef, label %bb5, label %bb16
bb5: ; preds = %bb4
br i1 undef, label %bb16, label %bb6
bb6: ; preds = %bb5
br i1 undef, label %bb16, label %bb7
bb7: ; preds = %bb15, %bb6
br i1 undef, label %bb8, label %bb16
bb8: ; preds = %bb7
br i1 undef, label %bb9, label %bb15
bb9: ; preds = %bb8
br i1 undef, label %bb10, label %bb15
bb10: ; preds = %bb9
br i1 undef, label %bb11, label %bb15
bb11: ; preds = %bb10
br i1 undef, label %bb12, label %bb15
bb12: ; preds = %bb11
%tmp13 = load i8, i8* %tmp, align 8
br i1 undef, label %bb15, label %bb14
bb14: ; preds = %bb12
call void @bar(i8* %tmp)
br label %bb16
bb15: ; preds = %bb12, %bb11, %bb10, %bb9, %bb8
br i1 undef, label %bb16, label %bb7
bb16: ; preds = %bb15, %bb14, %bb7, %bb6, %bb5, %bb4, %bb3, %bb2
br i1 undef, label %bb17, label %bb2
bb17: ; preds = %bb16
ret void
}
declare void @bar(i8*)
!0 = !{!"function_entry_count", i64 1}

61
llvm/test/Transforms/LICM/loopsink.ll
View File

@ -437,68 +437,7 @@ define i32 @t7(i32, i32) #0 !prof !0 {
ret i32 10 ret i32 10
} }
%a = type { i8 }
; CHECK-LABEL: @t8
; CHECK: ret void
define void @t8() !prof !0 {
bb:
br label %bb1
bb1: ; preds = %bb
%tmp = getelementptr inbounds %a, %a* undef, i64 0, i32 0
br label %bb2
bb2: ; preds = %bb16, %bb1
br i1 undef, label %bb16, label %bb3
bb3: ; preds = %bb2
br i1 undef, label %bb16, label %bb4
bb4: ; preds = %bb3
br i1 undef, label %bb5, label %bb16
bb5: ; preds = %bb4
br i1 undef, label %bb16, label %bb6
bb6: ; preds = %bb5
br i1 undef, label %bb16, label %bb7
bb7: ; preds = %bb15, %bb6
br i1 undef, label %bb8, label %bb16
bb8: ; preds = %bb7
br i1 undef, label %bb9, label %bb15
bb9: ; preds = %bb8
br i1 undef, label %bb10, label %bb15
bb10: ; preds = %bb9
br i1 undef, label %bb11, label %bb15
bb11: ; preds = %bb10
br i1 undef, label %bb12, label %bb15
bb12: ; preds = %bb11
%tmp13 = load i8, i8* %tmp, align 8
br i1 undef, label %bb15, label %bb14
bb14: ; preds = %bb12
call void @bar(i8* %tmp)
br label %bb16
bb15: ; preds = %bb12, %bb11, %bb10, %bb9, %bb8
br i1 undef, label %bb16, label %bb7
bb16: ; preds = %bb15, %bb14, %bb7, %bb6, %bb5, %bb4, %bb3, %bb2
br i1 undef, label %bb17, label %bb2
bb17: ; preds = %bb16
ret void
}
declare i32 @foo() declare i32 @foo()
declare void @bar(i8*)
!0 = !{!"function_entry_count", i64 1} !0 = !{!"function_entry_count", i64 1}
!1 = !{!"branch_weights", i32 1, i32 2000} !1 = !{!"branch_weights", i32 1, i32 2000}