Add a testcase for the changes in r199938.

<rdar://problem/15611947>


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@200027 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Lang Hames 2014-01-24 19:00:19 +00:00
parent dc6f9b9a4f
commit a9699d475f

View File

@ -43,9 +43,9 @@ entry:
}
; Test FMA3 variant selection
; CHECK: fma3_select231:
; CHECK: vfmadd231ss
define float @fma3_select231(float %x, float %y, i32 %N) #0 {
; CHECK: fma3_select231ssX:
; CHECK: vfmadd231ss xmm
define float @fma3_select231ssX(float %x, float %y) #0 {
entry:
br label %while.body
while.body: ; preds = %while.body, %while.body
@ -57,6 +57,24 @@ while.end: ; preds = %while.body, %entry
ret float %acc
}
; Test FMA3 variant selection
; CHECK: fma3_select231pdY:
; CHECK: vfmadd231pd ymm
define <4 x double> @fma3_select231pdY(<4 x double> %x, <4 x double> %y) #0 {
entry:
br label %while.body
while.body: ; preds = %entry, %while.body
%acc.04 = phi <4 x double> [ zeroinitializer, %entry ], [ %add, %while.body ]
%add = tail call <4 x double> @llvm.fma.v4f64(<4 x double> %x, <4 x double> %y, <4 x double> %acc.04)
%vecext = extractelement <4 x double> %add, i32 0
%cmp = fcmp oeq double %vecext, 0.000000e+00
br i1 %cmp, label %while.body, label %while.end
while.end: ; preds = %while.body
ret <4 x double> %add
}
declare float @llvm.fma.f32(float, float, float) nounwind readnone
declare double @llvm.fma.f64(double, double, double) nounwind readnone
declare x86_fp80 @llvm.fma.f80(x86_fp80, x86_fp80, x86_fp80) nounwind readnone
declare <4 x double> @llvm.fma.v4f64(<4 x double>, <4 x double>, <4 x double>) nounwind readnone