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-v128:8:128-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)
12 ; CHECK-LABEL: fadd64:
13 ; CHECK-NEXT: (setlocal @0 (argument 1))
14 ; CHECK-NEXT: (setlocal @1 (argument 0))
15 ; CHECK-NEXT: (setlocal @2 (fadd @1 @0))
16 ; CHECK-NEXT: (return @2)
17 define double @fadd64(double %x, double %y) {
18 %a = fadd double %x, %y
22 ; CHECK-LABEL: fsub64:
23 ; CHECK: (setlocal @2 (fsub @1 @0))
24 define double @fsub64(double %x, double %y) {
25 %a = fsub double %x, %y
29 ; CHECK-LABEL: fmul64:
30 ; CHECK: (setlocal @2 (fmul @1 @0))
31 define double @fmul64(double %x, double %y) {
32 %a = fmul double %x, %y
36 ; CHECK-LABEL: fdiv64:
37 ; CHECK: (setlocal @2 (fdiv @1 @0))
38 define double @fdiv64(double %x, double %y) {
39 %a = fdiv double %x, %y
43 ; CHECK-LABEL: fabs64:
44 ; CHECK: (setlocal @1 (fabs @0))
45 define double @fabs64(double %x) {
46 %a = call double @llvm.fabs.f64(double %x)
50 ; CHECK-LABEL: fneg64:
51 ; CHECK: (setlocal @1 (fneg @0))
52 define double @fneg64(double %x) {
53 %a = fsub double -0., %x
57 ; CHECK-LABEL: copysign64:
58 ; CHECK: (setlocal @2 (copysign @1 @0))
59 define double @copysign64(double %x, double %y) {
60 %a = call double @llvm.copysign.f64(double %x, double %y)
64 ; CHECK-LABEL: sqrt64:
65 ; CHECK: (setlocal @1 (sqrt @0))
66 define double @sqrt64(double %x) {
67 %a = call double @llvm.sqrt.f64(double %x)