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