[NFC] One more crashing test on LoopSimplifyCFG

llvm-svn: 352194
This commit is contained in:
Max Kazantsev 2019-01-25 11:47:16 +00:00
parent dea6174b0b
commit 7822d25de3
1 changed files with 116 additions and 0 deletions

View File

@ -1,4 +1,5 @@
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; XFAIL: *
; REQUIRES: asserts
; RUN: opt -S -enable-loop-simplifycfg-term-folding=true -loop-simplifycfg -debug-only=loop-simplifycfg -verify-loop-info -verify-dom-info -verify-loop-lcssa 2>&1 < %s | FileCheck %s
; RUN: opt -S -enable-loop-simplifycfg-term-folding=true -passes='require<domtree>,loop(simplify-cfg)' -debug-only=loop-simplifycfg -verify-loop-info -verify-dom-info -verify-loop-lcssa 2>&1 < %s | FileCheck %s
@ -2581,3 +2582,118 @@ latch:
exit:
ret i32 %result
}
define void @test_crash_01() {
bb:
br label %bb1
bb1: ; preds = %bb
br i1 undef, label %bb17, label %bb2
bb2: ; preds = %bb1
br label %bb3
bb3: ; preds = %bb6, %bb2
br label %bb4
bb4: ; preds = %bb3
switch i32 0, label %bb5 [
i32 1, label %bb19
i32 2, label %bb18
]
bb5: ; preds = %bb4
switch i32 undef, label %bb16 [
i32 0, label %bb15
i32 1, label %bb14
i32 2, label %bb13
i32 3, label %bb12
i32 4, label %bb11
i32 5, label %bb8
i32 6, label %bb10
i32 7, label %bb9
i32 8, label %bb7
]
bb6: ; preds = %bb29, %bb18
br label %bb3
bb7: ; preds = %bb5
unreachable
bb8: ; preds = %bb11, %bb5
switch i32 undef, label %bb28 [
i32 0, label %bb27
i32 1, label %bb26
i32 2, label %bb23
i32 3, label %bb24
i32 4, label %bb25
i32 5, label %bb29
i32 6, label %bb22
i32 7, label %bb20
i32 8, label %bb21
]
bb9: ; preds = %bb5
unreachable
bb10: ; preds = %bb5
unreachable
bb11: ; preds = %bb5
br label %bb8
bb12: ; preds = %bb5
unreachable
bb13: ; preds = %bb5
unreachable
bb14: ; preds = %bb5
unreachable
bb15: ; preds = %bb5
unreachable
bb16: ; preds = %bb5
unreachable
bb17: ; preds = %bb1
ret void
bb18: ; preds = %bb4
br label %bb6
bb19: ; preds = %bb4
ret void
bb20: ; preds = %bb8
unreachable
bb21: ; preds = %bb8
unreachable
bb22: ; preds = %bb8
unreachable
bb23: ; preds = %bb8
unreachable
bb24: ; preds = %bb8
unreachable
bb25: ; preds = %bb8
unreachable
bb26: ; preds = %bb8
unreachable
bb27: ; preds = %bb8
unreachable
bb28: ; preds = %bb8
unreachable
bb29: ; preds = %bb8
br label %bb6
}