Add a testcase for the changes in r199938.
authorLang Hames <lhames@gmail.com>
Fri, 24 Jan 2014 19:00:19 +0000 (19:00 +0000)
committerLang Hames <lhames@gmail.com>
Fri, 24 Jan 2014 19:00:19 +0000 (19:00 +0000)
<rdar://problem/15611947>

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@200027 91177308-0d34-0410-b5e6-96231b3b80d8

test/CodeGen/X86/fma.ll

index 0cdf3cdf574c536953390b407bf464d7efe16c75..47252ec0bf3dceda6ef97a7907c3eeb1529000b9 100644 (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