98 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s --mattr=+complxnum -o - | FileCheck %s3 4target triple = "aarch64"5 6 7; a[i] * b[i] * (11.0 + 3.0.i);8;9define <4 x double> @complex_mul_const(<4 x double> %a, <4 x double> %b) {10; CHECK-LABEL: complex_mul_const:11; CHECK: // %bb.0: // %entry12; CHECK-NEXT: movi v6.2d, #000000000000000013; CHECK-NEXT: movi v5.2d, #000000000000000014; CHECK-NEXT: adrp x8, .LCPI0_015; CHECK-NEXT: movi v4.2d, #000000000000000016; CHECK-NEXT: fcmla v6.2d, v1.2d, v3.2d, #017; CHECK-NEXT: fcmla v5.2d, v0.2d, v2.2d, #018; CHECK-NEXT: fcmla v6.2d, v1.2d, v3.2d, #9019; CHECK-NEXT: ldr q1, [x8, :lo12:.LCPI0_0]20; CHECK-NEXT: fcmla v5.2d, v0.2d, v2.2d, #9021; CHECK-NEXT: movi v0.2d, #000000000000000022; CHECK-NEXT: fcmla v4.2d, v6.2d, v1.2d, #023; CHECK-NEXT: fcmla v0.2d, v5.2d, v1.2d, #024; CHECK-NEXT: fcmla v4.2d, v6.2d, v1.2d, #9025; CHECK-NEXT: fcmla v0.2d, v5.2d, v1.2d, #9026; CHECK-NEXT: mov v1.16b, v4.16b27; CHECK-NEXT: ret28entry:29 %strided.vec = shufflevector <4 x double> %a, <4 x double> poison, <2 x i32> <i32 0, i32 2>30 %strided.vec47 = shufflevector <4 x double> %a, <4 x double> poison, <2 x i32> <i32 1, i32 3>31 %strided.vec49 = shufflevector <4 x double> %b, <4 x double> poison, <2 x i32> <i32 0, i32 2>32 %strided.vec50 = shufflevector <4 x double> %b, <4 x double> poison, <2 x i32> <i32 1, i32 3>33 %0 = fmul fast <2 x double> %strided.vec50, %strided.vec34 %1 = fmul fast <2 x double> %strided.vec49, %strided.vec4735 %2 = fadd fast <2 x double> %0, %136 %3 = fmul fast <2 x double> %strided.vec49, %strided.vec37 %4 = fmul fast <2 x double> %strided.vec50, %strided.vec4738 %5 = fsub fast <2 x double> %3, %439 %6 = fmul fast <2 x double> %5, <double 3.000000e+00, double 3.000000e+00>40 %7 = fmul fast <2 x double> %2, <double 1.100000e+01, double 1.100000e+01>41 %8 = fadd fast <2 x double> %6, %742 %9 = fmul fast <2 x double> %5, <double 1.100000e+01, double 1.100000e+01>43 %10 = fmul fast <2 x double> %2, <double 3.000000e+00, double 3.000000e+00>44 %11 = fsub fast <2 x double> %9, %1045 %interleaved.vec = shufflevector <2 x double> %11, <2 x double> %8, <4 x i32> <i32 0, i32 2, i32 1, i32 3>46 ret <4 x double> %interleaved.vec47}48 49 50; a[i] * b[i] * c;51;52define <4 x double> @complex_mul_non_const(<4 x double> %a, <4 x double> %b, [2 x double] %c) {53; CHECK-LABEL: complex_mul_non_const:54; CHECK: // %bb.0: // %entry55; CHECK-NEXT: movi v7.2d, #000000000000000056; CHECK-NEXT: movi v6.2d, #000000000000000057; CHECK-NEXT: // kill: def $d5 killed $d5 def $q558; CHECK-NEXT: // kill: def $d4 killed $d4 def $q459; CHECK-NEXT: mov v4.d[1], v5.d[0]60; CHECK-NEXT: movi v5.2d, #000000000000000061; CHECK-NEXT: fcmla v7.2d, v1.2d, v3.2d, #062; CHECK-NEXT: fcmla v6.2d, v0.2d, v2.2d, #063; CHECK-NEXT: fcmla v7.2d, v1.2d, v3.2d, #9064; CHECK-NEXT: fcmla v6.2d, v0.2d, v2.2d, #9065; CHECK-NEXT: movi v0.2d, #000000000000000066; CHECK-NEXT: fcmla v5.2d, v7.2d, v4.2d, #067; CHECK-NEXT: fcmla v0.2d, v6.2d, v4.2d, #068; CHECK-NEXT: fcmla v5.2d, v7.2d, v4.2d, #9069; CHECK-NEXT: fcmla v0.2d, v6.2d, v4.2d, #9070; CHECK-NEXT: mov v1.16b, v5.16b71; CHECK-NEXT: ret72entry:73 %c.coerce.fca.1.extract = extractvalue [2 x double] %c, 174 %c.coerce.fca.0.extract = extractvalue [2 x double] %c, 075 %broadcast.splatinsert = insertelement <2 x double> poison, double %c.coerce.fca.1.extract, i64 076 %broadcast.splat = shufflevector <2 x double> %broadcast.splatinsert, <2 x double> poison, <2 x i32> zeroinitializer77 %broadcast.splatinsert51 = insertelement <2 x double> poison, double %c.coerce.fca.0.extract, i64 078 %broadcast.splat52 = shufflevector <2 x double> %broadcast.splatinsert51, <2 x double> poison, <2 x i32> zeroinitializer79 %strided.vec = shufflevector <4 x double> %a, <4 x double> poison, <2 x i32> <i32 0, i32 2>80 %strided.vec47 = shufflevector <4 x double> %a, <4 x double> poison, <2 x i32> <i32 1, i32 3>81 %strided.vec49 = shufflevector <4 x double> %b, <4 x double> poison, <2 x i32> <i32 0, i32 2>82 %strided.vec50 = shufflevector <4 x double> %b, <4 x double> poison, <2 x i32> <i32 1, i32 3>83 %0 = fmul fast <2 x double> %strided.vec50, %strided.vec84 %1 = fmul fast <2 x double> %strided.vec49, %strided.vec4785 %2 = fadd fast <2 x double> %0, %186 %3 = fmul fast <2 x double> %strided.vec49, %strided.vec87 %4 = fmul fast <2 x double> %strided.vec50, %strided.vec4788 %5 = fsub fast <2 x double> %3, %489 %6 = fmul fast <2 x double> %5, %broadcast.splat90 %7 = fmul fast <2 x double> %2, %broadcast.splat5291 %8 = fadd fast <2 x double> %6, %792 %9 = fmul fast <2 x double> %5, %broadcast.splat5293 %10 = fmul fast <2 x double> %2, %broadcast.splat94 %11 = fsub fast <2 x double> %9, %1095 %interleaved.vec = shufflevector <2 x double> %11, <2 x double> %8, <4 x i32> <i32 0, i32 2, i32 1, i32 3>96 ret <4 x double> %interleaved.vec97}98