test/CodeGen/PowerPC/fast-isel-cmp-imm.ll

   1 ; RUN: llc < %s -O0 -verify-machineinstrs -fast-isel-abort=1 -mtriple=powerpc64-unknown-linux-gnu -mcpu=pwr7 -mattr=-vsx | FileCheck %s --check-prefix=ELF64
   2 ; RUN: llc < %s -O0 -verify-machineinstrs -fast-isel-abort=1 -mtriple=powerpc64le-unknown-linux-gnu -mattr=+vsx | FileCheck %s --check-prefix=VSX
   3 ; RUN: llc < %s -O0 -verify-machineinstrs -fast-isel-abort=1 -mtriple=powerpc-unknown-linux-gnu -mcpu=e500 -mattr=spe | FileCheck %s --check-prefix=SPE
   4
   5 declare void @foo()
   6
   7 define void @t1a(float %a) nounwind {
   8 entry:
   9 ; ELF64-LABEL: @t1a
  10 ; SPE-LABEL: @t1a
  11 ; VSX-LABEL: @t1a
  12   %cmp = fcmp oeq float %a, 0.000000e+00
  13 ; ELF64: addis
  14 ; ELF64: lfs
  15 ; ELF64: fcmpu
  16 ; VSX: addis
  17 ; VSX: lfs
  18 ; VSX: fcmpu
  19 ; SPE: efscmpeq
  20   br i1 %cmp, label %if.then, label %if.end
  21
  22 if.then:                                          ; preds = %entry
  23   call void @foo()
  24   br label %if.end
  25
  26 if.end:                                           ; preds = %if.then, %entry
  27   ret void
  28 }
  29
  30 define void @t1b(float %a) nounwind {
  31 entry:
  32 ; ELF64-LABEL: @t1b
  33 ; SPE-LABEL: @t1b
  34 ; VSX-LABEL: @t1b
  35   %cmp = fcmp oeq float %a, -0.000000e+00
  36 ; ELF64: addis
  37 ; ELF64: lfs
  38 ; ELF64: fcmpu
  39 ; VSX: addis
  40 ; VSX: lfs
  41 ; VSX: fcmpu
  42 ; SPE: efscmpeq
  43   br i1 %cmp, label %if.then, label %if.end
  44
  45 if.then:                                          ; preds = %entry
  46   call void @foo()
  47   br label %if.end
  48
  49 if.end:                                           ; preds = %if.then, %entry
  50   ret void
  51 }
  52
  53 define void @t1c(float %a) nounwind {
  54 entry:
  55 ; ELF64-LABEL: @t1c
  56 ; SPE-LABEL: @t1c
  57 ; VSX-LABEL: @t1c
  58   %cmp = fcmp oeq float -0.000000e+00, %a
  59 ; ELF64: addis
  60 ; ELF64: lfs
  61 ; ELF64: fcmpu
  62 ; VSX: addis
  63 ; VSX: lfs
  64 ; VSX: fcmpu
  65 ; SPE: efscmpeq
  66   br i1 %cmp, label %if.then, label %if.end
  67
  68 if.then:                                          ; preds = %entry
  69   call void @foo()
  70   br label %if.end
  71
  72 if.end:                                           ; preds = %if.then, %entry
  73   ret void
  74 }
  75
  76 define void @t2a(double %a) nounwind {
  77 entry:
  78 ; ELF64-LABEL: @t2a
  79 ; SPE-LABEL: @t2a
  80 ; VSX-LABEL: @t2a
  81   %cmp = fcmp oeq double %a, 0.000000e+00
  82 ; ELF64: addis
  83 ; ELF64: lfd
  84 ; ELF64: fcmpu
  85 ; VSX: addis
  86 ; VSX: lfd
  87 ; VSX: xscmpudp
  88 ; SPE: efdcmpeq
  89   br i1 %cmp, label %if.then, label %if.end
  90
  91 if.then:                                          ; preds = %entry
  92   call void @foo()
  93   br label %if.end
  94
  95 if.end:                                           ; preds = %if.then, %entry
  96   ret void
  97 }
  98
  99 define void @t2b(double %a) nounwind {
 100 entry:
 101 ; ELF64-LABEL: @t2b
 102 ; SPE-LABEL: @t2b
 103 ; VSX-LABEL: @t2b
 104   %cmp = fcmp oeq double %a, -0.000000e+00
 105 ; ELF64: addis
 106 ; ELF64: lfd
 107 ; ELF64: fcmpu
 108 ; VSX: addis
 109 ; VSX: lfd
 110 ; VSX: xscmpudp
 111 ; SPE: efdcmpeq
 112   br i1 %cmp, label %if.then, label %if.end
 113
 114 if.then:                                          ; preds = %entry
 115   call void @foo()
 116   br label %if.end
 117
 118 if.end:                                           ; preds = %if.then, %entry
 119   ret void
 120 }
 121
 122 define void @t2c(double %a) nounwind {
 123 entry:
 124 ; ELF64-LABEL: @t2c
 125 ; SPE-LABEL: @t2c
 126 ; VSX-LABEL: @t2c
 127   %cmp = fcmp oeq double -0.000000e+00, %a
 128 ; ELF64: addis
 129 ; ELF64: lfd
 130 ; ELF64: fcmpu
 131 ; VSX: addis
 132 ; VSX: lfd
 133 ; VSX: xscmpudp
 134 ; SPE: efdcmpeq
 135   br i1 %cmp, label %if.then, label %if.end
 136
 137 if.then:                                          ; preds = %entry
 138   call void @foo()
 139   br label %if.end
 140
 141 if.end:                                           ; preds = %if.then, %entry
 142   ret void
 143 }
 144
 145 define void @t4(i8 signext %a) nounwind {
 146 entry:
 147 ; ELF64-LABEL: @t4
 148   %cmp = icmp eq i8 %a, -1
 149 ; ELF64: extsb
 150 ; ELF64: cmpwi
 151   br i1 %cmp, label %if.then, label %if.end
 152
 153 if.then:                                          ; preds = %entry
 154   call void @foo()
 155   br label %if.end
 156
 157 if.end:                                           ; preds = %if.then, %entry
 158   ret void
 159 }
 160
 161 define void @t5(i8 zeroext %a) nounwind {
 162 entry:
 163 ; ELF64-LABEL: @t5
 164   %cmp = icmp eq i8 %a, 1
 165 ; ELF64: extsb
 166 ; ELF64: cmpwi
 167   br i1 %cmp, label %if.then, label %if.end
 168
 169 if.then:                                          ; preds = %entry
 170   call void @foo()
 171   br label %if.end
 172
 173 if.end:                                           ; preds = %if.then, %entry
 174   ret void
 175 }
 176
 177 define void @t5a(i8 zeroext %a) nounwind {
 178 entry:
 179 ; ELF64-LABEL: @t5a
 180   %cmp = icmp eq i8 1, %a
 181 ; ELF64: extsb
 182 ; ELF64: cmpw
 183   br i1 %cmp, label %if.then, label %if.end
 184
 185 if.then:                                          ; preds = %entry
 186   call void @foo()
 187   br label %if.end
 188
 189 if.end:                                           ; preds = %if.then, %entry
 190   ret void
 191 }
 192
 193 define void @t6(i16 signext %a) nounwind {
 194 entry:
 195 ; ELF64-LABEL: @t6
 196   %cmp = icmp eq i16 %a, -1
 197 ; ELF64: extsh
 198 ; ELF64: cmpwi
 199   br i1 %cmp, label %if.then, label %if.end
 200
 201 if.then:                                          ; preds = %entry
 202   call void @foo()
 203   br label %if.end
 204
 205 if.end:                                           ; preds = %if.then, %entry
 206   ret void
 207 }
 208
 209 define void @t7(i16 zeroext %a) nounwind {
 210 entry:
 211 ; ELF64-LABEL: @t7
 212   %cmp = icmp eq i16 %a, 1
 213 ; ELF64: extsh
 214 ; ELF64: cmpwi
 215   br i1 %cmp, label %if.then, label %if.end
 216
 217 if.then:                                          ; preds = %entry
 218   call void @foo()
 219   br label %if.end
 220
 221 if.end:                                           ; preds = %if.then, %entry
 222   ret void
 223 }
 224
 225 define void @t7a(i16 zeroext %a) nounwind {
 226 entry:
 227 ; ELF64-LABEL: @t7a
 228   %cmp = icmp eq i16 1, %a
 229 ; ELF64: extsh
 230 ; ELF64: cmpw
 231   br i1 %cmp, label %if.then, label %if.end
 232
 233 if.then:                                          ; preds = %entry
 234   call void @foo()
 235   br label %if.end
 236
 237 if.end:                                           ; preds = %if.then, %entry
 238   ret void
 239 }
 240
 241 define void @t8(i32 %a) nounwind {
 242 entry:
 243 ; ELF64-LABEL: @t8
 244   %cmp = icmp eq i32 %a, -1
 245 ; ELF64: cmpwi
 246   br i1 %cmp, label %if.then, label %if.end
 247
 248 if.then:                                          ; preds = %entry
 249   call void @foo()
 250   br label %if.end
 251
 252 if.end:                                           ; preds = %if.then, %entry
 253   ret void
 254 }
 255
 256 define void @t9(i32 %a) nounwind {
 257 entry:
 258 ; ELF64-LABEL: @t9
 259   %cmp = icmp eq i32 %a, 1
 260 ; ELF64: cmpwi
 261   br i1 %cmp, label %if.then, label %if.end
 262
 263 if.then:                                          ; preds = %entry
 264   call void @foo()
 265   br label %if.end
 266
 267 if.end:                                           ; preds = %if.then, %entry
 268   ret void
 269 }
 270
 271 define void @t10(i32 %a) nounwind {
 272 entry:
 273 ; ELF64-LABEL: @t10
 274   %cmp = icmp eq i32 %a, 384
 275 ; ELF64: cmpwi
 276   br i1 %cmp, label %if.then, label %if.end
 277
 278 if.then:                                          ; preds = %entry
 279   call void @foo()
 280   br label %if.end
 281
 282 if.end:                                           ; preds = %if.then, %entry
 283   ret void
 284 }
 285
 286 define void @t11(i32 %a) nounwind {
 287 entry:
 288 ; ELF64-LABEL: @t11
 289   %cmp = icmp eq i32 %a, 4096
 290 ; ELF64: cmpwi
 291   br i1 %cmp, label %if.then, label %if.end
 292
 293 if.then:                                          ; preds = %entry
 294   call void @foo()
 295   br label %if.end
 296
 297 if.end:                                           ; preds = %if.then, %entry
 298   ret void
 299 }
 300
 301 define void @t11a(i32 %a) nounwind {
 302 entry:
 303 ; ELF64-LABEL: @t11a
 304   %cmp = icmp eq i32 4096, %a
 305 ; ELF64: cmpw
 306   br i1 %cmp, label %if.then, label %if.end
 307
 308 if.then:                                          ; preds = %entry
 309   call void @foo()
 310   br label %if.end
 311
 312 if.end:                                           ; preds = %if.then, %entry
 313   ret void
 314 }
 315
 316 define void @t12(i8 %a) nounwind {
 317 entry:
 318 ; ELF64-LABEL: @t12
 319   %cmp = icmp ugt i8 %a, -113
 320 ; ELF64: clrlwi
 321 ; ELF64: cmplwi
 322   br i1 %cmp, label %if.then, label %if.end
 323
 324 if.then:                                          ; preds = %entry
 325   call void @foo()
 326   br label %if.end
 327
 328 if.end:                                           ; preds = %if.then, %entry
 329   ret void
 330 }
 331
 332 define void @t13() nounwind ssp {
 333 entry:
 334 ; ELF64-LABEL: @t13
 335   %cmp = icmp slt i32 -123, -2147483648
 336 ; ELF64: li
 337 ; ELF64: lis
 338 ; ELF64: cmpw
 339   br i1 %cmp, label %if.then, label %if.end
 340
 341 if.then:                                          ; preds = %entry
 342   ret void
 343
 344 if.end:                                           ; preds = %entry
 345   ret void
 346 }
 347
 348 define void @t14(i64 %a) nounwind {
 349 entry:
 350 ; ELF64-LABEL: @t14
 351   %cmp = icmp eq i64 %a, -1
 352 ; ELF64: cmpdi
 353   br i1 %cmp, label %if.then, label %if.end
 354
 355 if.then:                                          ; preds = %entry
 356   call void @foo()
 357   br label %if.end
 358
 359 if.end:                                           ; preds = %if.then, %entry
 360   ret void
 361 }
 362
 363 define void @t15(i64 %a) nounwind {
 364 entry:
 365 ; ELF64-LABEL: @t15
 366   %cmp = icmp eq i64 %a, 1
 367 ; ELF64: cmpdi
 368   br i1 %cmp, label %if.then, label %if.end
 369
 370 if.then:                                          ; preds = %entry
 371   call void @foo()
 372   br label %if.end
 373
 374 if.end:                                           ; preds = %if.then, %entry
 375   ret void
 376 }
 377
 378 define void @t16(i64 %a) nounwind {
 379 entry:
 380 ; ELF64-LABEL: @t16
 381   %cmp = icmp eq i64 %a, 384
 382 ; ELF64: cmpdi
 383   br i1 %cmp, label %if.then, label %if.end
 384
 385 if.then:                                          ; preds = %entry
 386   call void @foo()
 387   br label %if.end
 388
 389 if.end:                                           ; preds = %if.then, %entry
 390   ret void
 391 }
 392
 393 define void @t17(i64 %a) nounwind {
 394 entry:
 395 ; ELF64-LABEL: @t17
 396   %cmp = icmp eq i64 %a, 32768
 397 ; Extra operand so we don't match on cmpdi.
 398 ; ELF64: cmpd {{[0-9]+}}
 399   br i1 %cmp, label %if.then, label %if.end
 400
 401 if.then:                                          ; preds = %entry
 402   call void @foo()
 403   br label %if.end
 404
 405 if.end:                                           ; preds = %if.then, %entry
 406   ret void
 407 }
 408
 409 define void @t17a(i64 %a) nounwind {
 410 entry:
 411 ; ELF64-LABEL: @t17a
 412   %cmp = icmp eq i64 32768, %a
 413 ; Extra operand so we don't match on cmpdi.
 414 ; ELF64: cmpd {{[0-9]+}}
 415   br i1 %cmp, label %if.then, label %if.end
 416
 417 if.then:                                          ; preds = %entry
 418   call void @foo()
 419   br label %if.end
 420
 421 if.end:                                           ; preds = %if.then, %entry
 422   ret void
 423 }
 424