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

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