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: get_local 1{{$}}
  23 ; CHECK-NEXT: set_local 2, pop{{$}}
  24 ; CHECK-NEXT: get_local 0{{$}}
  25 ; CHECK-NEXT: set_local 3, pop{{$}}
  26 ; CHECK-NEXT: add (get_local 3), (get_local 2){{$}}
  27 ; CHECK-NEXT: set_local 4, pop{{$}}
  28 ; CHECK-NEXT: return (get_local 4){{$}}
  29 define double @fadd64(double %x, double %y) {
  30   %a = fadd double %x, %y
  31   ret double %a
  32 }
  33
  34 ; CHECK-LABEL: fsub64:
  35 ; CHECK: sub (get_local 3), (get_local 2){{$}}
  36 ; CHECK-NEXT: set_local 4, pop{{$}}
  37 define double @fsub64(double %x, double %y) {
  38   %a = fsub double %x, %y
  39   ret double %a
  40 }
  41
  42 ; CHECK-LABEL: fmul64:
  43 ; CHECK: mul (get_local 3), (get_local 2){{$}}
  44 ; CHECK-NEXT: set_local 4, pop{{$}}
  45 define double @fmul64(double %x, double %y) {
  46   %a = fmul double %x, %y
  47   ret double %a
  48 }
  49
  50 ; CHECK-LABEL: fdiv64:
  51 ; CHECK: div (get_local 3), (get_local 2){{$}}
  52 ; CHECK-NEXT: set_local 4, pop{{$}}
  53 define double @fdiv64(double %x, double %y) {
  54   %a = fdiv double %x, %y
  55   ret double %a
  56 }
  57
  58 ; CHECK-LABEL: fabs64:
  59 ; CHECK: abs (get_local 1){{$}}
  60 ; CHECK-NEXT: set_local 2, pop{{$}}
  61 define double @fabs64(double %x) {
  62   %a = call double @llvm.fabs.f64(double %x)
  63   ret double %a
  64 }
  65
  66 ; CHECK-LABEL: fneg64:
  67 ; CHECK: neg (get_local 1){{$}}
  68 ; CHECK-NEXT: set_local 2, pop{{$}}
  69 define double @fneg64(double %x) {
  70   %a = fsub double -0., %x
  71   ret double %a
  72 }
  73
  74 ; CHECK-LABEL: copysign64:
  75 ; CHECK: copysign (get_local 3), (get_local 2){{$}}
  76 ; CHECK-NEXT: set_local 4, pop{{$}}
  77 define double @copysign64(double %x, double %y) {
  78   %a = call double @llvm.copysign.f64(double %x, double %y)
  79   ret double %a
  80 }
  81
  82 ; CHECK-LABEL: sqrt64:
  83 ; CHECK: sqrt (get_local 1){{$}}
  84 ; CHECK-NEXT: set_local 2, pop{{$}}
  85 define double @sqrt64(double %x) {
  86   %a = call double @llvm.sqrt.f64(double %x)
  87   ret double %a
  88 }
  89
  90 ; CHECK-LABEL: ceil64:
  91 ; CHECK: ceil (get_local 1){{$}}
  92 ; CHECK-NEXT: set_local 2, pop{{$}}
  93 define double @ceil64(double %x) {
  94   %a = call double @llvm.ceil.f64(double %x)
  95   ret double %a
  96 }
  97
  98 ; CHECK-LABEL: floor64:
  99 ; CHECK: floor (get_local 1){{$}}
 100 ; CHECK-NEXT: set_local 2, pop{{$}}
 101 define double @floor64(double %x) {
 102   %a = call double @llvm.floor.f64(double %x)
 103   ret double %a
 104 }
 105
 106 ; CHECK-LABEL: trunc64:
 107 ; CHECK: trunc (get_local 1){{$}}
 108 ; CHECK-NEXT: set_local 2, pop{{$}}
 109 define double @trunc64(double %x) {
 110   %a = call double @llvm.trunc.f64(double %x)
 111   ret double %a
 112 }
 113
 114 ; CHECK-LABEL: nearest64:
 115 ; CHECK: nearest (get_local 1){{$}}
 116 ; CHECK-NEXT: set_local 2, pop{{$}}
 117 define double @nearest64(double %x) {
 118   %a = call double @llvm.nearbyint.f64(double %x)
 119   ret double %a
 120 }
 121
 122 ; CHECK-LABEL: nearest64_via_rint:
 123 ; CHECK: nearest (get_local 1){{$}}
 124 ; CHECK-NEXT: set_local 2, pop{{$}}
 125 define double @nearest64_via_rint(double %x) {
 126   %a = call double @llvm.rint.f64(double %x)
 127   ret double %a
 128 }