test/CodeGen/WebAssembly/f64.ll

   1 ; RUN: llc < %s -asm-verbose=false | FileCheck %s
   2
   3 ; Test that basic 64-bit floating-point operations assemble as expected.
   4
   5 target datalayout = "e-p:32:32-i64:64-n32:64-S128"
   6 target triple = "wasm32-unknown-unknown"
   7
   8 declare double @llvm.fabs.f64(double)
   9 declare double @llvm.copysign.f64(double, double)
  10 declare double @llvm.sqrt.f64(double)
  11 declare double @llvm.ceil.f64(double)
  12 declare double @llvm.floor.f64(double)
  13 declare double @llvm.trunc.f64(double)
  14 declare double @llvm.nearbyint.f64(double)
  15 declare double @llvm.rint.f64(double)
  16
  17 ; CHECK-LABEL: fadd64:
  18 ; CHECK-NEXT: .param f64{{$}}
  19 ; CHECK-NEXT: .param f64{{$}}
  20 ; CHECK-NEXT: .result f64{{$}}
  21 ; CHECK-NEXT: .local f64, f64, f64{{$}}
  22 ; CHECK-NEXT: f64.add $push, (get_local 0), (get_local 1){{$}}
  23 ; CHECK-NEXT: set_local 2, $pop{{$}}
  24 ; CHECK-NEXT: return (get_local 2){{$}}
  25 define double @fadd64(double %x, double %y) {
  26   %a = fadd double %x, %y
  27   ret double %a
  28 }
  29
  30 ; CHECK-LABEL: fsub64:
  31 ; CHECK: f64.sub $push, (get_local 0), (get_local 1){{$}}
  32 ; CHECK-NEXT: set_local 2, $pop{{$}}
  33 define double @fsub64(double %x, double %y) {
  34   %a = fsub double %x, %y
  35   ret double %a
  36 }
  37
  38 ; CHECK-LABEL: fmul64:
  39 ; CHECK: f64.mul $push, (get_local 0), (get_local 1){{$}}
  40 ; CHECK-NEXT: set_local 2, $pop{{$}}
  41 define double @fmul64(double %x, double %y) {
  42   %a = fmul double %x, %y
  43   ret double %a
  44 }
  45
  46 ; CHECK-LABEL: fdiv64:
  47 ; CHECK: f64.div $push, (get_local 0), (get_local 1){{$}}
  48 ; CHECK-NEXT: set_local 2, $pop{{$}}
  49 define double @fdiv64(double %x, double %y) {
  50   %a = fdiv double %x, %y
  51   ret double %a
  52 }
  53
  54 ; CHECK-LABEL: fabs64:
  55 ; CHECK: f64.abs $push, (get_local 0){{$}}
  56 ; CHECK-NEXT: set_local 1, $pop{{$}}
  57 define double @fabs64(double %x) {
  58   %a = call double @llvm.fabs.f64(double %x)
  59   ret double %a
  60 }
  61
  62 ; CHECK-LABEL: fneg64:
  63 ; CHECK: f64.neg $push, (get_local 0){{$}}
  64 ; CHECK-NEXT: set_local 1, $pop{{$}}
  65 define double @fneg64(double %x) {
  66   %a = fsub double -0., %x
  67   ret double %a
  68 }
  69
  70 ; CHECK-LABEL: copysign64:
  71 ; CHECK: f64.copysign $push, (get_local 0), (get_local 1){{$}}
  72 ; CHECK-NEXT: set_local 2, $pop{{$}}
  73 define double @copysign64(double %x, double %y) {
  74   %a = call double @llvm.copysign.f64(double %x, double %y)
  75   ret double %a
  76 }
  77
  78 ; CHECK-LABEL: sqrt64:
  79 ; CHECK: f64.sqrt $push, (get_local 0){{$}}
  80 ; CHECK-NEXT: set_local 1, $pop{{$}}
  81 define double @sqrt64(double %x) {
  82   %a = call double @llvm.sqrt.f64(double %x)
  83   ret double %a
  84 }
  85
  86 ; CHECK-LABEL: ceil64:
  87 ; CHECK: f64.ceil $push, (get_local 0){{$}}
  88 ; CHECK-NEXT: set_local 1, $pop{{$}}
  89 define double @ceil64(double %x) {
  90   %a = call double @llvm.ceil.f64(double %x)
  91   ret double %a
  92 }
  93
  94 ; CHECK-LABEL: floor64:
  95 ; CHECK: f64.floor $push, (get_local 0){{$}}
  96 ; CHECK-NEXT: set_local 1, $pop{{$}}
  97 define double @floor64(double %x) {
  98   %a = call double @llvm.floor.f64(double %x)
  99   ret double %a
 100 }
 101
 102 ; CHECK-LABEL: trunc64:
 103 ; CHECK: f64.trunc $push, (get_local 0){{$}}
 104 ; CHECK-NEXT: set_local 1, $pop{{$}}
 105 define double @trunc64(double %x) {
 106   %a = call double @llvm.trunc.f64(double %x)
 107   ret double %a
 108 }
 109
 110 ; CHECK-LABEL: nearest64:
 111 ; CHECK: f64.nearest $push, (get_local 0){{$}}
 112 ; CHECK-NEXT: set_local 1, $pop{{$}}
 113 define double @nearest64(double %x) {
 114   %a = call double @llvm.nearbyint.f64(double %x)
 115   ret double %a
 116 }
 117
 118 ; CHECK-LABEL: nearest64_via_rint:
 119 ; CHECK: f64.nearest $push, (get_local 0){{$}}
 120 ; CHECK-NEXT: set_local 1, $pop{{$}}
 121 define double @nearest64_via_rint(double %x) {
 122   %a = call double @llvm.rint.f64(double %x)
 123   ret double %a
 124 }
 125
 126 ; Min and max tests. LLVM currently only forms fminnan and fmaxnan nodes in
 127 ; cases where there's a single fcmp with a select and it can prove that one
 128 ; of the arms is never NaN, so we only test that case. In the future if LLVM
 129 ; learns to form fminnan/fmaxnan in more cases, we can write more general
 130 ; tests.
 131
 132 ; CHECK-LABEL: fmin64:
 133 ; CHECK: f64.min $push, (get_local 0), (get_local 1){{$}}
 134 ; CHECK-NEXT: set_local 2, $pop{{$}}
 135 define double @fmin64(double %x) {
 136   %a = fcmp ult double %x, 0.0
 137   %b = select i1 %a, double %x, double 0.0
 138   ret double %b
 139 }
 140
 141 ; CHECK-LABEL: fmax64:
 142 ; CHECK: f64.max $push, (get_local 0), (get_local 1){{$}}
 143 ; CHECK-NEXT: set_local 2, $pop{{$}}
 144 define double @fmax64(double %x) {
 145   %a = fcmp ugt double %x, 0.0
 146   %b = select i1 %a, double %x, double 0.0
 147   ret double %b
 148 }