106 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=slp-vectorizer -S -mtriple=aarch64-apple-ios -mcpu=cyclone -o - %s | FileCheck %s3 4define void @f1(<2 x i16> %x, ptr %a) {5; CHECK-LABEL: @f1(6; CHECK-NEXT: [[SHUFFLE:%.*]] = shufflevector <2 x i16> [[X:%.*]], <2 x i16> poison, <4 x i32> <i32 0, i32 1, i32 1, i32 0>7; CHECK-NEXT: [[TMP1:%.*]] = extractelement <2 x i16> [[X]], i32 08; CHECK-NEXT: store i16 [[TMP1]], ptr [[A:%.*]], align 29; CHECK-NEXT: store <4 x i16> [[SHUFFLE]], ptr undef, align 210; CHECK-NEXT: ret void11;12 %t2 = extractelement <2 x i16> %x, i32 013 %t3 = extractelement <2 x i16> %x, i32 114 %ptr1 = getelementptr inbounds [4 x i16], ptr undef, i16 0, i16 115 %ptr2 = getelementptr inbounds [4 x i16], ptr undef, i16 0, i16 216 %ptr3 = getelementptr inbounds [4 x i16], ptr undef, i16 0, i16 317 store i16 %t2, ptr %a18 store i16 %t2, ptr undef19 store i16 %t3, ptr %ptr120 store i16 %t3, ptr %ptr221 store i16 %t2, ptr %ptr322 ret void23}24 25define void @f2(<2 x i16> %x, ptr %a) {26; CHECK-LABEL: @f2(27; CHECK-NEXT: entry:28; CHECK-NEXT: br label [[CONT:%.*]]29; CHECK: cont:30; CHECK-NEXT: [[XX:%.*]] = phi <2 x i16> [ [[X:%.*]], [[ENTRY:%.*]] ], [ undef, [[CONT]] ]31; CHECK-NEXT: [[AA:%.*]] = phi ptr [ [[A:%.*]], [[ENTRY]] ], [ undef, [[CONT]] ]32; CHECK-NEXT: [[SHUFFLE:%.*]] = shufflevector <2 x i16> [[XX]], <2 x i16> poison, <4 x i32> <i32 0, i32 1, i32 1, i32 0>33; CHECK-NEXT: [[TMP0:%.*]] = extractelement <2 x i16> [[XX]], i32 034; CHECK-NEXT: store i16 [[TMP0]], ptr [[A]], align 235; CHECK-NEXT: store <4 x i16> [[SHUFFLE]], ptr undef, align 236; CHECK-NEXT: [[A_VAL:%.*]] = load i16, ptr [[A]], align 237; CHECK-NEXT: [[CMP:%.*]] = icmp eq i16 [[A_VAL]], 038; CHECK-NEXT: br i1 [[CMP]], label [[CONT]], label [[EXIT:%.*]]39; CHECK: exit:40; CHECK-NEXT: ret void41;42entry:43 br label %cont44 45cont: ; preds = %entry, %cont46 %xx = phi <2 x i16> [ %x, %entry ], [ undef, %cont ]47 %aa = phi ptr [ %a, %entry ], [ undef, %cont ]48 %t2 = extractelement <2 x i16> %xx, i32 049 %t3 = extractelement <2 x i16> %xx, i32 150 %ptr1 = getelementptr inbounds [4 x i16], ptr undef, i16 0, i16 151 %ptr2 = getelementptr inbounds [4 x i16], ptr undef, i16 0, i16 252 %ptr3 = getelementptr inbounds [4 x i16], ptr undef, i16 0, i16 353 store i16 %t2, ptr %a54 store i16 %t2, ptr undef55 store i16 %t3, ptr %ptr156 store i16 %t3, ptr %ptr257 store i16 %t2, ptr %ptr358 %a_val = load i16, ptr %a, align 259 %cmp = icmp eq i16 %a_val, 060 br i1 %cmp, label %cont, label %exit61 62exit: ; preds = %cont63 ret void64}65 66define void @f3(<2 x i16> %x, ptr %a) {67; CHECK-LABEL: @f3(68; CHECK-NEXT: entry:69; CHECK-NEXT: br label [[CONT:%.*]]70; CHECK: cont:71; CHECK-NEXT: [[XX:%.*]] = phi <2 x i16> [ [[X:%.*]], [[ENTRY:%.*]] ], [ undef, [[CONT]] ]72; CHECK-NEXT: [[AA:%.*]] = phi ptr [ [[A:%.*]], [[ENTRY]] ], [ undef, [[CONT]] ]73; CHECK-NEXT: [[SHUFFLE:%.*]] = shufflevector <2 x i16> [[XX]], <2 x i16> poison, <4 x i32> <i32 1, i32 0, i32 0, i32 1>74; CHECK-NEXT: [[TMP0:%.*]] = extractelement <2 x i16> [[XX]], i32 175; CHECK-NEXT: store i16 [[TMP0]], ptr [[A]], align 276; CHECK-NEXT: store <4 x i16> [[SHUFFLE]], ptr undef, align 277; CHECK-NEXT: [[A_VAL:%.*]] = load i16, ptr [[A]], align 278; CHECK-NEXT: [[CMP:%.*]] = icmp eq i16 [[A_VAL]], 079; CHECK-NEXT: br i1 [[CMP]], label [[CONT]], label [[EXIT:%.*]]80; CHECK: exit:81; CHECK-NEXT: ret void82;83entry:84 br label %cont85 86cont: ; preds = %entry, %cont87 %xx = phi <2 x i16> [ %x, %entry ], [ undef, %cont ]88 %aa = phi ptr [ %a, %entry ], [ undef, %cont ]89 %t2 = extractelement <2 x i16> %xx, i32 090 %t3 = extractelement <2 x i16> %xx, i32 191 %ptr1 = getelementptr inbounds [4 x i16], ptr undef, i16 0, i16 192 %ptr2 = getelementptr inbounds [4 x i16], ptr undef, i16 0, i16 293 %ptr3 = getelementptr inbounds [4 x i16], ptr undef, i16 0, i16 394 store i16 %t3, ptr %a95 store i16 %t3, ptr undef96 store i16 %t2, ptr %ptr197 store i16 %t2, ptr %ptr298 store i16 %t3, ptr %ptr399 %a_val = load i16, ptr %a, align 2100 %cmp = icmp eq i16 %a_val, 0101 br i1 %cmp, label %cont, label %exit102 103exit: ; preds = %cont104 ret void105}106