Changeset View
Changeset View
Standalone View
Standalone View
llvm/trunk/test/CodeGen/SystemZ/vec-strict-sqrt-01.ll
; Test f64 and v2f64 square root. | ; Test f64 and v2f64 square root. | ||||
; | ; | ||||
; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 | FileCheck %s | ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 | FileCheck %s | ||||
declare double @llvm.experimental.constrained.sqrt.f64(double, metadata, metadata) | declare double @llvm.experimental.constrained.sqrt.f64(double, metadata, metadata) | ||||
declare <2 x double> @llvm.experimental.constrained.sqrt.v2f64(<2 x double>, metadata, metadata) | declare <2 x double> @llvm.experimental.constrained.sqrt.v2f64(<2 x double>, metadata, metadata) | ||||
define <2 x double> @f1(<2 x double> %val) { | define <2 x double> @f1(<2 x double> %val) #0 { | ||||
; CHECK-LABEL: f1: | ; CHECK-LABEL: f1: | ||||
; CHECK: vfsqdb %v24, %v24 | ; CHECK: vfsqdb %v24, %v24 | ||||
; CHECK: br %r14 | ; CHECK: br %r14 | ||||
%ret = call <2 x double> @llvm.experimental.constrained.sqrt.v2f64( | %ret = call <2 x double> @llvm.experimental.constrained.sqrt.v2f64( | ||||
<2 x double> %val, | <2 x double> %val, | ||||
metadata !"round.dynamic", | metadata !"round.dynamic", | ||||
metadata !"fpexcept.strict") | metadata !"fpexcept.strict") #0 | ||||
ret <2 x double> %ret | ret <2 x double> %ret | ||||
} | } | ||||
define double @f2(<2 x double> %val) { | define double @f2(<2 x double> %val) #0 { | ||||
; CHECK-LABEL: f2: | ; CHECK-LABEL: f2: | ||||
; CHECK: wfsqdb %f0, %v24 | ; CHECK: wfsqdb %f0, %v24 | ||||
; CHECK: br %r14 | ; CHECK: br %r14 | ||||
%scalar = extractelement <2 x double> %val, i32 0 | %scalar = extractelement <2 x double> %val, i32 0 | ||||
%ret = call double @llvm.experimental.constrained.sqrt.f64( | %ret = call double @llvm.experimental.constrained.sqrt.f64( | ||||
double %scalar, | double %scalar, | ||||
metadata !"round.dynamic", | metadata !"round.dynamic", | ||||
metadata !"fpexcept.strict") | metadata !"fpexcept.strict") #0 | ||||
ret double %ret | ret double %ret | ||||
} | } | ||||
attributes #0 = { strictfp } |