101 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: %if aarch64-registered-target %{ opt -passes=slp-vectorizer -mtriple=aarch64 -S %s | FileCheck %s %}3 4define <2 x float> @v2f32_diff_consts(float %a, float %b)5; CHECK-LABEL: define <2 x float> @v2f32_diff_consts(6; CHECK-SAME: float [[A:%.*]], float [[B:%.*]]) {7; CHECK-NEXT: [[TMP1:%.*]] = insertelement <2 x float> poison, float [[A]], i32 08; CHECK-NEXT: [[TMP2:%.*]] = insertelement <2 x float> [[TMP1]], float [[B]], i32 19; CHECK-NEXT: [[TMP3:%.*]] = fmul <2 x float> [[TMP2]], <float 2.200000e+01, float 2.300000e+01>10; CHECK-NEXT: ret <2 x float> [[TMP3]]11;12{13 %1 = fmul float %a, 22.014 %2 = fmul float %b, 23.015 %3 = insertelement <2 x float> poison, float %1, i32 016 %4 = insertelement <2 x float> %3, float %2, i32 117 ret <2 x float> %418}19 20define <2 x float> @v2f32_const_splat(float %a, float %b)21; CHECK-LABEL: define <2 x float> @v2f32_const_splat(22; CHECK-SAME: float [[A:%.*]], float [[B:%.*]]) {23; CHECK-NEXT: [[TMP1:%.*]] = insertelement <2 x float> poison, float [[A]], i32 024; CHECK-NEXT: [[TMP2:%.*]] = insertelement <2 x float> [[TMP1]], float [[B]], i32 125; CHECK-NEXT: [[TMP3:%.*]] = fmul <2 x float> [[TMP2]], splat (float 2.200000e+01)26; CHECK-NEXT: ret <2 x float> [[TMP3]]27;28{29 %1 = fmul float %a, 22.030 %2 = fmul float %b, 22.031 %3 = insertelement <2 x float> poison, float %1, i32 032 %4 = insertelement <2 x float> %3, float %2, i32 133 ret <2 x float> %434}35 36define <4 x double> @v4f64_illegal_type(double %a, double %b, double %c, double %d)37; CHECK-LABEL: define <4 x double> @v4f64_illegal_type(38; CHECK-SAME: double [[A:%.*]], double [[B:%.*]], double [[C:%.*]], double [[D:%.*]]) {39; CHECK-NEXT: [[TMP1:%.*]] = insertelement <4 x double> poison, double [[A]], i32 040; CHECK-NEXT: [[TMP2:%.*]] = insertelement <4 x double> [[TMP1]], double [[B]], i32 141; CHECK-NEXT: [[TMP3:%.*]] = insertelement <4 x double> [[TMP2]], double [[C]], i32 242; CHECK-NEXT: [[TMP4:%.*]] = insertelement <4 x double> [[TMP3]], double [[D]], i32 343; CHECK-NEXT: [[TMP5:%.*]] = fmul <4 x double> [[TMP4]], <double 2.100000e+01, double 2.200000e+01, double 2.300000e+01, double 2.400000e+01>44; CHECK-NEXT: ret <4 x double> [[TMP5]]45;46{47 %1 = fmul double %a, 21.048 %2 = fmul double %b, 22.049 %3 = fmul double %c, 23.050 %4 = fmul double %d, 24.051 %5 = insertelement <4 x double> poison, double %1, i32 052 %6 = insertelement <4 x double> %5, double %2, i32 153 %7 = insertelement <4 x double> %6, double %3, i32 254 %8 = insertelement <4 x double> %7, double %4, i32 355 ret <4 x double> %856}57 58define <2 x double> @v2f64_dup_const_vector_case1(double %a, double %b, double %c, double %d)59; CHECK-LABEL: define <2 x double> @v2f64_dup_const_vector_case1(60; CHECK-SAME: double [[A:%.*]], double [[B:%.*]], double [[C:%.*]], double [[D:%.*]]) {61; CHECK-NEXT: [[TMP1:%.*]] = insertelement <2 x double> poison, double [[A]], i32 062; CHECK-NEXT: [[TMP2:%.*]] = insertelement <2 x double> [[TMP1]], double [[B]], i32 163; CHECK-NEXT: [[TMP3:%.*]] = fmul <2 x double> [[TMP2]], <double 2.100000e+01, double 2.200000e+01>64; CHECK-NEXT: [[TMP4:%.*]] = insertelement <2 x double> poison, double [[C]], i32 065; CHECK-NEXT: [[TMP5:%.*]] = insertelement <2 x double> [[TMP4]], double [[D]], i32 166; CHECK-NEXT: [[TMP6:%.*]] = fmul <2 x double> [[TMP5]], <double 2.100000e+01, double 2.200000e+01>67; CHECK-NEXT: [[TMP7:%.*]] = fadd <2 x double> [[TMP3]], [[TMP6]]68; CHECK-NEXT: ret <2 x double> [[TMP7]]69;70{71 %1 = fmul double %a, 21.072 %2 = fmul double %b, 22.073 %3 = fmul double %c, 21.074 %4 = fmul double %d, 22.075 %5 = insertelement <2 x double> poison, double %1, i32 076 %6 = insertelement <2 x double> %5, double %2, i32 177 %7 = insertelement <2 x double> poison, double %3, i32 078 %8 = insertelement <2 x double> %7, double %4, i32 179 %9 = fadd <2 x double> %6, %880 ret <2 x double> %981}82 83define <2 x double> @v2f64_dup_const_vector_case2(double %a, double %b, double %c, double %d)84; CHECK-LABEL: define <2 x double> @v2f64_dup_const_vector_case2(85; CHECK-SAME: double [[A:%.*]], double [[B:%.*]], double [[C:%.*]], double [[D:%.*]]) {86; CHECK-NEXT: [[TMP1:%.*]] = insertelement <2 x double> poison, double [[A]], i32 087; CHECK-NEXT: [[TMP2:%.*]] = insertelement <2 x double> [[TMP1]], double [[B]], i32 188; CHECK-NEXT: [[TMP3:%.*]] = fmul <2 x double> [[TMP2]], <double 2.100000e+01, double 2.200000e+01>89; CHECK-NEXT: [[TMP4:%.*]] = fadd <2 x double> [[TMP3]], <double 2.100000e+01, double 2.200000e+01>90; CHECK-NEXT: ret <2 x double> [[TMP4]]91;92{93 %1 = fmul double %a, 21.094 %2 = fmul double %b, 22.095 %3 = fadd double %1, 21.096 %4 = fadd double %2, 22.097 %5 = insertelement <2 x double> poison, double %3, i32 098 %6 = insertelement <2 x double> %5, double %4, i32 199 ret <2 x double> %6100}101