1; RUN: llc < %s -asm-verbose=false | FileCheck %s
2
3; Test that basic 32-bit floating-point operations assemble as expected.
4
5target datalayout = "e-p:32:32-i64:64-n32:64-S128"
6target triple = "wasm32-unknown-unknown"
7
8declare float @llvm.fabs.f32(float)
9declare float @llvm.copysign.f32(float, float)
10declare float @llvm.sqrt.f32(float)
11declare float @llvm.ceil.f32(float)
12declare float @llvm.floor.f32(float)
13declare float @llvm.trunc.f32(float)
14declare float @llvm.nearbyint.f32(float)
15declare float @llvm.rint.f32(float)
16
17; CHECK-LABEL: (func $fadd32
18; CHECK-NEXT: (param f32) (param f32) (result f32)
19; CHECK-NEXT: (set_local @0 (argument 1))
20; CHECK-NEXT: (set_local @1 (argument 0))
21; CHECK-NEXT: (set_local @2 (fadd @1 @0))
22; CHECK-NEXT: (return @2)
23define float @fadd32(float %x, float %y) {
24  %a = fadd float %x, %y
25  ret float %a
26}
27
28; CHECK-LABEL: (func $fsub32
29; CHECK: (set_local @2 (fsub @1 @0))
30define float @fsub32(float %x, float %y) {
31  %a = fsub float %x, %y
32  ret float %a
33}
34
35; CHECK-LABEL: (func $fmul32
36; CHECK: (set_local @2 (fmul @1 @0))
37define float @fmul32(float %x, float %y) {
38  %a = fmul float %x, %y
39  ret float %a
40}
41
42; CHECK-LABEL: (func $fdiv32
43; CHECK: (set_local @2 (fdiv @1 @0))
44define float @fdiv32(float %x, float %y) {
45  %a = fdiv float %x, %y
46  ret float %a
47}
48
49; CHECK-LABEL: (func $fabs32
50; CHECK: (set_local @1 (fabs @0))
51define float @fabs32(float %x) {
52  %a = call float @llvm.fabs.f32(float %x)
53  ret float %a
54}
55
56; CHECK-LABEL: (func $fneg32
57; CHECK: (set_local @1 (fneg @0))
58define float @fneg32(float %x) {
59  %a = fsub float -0., %x
60  ret float %a
61}
62
63; CHECK-LABEL: (func $copysign32
64; CHECK: (set_local @2 (copysign @1 @0))
65define float @copysign32(float %x, float %y) {
66  %a = call float @llvm.copysign.f32(float %x, float %y)
67  ret float %a
68}
69
70; CHECK-LABEL: (func $sqrt32
71; CHECK: (set_local @1 (sqrt @0))
72define float @sqrt32(float %x) {
73  %a = call float @llvm.sqrt.f32(float %x)
74  ret float %a
75}
76
77; CHECK-LABEL: (func $ceil32
78; CHECK: (set_local @1 (ceil @0))
79define float @ceil32(float %x) {
80  %a = call float @llvm.ceil.f32(float %x)
81  ret float %a
82}
83
84; CHECK-LABEL: (func $floor32
85; CHECK: (set_local @1 (floor @0))
86define float @floor32(float %x) {
87  %a = call float @llvm.floor.f32(float %x)
88  ret float %a
89}
90
91; CHECK-LABEL: (func $trunc32
92; CHECK: (set_local @1 (trunc @0))
93define float @trunc32(float %x) {
94  %a = call float @llvm.trunc.f32(float %x)
95  ret float %a
96}
97
98; CHECK-LABEL: (func $nearest32
99; CHECK: (set_local @1 (nearest @0))
100define float @nearest32(float %x) {
101  %a = call float @llvm.nearbyint.f32(float %x)
102  ret float %a
103}
104
105; CHECK-LABEL: (func $nearest32_via_rint
106; CHECK: (set_local @1 (nearest @0))
107define float @nearest32_via_rint(float %x) {
108  %a = call float @llvm.rint.f32(float %x)
109  ret float %a
110}
111