test/Transforms/InstCombine/unordered-fcmp-select.ll

   1 ; RUN: opt -S -instcombine < %s | FileCheck %s
   2
   3 ; CHECK-LABEL: @select_max_ugt(
   4 ; CHECK: %cmp.inv = fcmp ole float %a, %b
   5 ; CHECK-NEXT: %sel = select i1 %cmp.inv, float %b, float %a
   6 ; CHECK-NEXT: ret float %sel
   7 define float @select_max_ugt(float %a, float %b) {
   8   %cmp = fcmp ugt float %a, %b
   9   %sel = select i1 %cmp, float %a, float %b
  10   ret float %sel
  11 }
  12
  13 ; CHECK-LABEL: @select_max_uge(
  14 ; CHECK: %cmp.inv = fcmp olt float %a, %b
  15 ; CHECK-NEXT: %sel = select i1 %cmp.inv, float %b, float %a
  16 ; CHECK-NEXT: ret float %sel
  17 define float @select_max_uge(float %a, float %b) {
  18   %cmp = fcmp uge float %a, %b
  19   %sel = select i1 %cmp, float %a, float %b
  20   ret float %sel
  21 }
  22
  23 ; CHECK-LABEL: @select_min_ugt(
  24 ; CHECK: %cmp.inv = fcmp ole float %a, %b
  25 ; CHECK-NEXT: %sel = select i1 %cmp.inv, float %a, float %b
  26 ; CHECK-NEXT: ret float %sel
  27 define float @select_min_ugt(float %a, float %b) {
  28   %cmp = fcmp ugt float %a, %b
  29   %sel = select i1 %cmp, float %b, float %a
  30   ret float %sel
  31 }
  32
  33 ; CHECK-LABEL: @select_min_uge(
  34 ; CHECK: %cmp.inv = fcmp olt float %a, %b
  35 ; CHECK-NEXT: %sel = select i1 %cmp.inv, float %a, float %b
  36 ; CHECK-NEXT: ret float %sel
  37 define float @select_min_uge(float %a, float %b) {
  38   %cmp = fcmp uge float %a, %b
  39   %sel = select i1 %cmp, float %b, float %a
  40   ret float %sel
  41 }
  42
  43 ; CHECK-LABEL: @select_max_ult(
  44 ; CHECK: %cmp.inv = fcmp oge float %a, %b
  45 ; CHECK-NEXT: %sel = select i1 %cmp.inv, float %a, float %b
  46 ; CHECK-NEXT: ret float %sel
  47 define float @select_max_ult(float %a, float %b) {
  48   %cmp = fcmp ult float %a, %b
  49   %sel = select i1 %cmp, float %b, float %a
  50   ret float %sel
  51 }
  52
  53 ; CHECK-LABEL: @select_max_ule(
  54 ; CHECK: %cmp.inv = fcmp ogt float %a, %b
  55 ; CHECK-NEXT: %sel = select i1 %cmp.inv, float %a, float %b
  56 ; CHECK: ret float %sel
  57 define float @select_max_ule(float %a, float %b) {
  58   %cmp = fcmp ule float %a, %b
  59   %sel = select i1 %cmp, float %b, float %a
  60   ret float %sel
  61 }
  62
  63 ; CHECK-LABEL: @select_min_ult(
  64 ; CHECK: %cmp.inv = fcmp oge float %a, %b
  65 ; CHECK-NEXT: %sel = select i1 %cmp.inv, float %b, float %a
  66 ; CHECK-NEXT: ret float %sel
  67 define float @select_min_ult(float %a, float %b) {
  68   %cmp = fcmp ult float %a, %b
  69   %sel = select i1 %cmp, float %a, float %b
  70   ret float %sel
  71 }
  72
  73 ; CHECK-LABEL: @select_min_ule(
  74 ; CHECK: %cmp.inv = fcmp ogt float %a, %b
  75 ; CHECK-NEXT: %sel = select i1 %cmp.inv, float %b, float %a
  76 ; CHECK-NEXT: ret float %sel
  77 define float @select_min_ule(float %a, float %b) {
  78   %cmp = fcmp ule float %a, %b
  79   %sel = select i1 %cmp, float %a, float %b
  80   ret float %sel
  81 }
  82
  83 ; CHECK-LABEL: @select_fcmp_une(
  84 ; CHECK:  %cmp.inv = fcmp oeq float %a, %b
  85 ; CHECK-NEXT:  %sel = select i1 %cmp.inv, float %b, float %a
  86 ; CHECK-NEXT: ret float %sel
  87 define float @select_fcmp_une(float %a, float %b) {
  88   %cmp = fcmp une float %a, %b
  89   %sel = select i1 %cmp, float %a, float %b
  90   ret float %sel
  91 }
  92
  93 ; CHECK-LABEL: @select_fcmp_ueq
  94 ; CHECK:  %cmp.inv = fcmp one float %a, %b
  95 ; CHECK-NEXT:  %sel = select i1 %cmp.inv, float %b, float %a
  96 ; CHECK-NEXT: ret float %sel
  97 define float @select_fcmp_ueq(float %a, float %b) {
  98   %cmp = fcmp ueq float %a, %b
  99   %sel = select i1 %cmp, float %a, float %b
 100   ret float %sel
 101 }
 102
 103 declare void @foo(i1)
 104
 105 ; CHECK-LABEL: @select_max_ugt_2_use_cmp(
 106 ; CHECK: fcmp ugt
 107 ; CHECK-NOT: fcmp
 108 ; CHECK: ret
 109 define float @select_max_ugt_2_use_cmp(float %a, float %b) {
 110   %cmp = fcmp ugt float %a, %b
 111   call void @foo(i1 %cmp)
 112   %sel = select i1 %cmp, float %a, float %b
 113   ret float %sel
 114 }
 115
 116 ; CHECK-LABEL: @select_min_uge_2_use_cmp(
 117 ; CHECK: fcmp uge
 118 ; CHECK-NOT: fcmp
 119 ; CHECK: ret
 120 define float @select_min_uge_2_use_cmp(float %a, float %b) {
 121   %cmp = fcmp uge float %a, %b
 122   call void @foo(i1 %cmp)
 123   %sel = select i1 %cmp, float %b, float %a
 124   ret float %sel
 125 }