[MIParser] Set RegClassOrRegBank during instruction parsing
[llvm-complete.git] / test / Transforms / SimplifyCFG / switch-to-select-multiple-edge-per-block-phi.ll
blobbdc7017f4c7360c66c4c0e043ec325db445adf0b
1 ; RUN: opt < %s -simplifycfg -S | FileCheck %s
3 ; a, b;
4 ; fn1() {
5 ;   if (b)
6 ;     if (a == 0 || a == 5)
7 ;       return a;
8 ;   return 0;
9 ; }
11 ; Checking that we handle correctly the case when we have a switch
12 ; branching multiple times to the same block
14 @b = common global i32 0, align 4
15 @a = common global i32 0, align 4
17 ; Function Attrs: nounwind
18 define i32 @fn1() {
19 ; CHECK-LABEL: @fn1(
20 ; CHECK-NEXT:  entry:
21 ; CHECK-NEXT:    [[TMP0:%.*]] = load i32, i32* @b, align 4
22 ; CHECK-NEXT:    [[TOBOOL:%.*]] = icmp eq i32 [[TMP0]], 0
23 ; CHECK-NEXT:    br i1 [[TOBOOL]], label %return, label %if.then
24 ; CHECK:       if.then:
25 ; CHECK-NEXT:    [[TMP1:%.*]] = load i32, i32* @a, align 4
26 ; CHECK-NEXT:    [[SWITCH_SELECTCMP:%.*]] = icmp eq i32 [[TMP1]], 0
27 ; CHECK-NEXT:    [[SWITCH_SELECT:%.*]] = select i1 [[SWITCH_SELECTCMP:%.*]], i32 0, i32 0
28 ; CHECK-NEXT:    [[SWITCH_SELECTCMP1:%.*]] = icmp eq i32 [[TMP1]], 5
29 ; CHECK-NEXT:    [[SWITCH_SELECT2:%.*]] = select i1 [[SWITCH_SELECTCMP1]], i32 5, i32 [[SWITCH_SELECT]]
30 ; CHECK-NEXT:    br label %return
31 ; CHECK:       return:
32 ; CHECK-NEXT:    [[RETVAL_0:%.*]] = phi i32 [ [[SWITCH_SELECT2]], %if.then ], [ 0, %entry ]
33 ; CHECK-NEXT:    ret i32 [[RETVAL_0]]
35 entry:
36   %0 = load i32, i32* @b, align 4
37   %tobool = icmp eq i32 %0, 0
38   br i1 %tobool, label %if.end3, label %if.then
40 if.then:
41   %1 = load i32, i32* @a, align 4
42   switch i32 %1, label %if.end3 [
43   i32 5, label %return
44   i32 0, label %return
45   ]
47 if.end3:
48   br label %return
50 return:
51   %retval.0 = phi i32 [ 0, %if.end3 ], [ %1, %if.then ], [ %1, %if.then ]
52   ret i32 %retval.0