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 @test0() {
   5 ; CHECK-LABEL: @test0
   6 ; CHECK: %merge = phi i64 [ 1, %BB3 ], [ 0, %NewDefault ], [ 0, %NodeBlock.5 ], [ 0, %LeafBlock.1 ]
   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 }
  23
  24 ; Test switch cases that are merged into a single case during lowerswitch
  25 ; (take 84 and 85 below) - check that the number of incoming phi values match
  26 ; the number of branches.
  27 define void @test1() {
  28 ; CHECK-LABEL: @test1
  29 entry:
  30   br label %bb1
  31
  32 bb1:
  33   switch i32 undef, label %bb1 [
  34     i32 84, label %bb3
  35     i32 85, label %bb3
  36     i32 86, label %bb2
  37     i32 78, label %exit
  38     i32 99, label %bb3
  39   ]
  40
  41 bb2:
  42   br label %bb3
  43
  44 bb3:
  45 ; CHECK-LABEL: bb3
  46 ; CHECK: %tmp = phi i32 [ 1, %NodeBlock ], [ 0, %bb2 ], [ 1, %LeafBlock.3 ]
  47   %tmp = phi i32 [ 1, %bb1 ], [ 0, %bb2 ], [ 1, %bb1 ], [ 1, %bb1 ]
  48 ; CHECK-NEXT: %tmp2 = phi i32 [ 2, %NodeBlock ], [ 5, %bb2 ], [ 2, %LeafBlock.3 ]
  49   %tmp2 = phi i32 [ 2, %bb1 ], [ 2, %bb1 ], [ 5, %bb2 ], [ 2, %bb1 ]
  50   br label %exit
  51
  52 exit:
  53   ret void
  54 }
  55
  56 ; Test that we don't crash.
  57 define void @test2(i32 %mode) {
  58 ; CHECK-LABEL: @test2
  59   br i1 undef, label %1, label %._crit_edge
  60
  61 ; <label>:1                                       ; preds = %0
  62   switch i32 %mode, label %33 [
  63     i32 2, label %2
  64     i32 3, label %3
  65     i32 4, label %4
  66     i32 5, label %5
  67     i32 6, label %6
  68     i32 7, label %7
  69     i32 8, label %8
  70     i32 9, label %9
  71     i32 10, label %10
  72     i32 11, label %14
  73     i32 12, label %18
  74     i32 13, label %22
  75     i32 14, label %26
  76     i32 15, label %27
  77     i32 16, label %34
  78     i32 17, label %34
  79     i32 18, label %34
  80     i32 19, label %34
  81     i32 22, label %34
  82     i32 20, label %31
  83     i32 21, label %32
  84   ]
  85
  86 ; <label>:2                                       ; preds = %1
  87   br label %34
  88
  89 ; <label>:3                                       ; preds = %1
  90   br label %34
  91
  92 ; <label>:4                                       ; preds = %1
  93   br label %34
  94
  95 ; <label>:5                                       ; preds = %1
  96   br label %34
  97
  98 ; <label>:6                                       ; preds = %1
  99   br label %34
 100
 101 ; <label>:7                                       ; preds = %1
 102   br label %34
 103
 104 ; <label>:8                                       ; preds = %1
 105   br label %34
 106
 107 ; <label>:9                                       ; preds = %1
 108   br label %34
 109
 110 ; <label>:10                                      ; preds = %1
 111   br i1 undef, label %11, label %12
 112
 113 ; <label>:11                                      ; preds = %10
 114   br label %13
 115
 116 ; <label>:12                                      ; preds = %10
 117   br label %13
 118
 119 ; <label>:13                                      ; preds = %12, %11
 120   br label %34
 121
 122 ; <label>:14                                      ; preds = %1
 123   br i1 undef, label %15, label %16
 124
 125 ; <label>:15                                      ; preds = %14
 126   br label %17
 127
 128 ; <label>:16                                      ; preds = %14
 129   br label %17
 130
 131 ; <label>:17                                      ; preds = %16, %15
 132   br label %34
 133
 134 ; <label>:18                                      ; preds = %1
 135   br i1 undef, label %19, label %20
 136
 137 ; <label>:19                                      ; preds = %18
 138   br label %21
 139
 140 ; <label>:20                                      ; preds = %18
 141   br label %21
 142
 143 ; <label>:21                                      ; preds = %20, %19
 144   br label %34
 145
 146 ; <label>:22                                      ; preds = %1
 147   br i1 undef, label %23, label %24
 148
 149 ; <label>:23                                      ; preds = %22
 150   br label %25
 151
 152 ; <label>:24                                      ; preds = %22
 153   br label %25
 154
 155 ; <label>:25                                      ; preds = %24, %23
 156   br label %34
 157
 158 ; <label>:26                                      ; preds = %1
 159   br label %34
 160
 161 ; <label>:27                                      ; preds = %1
 162   br i1 undef, label %28, label %29
 163
 164 ; <label>:28                                      ; preds = %27
 165   br label %30
 166
 167 ; <label>:29                                      ; preds = %27
 168   br label %30
 169
 170 ; <label>:30                                      ; preds = %29, %28
 171   br label %34
 172
 173 ; <label>:31                                      ; preds = %1
 174   br label %34
 175
 176 ; <label>:32                                      ; preds = %1
 177   br label %34
 178
 179 ; <label>:33                                      ; preds = %1
 180   br label %34
 181
 182 ; <label>:34                                      ; preds = %33, %32, %31, %30, %26, %25, %21, %17, %13, %9, %8, %7, %6, %5, %4, %3, %2, %1, %1, %1, %1, %1
 183   %o.0 = phi float [ undef, %33 ], [ undef, %32 ], [ undef, %31 ], [ undef, %30 ], [ undef, %26 ], [ undef, %25 ], [ undef, %21 ], [ undef, %17 ], [ undef, %13 ], [ undef, %9 ], [ undef, %8 ], [ undef, %7 ], [ undef, %6 ], [ undef, %5 ], [ undef, %4 ], [ undef, %3 ], [ undef, %2 ], [ undef, %1 ], [ undef, %1 ], [ undef, %1 ], [ undef, %1 ], [ undef, %1 ]
 184   br label %._crit_edge
 185
 186 ._crit_edge:                                      ; preds = %34, %0
 187   ret void
 188 }