llvm/test/CodeGen/RISCV/double-zfa.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc -mtriple=riscv32 -target-abi ilp32d -mattr=+zfa,+d < %s \
   3 ; RUN:     | FileCheck --check-prefixes=CHECK,RV32IDZFA %s
   4 ; RUN: llc -mtriple=riscv64 -target-abi lp64d -mattr=+zfa,+d < %s \
   5 ; RUN:     | FileCheck --check-prefixes=CHECK,RV64DZFA %s
   6
   7 define double @loadfpimm1() {
   8 ; CHECK-LABEL: loadfpimm1:
   9 ; CHECK:       # %bb.0:
  10 ; CHECK-NEXT:    fli.d fa0, 0.0625
  11 ; CHECK-NEXT:    ret
  12   ret double 0.0625
  13 }
  14
  15 define double @loadfpimm2() {
  16 ; CHECK-LABEL: loadfpimm2:
  17 ; CHECK:       # %bb.0:
  18 ; CHECK-NEXT:    fli.d fa0, 0.75
  19 ; CHECK-NEXT:    ret
  20   ret double 0.75
  21 }
  22
  23 define double @loadfpimm3() {
  24 ; CHECK-LABEL: loadfpimm3:
  25 ; CHECK:       # %bb.0:
  26 ; CHECK-NEXT:    fli.d fa0, 1.25
  27 ; CHECK-NEXT:    ret
  28   ret double 1.25
  29 }
  30
  31 define double @loadfpimm4() {
  32 ; CHECK-LABEL: loadfpimm4:
  33 ; CHECK:       # %bb.0:
  34 ; CHECK-NEXT:    fli.d fa0, 3.0
  35 ; CHECK-NEXT:    ret
  36   ret double 3.0
  37 }
  38
  39 define double @loadfpimm5() {
  40 ; CHECK-LABEL: loadfpimm5:
  41 ; CHECK:       # %bb.0:
  42 ; CHECK-NEXT:    fli.d fa0, 256.0
  43 ; CHECK-NEXT:    ret
  44   ret double 256.0
  45 }
  46
  47 define double @loadfpimm6() {
  48 ; CHECK-LABEL: loadfpimm6:
  49 ; CHECK:       # %bb.0:
  50 ; CHECK-NEXT:    fli.d fa0, inf
  51 ; CHECK-NEXT:    ret
  52   ret double 0x7FF0000000000000
  53 }
  54
  55 define double @loadfpimm7() {
  56 ; CHECK-LABEL: loadfpimm7:
  57 ; CHECK:       # %bb.0:
  58 ; CHECK-NEXT:    fli.d fa0, nan
  59 ; CHECK-NEXT:    ret
  60   ret double 0x7FF8000000000000
  61 }
  62
  63 define double @loadfpimm8() {
  64 ; CHECK-LABEL: loadfpimm8:
  65 ; CHECK:       # %bb.0:
  66 ; CHECK-NEXT:    fli.d fa0, min
  67 ; CHECK-NEXT:    ret
  68   ret double 0x0010000000000000
  69 }
  70
  71 define double @loadfpimm9() {
  72 ; CHECK-LABEL: loadfpimm9:
  73 ; CHECK:       # %bb.0:
  74 ; CHECK-NEXT:    lui a0, %hi(.LCPI8_0)
  75 ; CHECK-NEXT:    fld fa0, %lo(.LCPI8_0)(a0)
  76 ; CHECK-NEXT:    ret
  77   ret double 255.0
  78 }
  79
  80 ; Negative test. This is 1 * 2^256.
  81 define double @loadfpimm10() {
  82 ; CHECK-LABEL: loadfpimm10:
  83 ; CHECK:       # %bb.0:
  84 ; CHECK-NEXT:    lui a0, %hi(.LCPI9_0)
  85 ; CHECK-NEXT:    fld fa0, %lo(.LCPI9_0)(a0)
  86 ; CHECK-NEXT:    ret
  87   ret double 0x1000000000000000
  88 }
  89
  90 ; Negative test. This is a qnan with payload of 1.
  91 define double @loadfpimm11() {
  92 ; CHECK-LABEL: loadfpimm11:
  93 ; CHECK:       # %bb.0:
  94 ; CHECK-NEXT:    lui a0, %hi(.LCPI10_0)
  95 ; CHECK-NEXT:    fld fa0, %lo(.LCPI10_0)(a0)
  96 ; CHECK-NEXT:    ret
  97   ret double 0x7ff8000000000001
  98 }
  99
 100 ; Negative test. This is an snan with payload of 1.
 101 define double @loadfpimm12() {
 102 ; CHECK-LABEL: loadfpimm12:
 103 ; CHECK:       # %bb.0:
 104 ; CHECK-NEXT:    lui a0, %hi(.LCPI11_0)
 105 ; CHECK-NEXT:    fld fa0, %lo(.LCPI11_0)(a0)
 106 ; CHECK-NEXT:    ret
 107   ret double 0x7ff0000000000001
 108 }
 109
 110 ; Negative test. This is the smallest denormal.
 111 define double @loadfpimm13() {
 112 ; RV32IDZFA-LABEL: loadfpimm13:
 113 ; RV32IDZFA:       # %bb.0:
 114 ; RV32IDZFA-NEXT:    lui a0, %hi(.LCPI12_0)
 115 ; RV32IDZFA-NEXT:    fld fa0, %lo(.LCPI12_0)(a0)
 116 ; RV32IDZFA-NEXT:    ret
 117 ;
 118 ; RV64DZFA-LABEL: loadfpimm13:
 119 ; RV64DZFA:       # %bb.0:
 120 ; RV64DZFA-NEXT:    li a0, 1
 121 ; RV64DZFA-NEXT:    fmv.d.x fa0, a0
 122 ; RV64DZFA-NEXT:    ret
 123   ret double 0x0000000000000001
 124 }
 125
 126 ; Negative test. This is 2^-1023, a denormal.
 127 define double @loadfpimm15() {
 128 ; CHECK-LABEL: loadfpimm15:
 129 ; CHECK:       # %bb.0:
 130 ; CHECK-NEXT:    lui a0, %hi(.LCPI13_0)
 131 ; CHECK-NEXT:    fld fa0, %lo(.LCPI13_0)(a0)
 132 ; CHECK-NEXT:    ret
 133   ret double 0x0008000000000000
 134 }
 135
 136 define double @loadfpimm16() {
 137 ; CHECK-LABEL: loadfpimm16:
 138 ; CHECK:       # %bb.0:
 139 ; CHECK-NEXT:    fli.d fa0, -1.0
 140 ; CHECK-NEXT:    ret
 141   ret double -1.0
 142 }
 143
 144 ; Ensure fli isn't directly used for negated versions of numbers in the fli
 145 ; table.
 146 define double @loadfpimm17() {
 147 ; CHECK-LABEL: loadfpimm17:
 148 ; CHECK:       # %bb.0:
 149 ; CHECK-NEXT:    fli.d fa5, 2.0
 150 ; CHECK-NEXT:    fneg.d fa0, fa5
 151 ; CHECK-NEXT:    ret
 152   ret double -2.0
 153 }
 154
 155 ; Ensure fli isn't directly used for negative min normal value.
 156 define double @loadfpimm18() {
 157 ; CHECK-LABEL: loadfpimm18:
 158 ; CHECK:       # %bb.0:
 159 ; CHECK-NEXT:    fli.d fa5, min
 160 ; CHECK-NEXT:    fneg.d fa0, fa5
 161 ; CHECK-NEXT:    ret
 162   ret double 0x8010000000000000
 163 }
 164
 165 declare double @llvm.minimum.f64(double, double)
 166
 167 define double @fminm_d(double %a, double %b) nounwind {
 168 ; CHECK-LABEL: fminm_d:
 169 ; CHECK:       # %bb.0:
 170 ; CHECK-NEXT:    fminm.d fa0, fa0, fa1
 171 ; CHECK-NEXT:    ret
 172   %1 = call double @llvm.minimum.f64(double %a, double %b)
 173   ret double %1
 174 }
 175
 176 declare double @llvm.maximum.f64(double, double)
 177
 178 define double @fmaxm_d(double %a, double %b) nounwind {
 179 ; CHECK-LABEL: fmaxm_d:
 180 ; CHECK:       # %bb.0:
 181 ; CHECK-NEXT:    fmaxm.d fa0, fa0, fa1
 182 ; CHECK-NEXT:    ret
 183   %1 = call double @llvm.maximum.f64(double %a, double %b)
 184   ret double %1
 185 }
 186
 187 define double @fround_d_1(double %a) nounwind {
 188 ; CHECK-LABEL: fround_d_1:
 189 ; CHECK:       # %bb.0:
 190 ; CHECK-NEXT:    fround.d fa0, fa0, rmm
 191 ; CHECK-NEXT:    ret
 192   %call = tail call double @round(double %a) nounwind readnone
 193   ret double %call
 194 }
 195
 196 declare double @round(double) nounwind readnone
 197
 198
 199 define double @fround_d_2(double %a) nounwind {
 200 ; CHECK-LABEL: fround_d_2:
 201 ; CHECK:       # %bb.0:
 202 ; CHECK-NEXT:    fround.d fa0, fa0, rdn
 203 ; CHECK-NEXT:    ret
 204   %call = tail call double @floor(double %a) nounwind readnone
 205   ret double %call
 206 }
 207
 208 declare double @floor(double) nounwind readnone
 209
 210
 211 define double @fround_d_3(double %a) nounwind {
 212 ; CHECK-LABEL: fround_d_3:
 213 ; CHECK:       # %bb.0:
 214 ; CHECK-NEXT:    fround.d fa0, fa0, rup
 215 ; CHECK-NEXT:    ret
 216   %call = tail call double @ceil(double %a) nounwind readnone
 217   ret double %call
 218 }
 219
 220 declare double @ceil(double) nounwind readnone
 221
 222
 223 define double @fround_d_4(double %a) nounwind {
 224 ; CHECK-LABEL: fround_d_4:
 225 ; CHECK:       # %bb.0:
 226 ; CHECK-NEXT:    fround.d fa0, fa0, rtz
 227 ; CHECK-NEXT:    ret
 228   %call = tail call double @trunc(double %a) nounwind readnone
 229   ret double %call
 230 }
 231
 232 declare double @trunc(double) nounwind readnone
 233
 234
 235 define double @fround_d_5(double %a) nounwind {
 236 ; CHECK-LABEL: fround_d_5:
 237 ; CHECK:       # %bb.0:
 238 ; CHECK-NEXT:    fround.d fa0, fa0
 239 ; CHECK-NEXT:    ret
 240   %call = tail call double @nearbyint(double %a) nounwind readnone
 241   ret double %call
 242 }
 243
 244 declare double @nearbyint(double) nounwind readnone
 245
 246
 247 define double @froundnx_d(double %a) nounwind {
 248 ; CHECK-LABEL: froundnx_d:
 249 ; CHECK:       # %bb.0:
 250 ; CHECK-NEXT:    froundnx.d fa0, fa0
 251 ; CHECK-NEXT:    ret
 252   %call = tail call double @rint(double %a) nounwind readnone
 253   ret double %call
 254 }
 255
 256 declare double @rint(double) nounwind readnone
 257
 258 declare i1 @llvm.experimental.constrained.fcmp.f64(double, double, metadata, metadata)
 259
 260 define i32 @fcmp_olt_q(double %a, double %b) nounwind strictfp {
 261 ; CHECK-LABEL: fcmp_olt_q:
 262 ; CHECK:       # %bb.0:
 263 ; CHECK-NEXT:    fltq.d a0, fa0, fa1
 264 ; CHECK-NEXT:    ret
 265   %1 = call i1 @llvm.experimental.constrained.fcmp.f64(double %a, double %b, metadata !"olt", metadata !"fpexcept.strict") strictfp
 266   %2 = zext i1 %1 to i32
 267   ret i32 %2
 268 }
 269
 270 define i32 @fcmp_ole_q(double %a, double %b) nounwind strictfp {
 271 ; CHECK-LABEL: fcmp_ole_q:
 272 ; CHECK:       # %bb.0:
 273 ; CHECK-NEXT:    fleq.d a0, fa0, fa1
 274 ; CHECK-NEXT:    ret
 275   %1 = call i1 @llvm.experimental.constrained.fcmp.f64(double %a, double %b, metadata !"ole", metadata !"fpexcept.strict") strictfp
 276   %2 = zext i1 %1 to i32
 277   ret i32 %2
 278 }
 279
 280 define i32 @fcmp_one_q(double %a, double %b) nounwind strictfp {
 281 ; CHECK-LABEL: fcmp_one_q:
 282 ; CHECK:       # %bb.0:
 283 ; CHECK-NEXT:    fltq.d a0, fa0, fa1
 284 ; CHECK-NEXT:    fltq.d a1, fa1, fa0
 285 ; CHECK-NEXT:    or a0, a1, a0
 286 ; CHECK-NEXT:    ret
 287   %1 = call i1 @llvm.experimental.constrained.fcmp.f64(double %a, double %b, metadata !"one", metadata !"fpexcept.strict") strictfp
 288   %2 = zext i1 %1 to i32
 289   ret i32 %2
 290 }
 291
 292 define i32 @fcmp_ueq_q(double %a, double %b) nounwind strictfp {
 293 ; CHECK-LABEL: fcmp_ueq_q:
 294 ; CHECK:       # %bb.0:
 295 ; CHECK-NEXT:    fltq.d a0, fa0, fa1
 296 ; CHECK-NEXT:    fltq.d a1, fa1, fa0
 297 ; CHECK-NEXT:    or a0, a1, a0
 298 ; CHECK-NEXT:    xori a0, a0, 1
 299 ; CHECK-NEXT:    ret
 300   %1 = call i1 @llvm.experimental.constrained.fcmp.f64(double %a, double %b, metadata !"ueq", metadata !"fpexcept.strict") strictfp
 301   %2 = zext i1 %1 to i32
 302   ret i32 %2
 303 }
 304
 305 define i64 @fmvh_x_d(double %fa) {
 306 ; RV32IDZFA-LABEL: fmvh_x_d:
 307 ; RV32IDZFA:       # %bb.0:
 308 ; RV32IDZFA-NEXT:    fmv.x.w a0, fa0
 309 ; RV32IDZFA-NEXT:    fmvh.x.d a1, fa0
 310 ; RV32IDZFA-NEXT:    ret
 311 ;
 312 ; RV64DZFA-LABEL: fmvh_x_d:
 313 ; RV64DZFA:       # %bb.0:
 314 ; RV64DZFA-NEXT:    fmv.x.d a0, fa0
 315 ; RV64DZFA-NEXT:    ret
 316   %i = bitcast double %fa to i64
 317   ret i64 %i
 318 }
 319
 320 define double @fmvp_d_x(i64 %a) {
 321 ; RV32IDZFA-LABEL: fmvp_d_x:
 322 ; RV32IDZFA:       # %bb.0:
 323 ; RV32IDZFA-NEXT:    fmvp.d.x fa0, a0, a1
 324 ; RV32IDZFA-NEXT:    ret
 325 ;
 326 ; RV64DZFA-LABEL: fmvp_d_x:
 327 ; RV64DZFA:       # %bb.0:
 328 ; RV64DZFA-NEXT:    fmv.d.x fa0, a0
 329 ; RV64DZFA-NEXT:    ret
 330   %or = bitcast i64 %a to double
 331   ret double %or
 332 }