test/CodeGen/WebAssembly/fp64.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: (setlocal @0 (argument 1))
  19 ; CHECK-NEXT: (setlocal @1 (argument 0))
  20 ; CHECK-NEXT: (setlocal @2 (fadd @1 @0))
  21 ; CHECK-NEXT: (return @2)
  22 define double @fadd64(double %x, double %y) {
  23   %a = fadd double %x, %y
  24   ret double %a
  25 }
  26
  27 ; CHECK-LABEL: fsub64:
  28 ; CHECK: (setlocal @2 (fsub @1 @0))
  29 define double @fsub64(double %x, double %y) {
  30   %a = fsub double %x, %y
  31   ret double %a
  32 }
  33
  34 ; CHECK-LABEL: fmul64:
  35 ; CHECK: (setlocal @2 (fmul @1 @0))
  36 define double @fmul64(double %x, double %y) {
  37   %a = fmul double %x, %y
  38   ret double %a
  39 }
  40
  41 ; CHECK-LABEL: fdiv64:
  42 ; CHECK: (setlocal @2 (fdiv @1 @0))
  43 define double @fdiv64(double %x, double %y) {
  44   %a = fdiv double %x, %y
  45   ret double %a
  46 }
  47
  48 ; CHECK-LABEL: fabs64:
  49 ; CHECK: (setlocal @1 (fabs @0))
  50 define double @fabs64(double %x) {
  51   %a = call double @llvm.fabs.f64(double %x)
  52   ret double %a
  53 }
  54
  55 ; CHECK-LABEL: fneg64:
  56 ; CHECK: (setlocal @1 (fneg @0))
  57 define double @fneg64(double %x) {
  58   %a = fsub double -0., %x
  59   ret double %a
  60 }
  61
  62 ; CHECK-LABEL: copysign64:
  63 ; CHECK: (setlocal @2 (copysign @1 @0))
  64 define double @copysign64(double %x, double %y) {
  65   %a = call double @llvm.copysign.f64(double %x, double %y)
  66   ret double %a
  67 }
  68
  69 ; CHECK-LABEL: sqrt64:
  70 ; CHECK: (setlocal @1 (sqrt @0))
  71 define double @sqrt64(double %x) {
  72   %a = call double @llvm.sqrt.f64(double %x)
  73   ret double %a
  74 }
  75
  76 ; CHECK-LABEL: ceil64:
  77 ; CHECK: (setlocal @1 (ceil @0))
  78 define double @ceil64(double %x) {
  79   %a = call double @llvm.ceil.f64(double %x)
  80   ret double %a
  81 }
  82
  83 ; CHECK-LABEL: floor64:
  84 ; CHECK: (setlocal @1 (floor @0))
  85 define double @floor64(double %x) {
  86   %a = call double @llvm.floor.f64(double %x)
  87   ret double %a
  88 }
  89
  90 ; CHECK-LABEL: trunc64:
  91 ; CHECK: (setlocal @1 (trunc @0))
  92 define double @trunc64(double %x) {
  93   %a = call double @llvm.trunc.f64(double %x)
  94   ret double %a
  95 }
  96
  97 ; CHECK-LABEL: nearestint64:
  98 ; CHECK: (setlocal @1 (nearestint @0))
  99 define double @nearestint64(double %x) {
 100   %a = call double @llvm.nearbyint.f64(double %x)
 101   ret double %a
 102 }
 103
 104 ; CHECK-LABEL: nearestint64_via_rint:
 105 ; CHECK: (setlocal @1 (nearestint @0))
 106 define double @nearestint64_via_rint(double %x) {
 107   %a = call double @llvm.rint.f64(double %x)
 108   ret double %a
 109 }