AVX-512: Kreg set 0/1 optimization
[oota-llvm.git] / test / CodeGen / WebAssembly / f32.ll
index 6e6670c778b7890c49eabc6f662084a57f7d6d2e..777010064cdba4837e836fe5049d765d4b8d6812 100644 (file)
@@ -13,12 +13,12 @@ declare float @llvm.floor.f32(float)
 declare float @llvm.trunc.f32(float)
 declare float @llvm.nearbyint.f32(float)
 declare float @llvm.rint.f32(float)
+declare float @llvm.fma.f32(float, float, float)
 
 ; CHECK-LABEL: fadd32:
-; CHECK-NEXT: .param f32{{$}}
-; CHECK-NEXT: .param f32{{$}}
+; CHECK-NEXT: .param f32, f32{{$}}
 ; CHECK-NEXT: .result f32{{$}}
-; CHECK-NEXT: f32.add $push0, $0, $1{{$}}
+; CHECK-NEXT: f32.add $push0=, $0, $1{{$}}
 ; CHECK-NEXT: return $pop0{{$}}
 define float @fadd32(float %x, float %y) {
   %a = fadd float %x, %y
@@ -26,7 +26,7 @@ define float @fadd32(float %x, float %y) {
 }
 
 ; CHECK-LABEL: fsub32:
-; CHECK: f32.sub $push0, $0, $1{{$}}
+; CHECK: f32.sub $push0=, $0, $1{{$}}
 ; CHECK-NEXT: return $pop0{{$}}
 define float @fsub32(float %x, float %y) {
   %a = fsub float %x, %y
@@ -34,7 +34,7 @@ define float @fsub32(float %x, float %y) {
 }
 
 ; CHECK-LABEL: fmul32:
-; CHECK: f32.mul $push0, $0, $1{{$}}
+; CHECK: f32.mul $push0=, $0, $1{{$}}
 ; CHECK-NEXT: return $pop0{{$}}
 define float @fmul32(float %x, float %y) {
   %a = fmul float %x, %y
@@ -42,7 +42,7 @@ define float @fmul32(float %x, float %y) {
 }
 
 ; CHECK-LABEL: fdiv32:
-; CHECK: f32.div $push0, $0, $1{{$}}
+; CHECK: f32.div $push0=, $0, $1{{$}}
 ; CHECK-NEXT: return $pop0{{$}}
 define float @fdiv32(float %x, float %y) {
   %a = fdiv float %x, %y
@@ -50,7 +50,7 @@ define float @fdiv32(float %x, float %y) {
 }
 
 ; CHECK-LABEL: fabs32:
-; CHECK: f32.abs $push0, $0{{$}}
+; CHECK: f32.abs $push0=, $0{{$}}
 ; CHECK-NEXT: return $pop0{{$}}
 define float @fabs32(float %x) {
   %a = call float @llvm.fabs.f32(float %x)
@@ -58,7 +58,7 @@ define float @fabs32(float %x) {
 }
 
 ; CHECK-LABEL: fneg32:
-; CHECK: f32.neg $push0, $0{{$}}
+; CHECK: f32.neg $push0=, $0{{$}}
 ; CHECK-NEXT: return $pop0{{$}}
 define float @fneg32(float %x) {
   %a = fsub float -0., %x
@@ -66,7 +66,7 @@ define float @fneg32(float %x) {
 }
 
 ; CHECK-LABEL: copysign32:
-; CHECK: f32.copysign $push0, $0, $1{{$}}
+; CHECK: f32.copysign $push0=, $0, $1{{$}}
 ; CHECK-NEXT: return $pop0{{$}}
 define float @copysign32(float %x, float %y) {
   %a = call float @llvm.copysign.f32(float %x, float %y)
@@ -74,7 +74,7 @@ define float @copysign32(float %x, float %y) {
 }
 
 ; CHECK-LABEL: sqrt32:
-; CHECK: f32.sqrt $push0, $0{{$}}
+; CHECK: f32.sqrt $push0=, $0{{$}}
 ; CHECK-NEXT: return $pop0{{$}}
 define float @sqrt32(float %x) {
   %a = call float @llvm.sqrt.f32(float %x)
@@ -82,7 +82,7 @@ define float @sqrt32(float %x) {
 }
 
 ; CHECK-LABEL: ceil32:
-; CHECK: f32.ceil $push0, $0{{$}}
+; CHECK: f32.ceil $push0=, $0{{$}}
 ; CHECK-NEXT: return $pop0{{$}}
 define float @ceil32(float %x) {
   %a = call float @llvm.ceil.f32(float %x)
@@ -90,7 +90,7 @@ define float @ceil32(float %x) {
 }
 
 ; CHECK-LABEL: floor32:
-; CHECK: f32.floor $push0, $0{{$}}
+; CHECK: f32.floor $push0=, $0{{$}}
 ; CHECK-NEXT: return $pop0{{$}}
 define float @floor32(float %x) {
   %a = call float @llvm.floor.f32(float %x)
@@ -98,7 +98,7 @@ define float @floor32(float %x) {
 }
 
 ; CHECK-LABEL: trunc32:
-; CHECK: f32.trunc $push0, $0{{$}}
+; CHECK: f32.trunc $push0=, $0{{$}}
 ; CHECK-NEXT: return $pop0{{$}}
 define float @trunc32(float %x) {
   %a = call float @llvm.trunc.f32(float %x)
@@ -106,7 +106,7 @@ define float @trunc32(float %x) {
 }
 
 ; CHECK-LABEL: nearest32:
-; CHECK: f32.nearest $push0, $0{{$}}
+; CHECK: f32.nearest $push0=, $0{{$}}
 ; CHECK-NEXT: return $pop0{{$}}
 define float @nearest32(float %x) {
   %a = call float @llvm.nearbyint.f32(float %x)
@@ -114,7 +114,7 @@ define float @nearest32(float %x) {
 }
 
 ; CHECK-LABEL: nearest32_via_rint:
-; CHECK: f32.nearest $push0, $0{{$}}
+; CHECK: f32.nearest $push0=, $0{{$}}
 ; CHECK-NEXT: return $pop0{{$}}
 define float @nearest32_via_rint(float %x) {
   %a = call float @llvm.rint.f32(float %x)
@@ -128,7 +128,7 @@ define float @nearest32_via_rint(float %x) {
 ; tests.
 
 ; CHECK-LABEL: fmin32:
-; CHECK: f32.min $push1, $0, $pop0{{$}}
+; CHECK: f32.min $push1=, $0, $pop0{{$}}
 ; CHECK-NEXT: return $pop1{{$}}
 define float @fmin32(float %x) {
   %a = fcmp ult float %x, 0.0
@@ -137,10 +137,18 @@ define float @fmin32(float %x) {
 }
 
 ; CHECK-LABEL: fmax32:
-; CHECK: f32.max $push1, $0, $pop0{{$}}
+; CHECK: f32.max $push1=, $0, $pop0{{$}}
 ; CHECK-NEXT: return $pop1{{$}}
 define float @fmax32(float %x) {
   %a = fcmp ugt float %x, 0.0
   %b = select i1 %a, float %x, float 0.0
   ret float %b
 }
+
+; CHECK-LABEL: fma32:
+; CHECK: {{^}} f32.call $push0=, fmaf, $0, $1, $2{{$}}
+; CHECK-NEXT: return $pop0{{$}}
+define float @fma32(float %a, float %b, float %c) {
+  %d = call float @llvm.fma.f32(float %a, float %b, float %c)
+  ret float %d
+}