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