test/Transforms/InstCombine/select.ll

   1 ; This test makes sure that these instructions are properly eliminated.
   2 ; PR1822
   3
   4 ; RUN: opt < %s -instcombine -S | not grep select
   5
   6 define i32 @test1(i32 %A, i32 %B) {
   7         %C = select i1 false, i32 %A, i32 %B            ; <i32> [#uses=1]
   8         ret i32 %C
   9 }
  10
  11 define i32 @test2(i32 %A, i32 %B) {
  12         %C = select i1 true, i32 %A, i32 %B             ; <i32> [#uses=1]
  13         ret i32 %C
  14 }
  15
  16
  17 define i32 @test3(i1 %C, i32 %I) {
  18         ; V = I
  19         %V = select i1 %C, i32 %I, i32 %I               ; <i32> [#uses=1]
  20         ret i32 %V
  21 }
  22
  23 define i1 @test4(i1 %C) {
  24         ; V = C
  25         %V = select i1 %C, i1 true, i1 false            ; <i1> [#uses=1]
  26         ret i1 %V
  27 }
  28
  29 define i1 @test5(i1 %C) {
  30         ; V = !C
  31         %V = select i1 %C, i1 false, i1 true            ; <i1> [#uses=1]
  32         ret i1 %V
  33 }
  34
  35 define i32 @test6(i1 %C) {
  36         ; V = cast C to int
  37         %V = select i1 %C, i32 1, i32 0         ; <i32> [#uses=1]
  38         ret i32 %V
  39 }
  40
  41 define i1 @test7(i1 %C, i1 %X) {
  42         ; R = or C, X
  43         %R = select i1 %C, i1 true, i1 %X               ; <i1> [#uses=1]
  44         ret i1 %R
  45 }
  46
  47 define i1 @test8(i1 %C, i1 %X) {
  48         ; R = and C, X
  49         %R = select i1 %C, i1 %X, i1 false              ; <i1> [#uses=1]
  50         ret i1 %R
  51 }
  52
  53 define i1 @test9(i1 %C, i1 %X) {
  54         ; R = and !C, X
  55         %R = select i1 %C, i1 false, i1 %X              ; <i1> [#uses=1]
  56         ret i1 %R
  57 }
  58
  59 define i1 @test10(i1 %C, i1 %X) {
  60         ; R = or !C, X
  61         %R = select i1 %C, i1 %X, i1 true               ; <i1> [#uses=1]
  62         ret i1 %R
  63 }
  64
  65 define i32 @test11(i32 %a) {
  66         %C = icmp eq i32 %a, 0          ; <i1> [#uses=1]
  67         %R = select i1 %C, i32 0, i32 1         ; <i32> [#uses=1]
  68         ret i32 %R
  69 }
  70
  71 define i32 @test12(i1 %cond, i32 %a) {
  72         %b = or i32 %a, 1               ; <i32> [#uses=1]
  73         %c = select i1 %cond, i32 %b, i32 %a            ; <i32> [#uses=1]
  74         ret i32 %c
  75 }
  76
  77 define i32 @test12a(i1 %cond, i32 %a) {
  78         %b = ashr i32 %a, 1             ; <i32> [#uses=1]
  79         %c = select i1 %cond, i32 %b, i32 %a            ; <i32> [#uses=1]
  80         ret i32 %c
  81 }
  82
  83 define i32 @test12b(i1 %cond, i32 %a) {
  84         %b = ashr i32 %a, 1             ; <i32> [#uses=1]
  85         %c = select i1 %cond, i32 %a, i32 %b            ; <i32> [#uses=1]
  86         ret i32 %c
  87 }
  88
  89 define i32 @test13(i32 %a, i32 %b) {
  90         %C = icmp eq i32 %a, %b         ; <i1> [#uses=1]
  91         %V = select i1 %C, i32 %a, i32 %b               ; <i32> [#uses=1]
  92         ret i32 %V
  93 }
  94
  95 define i32 @test13a(i32 %a, i32 %b) {
  96         %C = icmp ne i32 %a, %b         ; <i1> [#uses=1]
  97         %V = select i1 %C, i32 %a, i32 %b               ; <i32> [#uses=1]
  98         ret i32 %V
  99 }
 100
 101 define i32 @test13b(i32 %a, i32 %b) {
 102         %C = icmp eq i32 %a, %b         ; <i1> [#uses=1]
 103         %V = select i1 %C, i32 %b, i32 %a               ; <i32> [#uses=1]
 104         ret i32 %V
 105 }
 106
 107 define i1 @test14a(i1 %C, i32 %X) {
 108         %V = select i1 %C, i32 %X, i32 0                ; <i32> [#uses=1]
 109         ; (X < 1) | !C
 110         %R = icmp slt i32 %V, 1         ; <i1> [#uses=1]
 111         ret i1 %R
 112 }
 113
 114 define i1 @test14b(i1 %C, i32 %X) {
 115         %V = select i1 %C, i32 0, i32 %X                ; <i32> [#uses=1]
 116         ; (X < 1) | C
 117         %R = icmp slt i32 %V, 1         ; <i1> [#uses=1]
 118         ret i1 %R
 119 }
 120
 121 ;; Code sequence for (X & 16) ? 16 : 0
 122 define i32 @test15a(i32 %X) {
 123         %t1 = and i32 %X, 16            ; <i32> [#uses=1]
 124         %t2 = icmp eq i32 %t1, 0                ; <i1> [#uses=1]
 125         %t3 = select i1 %t2, i32 0, i32 16              ; <i32> [#uses=1]
 126         ret i32 %t3
 127 }
 128
 129 ;; Code sequence for (X & 32) ? 0 : 24
 130 define i32 @test15b(i32 %X) {
 131         %t1 = and i32 %X, 32            ; <i32> [#uses=1]
 132         %t2 = icmp eq i32 %t1, 0                ; <i1> [#uses=1]
 133         %t3 = select i1 %t2, i32 32, i32 0              ; <i32> [#uses=1]
 134         ret i32 %t3
 135 }
 136
 137 ;; Alternate code sequence for (X & 16) ? 16 : 0
 138 define i32 @test15c(i32 %X) {
 139         %t1 = and i32 %X, 16            ; <i32> [#uses=1]
 140         %t2 = icmp eq i32 %t1, 16               ; <i1> [#uses=1]
 141         %t3 = select i1 %t2, i32 16, i32 0              ; <i32> [#uses=1]
 142         ret i32 %t3
 143 }
 144
 145 ;; Alternate code sequence for (X & 16) ? 16 : 0
 146 define i32 @test15d(i32 %X) {
 147         %t1 = and i32 %X, 16            ; <i32> [#uses=1]
 148         %t2 = icmp ne i32 %t1, 0                ; <i1> [#uses=1]
 149         %t3 = select i1 %t2, i32 16, i32 0              ; <i32> [#uses=1]
 150         ret i32 %t3
 151 }
 152
 153 define i32 @test16(i1 %C, i32* %P) {
 154         %P2 = select i1 %C, i32* %P, i32* null          ; <i32*> [#uses=1]
 155         %V = load i32* %P2              ; <i32> [#uses=1]
 156         ret i32 %V
 157 }
 158
 159 define i1 @test17(i32* %X, i1 %C) {
 160         %R = select i1 %C, i32* %X, i32* null           ; <i32*> [#uses=1]
 161         %RV = icmp eq i32* %R, null             ; <i1> [#uses=1]
 162         ret i1 %RV
 163 }
 164
 165 define i32 @test18(i32 %X, i32 %Y, i1 %C) {
 166         %R = select i1 %C, i32 %X, i32 0                ; <i32> [#uses=1]
 167         %V = sdiv i32 %Y, %R            ; <i32> [#uses=1]
 168         ret i32 %V
 169 }
 170
 171 define i32 @test19(i32 %x) {
 172         %tmp = icmp ugt i32 %x, 2147483647              ; <i1> [#uses=1]
 173         %retval = select i1 %tmp, i32 -1, i32 0         ; <i32> [#uses=1]
 174         ret i32 %retval
 175 }
 176
 177 define i32 @test20(i32 %x) {
 178         %tmp = icmp slt i32 %x, 0               ; <i1> [#uses=1]
 179         %retval = select i1 %tmp, i32 -1, i32 0         ; <i32> [#uses=1]
 180         ret i32 %retval
 181 }
 182
 183 define i64 @test21(i32 %x) {
 184         %tmp = icmp slt i32 %x, 0               ; <i1> [#uses=1]
 185         %retval = select i1 %tmp, i64 -1, i64 0         ; <i64> [#uses=1]
 186         ret i64 %retval
 187 }
 188
 189 define i16 @test22(i32 %x) {
 190         %tmp = icmp slt i32 %x, 0               ; <i1> [#uses=1]
 191         %retval = select i1 %tmp, i16 -1, i16 0         ; <i16> [#uses=1]
 192         ret i16 %retval
 193 }
 194
 195 define i1 @test23(i1 %a, i1 %b) {
 196         %c = select i1 %a, i1 %b, i1 %a         ; <i1> [#uses=1]
 197         ret i1 %c
 198 }
 199
 200 define i1 @test24(i1 %a, i1 %b) {
 201         %c = select i1 %a, i1 %a, i1 %b         ; <i1> [#uses=1]
 202         ret i1 %c
 203 }
 204
 205 define i32 @test25(i1 %c)  {
 206 entry:
 207   br i1 %c, label %jump, label %ret
 208 jump:
 209   br label %ret
 210 ret:
 211   %a = phi i1 [true, %jump], [false, %entry]
 212   %b = select i1 %a, i32 10, i32 20
 213   ret i32 %b
 214 }
 215
 216 define i32 @test26(i1 %cond)  {
 217 entry:
 218   br i1 %cond, label %jump, label %ret
 219 jump:
 220   %c = or i1 false, false
 221   br label %ret
 222 ret:
 223   %a = phi i1 [true, %jump], [%c, %entry]
 224   %b = select i1 %a, i32 10, i32 20
 225   ret i32 %b
 226 }
 227
 228 define i32 @test27(i1 %c, i32 %A, i32 %B)  {
 229 entry:
 230   br i1 %c, label %jump, label %ret
 231 jump:
 232   br label %ret
 233 ret:
 234   %a = phi i1 [true, %jump], [false, %entry]
 235   %b = select i1 %a, i32 %A, i32 %B
 236   ret i32 %b
 237 }
 238
 239 define i32 @test28(i1 %cond, i32 %A, i32 %B)  {
 240 entry:
 241   br i1 %cond, label %jump, label %ret
 242 jump:
 243   br label %ret
 244 ret:
 245   %c = phi i32 [%A, %jump], [%B, %entry]
 246   %a = phi i1 [true, %jump], [false, %entry]
 247   %b = select i1 %a, i32 %A, i32 %c
 248   ret i32 %b
 249 }
 250
 251 define i32 @test29(i1 %cond, i32 %A, i32 %B)  {
 252 entry:
 253   br i1 %cond, label %jump, label %ret
 254 jump:
 255   br label %ret
 256 ret:
 257   %c = phi i32 [%A, %jump], [%B, %entry]
 258   %a = phi i1 [true, %jump], [false, %entry]
 259   br label %next
 260
 261 next:
 262   %b = select i1 %a, i32 %A, i32 %c
 263   ret i32 %b
 264 }
 265