1 ; RUN: llc < %s -asm-verbose=false | FileCheck %s
3 ; Test that basic 64-bit floating-point operations assemble as expected.
5 target datalayout = "e-p:32:32-i64:64-n32:64-S128"
6 target triple = "wasm32-unknown-unknown"
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)
17 ; CHECK-LABEL: (func $fadd64
18 ; CHECK-NEXT: (param f64) (param f64) (result f64)
19 ; CHECK-NEXT: (setlocal @0 (argument 1))
20 ; CHECK-NEXT: (setlocal @1 (argument 0))
21 ; CHECK-NEXT: (setlocal @2 (fadd @1 @0))
22 ; CHECK-NEXT: (return @2)
23 define double @fadd64(double %x, double %y) {
24 %a = fadd double %x, %y
28 ; CHECK-LABEL: (func $fsub64
29 ; CHECK: (setlocal @2 (fsub @1 @0))
30 define double @fsub64(double %x, double %y) {
31 %a = fsub double %x, %y
35 ; CHECK-LABEL: (func $fmul64
36 ; CHECK: (setlocal @2 (fmul @1 @0))
37 define double @fmul64(double %x, double %y) {
38 %a = fmul double %x, %y
42 ; CHECK-LABEL: (func $fdiv64
43 ; CHECK: (setlocal @2 (fdiv @1 @0))
44 define double @fdiv64(double %x, double %y) {
45 %a = fdiv double %x, %y
49 ; CHECK-LABEL: (func $fabs64
50 ; CHECK: (setlocal @1 (fabs @0))
51 define double @fabs64(double %x) {
52 %a = call double @llvm.fabs.f64(double %x)
56 ; CHECK-LABEL: (func $fneg64
57 ; CHECK: (setlocal @1 (fneg @0))
58 define double @fneg64(double %x) {
59 %a = fsub double -0., %x
63 ; CHECK-LABEL: (func $copysign64
64 ; CHECK: (setlocal @2 (copysign @1 @0))
65 define double @copysign64(double %x, double %y) {
66 %a = call double @llvm.copysign.f64(double %x, double %y)
70 ; CHECK-LABEL: (func $sqrt64
71 ; CHECK: (setlocal @1 (sqrt @0))
72 define double @sqrt64(double %x) {
73 %a = call double @llvm.sqrt.f64(double %x)
77 ; CHECK-LABEL: (func $ceil64
78 ; CHECK: (setlocal @1 (ceil @0))
79 define double @ceil64(double %x) {
80 %a = call double @llvm.ceil.f64(double %x)
84 ; CHECK-LABEL: (func $floor64
85 ; CHECK: (setlocal @1 (floor @0))
86 define double @floor64(double %x) {
87 %a = call double @llvm.floor.f64(double %x)
91 ; CHECK-LABEL: (func $trunc64
92 ; CHECK: (setlocal @1 (trunc @0))
93 define double @trunc64(double %x) {
94 %a = call double @llvm.trunc.f64(double %x)
98 ; CHECK-LABEL: (func $nearest64
99 ; CHECK: (setlocal @1 (nearest @0))
100 define double @nearest64(double %x) {
101 %a = call double @llvm.nearbyint.f64(double %x)
105 ; CHECK-LABEL: (func $nearest64_via_rint
106 ; CHECK: (setlocal @1 (nearest @0))
107 define double @nearest64_via_rint(double %x) {
108 %a = call double @llvm.rint.f64(double %x)