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: fadd32:
  18 ; CHECK-NEXT: .param f32{{$}}
  19 ; CHECK-NEXT: .param f32{{$}}
  20 ; CHECK-NEXT: .result f32{{$}}
  21 ; CHECK-NEXT: .local f32, f32, f32{{$}}
  22 ; CHECK-NEXT: f32.add $push, (get_local 0), (get_local 1){{$}}
  23 ; CHECK-NEXT: set_local 2, $pop{{$}}
  24 ; CHECK-NEXT: return (get_local 2){{$}}
  25 define float @fadd32(float %x, float %y) {
  26   %a = fadd float %x, %y
  27   ret float %a
  28 }
  29
  30 ; CHECK-LABEL: fsub32:
  31 ; CHECK: f32.sub $push, (get_local 0), (get_local 1){{$}}
  32 ; CHECK-NEXT: set_local 2, $pop{{$}}
  33 define float @fsub32(float %x, float %y) {
  34   %a = fsub float %x, %y
  35   ret float %a
  36 }
  37
  38 ; CHECK-LABEL: fmul32:
  39 ; CHECK: f32.mul $push, (get_local 0), (get_local 1){{$}}
  40 ; CHECK-NEXT: set_local 2, $pop{{$}}
  41 define float @fmul32(float %x, float %y) {
  42   %a = fmul float %x, %y
  43   ret float %a
  44 }
  45
  46 ; CHECK-LABEL: fdiv32:
  47 ; CHECK: f32.div $push, (get_local 0), (get_local 1){{$}}
  48 ; CHECK-NEXT: set_local 2, $pop{{$}}
  49 define float @fdiv32(float %x, float %y) {
  50   %a = fdiv float %x, %y
  51   ret float %a
  52 }
  53
  54 ; CHECK-LABEL: fabs32:
  55 ; CHECK: f32.abs $push, (get_local 0){{$}}
  56 ; CHECK-NEXT: set_local 1, $pop{{$}}
  57 define float @fabs32(float %x) {
  58   %a = call float @llvm.fabs.f32(float %x)
  59   ret float %a
  60 }
  61
  62 ; CHECK-LABEL: fneg32:
  63 ; CHECK: f32.neg $push, (get_local 0){{$}}
  64 ; CHECK-NEXT: set_local 1, $pop{{$}}
  65 define float @fneg32(float %x) {
  66   %a = fsub float -0., %x
  67   ret float %a
  68 }
  69
  70 ; CHECK-LABEL: copysign32:
  71 ; CHECK: f32.copysign $push, (get_local 0), (get_local 1){{$}}
  72 ; CHECK-NEXT: set_local 2, $pop{{$}}
  73 define float @copysign32(float %x, float %y) {
  74   %a = call float @llvm.copysign.f32(float %x, float %y)
  75   ret float %a
  76 }
  77
  78 ; CHECK-LABEL: sqrt32:
  79 ; CHECK: f32.sqrt $push, (get_local 0){{$}}
  80 ; CHECK-NEXT: set_local 1, $pop{{$}}
  81 define float @sqrt32(float %x) {
  82   %a = call float @llvm.sqrt.f32(float %x)
  83   ret float %a
  84 }
  85
  86 ; CHECK-LABEL: ceil32:
  87 ; CHECK: f32.ceil $push, (get_local 0){{$}}
  88 ; CHECK-NEXT: set_local 1, $pop{{$}}
  89 define float @ceil32(float %x) {
  90   %a = call float @llvm.ceil.f32(float %x)
  91   ret float %a
  92 }
  93
  94 ; CHECK-LABEL: floor32:
  95 ; CHECK: f32.floor $push, (get_local 0){{$}}
  96 ; CHECK-NEXT: set_local 1, $pop{{$}}
  97 define float @floor32(float %x) {
  98   %a = call float @llvm.floor.f32(float %x)
  99   ret float %a
 100 }
 101
 102 ; CHECK-LABEL: trunc32:
 103 ; CHECK: f32.trunc $push, (get_local 0){{$}}
 104 ; CHECK-NEXT: set_local 1, $pop{{$}}
 105 define float @trunc32(float %x) {
 106   %a = call float @llvm.trunc.f32(float %x)
 107   ret float %a
 108 }
 109
 110 ; CHECK-LABEL: nearest32:
 111 ; CHECK: f32.nearest $push, (get_local 0){{$}}
 112 ; CHECK-NEXT: set_local 1, $pop{{$}}
 113 define float @nearest32(float %x) {
 114   %a = call float @llvm.nearbyint.f32(float %x)
 115   ret float %a
 116 }
 117
 118 ; CHECK-LABEL: nearest32_via_rint:
 119 ; CHECK: f32.nearest $push, (get_local 0){{$}}
 120 ; CHECK-NEXT: set_local 1, $pop{{$}}
 121 define float @nearest32_via_rint(float %x) {
 122   %a = call float @llvm.rint.f32(float %x)
 123   ret float %a
 124 }
 125
 126 ; Min and max tests. LLVM currently only forms fminnan and fmaxnan nodes in
 127 ; cases where there's a single fcmp with a select and it can prove that one
 128 ; of the arms is never NaN, so we only test that case. In the future if LLVM
 129 ; learns to form fminnan/fmaxnan in more cases, we can write more general
 130 ; tests.
 131
 132 ; CHECK-LABEL: fmin32:
 133 ; CHECK: f32.min $push, (get_local 0), (get_local 1){{$}}
 134 ; CHECK-NEXT: set_local 2, $pop{{$}}
 135 define float @fmin32(float %x) {
 136   %a = fcmp ult float %x, 0.0
 137   %b = select i1 %a, float %x, float 0.0
 138   ret float %b
 139 }
 140
 141 ; CHECK-LABEL: fmax32:
 142 ; CHECK: f32.max $push, (get_local 0), (get_local 1){{$}}
 143 ; CHECK-NEXT: set_local 2, $pop{{$}}
 144 define float @fmax32(float %x) {
 145   %a = fcmp ugt float %x, 0.0
 146   %b = select i1 %a, float %x, float 0.0
 147   ret float %b
 148 }