llvm/test/CodeGen/RISCV/fmax-fmin.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc -mtriple=riscv32 -verify-machineinstrs < %s | FileCheck %s --check-prefixes=R32
   3 ; RUN: llc -mtriple=riscv64 -verify-machineinstrs < %s | FileCheck %s --check-prefixes=R64
   4
   5 define float @maxnum_f32(float %x, float %y) nounwind {
   6 ; R32-LABEL: maxnum_f32:
   7 ; R32:       # %bb.0:
   8 ; R32-NEXT:    addi sp, sp, -16
   9 ; R32-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
  10 ; R32-NEXT:    call fmaxf@plt
  11 ; R32-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
  12 ; R32-NEXT:    addi sp, sp, 16
  13 ; R32-NEXT:    ret
  14 ;
  15 ; R64-LABEL: maxnum_f32:
  16 ; R64:       # %bb.0:
  17 ; R64-NEXT:    addi sp, sp, -16
  18 ; R64-NEXT:    sd ra, 8(sp) # 8-byte Folded Spill
  19 ; R64-NEXT:    call fmaxf@plt
  20 ; R64-NEXT:    ld ra, 8(sp) # 8-byte Folded Reload
  21 ; R64-NEXT:    addi sp, sp, 16
  22 ; R64-NEXT:    ret
  23   %r = call float @llvm.maxnum.f32(float %x, float %y)
  24   ret float %r
  25 }
  26
  27 define float @maxnum_f32_fast(float %x, float %y) nounwind {
  28 ; R32-LABEL: maxnum_f32_fast:
  29 ; R32:       # %bb.0:
  30 ; R32-NEXT:    addi sp, sp, -16
  31 ; R32-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
  32 ; R32-NEXT:    sw s0, 8(sp) # 4-byte Folded Spill
  33 ; R32-NEXT:    sw s1, 4(sp) # 4-byte Folded Spill
  34 ; R32-NEXT:    mv s1, a1
  35 ; R32-NEXT:    mv s0, a0
  36 ; R32-NEXT:    call __gtsf2@plt
  37 ; R32-NEXT:    bgtz a0, .LBB1_2
  38 ; R32-NEXT:  # %bb.1:
  39 ; R32-NEXT:    mv s0, s1
  40 ; R32-NEXT:  .LBB1_2:
  41 ; R32-NEXT:    mv a0, s0
  42 ; R32-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
  43 ; R32-NEXT:    lw s0, 8(sp) # 4-byte Folded Reload
  44 ; R32-NEXT:    lw s1, 4(sp) # 4-byte Folded Reload
  45 ; R32-NEXT:    addi sp, sp, 16
  46 ; R32-NEXT:    ret
  47 ;
  48 ; R64-LABEL: maxnum_f32_fast:
  49 ; R64:       # %bb.0:
  50 ; R64-NEXT:    addi sp, sp, -32
  51 ; R64-NEXT:    sd ra, 24(sp) # 8-byte Folded Spill
  52 ; R64-NEXT:    sd s0, 16(sp) # 8-byte Folded Spill
  53 ; R64-NEXT:    sd s1, 8(sp) # 8-byte Folded Spill
  54 ; R64-NEXT:    mv s1, a1
  55 ; R64-NEXT:    mv s0, a0
  56 ; R64-NEXT:    call __gtsf2@plt
  57 ; R64-NEXT:    bgtz a0, .LBB1_2
  58 ; R64-NEXT:  # %bb.1:
  59 ; R64-NEXT:    mv s0, s1
  60 ; R64-NEXT:  .LBB1_2:
  61 ; R64-NEXT:    mv a0, s0
  62 ; R64-NEXT:    ld ra, 24(sp) # 8-byte Folded Reload
  63 ; R64-NEXT:    ld s0, 16(sp) # 8-byte Folded Reload
  64 ; R64-NEXT:    ld s1, 8(sp) # 8-byte Folded Reload
  65 ; R64-NEXT:    addi sp, sp, 32
  66 ; R64-NEXT:    ret
  67   %r = call fast float @llvm.maxnum.f32(float %x, float %y)
  68   ret float %r
  69 }
  70
  71 define double @maxnum_f64(double %x, double %y) nounwind {
  72 ; R32-LABEL: maxnum_f64:
  73 ; R32:       # %bb.0:
  74 ; R32-NEXT:    addi sp, sp, -16
  75 ; R32-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
  76 ; R32-NEXT:    call fmax@plt
  77 ; R32-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
  78 ; R32-NEXT:    addi sp, sp, 16
  79 ; R32-NEXT:    ret
  80 ;
  81 ; R64-LABEL: maxnum_f64:
  82 ; R64:       # %bb.0:
  83 ; R64-NEXT:    addi sp, sp, -16
  84 ; R64-NEXT:    sd ra, 8(sp) # 8-byte Folded Spill
  85 ; R64-NEXT:    call fmax@plt
  86 ; R64-NEXT:    ld ra, 8(sp) # 8-byte Folded Reload
  87 ; R64-NEXT:    addi sp, sp, 16
  88 ; R64-NEXT:    ret
  89   %r = call double @llvm.maxnum.f64(double %x, double %y)
  90   ret double %r
  91 }
  92
  93 define double @maxnum_f64_nnan(double %x, double %y) nounwind {
  94 ; R32-LABEL: maxnum_f64_nnan:
  95 ; R32:       # %bb.0:
  96 ; R32-NEXT:    addi sp, sp, -32
  97 ; R32-NEXT:    sw ra, 28(sp) # 4-byte Folded Spill
  98 ; R32-NEXT:    sw s0, 24(sp) # 4-byte Folded Spill
  99 ; R32-NEXT:    sw s1, 20(sp) # 4-byte Folded Spill
 100 ; R32-NEXT:    sw s2, 16(sp) # 4-byte Folded Spill
 101 ; R32-NEXT:    sw s3, 12(sp) # 4-byte Folded Spill
 102 ; R32-NEXT:    sw s4, 8(sp) # 4-byte Folded Spill
 103 ; R32-NEXT:    mv s1, a3
 104 ; R32-NEXT:    mv s2, a2
 105 ; R32-NEXT:    mv s0, a1
 106 ; R32-NEXT:    mv s4, a0
 107 ; R32-NEXT:    call __gtdf2@plt
 108 ; R32-NEXT:    mv s3, s4
 109 ; R32-NEXT:    bgtz a0, .LBB3_2
 110 ; R32-NEXT:  # %bb.1:
 111 ; R32-NEXT:    mv s3, s2
 112 ; R32-NEXT:  .LBB3_2:
 113 ; R32-NEXT:    mv a0, s4
 114 ; R32-NEXT:    mv a1, s0
 115 ; R32-NEXT:    mv a2, s2
 116 ; R32-NEXT:    mv a3, s1
 117 ; R32-NEXT:    call __gtdf2@plt
 118 ; R32-NEXT:    bgtz a0, .LBB3_4
 119 ; R32-NEXT:  # %bb.3:
 120 ; R32-NEXT:    mv s0, s1
 121 ; R32-NEXT:  .LBB3_4:
 122 ; R32-NEXT:    mv a0, s3
 123 ; R32-NEXT:    mv a1, s0
 124 ; R32-NEXT:    lw ra, 28(sp) # 4-byte Folded Reload
 125 ; R32-NEXT:    lw s0, 24(sp) # 4-byte Folded Reload
 126 ; R32-NEXT:    lw s1, 20(sp) # 4-byte Folded Reload
 127 ; R32-NEXT:    lw s2, 16(sp) # 4-byte Folded Reload
 128 ; R32-NEXT:    lw s3, 12(sp) # 4-byte Folded Reload
 129 ; R32-NEXT:    lw s4, 8(sp) # 4-byte Folded Reload
 130 ; R32-NEXT:    addi sp, sp, 32
 131 ; R32-NEXT:    ret
 132 ;
 133 ; R64-LABEL: maxnum_f64_nnan:
 134 ; R64:       # %bb.0:
 135 ; R64-NEXT:    addi sp, sp, -32
 136 ; R64-NEXT:    sd ra, 24(sp) # 8-byte Folded Spill
 137 ; R64-NEXT:    sd s0, 16(sp) # 8-byte Folded Spill
 138 ; R64-NEXT:    sd s1, 8(sp) # 8-byte Folded Spill
 139 ; R64-NEXT:    mv s1, a1
 140 ; R64-NEXT:    mv s0, a0
 141 ; R64-NEXT:    call __gtdf2@plt
 142 ; R64-NEXT:    bgtz a0, .LBB3_2
 143 ; R64-NEXT:  # %bb.1:
 144 ; R64-NEXT:    mv s0, s1
 145 ; R64-NEXT:  .LBB3_2:
 146 ; R64-NEXT:    mv a0, s0
 147 ; R64-NEXT:    ld ra, 24(sp) # 8-byte Folded Reload
 148 ; R64-NEXT:    ld s0, 16(sp) # 8-byte Folded Reload
 149 ; R64-NEXT:    ld s1, 8(sp) # 8-byte Folded Reload
 150 ; R64-NEXT:    addi sp, sp, 32
 151 ; R64-NEXT:    ret
 152   %r = call nnan double @llvm.maxnum.f64(double %x, double %y)
 153   ret double %r
 154 }
 155
 156 define float @minnum_f32(float %x, float %y) nounwind {
 157 ; R32-LABEL: minnum_f32:
 158 ; R32:       # %bb.0:
 159 ; R32-NEXT:    addi sp, sp, -16
 160 ; R32-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
 161 ; R32-NEXT:    call fminf@plt
 162 ; R32-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
 163 ; R32-NEXT:    addi sp, sp, 16
 164 ; R32-NEXT:    ret
 165 ;
 166 ; R64-LABEL: minnum_f32:
 167 ; R64:       # %bb.0:
 168 ; R64-NEXT:    addi sp, sp, -16
 169 ; R64-NEXT:    sd ra, 8(sp) # 8-byte Folded Spill
 170 ; R64-NEXT:    call fminf@plt
 171 ; R64-NEXT:    ld ra, 8(sp) # 8-byte Folded Reload
 172 ; R64-NEXT:    addi sp, sp, 16
 173 ; R64-NEXT:    ret
 174   %r = call float @llvm.minnum.f32(float %x, float %y)
 175   ret float %r
 176 }
 177
 178 define float @minnum_f32_nnan(float %x, float %y) nounwind {
 179 ; R32-LABEL: minnum_f32_nnan:
 180 ; R32:       # %bb.0:
 181 ; R32-NEXT:    addi sp, sp, -16
 182 ; R32-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
 183 ; R32-NEXT:    sw s0, 8(sp) # 4-byte Folded Spill
 184 ; R32-NEXT:    sw s1, 4(sp) # 4-byte Folded Spill
 185 ; R32-NEXT:    mv s1, a1
 186 ; R32-NEXT:    mv s0, a0
 187 ; R32-NEXT:    call __ltsf2@plt
 188 ; R32-NEXT:    bltz a0, .LBB5_2
 189 ; R32-NEXT:  # %bb.1:
 190 ; R32-NEXT:    mv s0, s1
 191 ; R32-NEXT:  .LBB5_2:
 192 ; R32-NEXT:    mv a0, s0
 193 ; R32-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
 194 ; R32-NEXT:    lw s0, 8(sp) # 4-byte Folded Reload
 195 ; R32-NEXT:    lw s1, 4(sp) # 4-byte Folded Reload
 196 ; R32-NEXT:    addi sp, sp, 16
 197 ; R32-NEXT:    ret
 198 ;
 199 ; R64-LABEL: minnum_f32_nnan:
 200 ; R64:       # %bb.0:
 201 ; R64-NEXT:    addi sp, sp, -32
 202 ; R64-NEXT:    sd ra, 24(sp) # 8-byte Folded Spill
 203 ; R64-NEXT:    sd s0, 16(sp) # 8-byte Folded Spill
 204 ; R64-NEXT:    sd s1, 8(sp) # 8-byte Folded Spill
 205 ; R64-NEXT:    mv s1, a1
 206 ; R64-NEXT:    mv s0, a0
 207 ; R64-NEXT:    call __ltsf2@plt
 208 ; R64-NEXT:    bltz a0, .LBB5_2
 209 ; R64-NEXT:  # %bb.1:
 210 ; R64-NEXT:    mv s0, s1
 211 ; R64-NEXT:  .LBB5_2:
 212 ; R64-NEXT:    mv a0, s0
 213 ; R64-NEXT:    ld ra, 24(sp) # 8-byte Folded Reload
 214 ; R64-NEXT:    ld s0, 16(sp) # 8-byte Folded Reload
 215 ; R64-NEXT:    ld s1, 8(sp) # 8-byte Folded Reload
 216 ; R64-NEXT:    addi sp, sp, 32
 217 ; R64-NEXT:    ret
 218   %r = call nnan float @llvm.minnum.f32(float %x, float %y)
 219   ret float %r
 220 }
 221
 222 define double @minnum_f64(double %x, double %y) nounwind {
 223 ; R32-LABEL: minnum_f64:
 224 ; R32:       # %bb.0:
 225 ; R32-NEXT:    addi sp, sp, -16
 226 ; R32-NEXT:    sw ra, 12(sp) # 4-byte Folded Spill
 227 ; R32-NEXT:    call fmin@plt
 228 ; R32-NEXT:    lw ra, 12(sp) # 4-byte Folded Reload
 229 ; R32-NEXT:    addi sp, sp, 16
 230 ; R32-NEXT:    ret
 231 ;
 232 ; R64-LABEL: minnum_f64:
 233 ; R64:       # %bb.0:
 234 ; R64-NEXT:    addi sp, sp, -16
 235 ; R64-NEXT:    sd ra, 8(sp) # 8-byte Folded Spill
 236 ; R64-NEXT:    call fmin@plt
 237 ; R64-NEXT:    ld ra, 8(sp) # 8-byte Folded Reload
 238 ; R64-NEXT:    addi sp, sp, 16
 239 ; R64-NEXT:    ret
 240   %r = call double @llvm.minnum.f64(double %x, double %y)
 241   ret double %r
 242 }
 243
 244 define double @minnum_f64_fast(double %x, double %y) nounwind {
 245 ; R32-LABEL: minnum_f64_fast:
 246 ; R32:       # %bb.0:
 247 ; R32-NEXT:    addi sp, sp, -32
 248 ; R32-NEXT:    sw ra, 28(sp) # 4-byte Folded Spill
 249 ; R32-NEXT:    sw s0, 24(sp) # 4-byte Folded Spill
 250 ; R32-NEXT:    sw s1, 20(sp) # 4-byte Folded Spill
 251 ; R32-NEXT:    sw s2, 16(sp) # 4-byte Folded Spill
 252 ; R32-NEXT:    sw s3, 12(sp) # 4-byte Folded Spill
 253 ; R32-NEXT:    sw s4, 8(sp) # 4-byte Folded Spill
 254 ; R32-NEXT:    mv s1, a3
 255 ; R32-NEXT:    mv s2, a2
 256 ; R32-NEXT:    mv s0, a1
 257 ; R32-NEXT:    mv s4, a0
 258 ; R32-NEXT:    call __ltdf2@plt
 259 ; R32-NEXT:    mv s3, s4
 260 ; R32-NEXT:    bltz a0, .LBB7_2
 261 ; R32-NEXT:  # %bb.1:
 262 ; R32-NEXT:    mv s3, s2
 263 ; R32-NEXT:  .LBB7_2:
 264 ; R32-NEXT:    mv a0, s4
 265 ; R32-NEXT:    mv a1, s0
 266 ; R32-NEXT:    mv a2, s2
 267 ; R32-NEXT:    mv a3, s1
 268 ; R32-NEXT:    call __ltdf2@plt
 269 ; R32-NEXT:    bltz a0, .LBB7_4
 270 ; R32-NEXT:  # %bb.3:
 271 ; R32-NEXT:    mv s0, s1
 272 ; R32-NEXT:  .LBB7_4:
 273 ; R32-NEXT:    mv a0, s3
 274 ; R32-NEXT:    mv a1, s0
 275 ; R32-NEXT:    lw ra, 28(sp) # 4-byte Folded Reload
 276 ; R32-NEXT:    lw s0, 24(sp) # 4-byte Folded Reload
 277 ; R32-NEXT:    lw s1, 20(sp) # 4-byte Folded Reload
 278 ; R32-NEXT:    lw s2, 16(sp) # 4-byte Folded Reload
 279 ; R32-NEXT:    lw s3, 12(sp) # 4-byte Folded Reload
 280 ; R32-NEXT:    lw s4, 8(sp) # 4-byte Folded Reload
 281 ; R32-NEXT:    addi sp, sp, 32
 282 ; R32-NEXT:    ret
 283 ;
 284 ; R64-LABEL: minnum_f64_fast:
 285 ; R64:       # %bb.0:
 286 ; R64-NEXT:    addi sp, sp, -32
 287 ; R64-NEXT:    sd ra, 24(sp) # 8-byte Folded Spill
 288 ; R64-NEXT:    sd s0, 16(sp) # 8-byte Folded Spill
 289 ; R64-NEXT:    sd s1, 8(sp) # 8-byte Folded Spill
 290 ; R64-NEXT:    mv s1, a1
 291 ; R64-NEXT:    mv s0, a0
 292 ; R64-NEXT:    call __ltdf2@plt
 293 ; R64-NEXT:    bltz a0, .LBB7_2
 294 ; R64-NEXT:  # %bb.1:
 295 ; R64-NEXT:    mv s0, s1
 296 ; R64-NEXT:  .LBB7_2:
 297 ; R64-NEXT:    mv a0, s0
 298 ; R64-NEXT:    ld ra, 24(sp) # 8-byte Folded Reload
 299 ; R64-NEXT:    ld s0, 16(sp) # 8-byte Folded Reload
 300 ; R64-NEXT:    ld s1, 8(sp) # 8-byte Folded Reload
 301 ; R64-NEXT:    addi sp, sp, 32
 302 ; R64-NEXT:    ret
 303   %r = call fast double @llvm.minnum.f64(double %x, double %y)
 304   ret double %r
 305 }
 306
 307 declare float @llvm.maxnum.f32(float, float)
 308 declare double @llvm.maxnum.f64(double, double)
 309 declare float @llvm.minnum.f32(float, float)
 310 declare double @llvm.minnum.f64(double, double)
 311