1; Test strict vector multiply-and-add.
2;
3; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 | FileCheck %s
4
5declare <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.
8define <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.
23define <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
38attributes #0 = { strictfp }
39