llvm/test/Transforms/Attributor/nofpclass-floor.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 2
   2 ; RUN: opt -aa-pipeline=basic-aa -passes=attributor -attributor-manifest-internal -S < %s | FileCheck %s --check-prefixes=CHECK,TUNIT
   3
   4 declare float @llvm.floor.f32(float)
   5 declare ppc_fp128 @llvm.floor.ppcf128(ppc_fp128)
   6
   7 define float @ret_floor(float %arg0) {
   8 ; CHECK-LABEL: define nofpclass(sub) float @ret_floor
   9 ; CHECK-SAME: (float nofpclass(sub) [[ARG0:%.*]]) #[[ATTR1:[0-9]+]] {
  10 ; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(sub) float @llvm.floor.f32(float [[ARG0]]) #[[ATTR2:[0-9]+]]
  11 ; CHECK-NEXT:    ret float [[CALL]]
  12 ;
  13   %call = call float @llvm.floor.f32(float %arg0)
  14   ret float %call
  15 }
  16
  17 define float @ret_floor_noinf(float nofpclass(inf) %arg0) {
  18 ; CHECK-LABEL: define nofpclass(inf sub) float @ret_floor_noinf
  19 ; CHECK-SAME: (float nofpclass(inf sub) [[ARG0:%.*]]) #[[ATTR1]] {
  20 ; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(inf sub) float @llvm.floor.f32(float [[ARG0]]) #[[ATTR2]]
  21 ; CHECK-NEXT:    ret float [[CALL]]
  22 ;
  23   %call = call float @llvm.floor.f32(float %arg0)
  24   ret float %call
  25 }
  26
  27 define float @ret_floor_nopinf(float nofpclass(pinf) %arg0) {
  28 ; CHECK-LABEL: define nofpclass(pinf sub) float @ret_floor_nopinf
  29 ; CHECK-SAME: (float nofpclass(pinf sub) [[ARG0:%.*]]) #[[ATTR1]] {
  30 ; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(pinf sub) float @llvm.floor.f32(float [[ARG0]]) #[[ATTR2]]
  31 ; CHECK-NEXT:    ret float [[CALL]]
  32 ;
  33   %call = call float @llvm.floor.f32(float %arg0)
  34   ret float %call
  35 }
  36
  37 define float @ret_floor_noninf(float nofpclass(ninf) %arg0) {
  38 ; CHECK-LABEL: define nofpclass(ninf sub) float @ret_floor_noninf
  39 ; CHECK-SAME: (float nofpclass(ninf sub) [[ARG0:%.*]]) #[[ATTR1]] {
  40 ; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(ninf sub) float @llvm.floor.f32(float [[ARG0]]) #[[ATTR2]]
  41 ; CHECK-NEXT:    ret float [[CALL]]
  42 ;
  43   %call = call float @llvm.floor.f32(float %arg0)
  44   ret float %call
  45 }
  46
  47 define float @ret_floor_nonan(float nofpclass(nan) %arg0) {
  48 ; CHECK-LABEL: define nofpclass(nan sub) float @ret_floor_nonan
  49 ; CHECK-SAME: (float nofpclass(nan sub) [[ARG0:%.*]]) #[[ATTR1]] {
  50 ; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(nan sub) float @llvm.floor.f32(float [[ARG0]]) #[[ATTR2]]
  51 ; CHECK-NEXT:    ret float [[CALL]]
  52 ;
  53   %call = call float @llvm.floor.f32(float %arg0)
  54   ret float %call
  55 }
  56
  57 define float @ret_floor_noqnan(float nofpclass(qnan) %arg0) {
  58 ; CHECK-LABEL: define nofpclass(sub) float @ret_floor_noqnan
  59 ; CHECK-SAME: (float nofpclass(qnan sub) [[ARG0:%.*]]) #[[ATTR1]] {
  60 ; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(sub) float @llvm.floor.f32(float [[ARG0]]) #[[ATTR2]]
  61 ; CHECK-NEXT:    ret float [[CALL]]
  62 ;
  63   %call = call float @llvm.floor.f32(float %arg0)
  64   ret float %call
  65 }
  66
  67 define float @ret_floor_nosnan(float nofpclass(snan) %arg0) {
  68 ; CHECK-LABEL: define nofpclass(snan sub) float @ret_floor_nosnan
  69 ; CHECK-SAME: (float nofpclass(snan sub) [[ARG0:%.*]]) #[[ATTR1]] {
  70 ; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(snan sub) float @llvm.floor.f32(float [[ARG0]]) #[[ATTR2]]
  71 ; CHECK-NEXT:    ret float [[CALL]]
  72 ;
  73   %call = call float @llvm.floor.f32(float %arg0)
  74   ret float %call
  75 }
  76
  77 define float @ret_floor_nozero(float nofpclass(zero) %arg0) {
  78 ; CHECK-LABEL: define nofpclass(sub) float @ret_floor_nozero
  79 ; CHECK-SAME: (float nofpclass(zero sub) [[ARG0:%.*]]) #[[ATTR1]] {
  80 ; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(sub) float @llvm.floor.f32(float [[ARG0]]) #[[ATTR2]]
  81 ; CHECK-NEXT:    ret float [[CALL]]
  82 ;
  83   %call = call float @llvm.floor.f32(float %arg0)
  84   ret float %call
  85 }
  86
  87 define float @ret_floor_nopzero(float nofpclass(pzero) %arg0) {
  88 ; CHECK-LABEL: define nofpclass(sub) float @ret_floor_nopzero
  89 ; CHECK-SAME: (float nofpclass(pzero sub) [[ARG0:%.*]]) #[[ATTR1]] {
  90 ; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(sub) float @llvm.floor.f32(float [[ARG0]]) #[[ATTR2]]
  91 ; CHECK-NEXT:    ret float [[CALL]]
  92 ;
  93   %call = call float @llvm.floor.f32(float %arg0)
  94   ret float %call
  95 }
  96
  97 define float @ret_floor_nonzero(float nofpclass(nzero) %arg0) {
  98 ; CHECK-LABEL: define nofpclass(sub) float @ret_floor_nonzero
  99 ; CHECK-SAME: (float nofpclass(nzero sub) [[ARG0:%.*]]) #[[ATTR1]] {
 100 ; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(sub) float @llvm.floor.f32(float [[ARG0]]) #[[ATTR2]]
 101 ; CHECK-NEXT:    ret float [[CALL]]
 102 ;
 103   %call = call float @llvm.floor.f32(float %arg0)
 104   ret float %call
 105 }
 106
 107 define float @ret_floor_nonorm(float nofpclass(norm) %arg0) {
 108 ; CHECK-LABEL: define nofpclass(sub) float @ret_floor_nonorm
 109 ; CHECK-SAME: (float nofpclass(sub norm) [[ARG0:%.*]]) #[[ATTR1]] {
 110 ; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(sub) float @llvm.floor.f32(float [[ARG0]]) #[[ATTR2]]
 111 ; CHECK-NEXT:    ret float [[CALL]]
 112 ;
 113   %call = call float @llvm.floor.f32(float %arg0)
 114   ret float %call
 115 }
 116
 117 define float @ret_floor_nonnorm(float nofpclass(nnorm) %arg0) {
 118 ; CHECK-LABEL: define nofpclass(sub) float @ret_floor_nonnorm
 119 ; CHECK-SAME: (float nofpclass(sub nnorm) [[ARG0:%.*]]) #[[ATTR1]] {
 120 ; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(sub) float @llvm.floor.f32(float [[ARG0]]) #[[ATTR2]]
 121 ; CHECK-NEXT:    ret float [[CALL]]
 122 ;
 123   %call = call float @llvm.floor.f32(float %arg0)
 124   ret float %call
 125 }
 126
 127 define float @ret_floor_nopnorm(float nofpclass(pnorm) %arg0) {
 128 ; CHECK-LABEL: define nofpclass(sub) float @ret_floor_nopnorm
 129 ; CHECK-SAME: (float nofpclass(sub pnorm) [[ARG0:%.*]]) #[[ATTR1]] {
 130 ; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(sub) float @llvm.floor.f32(float [[ARG0]]) #[[ATTR2]]
 131 ; CHECK-NEXT:    ret float [[CALL]]
 132 ;
 133   %call = call float @llvm.floor.f32(float %arg0)
 134   ret float %call
 135 }
 136
 137 define float @ret_floor_nonsub(float nofpclass(nsub) %arg0) {
 138 ; CHECK-LABEL: define nofpclass(sub) float @ret_floor_nonsub
 139 ; CHECK-SAME: (float nofpclass(sub) [[ARG0:%.*]]) #[[ATTR1]] {
 140 ; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(sub) float @llvm.floor.f32(float [[ARG0]]) #[[ATTR2]]
 141 ; CHECK-NEXT:    ret float [[CALL]]
 142 ;
 143   %call = call float @llvm.floor.f32(float %arg0)
 144   ret float %call
 145 }
 146
 147 define float @ret_floor_nopsub(float nofpclass(psub) %arg0) {
 148 ; CHECK-LABEL: define nofpclass(sub) float @ret_floor_nopsub
 149 ; CHECK-SAME: (float nofpclass(sub) [[ARG0:%.*]]) #[[ATTR1]] {
 150 ; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(sub) float @llvm.floor.f32(float [[ARG0]]) #[[ATTR2]]
 151 ; CHECK-NEXT:    ret float [[CALL]]
 152 ;
 153   %call = call float @llvm.floor.f32(float %arg0)
 154   ret float %call
 155 }
 156
 157 define float @ret_floor_nonorm_nosub(float nofpclass(norm sub) %arg0) {
 158 ; CHECK-LABEL: define nofpclass(sub) float @ret_floor_nonorm_nosub
 159 ; CHECK-SAME: (float nofpclass(sub norm) [[ARG0:%.*]]) #[[ATTR1]] {
 160 ; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(sub) float @llvm.floor.f32(float [[ARG0]]) #[[ATTR2]]
 161 ; CHECK-NEXT:    ret float [[CALL]]
 162 ;
 163   %call = call float @llvm.floor.f32(float %arg0)
 164   ret float %call
 165 }
 166
 167 define float @ret_floor_nopnorm_nopsub(float nofpclass(pnorm psub) %arg0) {
 168 ; CHECK-LABEL: define nofpclass(sub) float @ret_floor_nopnorm_nopsub
 169 ; CHECK-SAME: (float nofpclass(sub pnorm) [[ARG0:%.*]]) #[[ATTR1]] {
 170 ; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(sub) float @llvm.floor.f32(float [[ARG0]]) #[[ATTR2]]
 171 ; CHECK-NEXT:    ret float [[CALL]]
 172 ;
 173   %call = call float @llvm.floor.f32(float %arg0)
 174   ret float %call
 175 }
 176
 177 define float @ret_floor_nonnorm_nonsub(float nofpclass(nnorm nsub) %arg0) {
 178 ; CHECK-LABEL: define nofpclass(sub) float @ret_floor_nonnorm_nonsub
 179 ; CHECK-SAME: (float nofpclass(sub nnorm) [[ARG0:%.*]]) #[[ATTR1]] {
 180 ; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(sub) float @llvm.floor.f32(float [[ARG0]]) #[[ATTR2]]
 181 ; CHECK-NEXT:    ret float [[CALL]]
 182 ;
 183   %call = call float @llvm.floor.f32(float %arg0)
 184   ret float %call
 185 }
 186
 187 define float @ret_floor_nopnorm_nonsub(float nofpclass(pnorm nsub) %arg0) {
 188 ; CHECK-LABEL: define nofpclass(sub) float @ret_floor_nopnorm_nonsub
 189 ; CHECK-SAME: (float nofpclass(sub pnorm) [[ARG0:%.*]]) #[[ATTR1]] {
 190 ; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(sub) float @llvm.floor.f32(float [[ARG0]]) #[[ATTR2]]
 191 ; CHECK-NEXT:    ret float [[CALL]]
 192 ;
 193   %call = call float @llvm.floor.f32(float %arg0)
 194   ret float %call
 195 }
 196
 197 define ppc_fp128 @ret_floor_ppcf128(ppc_fp128 %arg0) {
 198 ; CHECK-LABEL: define nofpclass(sub) ppc_fp128 @ret_floor_ppcf128
 199 ; CHECK-SAME: (ppc_fp128 nofpclass(sub) [[ARG0:%.*]]) #[[ATTR1]] {
 200 ; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(sub) ppc_fp128 @llvm.floor.ppcf128(ppc_fp128 [[ARG0]]) #[[ATTR2]]
 201 ; CHECK-NEXT:    ret ppc_fp128 [[CALL]]
 202 ;
 203   %call = call ppc_fp128 @llvm.floor.ppcf128(ppc_fp128 %arg0)
 204   ret ppc_fp128 %call
 205 }
 206
 207 define ppc_fp128 @ret_floor_noinf_ppcf128(ppc_fp128 nofpclass(inf) %arg0) {
 208 ; CHECK-LABEL: define nofpclass(sub) ppc_fp128 @ret_floor_noinf_ppcf128
 209 ; CHECK-SAME: (ppc_fp128 nofpclass(inf sub) [[ARG0:%.*]]) #[[ATTR1]] {
 210 ; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(sub) ppc_fp128 @llvm.floor.ppcf128(ppc_fp128 [[ARG0]]) #[[ATTR2]]
 211 ; CHECK-NEXT:    ret ppc_fp128 [[CALL]]
 212 ;
 213   %call = call ppc_fp128 @llvm.floor.ppcf128(ppc_fp128 %arg0)
 214   ret ppc_fp128 %call
 215 }
 216
 217 define ppc_fp128 @ret_floor_nopinf_ppcf128(ppc_fp128 nofpclass(pinf) %arg0) {
 218 ; CHECK-LABEL: define nofpclass(sub) ppc_fp128 @ret_floor_nopinf_ppcf128
 219 ; CHECK-SAME: (ppc_fp128 nofpclass(pinf sub) [[ARG0:%.*]]) #[[ATTR1]] {
 220 ; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(sub) ppc_fp128 @llvm.floor.ppcf128(ppc_fp128 [[ARG0]]) #[[ATTR2]]
 221 ; CHECK-NEXT:    ret ppc_fp128 [[CALL]]
 222 ;
 223   %call = call ppc_fp128 @llvm.floor.ppcf128(ppc_fp128 %arg0)
 224   ret ppc_fp128 %call
 225 }
 226
 227 define ppc_fp128 @ret_floor_noninf_ppcf128(ppc_fp128 nofpclass(ninf) %arg0) {
 228 ; CHECK-LABEL: define nofpclass(sub) ppc_fp128 @ret_floor_noninf_ppcf128
 229 ; CHECK-SAME: (ppc_fp128 nofpclass(ninf sub) [[ARG0:%.*]]) #[[ATTR1]] {
 230 ; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(sub) ppc_fp128 @llvm.floor.ppcf128(ppc_fp128 [[ARG0]]) #[[ATTR2]]
 231 ; CHECK-NEXT:    ret ppc_fp128 [[CALL]]
 232 ;
 233   %call = call ppc_fp128 @llvm.floor.ppcf128(ppc_fp128 %arg0)
 234   ret ppc_fp128 %call
 235 }
 236
 237 define ppc_fp128 @ret_floor_nonan_ppcf128(ppc_fp128 nofpclass(nan) %arg0) {
 238 ; CHECK-LABEL: define nofpclass(nan sub) ppc_fp128 @ret_floor_nonan_ppcf128
 239 ; CHECK-SAME: (ppc_fp128 nofpclass(nan sub) [[ARG0:%.*]]) #[[ATTR1]] {
 240 ; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(nan sub) ppc_fp128 @llvm.floor.ppcf128(ppc_fp128 [[ARG0]]) #[[ATTR2]]
 241 ; CHECK-NEXT:    ret ppc_fp128 [[CALL]]
 242 ;
 243   %call = call ppc_fp128 @llvm.floor.ppcf128(ppc_fp128 %arg0)
 244   ret ppc_fp128 %call
 245 }
 246
 247 define float @ret_floor_noneg(float nofpclass(ninf nsub nnorm) %arg0) {
 248 ; CHECK-LABEL: define nofpclass(ninf sub) float @ret_floor_noneg
 249 ; CHECK-SAME: (float nofpclass(ninf sub nnorm) [[ARG0:%.*]]) #[[ATTR1]] {
 250 ; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(ninf sub) float @llvm.floor.f32(float [[ARG0]]) #[[ATTR2]]
 251 ; CHECK-NEXT:    ret float [[CALL]]
 252 ;
 253   %call = call float @llvm.floor.f32(float %arg0)
 254   ret float %call
 255 }
 256
 257 define float @ret_floor_noneg_nonegzero(float nofpclass(ninf nsub nnorm nzero) %arg0) {
 258 ; CHECK-LABEL: define nofpclass(ninf nzero sub nnorm) float @ret_floor_noneg_nonegzero
 259 ; CHECK-SAME: (float nofpclass(ninf nzero sub nnorm) [[ARG0:%.*]]) #[[ATTR1]] {
 260 ; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(ninf nzero sub nnorm) float @llvm.floor.f32(float [[ARG0]]) #[[ATTR2]]
 261 ; CHECK-NEXT:    ret float [[CALL]]
 262 ;
 263   %call = call float @llvm.floor.f32(float %arg0)
 264   ret float %call
 265 }
 266
 267 define float @ret_floor_noneg_nonegzero_nonan(float nofpclass(ninf nsub nnorm nzero nan) %arg0) {
 268 ; CHECK-LABEL: define nofpclass(nan ninf nzero sub nnorm) float @ret_floor_noneg_nonegzero_nonan
 269 ; CHECK-SAME: (float nofpclass(nan ninf nzero sub nnorm) [[ARG0:%.*]]) #[[ATTR1]] {
 270 ; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(nan ninf nzero sub nnorm) float @llvm.floor.f32(float [[ARG0]]) #[[ATTR2]]
 271 ; CHECK-NEXT:    ret float [[CALL]]
 272 ;
 273   %call = call float @llvm.floor.f32(float %arg0)
 274   ret float %call
 275 }
 276
 277 define float @ret_floor_noneg_nozero(float nofpclass(ninf nsub nnorm zero) %arg0) {
 278 ; CHECK-LABEL: define nofpclass(ninf nzero sub nnorm) float @ret_floor_noneg_nozero
 279 ; CHECK-SAME: (float nofpclass(ninf zero sub nnorm) [[ARG0:%.*]]) #[[ATTR1]] {
 280 ; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(ninf nzero sub nnorm) float @llvm.floor.f32(float [[ARG0]]) #[[ATTR2]]
 281 ; CHECK-NEXT:    ret float [[CALL]]
 282 ;
 283   %call = call float @llvm.floor.f32(float %arg0)
 284   ret float %call
 285 }
 286
 287 define float @ret_floor_noneg_nozero_nonan(float nofpclass(ninf nsub nnorm zero nan) %arg0) {
 288 ; CHECK-LABEL: define nofpclass(nan ninf nzero sub nnorm) float @ret_floor_noneg_nozero_nonan
 289 ; CHECK-SAME: (float nofpclass(nan ninf zero sub nnorm) [[ARG0:%.*]]) #[[ATTR1]] {
 290 ; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(nan ninf nzero sub nnorm) float @llvm.floor.f32(float [[ARG0]]) #[[ATTR2]]
 291 ; CHECK-NEXT:    ret float [[CALL]]
 292 ;
 293   %call = call float @llvm.floor.f32(float %arg0)
 294   ret float %call
 295 }
 296
 297 define float @ret_floor_nopos(float nofpclass(pinf psub pnorm) %arg0) {
 298 ; CHECK-LABEL: define nofpclass(pinf sub) float @ret_floor_nopos
 299 ; CHECK-SAME: (float nofpclass(pinf sub pnorm) [[ARG0:%.*]]) #[[ATTR1]] {
 300 ; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(pinf sub) float @llvm.floor.f32(float [[ARG0]]) #[[ATTR2]]
 301 ; CHECK-NEXT:    ret float [[CALL]]
 302 ;
 303   %call = call float @llvm.floor.f32(float %arg0)
 304   ret float %call
 305 }
 306
 307 define float @ret_floor_nopos_nopzero(float nofpclass(pinf psub pnorm pzero) %arg0) {
 308 ; CHECK-LABEL: define nofpclass(pinf pzero sub pnorm) float @ret_floor_nopos_nopzero
 309 ; CHECK-SAME: (float nofpclass(pinf pzero sub pnorm) [[ARG0:%.*]]) #[[ATTR1]] {
 310 ; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(pinf pzero sub pnorm) float @llvm.floor.f32(float [[ARG0]]) #[[ATTR2]]
 311 ; CHECK-NEXT:    ret float [[CALL]]
 312 ;
 313   %call = call float @llvm.floor.f32(float %arg0)
 314   ret float %call
 315 }
 316
 317 define float @ret_floor_nopos_nopzero_nonan(float nofpclass(pinf psub pnorm pzero nan) %arg0) {
 318 ; CHECK-LABEL: define nofpclass(nan pinf pzero sub pnorm) float @ret_floor_nopos_nopzero_nonan
 319 ; CHECK-SAME: (float nofpclass(nan pinf pzero sub pnorm) [[ARG0:%.*]]) #[[ATTR1]] {
 320 ; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(nan pinf pzero sub pnorm) float @llvm.floor.f32(float [[ARG0]]) #[[ATTR2]]
 321 ; CHECK-NEXT:    ret float [[CALL]]
 322 ;
 323   %call = call float @llvm.floor.f32(float %arg0)
 324   ret float %call
 325 }
 326
 327 define float @ret_floor_nopos_nozero(float nofpclass(pinf psub pnorm zero) %arg0) {
 328 ; CHECK-LABEL: define nofpclass(pinf pzero sub pnorm) float @ret_floor_nopos_nozero
 329 ; CHECK-SAME: (float nofpclass(pinf zero sub pnorm) [[ARG0:%.*]]) #[[ATTR1]] {
 330 ; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(pinf pzero sub pnorm) float @llvm.floor.f32(float [[ARG0]]) #[[ATTR2]]
 331 ; CHECK-NEXT:    ret float [[CALL]]
 332 ;
 333   %call = call float @llvm.floor.f32(float %arg0)
 334   ret float %call
 335 }
 336
 337 define float @ret_floor_nopos_nozero_nonan(float nofpclass(pinf psub pnorm zero nan) %arg0) {
 338 ; CHECK-LABEL: define nofpclass(nan pinf pzero sub pnorm) float @ret_floor_nopos_nozero_nonan
 339 ; CHECK-SAME: (float nofpclass(nan pinf zero sub pnorm) [[ARG0:%.*]]) #[[ATTR1]] {
 340 ; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(nan pinf pzero sub pnorm) float @llvm.floor.f32(float [[ARG0]]) #[[ATTR2]]
 341 ; CHECK-NEXT:    ret float [[CALL]]
 342 ;
 343   %call = call float @llvm.floor.f32(float %arg0)
 344   ret float %call
 345 }
 346
 347 define float @ret_floor_nopzero_nopnorm(float nofpclass(pzero pnorm) %arg0) {
 348 ; CHECK-LABEL: define nofpclass(sub) float @ret_floor_nopzero_nopnorm
 349 ; CHECK-SAME: (float nofpclass(pzero sub pnorm) [[ARG0:%.*]]) #[[ATTR1]] {
 350 ; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(sub) float @llvm.floor.f32(float [[ARG0]]) #[[ATTR2]]
 351 ; CHECK-NEXT:    ret float [[CALL]]
 352 ;
 353   %call = call float @llvm.floor.f32(float %arg0)
 354   ret float %call
 355 }
 356
 357 define float @ret_floor_nonzero_nonnorm(float nofpclass(nzero nnorm) %arg0) {
 358 ; CHECK-LABEL: define nofpclass(sub) float @ret_floor_nonzero_nonnorm
 359 ; CHECK-SAME: (float nofpclass(nzero sub nnorm) [[ARG0:%.*]]) #[[ATTR1]] {
 360 ; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(sub) float @llvm.floor.f32(float [[ARG0]]) #[[ATTR2]]
 361 ; CHECK-NEXT:    ret float [[CALL]]
 362 ;
 363   %call = call float @llvm.floor.f32(float %arg0)
 364   ret float %call
 365 }
 366
 367 define float @ret_floor_nozero_nonorm(float nofpclass(zero norm) %arg0) {
 368 ; CHECK-LABEL: define nofpclass(sub) float @ret_floor_nozero_nonorm
 369 ; CHECK-SAME: (float nofpclass(zero sub norm) [[ARG0:%.*]]) #[[ATTR1]] {
 370 ; CHECK-NEXT:    [[CALL:%.*]] = call nofpclass(sub) float @llvm.floor.f32(float [[ARG0]]) #[[ATTR2]]
 371 ; CHECK-NEXT:    ret float [[CALL]]
 372 ;
 373   %call = call float @llvm.floor.f32(float %arg0)
 374   ret float %call
 375 }
 376
 377
 378
 379 ;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
 380 ; TUNIT: {{.*}}