llvm/test/CodeGen/SystemZ/vec-strict-mul-04.ll

   1 ; Test strict vector multiply-and-add on z14.
   2 ;
   3 ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z14 | FileCheck %s
   4
   5 declare <4 x float> @llvm.experimental.constrained.fma.v4f32(<4 x float>, <4 x float>, <4 x float>, metadata, metadata)
   6
   7 ; Test a v4f32 multiply-and-add.
   8 define <4 x float> @f1(<4 x float> %dummy, <4 x float> %val1,
   9                        <4 x float> %val2, <4 x float> %val3) #0 {
  10 ; CHECK-LABEL: f1:
  11 ; CHECK: vfmasb %v24, %v26, %v28, %v30
  12 ; CHECK: br %r14
  13   %ret = call <4 x float> @llvm.experimental.constrained.fma.v4f32 (
  14                         <4 x float> %val1,
  15                         <4 x float> %val2,
  16                         <4 x float> %val3,
  17                         metadata !"round.dynamic",
  18                         metadata !"fpexcept.strict") #0
  19   ret <4 x float> %ret
  20 }
  21
  22 ; Test a v4f32 multiply-and-subtract.
  23 define <4 x float> @f2(<4 x float> %dummy, <4 x float> %val1,
  24                        <4 x float> %val2, <4 x float> %val3) #0 {
  25 ; CHECK-LABEL: f2:
  26 ; CHECK: vfmssb %v24, %v26, %v28, %v30
  27 ; CHECK: br %r14
  28   %negval3 = fneg <4 x float> %val3
  29   %ret = call <4 x float> @llvm.experimental.constrained.fma.v4f32 (
  30                         <4 x float> %val1,
  31                         <4 x float> %val2,
  32                         <4 x float> %negval3,
  33                         metadata !"round.dynamic",
  34                         metadata !"fpexcept.strict") #0
  35   ret <4 x float> %ret
  36 }
  37
  38 attributes #0 = { strictfp }