llvm/test/Transforms/InstCombine/fcmp-fadd-select.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
   2 ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
   3
   4 ; fcmp OGT + fadd + sel => fcmp OGT + sel => fmaxnum
   5
   6 define float @test_fcmp_ogt_fadd_select_constant(float %in) {
   7 ; CHECK-LABEL: define float @test_fcmp_ogt_fadd_select_constant(
   8 ; CHECK-SAME: float [[IN:%.*]]) {
   9 ; CHECK-NEXT:    [[SEL_NEW:%.*]] = call nnan nsz float @llvm.maxnum.f32(float [[IN]], float 0.000000e+00)
  10 ; CHECK-NEXT:    [[ADD_NEW:%.*]] = fadd nnan nsz float [[SEL_NEW]], 1.000000e+00
  11 ; CHECK-NEXT:    ret float [[ADD_NEW]]
  12 ;
  13   %cmp1 = fcmp ogt float %in, 0.000000e+00
  14   %add = fadd float %in, 1.000000e+00
  15   %sel = select nnan nsz i1 %cmp1, float %add, float 1.000000e+00
  16   ret float %sel
  17 }
  18
  19 define float @test_fcmp_ogt_fadd_select_constant_swapped(float %in) {
  20 ; CHECK-LABEL: define float @test_fcmp_ogt_fadd_select_constant_swapped(
  21 ; CHECK-SAME: float [[IN:%.*]]) {
  22 ; CHECK-NEXT:    [[SEL_NEW:%.*]] = call nnan nsz float @llvm.maxnum.f32(float [[IN]], float 0.000000e+00)
  23 ; CHECK-NEXT:    [[ADD_NEW:%.*]] = fadd nnan nsz float [[SEL_NEW]], 1.000000e+00
  24 ; CHECK-NEXT:    ret float [[ADD_NEW]]
  25 ;
  26   %cmp1 = fcmp ogt float %in, 0.000000e+00
  27   %add = fadd float %in, 1.000000e+00
  28   %sel = select nnan nsz i1 %cmp1, float 1.000000e+00, float %add
  29   ret float %sel
  30 }
  31
  32 define float @test_fcmp_ogt_fadd_select_neg_constant(float %in) {
  33 ; CHECK-LABEL: define float @test_fcmp_ogt_fadd_select_neg_constant(
  34 ; CHECK-SAME: float [[IN:%.*]]) {
  35 ; CHECK-NEXT:    [[SEL_NEW:%.*]] = call nnan nsz float @llvm.maxnum.f32(float [[IN]], float 0.000000e+00)
  36 ; CHECK-NEXT:    [[ADD_NEW:%.*]] = fadd nnan nsz float [[SEL_NEW]], 1.000000e+00
  37 ; CHECK-NEXT:    ret float [[ADD_NEW]]
  38 ;
  39   %cmp1 = fcmp ogt float %in, -0.000000e+00
  40   %add = fadd float %in, 1.000000e+00
  41   %sel = select nnan nsz i1 %cmp1, float %add, float 1.000000e+00
  42   ret float %sel
  43 }
  44
  45 define float @test_fcmp_ogt_fadd_select_fastmath_preserve(float %in) {
  46 ; CHECK-LABEL: define float @test_fcmp_ogt_fadd_select_fastmath_preserve(
  47 ; CHECK-SAME: float [[IN:%.*]]) {
  48 ; CHECK-NEXT:    [[SEL_NEW:%.*]] = call nnan nsz float @llvm.maxnum.f32(float [[IN]], float 0.000000e+00)
  49 ; CHECK-NEXT:    [[ADD_NEW:%.*]] = fadd nnan nsz float [[SEL_NEW]], 1.000000e+00
  50 ; CHECK-NEXT:    ret float [[ADD_NEW]]
  51 ;
  52   %cmp1 = fcmp ogt float %in, 0.000000e+00
  53   %add = fadd nnan float %in, 1.000000e+00
  54   %sel = select nnan nsz i1 %cmp1, float %add, float 1.000000e+00
  55   ret float %sel
  56 }
  57
  58 define <2 x float> @test_fcmp_ogt_fadd_select_constant_vectors(<2 x float> %in) {
  59 ; CHECK-LABEL: define <2 x float> @test_fcmp_ogt_fadd_select_constant_vectors(
  60 ; CHECK-SAME: <2 x float> [[IN:%.*]]) {
  61 ; CHECK-NEXT:    [[SEL_NEW:%.*]] = call nnan nsz <2 x float> @llvm.maxnum.v2f32(<2 x float> [[IN]], <2 x float> zeroinitializer)
  62 ; CHECK-NEXT:    [[ADD_NEW:%.*]] = fadd nnan nsz <2 x float> [[SEL_NEW]], splat (float 1.000000e+00)
  63 ; CHECK-NEXT:    ret <2 x float> [[ADD_NEW]]
  64 ;
  65   %cmp1 = fcmp ogt <2 x float> %in, <float 0.000000e+00, float 0.000000e+00>
  66   %add = fadd <2 x float> %in, <float 1.000000e+00, float 1.000000e+00>
  67   %sel = select nnan nsz <2 x i1> %cmp1, <2 x float> %add, <2 x float> <float 1.000000e+00, float 1.000000e+00>
  68   ret <2 x float> %sel
  69 }
  70
  71
  72 ; fcmp OLT + fadd + sel => fcmp OLT + sel => fminnum
  73
  74 define float @test_fcmp_olt_fadd_select_constant(float %in) {
  75 ; CHECK-LABEL: define float @test_fcmp_olt_fadd_select_constant(
  76 ; CHECK-SAME: float [[IN:%.*]]) {
  77 ; CHECK-NEXT:    [[SEL_NEW:%.*]] = call nnan nsz float @llvm.minnum.f32(float [[IN]], float 0.000000e+00)
  78 ; CHECK-NEXT:    [[ADD_NEW:%.*]] = fadd nnan nsz float [[SEL_NEW]], 1.000000e+00
  79 ; CHECK-NEXT:    ret float [[ADD_NEW]]
  80 ;
  81   %cmp1 = fcmp olt float %in, 0.000000e+00
  82   %add = fadd float %in, 1.000000e+00
  83   %sel = select nnan nsz i1 %cmp1, float %add, float 1.000000e+00
  84   ret float %sel
  85 }
  86
  87 define float @test_fcmp_olt_fadd_select_constant_swapped(float %in) {
  88 ; CHECK-LABEL: define float @test_fcmp_olt_fadd_select_constant_swapped(
  89 ; CHECK-SAME: float [[IN:%.*]]) {
  90 ; CHECK-NEXT:    [[SEL_NEW:%.*]] = call nnan nsz float @llvm.minnum.f32(float [[IN]], float 0.000000e+00)
  91 ; CHECK-NEXT:    [[ADD_NEW:%.*]] = fadd nnan nsz float [[SEL_NEW]], 1.000000e+00
  92 ; CHECK-NEXT:    ret float [[ADD_NEW]]
  93 ;
  94   %cmp1 = fcmp olt float %in, 0.000000e+00
  95   %add = fadd float %in, 1.000000e+00
  96   %sel = select nnan nsz i1 %cmp1, float 1.000000e+00, float %add
  97   ret float %sel
  98 }
  99
 100 define float @test_fcmp_olt_fadd_select_neg_constant(float %in) {
 101 ; CHECK-LABEL: define float @test_fcmp_olt_fadd_select_neg_constant(
 102 ; CHECK-SAME: float [[IN:%.*]]) {
 103 ; CHECK-NEXT:    [[SEL_NEW:%.*]] = call nnan nsz float @llvm.minnum.f32(float [[IN]], float 0.000000e+00)
 104 ; CHECK-NEXT:    [[ADD_NEW:%.*]] = fadd nnan nsz float [[SEL_NEW]], 1.000000e+00
 105 ; CHECK-NEXT:    ret float [[ADD_NEW]]
 106 ;
 107   %cmp1 = fcmp olt float %in, -0.000000e+00
 108   %add = fadd float %in, 1.000000e+00
 109   %sel = select nnan nsz i1 %cmp1, float %add, float 1.000000e+00
 110   ret float %sel
 111 }
 112
 113 define float @test_fcmp_olt_fadd_select_fastmath_preserve(float %in) {
 114 ; CHECK-LABEL: define float @test_fcmp_olt_fadd_select_fastmath_preserve(
 115 ; CHECK-SAME: float [[IN:%.*]]) {
 116 ; CHECK-NEXT:    [[SEL_NEW:%.*]] = call nnan nsz float @llvm.minnum.f32(float [[IN]], float 0.000000e+00)
 117 ; CHECK-NEXT:    [[ADD_NEW:%.*]] = fadd nnan nsz float [[SEL_NEW]], 1.000000e+00
 118 ; CHECK-NEXT:    ret float [[ADD_NEW]]
 119 ;
 120   %cmp1 = fcmp olt float %in, 0.000000e+00
 121   %add = fadd nnan float %in, 1.000000e+00
 122   %sel = select nnan nsz i1 %cmp1, float %add, float 1.000000e+00
 123   ret float %sel
 124 }
 125
 126 define <2 x float> @test_fcmp_olt_fadd_select_constant_vectors(<2 x float> %in) {
 127 ; CHECK-LABEL: define <2 x float> @test_fcmp_olt_fadd_select_constant_vectors(
 128 ; CHECK-SAME: <2 x float> [[IN:%.*]]) {
 129 ; CHECK-NEXT:    [[SEL_NEW:%.*]] = call nnan nsz <2 x float> @llvm.minnum.v2f32(<2 x float> [[IN]], <2 x float> zeroinitializer)
 130 ; CHECK-NEXT:    [[ADD_NEW:%.*]] = fadd nnan nsz <2 x float> [[SEL_NEW]], splat (float 1.000000e+00)
 131 ; CHECK-NEXT:    ret <2 x float> [[ADD_NEW]]
 132 ;
 133   %cmp1 = fcmp olt <2 x float> %in, <float 0.000000e+00, float 0.000000e+00>
 134   %add = fadd <2 x float> %in, <float 1.000000e+00, float 1.000000e+00>
 135   %sel = select nnan nsz <2 x i1> %cmp1, <2 x float> %add, <2 x float> <float 1.000000e+00, float 1.000000e+00>
 136   ret <2 x float> %sel
 137 }
 138
 139
 140 ; fcmp OGE + fadd + sel => fcmp OGE + sel => fmaxnum
 141
 142 define float @test_fcmp_oge_fadd_select_constant(float %in) {
 143 ; CHECK-LABEL: define float @test_fcmp_oge_fadd_select_constant(
 144 ; CHECK-SAME: float [[IN:%.*]]) {
 145 ; CHECK-NEXT:    [[SEL_NEW:%.*]] = call nnan nsz float @llvm.maxnum.f32(float [[IN]], float 0.000000e+00)
 146 ; CHECK-NEXT:    [[ADD_NEW:%.*]] = fadd nnan nsz float [[SEL_NEW]], 1.000000e+00
 147 ; CHECK-NEXT:    ret float [[ADD_NEW]]
 148 ;
 149   %cmp1 = fcmp oge float %in, 0.000000e+00
 150   %add = fadd float %in, 1.000000e+00
 151   %sel = select nnan nsz i1 %cmp1, float %add, float 1.000000e+00
 152   ret float %sel
 153 }
 154
 155 define float @test_fcmp_oge_fadd_select_constant_swapped(float %in) {
 156 ; CHECK-LABEL: define float @test_fcmp_oge_fadd_select_constant_swapped(
 157 ; CHECK-SAME: float [[IN:%.*]]) {
 158 ; CHECK-NEXT:    [[SEL_NEW:%.*]] = call nnan nsz float @llvm.maxnum.f32(float [[IN]], float 0.000000e+00)
 159 ; CHECK-NEXT:    [[ADD_NEW:%.*]] = fadd nnan nsz float [[SEL_NEW]], 1.000000e+00
 160 ; CHECK-NEXT:    ret float [[ADD_NEW]]
 161 ;
 162   %cmp1 = fcmp oge float %in, 0.000000e+00
 163   %add = fadd float %in, 1.000000e+00
 164   %sel = select nnan nsz i1 %cmp1, float 1.000000e+00, float %add
 165   ret float %sel
 166 }
 167
 168 define float @test_fcmp_oge_fadd_select_neg_constant(float %in) {
 169 ; CHECK-LABEL: define float @test_fcmp_oge_fadd_select_neg_constant(
 170 ; CHECK-SAME: float [[IN:%.*]]) {
 171 ; CHECK-NEXT:    [[SEL_NEW:%.*]] = call nnan nsz float @llvm.maxnum.f32(float [[IN]], float 0.000000e+00)
 172 ; CHECK-NEXT:    [[ADD_NEW:%.*]] = fadd nnan nsz float [[SEL_NEW]], 1.000000e+00
 173 ; CHECK-NEXT:    ret float [[ADD_NEW]]
 174 ;
 175   %cmp1 = fcmp oge float %in, -0.000000e+00
 176   %add = fadd float %in, 1.000000e+00
 177   %sel = select nnan nsz i1 %cmp1, float %add, float 1.000000e+00
 178   ret float %sel
 179 }
 180
 181 define float @test_fcmp_oge_fadd_select_fastmath_preserve(float %in) {
 182 ; CHECK-LABEL: define float @test_fcmp_oge_fadd_select_fastmath_preserve(
 183 ; CHECK-SAME: float [[IN:%.*]]) {
 184 ; CHECK-NEXT:    [[SEL_NEW:%.*]] = call nnan nsz float @llvm.maxnum.f32(float [[IN]], float 0.000000e+00)
 185 ; CHECK-NEXT:    [[ADD_NEW:%.*]] = fadd nnan nsz float [[SEL_NEW]], 1.000000e+00
 186 ; CHECK-NEXT:    ret float [[ADD_NEW]]
 187 ;
 188   %cmp1 = fcmp oge float %in, 0.000000e+00
 189   %add = fadd nnan float %in, 1.000000e+00
 190   %sel = select nnan nsz i1 %cmp1, float %add, float 1.000000e+00
 191   ret float %sel
 192 }
 193
 194 define <2 x float> @test_fcmp_oge_fadd_select_constant_vectors(<2 x float> %in) {
 195 ; CHECK-LABEL: define <2 x float> @test_fcmp_oge_fadd_select_constant_vectors(
 196 ; CHECK-SAME: <2 x float> [[IN:%.*]]) {
 197 ; CHECK-NEXT:    [[SEL_NEW:%.*]] = call nnan nsz <2 x float> @llvm.maxnum.v2f32(<2 x float> [[IN]], <2 x float> zeroinitializer)
 198 ; CHECK-NEXT:    [[ADD_NEW:%.*]] = fadd nnan nsz <2 x float> [[SEL_NEW]], splat (float 1.000000e+00)
 199 ; CHECK-NEXT:    ret <2 x float> [[ADD_NEW]]
 200 ;
 201   %cmp1 = fcmp oge <2 x float> %in, <float 0.000000e+00, float 0.000000e+00>
 202   %add = fadd <2 x float> %in, <float 1.000000e+00, float 1.000000e+00>
 203   %sel = select nnan nsz <2 x i1> %cmp1, <2 x float> %add, <2 x float> <float 1.000000e+00, float 1.000000e+00>
 204   ret <2 x float> %sel
 205 }
 206
 207
 208 ; fcmp OLE + fadd + sel => fcmp OLE + sel => fminnum
 209
 210 define float @test_fcmp_ole_fadd_select_constant(float %in) {
 211 ; CHECK-LABEL: define float @test_fcmp_ole_fadd_select_constant(
 212 ; CHECK-SAME: float [[IN:%.*]]) {
 213 ; CHECK-NEXT:    [[SEL_NEW:%.*]] = call nnan nsz float @llvm.minnum.f32(float [[IN]], float 0.000000e+00)
 214 ; CHECK-NEXT:    [[ADD_NEW:%.*]] = fadd nnan nsz float [[SEL_NEW]], 1.000000e+00
 215 ; CHECK-NEXT:    ret float [[ADD_NEW]]
 216 ;
 217   %cmp1 = fcmp ole float %in, 0.000000e+00
 218   %add = fadd float %in, 1.000000e+00
 219   %sel = select nnan nsz i1 %cmp1, float %add, float 1.000000e+00
 220   ret float %sel
 221 }
 222
 223 define float @test_fcmp_ole_fadd_select_constant_swapped(float %in) {
 224 ; CHECK-LABEL: define float @test_fcmp_ole_fadd_select_constant_swapped(
 225 ; CHECK-SAME: float [[IN:%.*]]) {
 226 ; CHECK-NEXT:    [[SEL_NEW:%.*]] = call nnan nsz float @llvm.minnum.f32(float [[IN]], float 0.000000e+00)
 227 ; CHECK-NEXT:    [[ADD_NEW:%.*]] = fadd nnan nsz float [[SEL_NEW]], 1.000000e+00
 228 ; CHECK-NEXT:    ret float [[ADD_NEW]]
 229 ;
 230   %cmp1 = fcmp ole float %in, 0.000000e+00
 231   %add = fadd float %in, 1.000000e+00
 232   %sel = select nnan nsz i1 %cmp1, float 1.000000e+00, float %add
 233   ret float %sel
 234 }
 235
 236 define float @test_fcmp_ole_fadd_select_neg_constant(float %in) {
 237 ; CHECK-LABEL: define float @test_fcmp_ole_fadd_select_neg_constant(
 238 ; CHECK-SAME: float [[IN:%.*]]) {
 239 ; CHECK-NEXT:    [[SEL_NEW:%.*]] = call nnan nsz float @llvm.minnum.f32(float [[IN]], float 0.000000e+00)
 240 ; CHECK-NEXT:    [[ADD_NEW:%.*]] = fadd nnan nsz float [[SEL_NEW]], 1.000000e+00
 241 ; CHECK-NEXT:    ret float [[ADD_NEW]]
 242 ;
 243   %cmp1 = fcmp ole float %in, -0.000000e+00
 244   %add = fadd float %in, 1.000000e+00
 245   %sel = select nnan nsz i1 %cmp1, float %add, float 1.000000e+00
 246   ret float %sel
 247 }
 248
 249 define float @test_fcmp_ole_fadd_select_fastmath_preserve(float %in) {
 250 ; CHECK-LABEL: define float @test_fcmp_ole_fadd_select_fastmath_preserve(
 251 ; CHECK-SAME: float [[IN:%.*]]) {
 252 ; CHECK-NEXT:    [[SEL_NEW:%.*]] = call nnan nsz float @llvm.minnum.f32(float [[IN]], float 0.000000e+00)
 253 ; CHECK-NEXT:    [[ADD_NEW:%.*]] = fadd nnan nsz float [[SEL_NEW]], 1.000000e+00
 254 ; CHECK-NEXT:    ret float [[ADD_NEW]]
 255 ;
 256   %cmp1 = fcmp ole float %in, 0.000000e+00
 257   %add = fadd nnan float %in, 1.000000e+00
 258   %sel = select nnan nsz i1 %cmp1, float %add, float 1.000000e+00
 259   ret float %sel
 260 }
 261
 262 define <2 x float> @test_fcmp_ole_fadd_select_constant_vectors(<2 x float> %in) {
 263 ; CHECK-LABEL: define <2 x float> @test_fcmp_ole_fadd_select_constant_vectors(
 264 ; CHECK-SAME: <2 x float> [[IN:%.*]]) {
 265 ; CHECK-NEXT:    [[SEL_NEW:%.*]] = call nnan nsz <2 x float> @llvm.minnum.v2f32(<2 x float> [[IN]], <2 x float> zeroinitializer)
 266 ; CHECK-NEXT:    [[ADD_NEW:%.*]] = fadd nnan nsz <2 x float> [[SEL_NEW]], splat (float 1.000000e+00)
 267 ; CHECK-NEXT:    ret <2 x float> [[ADD_NEW]]
 268 ;
 269   %cmp1 = fcmp ole <2 x float> %in, <float 0.000000e+00, float 0.000000e+00>
 270   %add = fadd <2 x float> %in, <float 1.000000e+00, float 1.000000e+00>
 271   %sel = select nnan nsz <2 x i1> %cmp1, <2 x float> %add, <2 x float> <float 1.000000e+00, float 1.000000e+00>
 272   ret <2 x float> %sel
 273 }
 274
 275
 276 ; fcmp UGT + fadd + sel => fcmp UGT + sel => fcmp OLE + sel
 277
 278 define float @test_fcmp_ugt_fadd_select_constant(float %in) {
 279 ; CHECK-LABEL: define float @test_fcmp_ugt_fadd_select_constant(
 280 ; CHECK-SAME: float [[IN:%.*]]) {
 281 ; CHECK-NEXT:    [[CMP1_INV:%.*]] = fcmp ole float [[IN]], 0.000000e+00
 282 ; CHECK-NEXT:    [[SEL_NEW:%.*]] = select i1 [[CMP1_INV]], float 0.000000e+00, float [[IN]]
 283 ; CHECK-NEXT:    [[ADD_NEW:%.*]] = fadd nnan nsz float [[SEL_NEW]], 1.000000e+00
 284 ; CHECK-NEXT:    ret float [[ADD_NEW]]
 285 ;
 286   %cmp1 = fcmp ugt float %in, 0.000000e+00
 287   %add = fadd float %in, 1.000000e+00
 288   %sel = select nnan nsz i1 %cmp1, float %add, float 1.000000e+00
 289   ret float %sel
 290 }
 291
 292 define float @test_fcmp_ugt_fadd_select_constant_swapped(float %in) {
 293 ; CHECK-LABEL: define float @test_fcmp_ugt_fadd_select_constant_swapped(
 294 ; CHECK-SAME: float [[IN:%.*]]) {
 295 ; CHECK-NEXT:    [[CMP1_INV:%.*]] = fcmp ole float [[IN]], 0.000000e+00
 296 ; CHECK-NEXT:    [[SEL_NEW:%.*]] = select i1 [[CMP1_INV]], float 0.000000e+00, float [[IN]]
 297 ; CHECK-NEXT:    [[ADD_NEW:%.*]] = fadd nnan nsz float [[SEL_NEW]], 1.000000e+00
 298 ; CHECK-NEXT:    ret float [[ADD_NEW]]
 299 ;
 300   %cmp1 = fcmp ugt float %in, 0.000000e+00
 301   %add = fadd float %in, 1.000000e+00
 302   %sel = select nnan nsz i1 %cmp1, float 1.000000e+00, float %add
 303   ret float %sel
 304 }
 305
 306 define float @test_fcmp_ugt_fadd_select_neg_constant(float %in) {
 307 ; CHECK-LABEL: define float @test_fcmp_ugt_fadd_select_neg_constant(
 308 ; CHECK-SAME: float [[IN:%.*]]) {
 309 ; CHECK-NEXT:    [[CMP1_INV:%.*]] = fcmp ole float [[IN]], 0.000000e+00
 310 ; CHECK-NEXT:    [[SEL_NEW:%.*]] = select i1 [[CMP1_INV]], float 0.000000e+00, float [[IN]]
 311 ; CHECK-NEXT:    [[ADD_NEW:%.*]] = fadd nnan nsz float [[SEL_NEW]], 1.000000e+00
 312 ; CHECK-NEXT:    ret float [[ADD_NEW]]
 313 ;
 314   %cmp1 = fcmp ugt float %in, -0.000000e+00
 315   %add = fadd float %in, 1.000000e+00
 316   %sel = select nnan nsz i1 %cmp1, float %add, float 1.000000e+00
 317   ret float %sel
 318 }
 319
 320 define float @test_fcmp_ugt_fadd_select_fastmath_preserve(float %in) {
 321 ; CHECK-LABEL: define float @test_fcmp_ugt_fadd_select_fastmath_preserve(
 322 ; CHECK-SAME: float [[IN:%.*]]) {
 323 ; CHECK-NEXT:    [[CMP1_INV:%.*]] = fcmp ole float [[IN]], 0.000000e+00
 324 ; CHECK-NEXT:    [[SEL_NEW:%.*]] = select i1 [[CMP1_INV]], float 0.000000e+00, float [[IN]]
 325 ; CHECK-NEXT:    [[ADD_NEW:%.*]] = fadd nnan nsz float [[SEL_NEW]], 1.000000e+00
 326 ; CHECK-NEXT:    ret float [[ADD_NEW]]
 327 ;
 328   %cmp1 = fcmp ugt float %in, 0.000000e+00
 329   %add = fadd nnan float %in, 1.000000e+00
 330   %sel = select nnan nsz i1 %cmp1, float %add, float 1.000000e+00
 331   ret float %sel
 332 }
 333
 334 define <2 x float> @test_fcmp_ugt_fadd_select_constant_vectors(<2 x float> %in) {
 335 ; CHECK-LABEL: define <2 x float> @test_fcmp_ugt_fadd_select_constant_vectors(
 336 ; CHECK-SAME: <2 x float> [[IN:%.*]]) {
 337 ; CHECK-NEXT:    [[CMP1_INV:%.*]] = fcmp ole <2 x float> [[IN]], zeroinitializer
 338 ; CHECK-NEXT:    [[SEL_NEW:%.*]] = select <2 x i1> [[CMP1_INV]], <2 x float> zeroinitializer, <2 x float> [[IN]]
 339 ; CHECK-NEXT:    [[ADD_NEW:%.*]] = fadd nnan nsz <2 x float> [[SEL_NEW]], splat (float 1.000000e+00)
 340 ; CHECK-NEXT:    ret <2 x float> [[ADD_NEW]]
 341 ;
 342   %cmp1 = fcmp ugt <2 x float> %in, <float 0.000000e+00, float 0.000000e+00>
 343   %add = fadd <2 x float> %in, <float 1.000000e+00, float 1.000000e+00>
 344   %sel = select nnan nsz <2 x i1> %cmp1, <2 x float> %add, <2 x float> <float 1.000000e+00, float 1.000000e+00>
 345   ret <2 x float> %sel
 346 }
 347
 348
 349 ; fcmp UGE + fadd + sel => fcmp UGE + sel => fcmp olt + sel
 350
 351 define float @test_fcmp_uge_fadd_select_constant(float %in) {
 352 ; CHECK-LABEL: define float @test_fcmp_uge_fadd_select_constant(
 353 ; CHECK-SAME: float [[IN:%.*]]) {
 354 ; CHECK-NEXT:    [[CMP1_INV:%.*]] = fcmp olt float [[IN]], 0.000000e+00
 355 ; CHECK-NEXT:    [[SEL_NEW:%.*]] = select i1 [[CMP1_INV]], float 0.000000e+00, float [[IN]]
 356 ; CHECK-NEXT:    [[ADD_NEW:%.*]] = fadd nnan nsz float [[SEL_NEW]], 1.000000e+00
 357 ; CHECK-NEXT:    ret float [[ADD_NEW]]
 358 ;
 359   %cmp1 = fcmp uge float %in, 0.000000e+00
 360   %add = fadd float %in, 1.000000e+00
 361   %sel = select nnan nsz i1 %cmp1, float %add, float 1.000000e+00
 362   ret float %sel
 363 }
 364
 365 define float @test_fcmp_uge_fadd_select_constant_swapped(float %in) {
 366 ; CHECK-LABEL: define float @test_fcmp_uge_fadd_select_constant_swapped(
 367 ; CHECK-SAME: float [[IN:%.*]]) {
 368 ; CHECK-NEXT:    [[CMP1_INV:%.*]] = fcmp olt float [[IN]], 0.000000e+00
 369 ; CHECK-NEXT:    [[SEL_NEW:%.*]] = select i1 [[CMP1_INV]], float 0.000000e+00, float [[IN]]
 370 ; CHECK-NEXT:    [[ADD_NEW:%.*]] = fadd nnan nsz float [[SEL_NEW]], 1.000000e+00
 371 ; CHECK-NEXT:    ret float [[ADD_NEW]]
 372 ;
 373   %cmp1 = fcmp uge float %in, 0.000000e+00
 374   %add = fadd float %in, 1.000000e+00
 375   %sel = select nnan nsz i1 %cmp1, float 1.000000e+00, float %add
 376   ret float %sel
 377 }
 378
 379 define float @test_fcmp_uge_fadd_select_neg_constant(float %in) {
 380 ; CHECK-LABEL: define float @test_fcmp_uge_fadd_select_neg_constant(
 381 ; CHECK-SAME: float [[IN:%.*]]) {
 382 ; CHECK-NEXT:    [[CMP1_INV:%.*]] = fcmp olt float [[IN]], 0.000000e+00
 383 ; CHECK-NEXT:    [[SEL_NEW:%.*]] = select i1 [[CMP1_INV]], float 0.000000e+00, float [[IN]]
 384 ; CHECK-NEXT:    [[ADD_NEW:%.*]] = fadd nnan nsz float [[SEL_NEW]], 1.000000e+00
 385 ; CHECK-NEXT:    ret float [[ADD_NEW]]
 386 ;
 387   %cmp1 = fcmp uge float %in, -0.000000e+00
 388   %add = fadd float %in, 1.000000e+00
 389   %sel = select nnan nsz i1 %cmp1, float %add, float 1.000000e+00
 390   ret float %sel
 391 }
 392
 393 define float @test_fcmp_uge_fadd_select_fastmath_preserve(float %in) {
 394 ; CHECK-LABEL: define float @test_fcmp_uge_fadd_select_fastmath_preserve(
 395 ; CHECK-SAME: float [[IN:%.*]]) {
 396 ; CHECK-NEXT:    [[CMP1_INV:%.*]] = fcmp olt float [[IN]], 0.000000e+00
 397 ; CHECK-NEXT:    [[SEL_NEW:%.*]] = select i1 [[CMP1_INV]], float 0.000000e+00, float [[IN]]
 398 ; CHECK-NEXT:    [[ADD_NEW:%.*]] = fadd nnan nsz float [[SEL_NEW]], 1.000000e+00
 399 ; CHECK-NEXT:    ret float [[ADD_NEW]]
 400 ;
 401   %cmp1 = fcmp uge float %in, 0.000000e+00
 402   %add = fadd nnan float %in, 1.000000e+00
 403   %sel = select nnan nsz i1 %cmp1, float %add, float 1.000000e+00
 404   ret float %sel
 405 }
 406
 407 define <2 x float> @test_fcmp_uge_fadd_select_constant_vectors(<2 x float> %in) {
 408 ; CHECK-LABEL: define <2 x float> @test_fcmp_uge_fadd_select_constant_vectors(
 409 ; CHECK-SAME: <2 x float> [[IN:%.*]]) {
 410 ; CHECK-NEXT:    [[CMP1_INV:%.*]] = fcmp olt <2 x float> [[IN]], zeroinitializer
 411 ; CHECK-NEXT:    [[SEL_NEW:%.*]] = select <2 x i1> [[CMP1_INV]], <2 x float> zeroinitializer, <2 x float> [[IN]]
 412 ; CHECK-NEXT:    [[ADD_NEW:%.*]] = fadd nnan nsz <2 x float> [[SEL_NEW]], splat (float 1.000000e+00)
 413 ; CHECK-NEXT:    ret <2 x float> [[ADD_NEW]]
 414 ;
 415   %cmp1 = fcmp uge <2 x float> %in, <float 0.000000e+00, float 0.000000e+00>
 416   %add = fadd <2 x float> %in, <float 1.000000e+00, float 1.000000e+00>
 417   %sel = select nnan nsz <2 x i1> %cmp1, <2 x float> %add, <2 x float> <float 1.000000e+00, float 1.000000e+00>
 418   ret <2 x float> %sel
 419 }
 420
 421
 422 ; fcmp ULT + fadd + sel => fcmp ULT + sel => fcmp OGE + sel
 423
 424 define float @test_fcmp_ult_fadd_select_constant(float %in) {
 425 ; CHECK-LABEL: define float @test_fcmp_ult_fadd_select_constant(
 426 ; CHECK-SAME: float [[IN:%.*]]) {
 427 ; CHECK-NEXT:    [[CMP1_INV:%.*]] = fcmp oge float [[IN]], 0.000000e+00
 428 ; CHECK-NEXT:    [[SEL_NEW:%.*]] = select i1 [[CMP1_INV]], float 0.000000e+00, float [[IN]]
 429 ; CHECK-NEXT:    [[ADD_NEW:%.*]] = fadd nnan nsz float [[SEL_NEW]], 1.000000e+00
 430 ; CHECK-NEXT:    ret float [[ADD_NEW]]
 431 ;
 432   %cmp1 = fcmp ult float %in, 0.000000e+00
 433   %add = fadd float %in, 1.000000e+00
 434   %sel = select nnan nsz i1 %cmp1, float %add, float 1.000000e+00
 435   ret float %sel
 436 }
 437
 438 define float @test_fcmp_ult_fadd_select_constant_swapped(float %in) {
 439 ; CHECK-LABEL: define float @test_fcmp_ult_fadd_select_constant_swapped(
 440 ; CHECK-SAME: float [[IN:%.*]]) {
 441 ; CHECK-NEXT:    [[CMP1_INV:%.*]] = fcmp oge float [[IN]], 0.000000e+00
 442 ; CHECK-NEXT:    [[SEL_NEW:%.*]] = select i1 [[CMP1_INV]], float 0.000000e+00, float [[IN]]
 443 ; CHECK-NEXT:    [[ADD_NEW:%.*]] = fadd nnan nsz float [[SEL_NEW]], 1.000000e+00
 444 ; CHECK-NEXT:    ret float [[ADD_NEW]]
 445 ;
 446   %cmp1 = fcmp ult float %in, 0.000000e+00
 447   %add = fadd float %in, 1.000000e+00
 448   %sel = select nnan nsz i1 %cmp1, float 1.000000e+00, float %add
 449   ret float %sel
 450 }
 451
 452 define float @test_fcmp_ult_fadd_select_neg_constant(float %in) {
 453 ; CHECK-LABEL: define float @test_fcmp_ult_fadd_select_neg_constant(
 454 ; CHECK-SAME: float [[IN:%.*]]) {
 455 ; CHECK-NEXT:    [[CMP1_INV:%.*]] = fcmp oge float [[IN]], 0.000000e+00
 456 ; CHECK-NEXT:    [[SEL_NEW:%.*]] = select i1 [[CMP1_INV]], float 0.000000e+00, float [[IN]]
 457 ; CHECK-NEXT:    [[ADD_NEW:%.*]] = fadd nnan nsz float [[SEL_NEW]], 1.000000e+00
 458 ; CHECK-NEXT:    ret float [[ADD_NEW]]
 459 ;
 460   %cmp1 = fcmp ult float %in, -0.000000e+00
 461   %add = fadd float %in, 1.000000e+00
 462   %sel = select nnan nsz i1 %cmp1, float %add, float 1.000000e+00
 463   ret float %sel
 464 }
 465
 466 define float @test_fcmp_ult_fadd_select_fastmath_preserve(float %in) {
 467 ; CHECK-LABEL: define float @test_fcmp_ult_fadd_select_fastmath_preserve(
 468 ; CHECK-SAME: float [[IN:%.*]]) {
 469 ; CHECK-NEXT:    [[CMP1_INV:%.*]] = fcmp oge float [[IN]], 0.000000e+00
 470 ; CHECK-NEXT:    [[SEL_NEW:%.*]] = select i1 [[CMP1_INV]], float 0.000000e+00, float [[IN]]
 471 ; CHECK-NEXT:    [[ADD_NEW:%.*]] = fadd nnan nsz float [[SEL_NEW]], 1.000000e+00
 472 ; CHECK-NEXT:    ret float [[ADD_NEW]]
 473 ;
 474   %cmp1 = fcmp ult float %in, 0.000000e+00
 475   %add = fadd nnan float %in, 1.000000e+00
 476   %sel = select nnan nsz i1 %cmp1, float %add, float 1.000000e+00
 477   ret float %sel
 478 }
 479
 480 define <2 x float> @test_fcmp_ult_fadd_select_constant_vectors(<2 x float> %in) {
 481 ; CHECK-LABEL: define <2 x float> @test_fcmp_ult_fadd_select_constant_vectors(
 482 ; CHECK-SAME: <2 x float> [[IN:%.*]]) {
 483 ; CHECK-NEXT:    [[CMP1_INV:%.*]] = fcmp oge <2 x float> [[IN]], zeroinitializer
 484 ; CHECK-NEXT:    [[SEL_NEW:%.*]] = select <2 x i1> [[CMP1_INV]], <2 x float> zeroinitializer, <2 x float> [[IN]]
 485 ; CHECK-NEXT:    [[ADD_NEW:%.*]] = fadd nnan nsz <2 x float> [[SEL_NEW]], splat (float 1.000000e+00)
 486 ; CHECK-NEXT:    ret <2 x float> [[ADD_NEW]]
 487 ;
 488   %cmp1 = fcmp ult <2 x float> %in, <float 0.000000e+00, float 0.000000e+00>
 489   %add = fadd <2 x float> %in, <float 1.000000e+00, float 1.000000e+00>
 490   %sel = select nnan nsz <2 x i1> %cmp1, <2 x float> %add, <2 x float> <float 1.000000e+00, float 1.000000e+00>
 491   ret <2 x float> %sel
 492 }
 493
 494
 495 ; fcmp ULE + fadd + sel => fcmp ULE + sel => fcmp OGT + sel
 496
 497 define float @test_fcmp_ule_fadd_select_constant(float %in) {
 498 ; CHECK-LABEL: define float @test_fcmp_ule_fadd_select_constant(
 499 ; CHECK-SAME: float [[IN:%.*]]) {
 500 ; CHECK-NEXT:    [[CMP1_INV:%.*]] = fcmp ogt float [[IN]], 0.000000e+00
 501 ; CHECK-NEXT:    [[SEL_NEW:%.*]] = select i1 [[CMP1_INV]], float 0.000000e+00, float [[IN]]
 502 ; CHECK-NEXT:    [[ADD_NEW:%.*]] = fadd nnan nsz float [[SEL_NEW]], 1.000000e+00
 503 ; CHECK-NEXT:    ret float [[ADD_NEW]]
 504 ;
 505   %cmp1 = fcmp ule float %in, 0.000000e+00
 506   %add = fadd float %in, 1.000000e+00
 507   %sel = select nnan nsz i1 %cmp1, float %add, float 1.000000e+00
 508   ret float %sel
 509 }
 510
 511 define float @test_fcmp_ule_fadd_select_constant_swapped(float %in) {
 512 ; CHECK-LABEL: define float @test_fcmp_ule_fadd_select_constant_swapped(
 513 ; CHECK-SAME: float [[IN:%.*]]) {
 514 ; CHECK-NEXT:    [[CMP1_INV:%.*]] = fcmp ogt float [[IN]], 0.000000e+00
 515 ; CHECK-NEXT:    [[SEL_NEW:%.*]] = select i1 [[CMP1_INV]], float 0.000000e+00, float [[IN]]
 516 ; CHECK-NEXT:    [[ADD_NEW:%.*]] = fadd nnan nsz float [[SEL_NEW]], 1.000000e+00
 517 ; CHECK-NEXT:    ret float [[ADD_NEW]]
 518 ;
 519   %cmp1 = fcmp ule float %in, 0.000000e+00
 520   %add = fadd float %in, 1.000000e+00
 521   %sel = select nnan nsz i1 %cmp1, float 1.000000e+00, float %add
 522   ret float %sel
 523 }
 524
 525 define float @test_fcmp_ule_fadd_select_neg_constant(float %in) {
 526 ; CHECK-LABEL: define float @test_fcmp_ule_fadd_select_neg_constant(
 527 ; CHECK-SAME: float [[IN:%.*]]) {
 528 ; CHECK-NEXT:    [[CMP1_INV:%.*]] = fcmp ogt float [[IN]], 0.000000e+00
 529 ; CHECK-NEXT:    [[SEL_NEW:%.*]] = select i1 [[CMP1_INV]], float 0.000000e+00, float [[IN]]
 530 ; CHECK-NEXT:    [[ADD_NEW:%.*]] = fadd nnan nsz float [[SEL_NEW]], 1.000000e+00
 531 ; CHECK-NEXT:    ret float [[ADD_NEW]]
 532 ;
 533   %cmp1 = fcmp ule float %in, -0.000000e+00
 534   %add = fadd float %in, 1.000000e+00
 535   %sel = select nnan nsz i1 %cmp1, float %add, float 1.000000e+00
 536   ret float %sel
 537 }
 538
 539 define float @test_fcmp_ule_fadd_select_fastmath_preserve(float %in) {
 540 ; CHECK-LABEL: define float @test_fcmp_ule_fadd_select_fastmath_preserve(
 541 ; CHECK-SAME: float [[IN:%.*]]) {
 542 ; CHECK-NEXT:    [[CMP1_INV:%.*]] = fcmp ogt float [[IN]], 0.000000e+00
 543 ; CHECK-NEXT:    [[SEL_NEW:%.*]] = select i1 [[CMP1_INV]], float 0.000000e+00, float [[IN]]
 544 ; CHECK-NEXT:    [[ADD_NEW:%.*]] = fadd nnan nsz float [[SEL_NEW]], 1.000000e+00
 545 ; CHECK-NEXT:    ret float [[ADD_NEW]]
 546 ;
 547   %cmp1 = fcmp ule float %in, 0.000000e+00
 548   %add = fadd nnan float %in, 1.000000e+00
 549   %sel = select nnan nsz i1 %cmp1, float %add, float 1.000000e+00
 550   ret float %sel
 551 }
 552
 553 define <2 x float> @test_fcmp_ule_fadd_select_constant_vectors(<2 x float> %in) {
 554 ; CHECK-LABEL: define <2 x float> @test_fcmp_ule_fadd_select_constant_vectors(
 555 ; CHECK-SAME: <2 x float> [[IN:%.*]]) {
 556 ; CHECK-NEXT:    [[CMP1_INV:%.*]] = fcmp ogt <2 x float> [[IN]], zeroinitializer
 557 ; CHECK-NEXT:    [[SEL_NEW:%.*]] = select <2 x i1> [[CMP1_INV]], <2 x float> zeroinitializer, <2 x float> [[IN]]
 558 ; CHECK-NEXT:    [[ADD_NEW:%.*]] = fadd nnan nsz <2 x float> [[SEL_NEW]], splat (float 1.000000e+00)
 559 ; CHECK-NEXT:    ret <2 x float> [[ADD_NEW]]
 560 ;
 561   %cmp1 = fcmp ule <2 x float> %in, <float 0.000000e+00, float 0.000000e+00>
 562   %add = fadd <2 x float> %in, <float 1.000000e+00, float 1.000000e+00>
 563   %sel = select nnan nsz <2 x i1> %cmp1, <2 x float> %add, <2 x float> <float 1.000000e+00, float 1.000000e+00>
 564   ret <2 x float> %sel
 565 }
 566
 567
 568 ; Negative scenarios
 569
 570 ; select instruction doesn't give nnan and nsz guarantees.
 571 define float @test_select_without_nnan_nsz(float %in) {
 572 ; CHECK-LABEL: define float @test_select_without_nnan_nsz(
 573 ; CHECK-SAME: float [[IN:%.*]]) {
 574 ; CHECK-NEXT:    [[CMP1:%.*]] = fcmp ogt float [[IN]], 0.000000e+00
 575 ; CHECK-NEXT:    [[ADD:%.*]] = fadd float [[IN]], 1.000000e+00
 576 ; CHECK-NEXT:    [[SEL:%.*]] = select i1 [[CMP1]], float [[ADD]], float 1.000000e+00
 577 ; CHECK-NEXT:    ret float [[SEL]]
 578 ;
 579   %cmp1 = fcmp ogt float %in, 0.000000e+00
 580   %add = fadd float %in, 1.000000e+00
 581   %sel = select i1 %cmp1, float %add, float 1.000000e+00
 582   ret float %sel
 583 }
 584
 585 ; fcmp arg doesn't match with fadd's. This won't be converted to maxnum/minnum.
 586 define float @test_fcmp_fadd_arg_mismatch(float %in, float %in2) {
 587 ; CHECK-LABEL: define float @test_fcmp_fadd_arg_mismatch(
 588 ; CHECK-SAME: float [[IN:%.*]], float [[IN2:%.*]]) {
 589 ; CHECK-NEXT:    [[CMP1:%.*]] = fcmp ogt float [[IN2]], 0.000000e+00
 590 ; CHECK-NEXT:    [[ADD:%.*]] = fadd float [[IN]], 1.000000e+00
 591 ; CHECK-NEXT:    [[SEL:%.*]] = select nnan nsz i1 [[CMP1]], float [[ADD]], float 1.000000e+00
 592 ; CHECK-NEXT:    ret float [[SEL]]
 593 ;
 594   %cmp1 = fcmp ogt float %in2, 0.000000e+00
 595   %add = fadd float %in, 1.000000e+00
 596   %sel = select nnan nsz i1 %cmp1, float %add, float 1.000000e+00
 597   ret float %sel
 598 }
 599
 600 ; It won't be converted to maxnum/minnum because constant arg in fcmp isn't zero.
 601 define float @test_fcmp_arg_non_zero(float %in) {
 602 ; CHECK-LABEL: define float @test_fcmp_arg_non_zero(
 603 ; CHECK-SAME: float [[IN:%.*]]) {
 604 ; CHECK-NEXT:    [[CMP1:%.*]] = fcmp ogt float [[IN]], 1.000000e+00
 605 ; CHECK-NEXT:    [[ADD:%.*]] = fadd float [[IN]], 1.000000e+00
 606 ; CHECK-NEXT:    [[SEL:%.*]] = select nnan nsz i1 [[CMP1]], float [[ADD]], float 1.000000e+00
 607 ; CHECK-NEXT:    ret float [[SEL]]
 608 ;
 609   %cmp1 = fcmp ogt float %in, 1.000000e+00
 610   %add = fadd float %in, 1.000000e+00
 611   %sel = select nnan nsz i1 %cmp1, float %add, float 1.000000e+00
 612   ret float %sel
 613 }
 614
 615 ; fcmp has more than one use.
 616 define float @test_fcmp_multiple_uses(float %in) {
 617 ; CHECK-LABEL: define float @test_fcmp_multiple_uses(
 618 ; CHECK-SAME: float [[IN:%.*]]) {
 619 ; CHECK-NEXT:    [[CMP1:%.*]] = fcmp ogt float [[IN]], 0.000000e+00
 620 ; CHECK-NEXT:    [[ADD:%.*]] = fadd float [[IN]], 1.000000e+00
 621 ; CHECK-NEXT:    [[ADD_2:%.*]] = fadd float [[IN]], 1.000000e+00
 622 ; CHECK-NEXT:    [[SEL_1:%.*]] = select nnan nsz i1 [[CMP1]], float [[ADD]], float 1.000000e+00
 623 ; CHECK-NEXT:    [[SEL_2:%.*]] = select nnan nsz i1 [[CMP1]], float 2.000000e+00, float [[ADD_2]]
 624 ; CHECK-NEXT:    [[RES:%.*]] = fadd float [[SEL_1]], [[SEL_2]]
 625 ; CHECK-NEXT:    ret float [[RES]]
 626 ;
 627   %cmp1 = fcmp ogt float %in, 0.000000e+00
 628   %add = fadd float %in, 1.000000e+00
 629   %add.2 = fadd float %in, 1.000000e+00
 630   %sel.1 = select nnan nsz i1 %cmp1, float %add, float 1.000000e+00
 631   %sel.2 = select nnan nsz i1 %cmp1, float 2.000000e+00, float %add.2
 632   %res = fadd float %sel.1, %sel.2
 633   ret float %res
 634 }
 635
 636 ; Rewrite-based flags propagation
 637 define float @test_fcmp_ogt_fadd_select_rewrite_flags1(float %in) {
 638 ; CHECK-LABEL: define float @test_fcmp_ogt_fadd_select_rewrite_flags1(
 639 ; CHECK-SAME: float [[IN:%.*]]) {
 640 ; CHECK-NEXT:    [[SEL_NEW:%.*]] = call reassoc nnan nsz arcp contract afn float @llvm.maxnum.f32(float [[IN]], float 0.000000e+00)
 641 ; CHECK-NEXT:    [[ADD_NEW:%.*]] = fadd reassoc nnan nsz arcp contract afn float [[SEL_NEW]], 1.000000e+00
 642 ; CHECK-NEXT:    ret float [[ADD_NEW]]
 643 ;
 644   %cmp1 = fcmp ogt float %in, 0.000000e+00
 645   %add = fadd reassoc afn arcp contract float %in, 1.000000e+00
 646   %sel = select nnan nsz reassoc afn arcp contract i1 %cmp1, float %add, float 1.000000e+00
 647   ret float %sel
 648 }
 649
 650 define float @test_fcmp_ogt_fadd_select_rewrite_flags2(float %in) {
 651 ; CHECK-LABEL: define float @test_fcmp_ogt_fadd_select_rewrite_flags2(
 652 ; CHECK-SAME: float [[IN:%.*]]) {
 653 ; CHECK-NEXT:    [[SEL_NEW:%.*]] = call nnan nsz float @llvm.maxnum.f32(float [[IN]], float 0.000000e+00)
 654 ; CHECK-NEXT:    [[ADD_NEW:%.*]] = fadd nnan nsz float [[SEL_NEW]], 1.000000e+00
 655 ; CHECK-NEXT:    ret float [[ADD_NEW]]
 656 ;
 657   %cmp1 = fcmp ogt float %in, 0.000000e+00
 658   %add = fadd reassoc float %in, 1.000000e+00
 659   %sel = select nnan nsz i1 %cmp1, float %add, float 1.000000e+00
 660   ret float %sel
 661 }
 662
 663 define float @test_fcmp_ogt_fadd_select_rewrite_and_fastmath(float %in) {
 664 ; CHECK-LABEL: define float @test_fcmp_ogt_fadd_select_rewrite_and_fastmath(
 665 ; CHECK-SAME: float [[IN:%.*]]) {
 666 ; CHECK-NEXT:    [[SEL_NEW:%.*]] = call fast float @llvm.maxnum.f32(float [[IN]], float 0.000000e+00)
 667 ; CHECK-NEXT:    [[ADD_NEW:%.*]] = fadd fast float [[SEL_NEW]], 1.000000e+00
 668 ; CHECK-NEXT:    ret float [[ADD_NEW]]
 669 ;
 670   %cmp1 = fcmp ogt float %in, 0.000000e+00
 671   %add = fadd fast reassoc float %in, 1.000000e+00
 672   %sel = select fast i1 %cmp1, float %add, float 1.000000e+00
 673   ret float %sel
 674 }