1 ; RUN: llc < %s -asm-verbose=false | FileCheck %s
3 ; Test that basic 32-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 float @llvm.fabs.f32(float)
9 declare float @llvm.copysign.f32(float, float)
10 declare float @llvm.sqrt.f32(float)
12 ; CHECK-LABEL: fadd32:
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 float @fadd32(float %x, float %y) {
18 %a = fadd float %x, %y
22 ; CHECK-LABEL: fsub32:
23 ; CHECK: (setlocal @2 (fsub @1 @0))
24 define float @fsub32(float %x, float %y) {
25 %a = fsub float %x, %y
29 ; CHECK-LABEL: fmul32:
30 ; CHECK: (setlocal @2 (fmul @1 @0))
31 define float @fmul32(float %x, float %y) {
32 %a = fmul float %x, %y
36 ; CHECK-LABEL: fdiv32:
37 ; CHECK: (setlocal @2 (fdiv @1 @0))
38 define float @fdiv32(float %x, float %y) {
39 %a = fdiv float %x, %y
43 ; CHECK-LABEL: fabs32:
44 ; CHECK: (setlocal @1 (fabs @0))
45 define float @fabs32(float %x) {
46 %a = call float @llvm.fabs.f32(float %x)
50 ; CHECK-LABEL: fneg32:
51 ; CHECK: (setlocal @1 (fneg @0))
52 define float @fneg32(float %x) {
53 %a = fsub float -0., %x
57 ; CHECK-LABEL: copysign32:
58 ; CHECK: (setlocal @2 (copysign @1 @0))
59 define float @copysign32(float %x, float %y) {
60 %a = call float @llvm.copysign.f32(float %x, float %y)
64 ; CHECK-LABEL: sqrt32:
65 ; CHECK: (setlocal @1 (sqrt @0))
66 define float @sqrt32(float %x) {
67 %a = call float @llvm.sqrt.f32(float %x)