| ; Test strict f32 and v4f32 square root on z14. | |
| ; | |
| ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z14 | FileCheck %s | |
| declare float @llvm.experimental.constrained.sqrt.f32(float, metadata, metadata) | |
| declare <4 x float> @llvm.experimental.constrained.sqrt.v4f32(<4 x float>, metadata, metadata) | |
| define <4 x float> @f1(<4 x float> %val) #0 { | |
| ; CHECK-LABEL: f1: | |
| ; CHECK: vfsqsb %v24, %v24 | |
| ; CHECK: br %r14 | |
| %ret = call <4 x float> @llvm.experimental.constrained.sqrt.v4f32( | |
| <4 x float> %val, | |
| metadata !"round.dynamic", | |
| metadata !"fpexcept.strict") #0 | |
| ret <4 x float> %ret | |
| } | |
| define float @f2(<4 x float> %val) #0 { | |
| ; CHECK-LABEL: f2: | |
| ; CHECK: wfsqsb %f0, %v24 | |
| ; CHECK: br %r14 | |
| %scalar = extractelement <4 x float> %val, i32 0 | |
| %ret = call float @llvm.experimental.constrained.sqrt.f32( | |
| float %scalar, | |
| metadata !"round.dynamic", | |
| metadata !"fpexcept.strict") #0 | |
| ret float %ret | |
| } | |
| attributes #0 = { strictfp } |