1d7c85d7eSAlexey Bataev; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 23be72f40SBjorn Pettersson; RUN: opt -passes=slp-vectorizer -slp-vectorize-hor -slp-vectorize-hor-store -S < %s -mtriple=x86_64-unknown-linux-gnu | FileCheck %s 3d7c85d7eSAlexey Bataev 4580210a0SNikita Popovdefine void @test(ptr %ptr, ptr noalias %s) { 5d7c85d7eSAlexey Bataev; CHECK-LABEL: @test( 6d7c85d7eSAlexey Bataev; CHECK-NEXT: entry: 7580210a0SNikita Popov; CHECK-NEXT: [[CMP:%.*]] = icmp eq ptr [[PTR:%.*]], null 8d7c85d7eSAlexey Bataev; CHECK-NEXT: br i1 [[CMP]], label [[LOOP:%.*]], label [[BAIL_OUT:%.*]] 9d7c85d7eSAlexey Bataev; CHECK: loop: 10*b10ecfa9SAlexey Bataev; CHECK-NEXT: [[TMP0:%.*]] = load <4 x i32>, ptr [[PTR]], align 4 11*b10ecfa9SAlexey Bataev; CHECK-NEXT: [[TMP1:%.*]] = load i32, ptr [[PTR]], align 4 12*b10ecfa9SAlexey Bataev; CHECK-NEXT: store <4 x i32> [[TMP0]], ptr [[S:%.*]], align 4 13d7c85d7eSAlexey Bataev; CHECK-NEXT: br label [[LOOP1:%.*]] 14d7c85d7eSAlexey Bataev; CHECK: loop1: 15*b10ecfa9SAlexey Bataev; CHECK-NEXT: store i32 [[TMP1]], ptr [[S]], align 4 16d7c85d7eSAlexey Bataev; CHECK-NEXT: br i1 true, label [[LOOP1]], label [[CONT:%.*]] 17d7c85d7eSAlexey Bataev; CHECK: cont: 18d7c85d7eSAlexey Bataev; CHECK-NEXT: br i1 true, label [[LOOP]], label [[BAIL_OUT]] 19d7c85d7eSAlexey Bataev; CHECK: bail_out: 20*b10ecfa9SAlexey Bataev; CHECK-NEXT: [[DUMMY_PHI:%.*]] = phi i32 [ 1, [[ENTRY:%.*]] ], [ [[TMP1]], [[CONT]] ] 21580210a0SNikita Popov; CHECK-NEXT: store i32 [[DUMMY_PHI]], ptr [[S]], align 4 22d7c85d7eSAlexey Bataev; CHECK-NEXT: ret void 23d7c85d7eSAlexey Bataev; 24d7c85d7eSAlexey Bataeventry: 25580210a0SNikita Popov %cmp = icmp eq ptr %ptr, null 26d7c85d7eSAlexey Bataev br i1 %cmp, label %loop, label %bail_out 27d7c85d7eSAlexey Bataev 28d7c85d7eSAlexey Bataevloop: 29580210a0SNikita Popov %0 = load i32, ptr %ptr , align 4 30580210a0SNikita Popov %1 = getelementptr inbounds i32, ptr %ptr, i64 1 31580210a0SNikita Popov %2 = load i32, ptr %1 , align 4 32580210a0SNikita Popov %3 = getelementptr inbounds i32, ptr %ptr, i64 2 33580210a0SNikita Popov %4 = load i32, ptr %3 , align 4 34580210a0SNikita Popov %5 = getelementptr inbounds i32, ptr %ptr, i64 3 35580210a0SNikita Popov %6 = load i32, ptr %5 , align 4 36580210a0SNikita Popov store i32 %0, ptr %s, align 4 37580210a0SNikita Popov %7 = getelementptr inbounds i32, ptr %s, i64 1 38580210a0SNikita Popov store i32 %2, ptr %7, align 4 39580210a0SNikita Popov %8 = getelementptr inbounds i32, ptr %s, i64 2 40580210a0SNikita Popov store i32 %4, ptr %8, align 4 41580210a0SNikita Popov %9 = getelementptr inbounds i32, ptr %s, i64 3 42580210a0SNikita Popov store i32 %6, ptr %9, align 4 43d7c85d7eSAlexey Bataev br label %loop1 44d7c85d7eSAlexey Bataev 45d7c85d7eSAlexey Bataevloop1: 46580210a0SNikita Popov store i32 %0, ptr %s, align 4 47d7c85d7eSAlexey Bataev br i1 true, label %loop1, label %cont 48d7c85d7eSAlexey Bataev 49d7c85d7eSAlexey Bataevcont: 50d7c85d7eSAlexey Bataev br i1 true, label %loop, label %bail_out 51d7c85d7eSAlexey Bataev 52d7c85d7eSAlexey Bataevbail_out: 53d7c85d7eSAlexey Bataev %dummy_phi = phi i32 [ 1, %entry ], [ %0, %cont ] 54580210a0SNikita Popov store i32 %dummy_phi, ptr %s, align 4 55d7c85d7eSAlexey Bataev ret void 56d7c85d7eSAlexey Bataev} 57d7c85d7eSAlexey Bataev 58