Changeset View
Changeset View
Standalone View
Standalone View
llvm/trunk/test/CodeGen/SystemZ/vec-strict-mul-03.ll
; Test strict vector multiplication on z14. | ; Test strict vector multiplication 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.fmul.f32(float, float, metadata, metadata) | declare float @llvm.experimental.constrained.fmul.f32(float, float, metadata, metadata) | ||||
declare <4 x float> @llvm.experimental.constrained.fmul.v4f32(<4 x float>, <4 x float>, metadata, metadata) | declare <4 x float> @llvm.experimental.constrained.fmul.v4f32(<4 x float>, <4 x float>, metadata, metadata) | ||||
; Test a v4f32 multiplication. | ; Test a v4f32 multiplication. | ||||
define <4 x float> @f1(<4 x float> %dummy, <4 x float> %val1, | define <4 x float> @f1(<4 x float> %dummy, <4 x float> %val1, | ||||
<4 x float> %val2) { | <4 x float> %val2) #0 { | ||||
; CHECK-LABEL: f1: | ; CHECK-LABEL: f1: | ||||
; CHECK: vfmsb %v24, %v26, %v28 | ; CHECK: vfmsb %v24, %v26, %v28 | ||||
; CHECK: br %r14 | ; CHECK: br %r14 | ||||
%ret = call <4 x float> @llvm.experimental.constrained.fmul.v4f32( | %ret = call <4 x float> @llvm.experimental.constrained.fmul.v4f32( | ||||
<4 x float> %val1, <4 x float> %val2, | <4 x float> %val1, <4 x float> %val2, | ||||
metadata !"round.dynamic", | metadata !"round.dynamic", | ||||
metadata !"fpexcept.strict") | metadata !"fpexcept.strict") #0 | ||||
ret <4 x float> %ret | ret <4 x float> %ret | ||||
} | } | ||||
; Test an f32 multiplication that uses vector registers. | ; Test an f32 multiplication that uses vector registers. | ||||
define float @f2(<4 x float> %val1, <4 x float> %val2) { | define float @f2(<4 x float> %val1, <4 x float> %val2) #0 { | ||||
; CHECK-LABEL: f2: | ; CHECK-LABEL: f2: | ||||
; CHECK: wfmsb %f0, %v24, %v26 | ; CHECK: wfmsb %f0, %v24, %v26 | ||||
; CHECK: br %r14 | ; CHECK: br %r14 | ||||
%scalar1 = extractelement <4 x float> %val1, i32 0 | %scalar1 = extractelement <4 x float> %val1, i32 0 | ||||
%scalar2 = extractelement <4 x float> %val2, i32 0 | %scalar2 = extractelement <4 x float> %val2, i32 0 | ||||
%ret = call float @llvm.experimental.constrained.fmul.f32( | %ret = call float @llvm.experimental.constrained.fmul.f32( | ||||
float %scalar1, float %scalar2, | float %scalar1, float %scalar2, | ||||
metadata !"round.dynamic", | metadata !"round.dynamic", | ||||
metadata !"fpexcept.strict") | metadata !"fpexcept.strict") #0 | ||||
ret float %ret | ret float %ret | ||||
} | } | ||||
attributes #0 = { strictfp } |