test/Transforms/Util/lowerswitch.ll

   1 ; RUN: opt -lowerswitch -S < %s | FileCheck %s
   2
   3 ; Test that we don't crash and have a different basic block for each incoming edge.
   4 define void @test_lower_switch() {
   5 ; CHECK-LABEL: @test_lower_switch
   6 ; CHECK: %merge = phi i64 [ 1, %BB3 ], [ 0, %NewDefault ], [ 0, %NodeBlock5 ], [ 0, %LeafBlock1 ]
   7 BB1:
   8   switch i32 undef, label %BB2 [
   9     i32 3, label %BB2
  10     i32 5, label %BB2
  11     i32 0, label %BB3
  12     i32 2, label %BB3
  13     i32 4, label %BB3
  14   ]
  15
  16 BB2:
  17   %merge = phi i64 [ 1, %BB3 ], [ 0, %BB1 ], [ 0, %BB1 ], [ 0, %BB1 ]
  18   ret void
  19
  20 BB3:
  21   br label %BB2
  22 }