[llvm] f92b353 - [LoopUnroll] Add test case exposing crash with d0907ce7ed9f.

[Florian Hahn via llvm-commits]

Author: Florian Hahn
Date: 2023-01-20T16:08:25Z
New Revision: f92b35392ed8e46311eeb9c4546246fe809a0aa6

URL: https://github.com/llvm/llvm-project/commit/f92b35392ed8e46311eeb9c4546246fe809a0aa6
DIFF: https://github.com/llvm/llvm-project/commit/f92b35392ed8e46311eeb9c4546246fe809a0aa6.diff

LOG: [LoopUnroll] Add test case exposing crash with d0907ce7ed9f.

Added: 
    

Modified: 
    llvm/test/Transforms/LoopUnroll/verify-dominators.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/LoopUnroll/verify-dominators.ll b/llvm/test/Transforms/LoopUnroll/verify-dominators.ll
index 9b3cb3c5b12fe..c7a5fd7eb4c37 100644
--- a/llvm/test/Transforms/LoopUnroll/verify-dominators.ll
+++ b/llvm/test/Transforms/LoopUnroll/verify-dominators.ll
@@ -36,3 +36,30 @@ loop.exit:
 exit:
   ret void
 }
+
+define void @exiting_terminator_is_switch() {
+; CHECK-LABEL: @exiting_terminator_is_switch(
+; CHECK-NEXT:  bb:
+; CHECK-NEXT:    br label [[LOOP:%.*]]
+; CHECK:       loop:
+; CHECK-NEXT:    switch i1 true, label [[LOOP_BACKEDGE:%.*]] [
+; CHECK-NEXT:    i1 true, label [[EXIT:%.*]]
+; CHECK-NEXT:    i1 false, label [[LOOP_BACKEDGE]]
+; CHECK-NEXT:    ]
+; CHECK:       loop.backedge:
+; CHECK-NEXT:    unreachable
+; CHECK:       exit:
+; CHECK-NEXT:    ret void
+;
+bb:
+  br label %loop
+
+loop:
+  switch i1 true, label %loop [
+  i1 true, label %exit
+  i1 false, label %loop
+  ]
+
+exit:
+  ret void
+}