172 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s -mtriple=i686-unknown-unknown -mattr=+avx2,+fma | FileCheck %s --check-prefixes=CHECK,X863; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+avx2,+fma | FileCheck %s --check-prefixes=CHECK,X644 5declare <8 x float> @llvm.fma.v8f32(<8 x float>, <8 x float>, <8 x float>)6declare <4 x float> @llvm.fma.v4f32(<4 x float>, <4 x float>, <4 x float>)7declare float @llvm.fma.f32(float, float, float)8declare <2 x double> @llvm.fma.v2f64(<2 x double>, <2 x double>, <2 x double>)9declare <4 x double> @llvm.fma.v4f64(<4 x double>, <4 x double>, <4 x double>)10 11; This test checks combinations of FNEG and FMA intrinsics12 13define <8 x float> @test1(<8 x float> %a, <8 x float> %b, <8 x float> %c) {14; CHECK-LABEL: test1:15; CHECK: # %bb.0:16; CHECK-NEXT: vfmsub213ps {{.*#+}} ymm0 = (ymm1 * ymm0) - ymm217; CHECK-NEXT: ret{{[l|q]}}18 %sub.i = fsub <8 x float> <float -0.0, float -0.0, float -0.0, float -0.0, float -0.0, float -0.0, float -0.0, float -0.0>, %c19 %r = tail call nsz <8 x float> @llvm.fma.v8f32(<8 x float> %a, <8 x float> %b, <8 x float> %sub.i) #220 ret <8 x float> %r21}22 23define <4 x float> @test2(<4 x float> %a, <4 x float> %b, <4 x float> %c) {24; CHECK-LABEL: test2:25; CHECK: # %bb.0:26; CHECK-NEXT: vfnmsub213ps {{.*#+}} xmm0 = -(xmm1 * xmm0) - xmm227; CHECK-NEXT: ret{{[l|q]}}28 %t0 = tail call nsz <4 x float> @llvm.fma.v4f32(<4 x float> %a, <4 x float> %b, <4 x float> %c) #229 %sub.i = fsub <4 x float> <float -0.0, float -0.0, float -0.0, float -0.0>, %t030 ret <4 x float> %sub.i31}32 33define <4 x float> @test3(<4 x float> %a, <4 x float> %b, <4 x float> %c) {34; CHECK-LABEL: test3:35; CHECK: # %bb.0:36; CHECK-NEXT: vfnmadd213ss {{.*#+}} xmm0 = -(xmm1 * xmm0) + xmm237; CHECK-NEXT: vbroadcastss {{.*#+}} xmm1 = [-0.0E+0,-0.0E+0,-0.0E+0,-0.0E+0]38; CHECK-NEXT: vxorps %xmm1, %xmm0, %xmm039; CHECK-NEXT: ret{{[l|q]}}40 %a0 = extractelement <4 x float> %a, i64 041 %b0 = extractelement <4 x float> %b, i64 042 %c0 = extractelement <4 x float> %c, i64 043 %negb0 = fneg float %b044 %t0 = tail call nsz float @llvm.fma.f32(float %a0, float %negb0, float %c0) #245 %i = insertelement <4 x float> %a, float %t0, i64 046 %sub.i = fsub <4 x float> <float -0.0, float -0.0, float -0.0, float -0.0>, %i47 ret <4 x float> %sub.i48}49 50define <8 x float> @test4(<8 x float> %a, <8 x float> %b, <8 x float> %c) {51; CHECK-LABEL: test4:52; CHECK: # %bb.0:53; CHECK-NEXT: vfnmadd213ps {{.*#+}} ymm0 = -(ymm1 * ymm0) + ymm254; CHECK-NEXT: ret{{[l|q]}}55 %negc = fneg <8 x float> %c56 %t0 = tail call nsz <8 x float> @llvm.fma.v8f32(<8 x float> %a, <8 x float> %b, <8 x float> %negc) #257 %sub.i = fsub <8 x float> <float -0.0, float -0.0, float -0.0, float -0.0, float -0.0, float -0.0, float -0.0, float -0.0>, %t058 ret <8 x float> %sub.i59}60 61define <8 x float> @test5(<8 x float> %a, <8 x float> %b, <8 x float> %c) {62; CHECK-LABEL: test5:63; CHECK: # %bb.0:64; CHECK-NEXT: vfmadd213ps {{.*#+}} ymm0 = (ymm1 * ymm0) + ymm265; CHECK-NEXT: ret{{[l|q]}}66 %sub.c = fsub <8 x float> <float -0.0, float -0.0, float -0.0, float -0.0, float -0.0, float -0.0, float -0.0, float -0.0>, %c67 %negsubc = fneg <8 x float> %sub.c68 %t0 = tail call nsz <8 x float> @llvm.fma.v8f32(<8 x float> %a, <8 x float> %b, <8 x float> %negsubc) #269 ret <8 x float> %t070}71 72define <2 x double> @test6(<2 x double> %a, <2 x double> %b, <2 x double> %c) {73; CHECK-LABEL: test6:74; CHECK: # %bb.0:75; CHECK-NEXT: vfnmsub213pd {{.*#+}} xmm0 = -(xmm1 * xmm0) - xmm276; CHECK-NEXT: ret{{[l|q]}}77 %t0 = tail call nsz <2 x double> @llvm.fma.v2f64(<2 x double> %a, <2 x double> %b, <2 x double> %c) #278 %sub.i = fsub <2 x double> <double -0.0, double -0.0>, %t079 ret <2 x double> %sub.i80}81 82define <8 x float> @test7(float %a, <8 x float> %b, <8 x float> %c) {83; X86-LABEL: test7:84; X86: # %bb.0:85; X86-NEXT: vbroadcastss {{[0-9]+}}(%esp), %ymm286; X86-NEXT: vfnmadd213ps {{.*#+}} ymm0 = -(ymm2 * ymm0) + ymm187; X86-NEXT: retl88;89; X64-LABEL: test7:90; X64: # %bb.0:91; X64-NEXT: vbroadcastss %xmm0, %ymm092; X64-NEXT: vfnmadd213ps {{.*#+}} ymm0 = -(ymm1 * ymm0) + ymm293; X64-NEXT: retq94 %t0 = insertelement <8 x float> undef, float %a, i32 095 %t1 = fsub <8 x float> <float -0.0, float undef, float undef, float undef, float undef, float undef, float undef, float undef>, %t096 %t2 = shufflevector <8 x float> %t1, <8 x float> undef, <8 x i32> zeroinitializer97 %t3 = tail call nsz <8 x float> @llvm.fma.v8f32(<8 x float> %t2, <8 x float> %b, <8 x float> %c)98 ret <8 x float> %t399 100}101 102define <8 x float> @test8(float %a, <8 x float> %b, <8 x float> %c) {103; X86-LABEL: test8:104; X86: # %bb.0:105; X86-NEXT: vbroadcastss {{[0-9]+}}(%esp), %ymm2106; X86-NEXT: vfnmadd213ps {{.*#+}} ymm0 = -(ymm2 * ymm0) + ymm1107; X86-NEXT: retl108;109; X64-LABEL: test8:110; X64: # %bb.0:111; X64-NEXT: vbroadcastss %xmm0, %ymm0112; X64-NEXT: vfnmadd213ps {{.*#+}} ymm0 = -(ymm1 * ymm0) + ymm2113; X64-NEXT: retq114 %t0 = fsub float -0.0, %a115 %t1 = insertelement <8 x float> undef, float %t0, i32 0116 %t2 = shufflevector <8 x float> %t1, <8 x float> undef, <8 x i32> zeroinitializer117 %t3 = tail call nsz <8 x float> @llvm.fma.v8f32(<8 x float> %t2, <8 x float> %b, <8 x float> %c)118 ret <8 x float> %t3119}120 121define <4 x double> @test9(<4 x double> %a) {122; CHECK-LABEL: test9:123; CHECK: # %bb.0:124; CHECK-NEXT: vbroadcastsd {{.*#+}} ymm1 = [-5.0E-1,-5.0E-1,-5.0E-1,-5.0E-1]125; CHECK-NEXT: vfnmadd213pd {{.*#+}} ymm0 = -(ymm1 * ymm0) + ymm1126; CHECK-NEXT: ret{{[l|q]}}127 %t = tail call <4 x double> @llvm.fma.v4f64(<4 x double> %a, <4 x double> <double 5.000000e-01, double 5.000000e-01, double 5.000000e-01, double 5.000000e-01>, <4 x double> <double -5.000000e-01, double -5.000000e-01, double -5.000000e-01, double -5.000000e-01>)128 ret <4 x double> %t129}130 131define <4 x double> @test10(<4 x double> %a, <4 x double> %b) {132; CHECK-LABEL: test10:133; CHECK: # %bb.0:134; CHECK-NEXT: vmovapd {{.*#+}} ymm2 = [-9.5E+0,u,-5.5E+0,-2.5E+0]135; CHECK-NEXT: vmovapd %ymm2, %ymm3136; CHECK-NEXT: vfmadd213pd {{.*#+}} ymm3 = (ymm0 * ymm3) + ymm1137; CHECK-NEXT: vfnmadd213pd {{.*#+}} ymm2 = -(ymm0 * ymm2) + ymm1138; CHECK-NEXT: vaddpd %ymm2, %ymm3, %ymm0139; CHECK-NEXT: ret{{[l|q]}}140 %t0 = tail call <4 x double> @llvm.fma.v4f64(<4 x double> %a, <4 x double> <double -95.00000e-01, double undef, double -55.00000e-01, double -25.00000e-01>, <4 x double> %b)141 %t1 = tail call <4 x double> @llvm.fma.v4f64(<4 x double> %a, <4 x double> <double 95.00000e-01, double undef, double 55.00000e-01, double 25.00000e-01>, <4 x double> %b)142 %t2 = fadd <4 x double> %t0, %t1143 ret <4 x double> %t2144}145 146define <4 x double> @test11(<4 x double> %a) {147; CHECK-LABEL: test11:148; CHECK: # %bb.0:149; CHECK-NEXT: vbroadcastf128 {{.*#+}} ymm1 = [5.0E-1,2.5E+0,5.0E-1,2.5E+0]150; CHECK-NEXT: # ymm1 = mem[0,1,0,1]151; CHECK-NEXT: vaddpd %ymm1, %ymm0, %ymm0152; CHECK-NEXT: vfmsub213pd {{.*#+}} ymm0 = (ymm1 * ymm0) - ymm1153; CHECK-NEXT: ret{{[l|q]}}154 %t0 = fadd <4 x double> %a, <double 5.000000e-01, double 25.00000e-01, double 5.000000e-01, double 25.00000e-01>155 %t1 = tail call <4 x double> @llvm.fma.v4f64(<4 x double> %t0, <4 x double> <double 5.000000e-01, double 25.00000e-01, double 5.000000e-01, double 25.00000e-01>, <4 x double> <double -5.000000e-01, double -25.00000e-01, double -5.000000e-01, double -25.00000e-01>)156 ret <4 x double> %t1157}158 159define <4 x double> @test12(<4 x double> %a, <4 x double> %b) {160; CHECK-LABEL: test12:161; CHECK: # %bb.0:162; CHECK-NEXT: vmovapd {{.*#+}} ymm2 = [-7.5E+0,-2.5E+0,-5.5E+0,-9.5E+0]163; CHECK-NEXT: vfnmadd213pd {{.*#+}} ymm0 = -(ymm2 * ymm0) + mem164; CHECK-NEXT: vfmadd132pd {{.*#+}} ymm1 = (ymm1 * mem) + ymm2165; CHECK-NEXT: vaddpd %ymm1, %ymm0, %ymm0166; CHECK-NEXT: ret{{[l|q]}}167 %t0 = tail call <4 x double> @llvm.fma.v4f64(<4 x double> %a, <4 x double> <double 75.00000e-01, double 25.00000e-01, double 55.00000e-01, double 95.00000e-01>, <4 x double> <double -75.00000e-01, double undef, double -55.00000e-01, double -95.00000e-01>)168 %t1 = tail call <4 x double> @llvm.fma.v4f64(<4 x double> %b, <4 x double> <double undef, double 25.00000e-01, double 55.00000e-01, double 95.00000e-01>, <4 x double> <double -75.00000e-01, double -25.00000e-01, double -55.00000e-01, double -95.00000e-01>)169 %t2 = fadd <4 x double> %t0, %t1170 ret <4 x double> %t2171}172