62 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=slp-vectorizer -S |FileCheck %s3; RUN: opt < %s -aa-pipeline=basic-aa -passes=slp-vectorizer -S |FileCheck %s4target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"5target triple = "x86_64-unknown-unknown"6 7; Test if SLP can handle GEP expressions.8; The test perform the following action:9; x->first = y->first + 1610; x->second = y->second + 1611 12define void @foo1 (ptr noalias %x, ptr noalias %y) {13; CHECK-LABEL: @foo1(14; CHECK-NEXT: [[TMP1:%.*]] = getelementptr inbounds { ptr, ptr }, ptr [[Y:%.*]], i64 0, i32 015; CHECK-NEXT: [[TMP2:%.*]] = getelementptr inbounds { ptr, ptr }, ptr [[X:%.*]], i64 0, i32 016; CHECK-NEXT: [[TMP4:%.*]] = load <2 x ptr>, ptr [[TMP1]], align 817; CHECK-NEXT: [[TMP5:%.*]] = getelementptr i32, <2 x ptr> [[TMP4]], <2 x i64> splat (i64 16)18; CHECK-NEXT: store <2 x ptr> [[TMP5]], ptr [[TMP2]], align 819; CHECK-NEXT: ret void20;21 %1 = getelementptr inbounds { ptr, ptr }, ptr %y, i64 0, i32 022 %2 = load ptr, ptr %1, align 823 %3 = getelementptr inbounds i32, ptr %2, i64 1624 %4 = getelementptr inbounds { ptr, ptr }, ptr %x, i64 0, i32 025 store ptr %3, ptr %4, align 826 %5 = getelementptr inbounds { ptr, ptr }, ptr %y, i64 0, i32 127 %6 = load ptr, ptr %5, align 828 %7 = getelementptr inbounds i32, ptr %6, i64 1629 %8 = getelementptr inbounds { ptr, ptr }, ptr %x, i64 0, i32 130 store ptr %7, ptr %8, align 831 ret void32}33 34; Test that we don't vectorize GEP expressions if indexes are not constants.35; We can't produce an efficient code in that case.36define void @foo2 (ptr noalias %x, ptr noalias %y, i32 %i) {37; CHECK-LABEL: @foo2(38; CHECK-NEXT: [[TMP1:%.*]] = getelementptr inbounds { ptr, ptr }, ptr [[Y:%.*]], i64 0, i32 039; CHECK-NEXT: [[TMP2:%.*]] = load ptr, ptr [[TMP1]], align 840; CHECK-NEXT: [[TMP3:%.*]] = getelementptr inbounds i32, ptr [[TMP2]], i32 [[I:%.*]]41; CHECK-NEXT: [[TMP4:%.*]] = getelementptr inbounds { ptr, ptr }, ptr [[X:%.*]], i64 0, i32 042; CHECK-NEXT: store ptr [[TMP3]], ptr [[TMP4]], align 843; CHECK-NEXT: [[TMP5:%.*]] = getelementptr inbounds { ptr, ptr }, ptr [[Y]], i64 0, i32 144; CHECK-NEXT: [[TMP6:%.*]] = load ptr, ptr [[TMP5]], align 845; CHECK-NEXT: [[TMP7:%.*]] = getelementptr inbounds i32, ptr [[TMP6]], i32 [[I]]46; CHECK-NEXT: [[TMP8:%.*]] = getelementptr inbounds { ptr, ptr }, ptr [[X]], i64 0, i32 147; CHECK-NEXT: store ptr [[TMP7]], ptr [[TMP8]], align 848; CHECK-NEXT: ret void49;50 %1 = getelementptr inbounds { ptr, ptr }, ptr %y, i64 0, i32 051 %2 = load ptr, ptr %1, align 852 %3 = getelementptr inbounds i32, ptr %2, i32 %i53 %4 = getelementptr inbounds { ptr, ptr }, ptr %x, i64 0, i32 054 store ptr %3, ptr %4, align 855 %5 = getelementptr inbounds { ptr, ptr }, ptr %y, i64 0, i32 156 %6 = load ptr, ptr %5, align 857 %7 = getelementptr inbounds i32, ptr %6, i32 %i58 %8 = getelementptr inbounds { ptr, ptr }, ptr %x, i64 0, i32 159 store ptr %7, ptr %8, align 860 ret void61}62