58 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=slp-vectorizer -slp-vectorize-hor -slp-vectorize-hor-store -S < %s -mtriple=x86_64-unknown-linux-gnu | FileCheck %s3 4define void @test(ptr %ptr, ptr noalias %s) {5; CHECK-LABEL: @test(6; CHECK-NEXT: entry:7; CHECK-NEXT: [[CMP:%.*]] = icmp eq ptr [[PTR:%.*]], null8; CHECK-NEXT: br i1 [[CMP]], label [[LOOP:%.*]], label [[BAIL_OUT:%.*]]9; CHECK: loop:10; CHECK-NEXT: [[TMP0:%.*]] = load <4 x i32>, ptr [[PTR]], align 411; CHECK-NEXT: [[TMP1:%.*]] = load i32, ptr [[PTR]], align 412; CHECK-NEXT: store <4 x i32> [[TMP0]], ptr [[S:%.*]], align 413; CHECK-NEXT: br label [[LOOP1:%.*]]14; CHECK: loop1:15; CHECK-NEXT: store i32 [[TMP1]], ptr [[S]], align 416; CHECK-NEXT: br i1 true, label [[LOOP1]], label [[CONT:%.*]]17; CHECK: cont:18; CHECK-NEXT: br i1 true, label [[LOOP]], label [[BAIL_OUT]]19; CHECK: bail_out:20; CHECK-NEXT: [[DUMMY_PHI:%.*]] = phi i32 [ 1, [[ENTRY:%.*]] ], [ [[TMP1]], [[CONT]] ]21; CHECK-NEXT: store i32 [[DUMMY_PHI]], ptr [[S]], align 422; CHECK-NEXT: ret void23;24entry:25 %cmp = icmp eq ptr %ptr, null26 br i1 %cmp, label %loop, label %bail_out27 28loop:29 %0 = load i32, ptr %ptr , align 430 %1 = getelementptr inbounds i32, ptr %ptr, i64 131 %2 = load i32, ptr %1 , align 432 %3 = getelementptr inbounds i32, ptr %ptr, i64 233 %4 = load i32, ptr %3 , align 434 %5 = getelementptr inbounds i32, ptr %ptr, i64 335 %6 = load i32, ptr %5 , align 436 store i32 %0, ptr %s, align 437 %7 = getelementptr inbounds i32, ptr %s, i64 138 store i32 %2, ptr %7, align 439 %8 = getelementptr inbounds i32, ptr %s, i64 240 store i32 %4, ptr %8, align 441 %9 = getelementptr inbounds i32, ptr %s, i64 342 store i32 %6, ptr %9, align 443 br label %loop144 45loop1:46 store i32 %0, ptr %s, align 447 br i1 true, label %loop1, label %cont48 49cont:50 br i1 true, label %loop, label %bail_out51 52bail_out:53 %dummy_phi = phi i32 [ 1, %entry ], [ %0, %cont ]54 store i32 %dummy_phi, ptr %s, align 455 ret void56}57 58