test/CodeGen/WebAssembly/f32.ll

   1 ; RUN: llc < %s -asm-verbose=false | FileCheck %s
   2
   3 ; Test that basic 32-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 float @llvm.fabs.f32(float)
   9 declare float @llvm.copysign.f32(float, float)
  10 declare float @llvm.sqrt.f32(float)
  11 declare float @llvm.ceil.f32(float)
  12 declare float @llvm.floor.f32(float)
  13 declare float @llvm.trunc.f32(float)
  14 declare float @llvm.nearbyint.f32(float)
  15 declare 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)
  23 define 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))
  30 define 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))
  37 define 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))
  44 define 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))
  51 define 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))
  58 define 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))
  65 define 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))
  72 define 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))
  79 define 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))
  86 define 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))
  93 define 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))
 100 define 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))
 107 define float @nearest32_via_rint(float %x) {
 108   %a = call float @llvm.rint.f32(float %x)
 109   ret float %a
 110 }