32 lines · plain
1; Test f64 and v2f64 square root.2;3; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 | FileCheck %s4 5declare double @llvm.experimental.constrained.sqrt.f64(double, metadata, metadata)6declare <2 x double> @llvm.experimental.constrained.sqrt.v2f64(<2 x double>, metadata, metadata)7 8define <2 x double> @f1(<2 x double> %val) #0 {9; CHECK-LABEL: f1:10; CHECK: vfsqdb %v24, %v2411; CHECK: br %r1412 %ret = call <2 x double> @llvm.experimental.constrained.sqrt.v2f64(13 <2 x double> %val,14 metadata !"round.dynamic",15 metadata !"fpexcept.strict") #016 ret <2 x double> %ret17}18 19define double @f2(<2 x double> %val) #0 {20; CHECK-LABEL: f2:21; CHECK: wfsqdb %f0, %v2422; CHECK: br %r1423 %scalar = extractelement <2 x double> %val, i32 024 %ret = call double @llvm.experimental.constrained.sqrt.f64(25 double %scalar,26 metadata !"round.dynamic",27 metadata !"fpexcept.strict") #028 ret double %ret29}30 31attributes #0 = { strictfp }32