1 ; RUN: opt < %s -lowerswitch -S | FileCheck %s 2 3 define i32 @test(i32 %arg) #0 { 4 ; CHECK-LABEL: @test 5 ; CHECK: ; <label>:2 6 ; CHECK-NEXT: %res.0 = phi i32 [ 1, %NodeBlock ], [ 2, %1 ] 7 ; CHECK-NEXT: br label %3 8 ; CHECK: ; <label>:5 9 ; CHECK-NEXT: %res.3 = phi i32 [ 0, %NewDefault ], [ %res.2, %4 ] 10 ; CHECK-NEXT: %6 = add nsw i32 %res.3, 1 11 ; CHECK-NEXT: ret i32 %6 12 13 switch i32 %arg, label %5 [ 14 i32 1, label %1 15 i32 2, label %2 16 i32 3, label %3 17 i32 4, label %4 18 ] 19 20 ; <label>:1 21 br label %2 22 23 ; <label>:2 24 %res.0 = phi i32 [ 1, %0 ], [ 2, %1 ] 25 br label %3 26 27 ; <label>:3 28 %res.1 = phi i32 [ 0, %0 ], [ %res.0, %2 ] 29 %phitmp = add nsw i32 %res.1, 2 30 br label %4 31 32 ; <label>:4 33 %res.2 = phi i32 [ 1, %0 ], [ %phitmp, %3 ] 34 br label %5 35 36 ; <label>:5 37 %res.3 = phi i32 [ 0, %0 ], [ %res.2, %4 ] 38 %6 = add nsw i32 %res.3, 1 39 ret i32 %6 40 } 41
