test/CodeGen/X86/fast-isel-select-cmp.ll

   1 ; RUN: llc < %s -O0 -mtriple=x86_64-apple-darwin10 | FileCheck %s
   2
   3 ; Test if we do not fold the cmp into select if the instructions are in
   4 ; different basic blocks.
   5
   6 define i32 @select_cmp_cmov_i32(i32 %a, i32 %b) {
   7 ; CHECK-LABEL: select_cmp_cmov_i32
   8 ; CHECK-LABEL: continue
   9 ; CHECK-NOT:   cmp
  10   %1 = icmp ult i32 %a, %b
  11   br i1 %1, label %continue, label %exit
  12
  13 continue:
  14   %2 = select i1 %1, i32 %a, i32 %b
  15   ret i32 %2
  16
  17 exit:
  18   ret i32 -1
  19 }
  20
  21 define float @select_fcmp_oeq_f32(float %a, float %b, float %c, float %d) {
  22 ; CHECK-LABEL: select_fcmp_oeq_f32
  23 ; CHECK-LABEL: continue
  24 ; CHECK-NOT:   cmp
  25   %1 = fcmp oeq float %a, %b
  26   br i1 %1, label %continue, label %exit
  27
  28 continue:
  29   %2 = select i1 %1, float %c, float %d
  30   ret float %2
  31
  32 exit:
  33   ret float -1.0
  34 }
  35
  36 define float @select_fcmp_one_f32(float %a, float %b, float %c, float %d) {
  37 ; CHECK-LABEL: select_fcmp_one_f32
  38 ; CHECK-LABEL: continue
  39 ; CHECK-NOT:   ucomi
  40   %1 = fcmp one float %a, %b
  41   br i1 %1, label %continue, label %exit
  42
  43 continue:
  44   %2 = select i1 %1, float %c, float %d
  45   ret float %2
  46
  47 exit:
  48   ret float -1.0
  49 }
  50