1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt -S -slp-vectorizer < %s -mtriple=x86_64-unknown-linux-gnu -mcpu=skylake -slp-threshold=-12 | FileCheck %s
3
4define void @test(i1 %c, ptr %arg) {
5; CHECK-LABEL: @test(
6; CHECK-NEXT:    br i1 [[C:%.*]], label [[IF:%.*]], label [[ELSE:%.*]]
7; CHECK:       if:
8; CHECK-NEXT:    [[TMP1:%.*]] = insertelement <4 x ptr> poison, ptr [[ARG:%.*]], i32 0
9; CHECK-NEXT:    [[SHUFFLE:%.*]] = shufflevector <4 x ptr> [[TMP1]], <4 x ptr> poison, <4 x i32> zeroinitializer
10; CHECK-NEXT:    [[TMP2:%.*]] = getelementptr i8, <4 x ptr> [[SHUFFLE]], <4 x i64> <i64 32, i64 24, i64 8, i64 0>
11; CHECK-NEXT:    [[TMP3:%.*]] = call <4 x i64> @llvm.masked.gather.v4i64.v4p0(<4 x ptr> [[TMP2]], i32 8, <4 x i1> <i1 true, i1 true, i1 true, i1 true>, <4 x i64> undef)
12; CHECK-NEXT:    br label [[JOIN:%.*]]
13; CHECK:       else:
14; CHECK-NEXT:    [[ARG_1:%.*]] = getelementptr inbounds i8, ptr [[ARG]], i64 8
15; CHECK-NEXT:    [[TMP4:%.*]] = insertelement <2 x ptr> poison, ptr [[ARG]], i32 0
16; CHECK-NEXT:    [[TMP5:%.*]] = insertelement <2 x ptr> [[TMP4]], ptr [[ARG]], i32 1
17; CHECK-NEXT:    [[TMP6:%.*]] = getelementptr i8, <2 x ptr> [[TMP5]], <2 x i64> <i64 32, i64 24>
18; CHECK-NEXT:    [[TMP7:%.*]] = insertelement <4 x ptr> poison, ptr [[ARG]], i32 3
19; CHECK-NEXT:    [[TMP8:%.*]] = shufflevector <2 x ptr> [[TMP6]], <2 x ptr> poison, <4 x i32> <i32 0, i32 1, i32 undef, i32 undef>
20; CHECK-NEXT:    [[TMP9:%.*]] = shufflevector <4 x ptr> [[TMP7]], <4 x ptr> [[TMP8]], <4 x i32> <i32 4, i32 5, i32 2, i32 3>
21; CHECK-NEXT:    [[TMP10:%.*]] = insertelement <4 x ptr> [[TMP9]], ptr [[ARG_1]], i32 2
22; CHECK-NEXT:    [[TMP11:%.*]] = call <4 x i64> @llvm.masked.gather.v4i64.v4p0(<4 x ptr> [[TMP10]], i32 8, <4 x i1> <i1 true, i1 true, i1 true, i1 true>, <4 x i64> undef)
23; CHECK-NEXT:    br label [[JOIN]]
24; CHECK:       join:
25; CHECK-NEXT:    [[TMP12:%.*]] = phi <4 x i64> [ [[TMP3]], [[IF]] ], [ [[TMP11]], [[ELSE]] ]
26; CHECK-NEXT:    ret void
27;
28  br i1 %c, label %if, label %else
29
30if:
31  %i2.0 = load i64, ptr %arg, align 8
32  %arg2.1 = getelementptr inbounds i8, ptr %arg, i64 8
33  %i2.1 = load i64, ptr %arg2.1, align 8
34  %arg2.2 = getelementptr inbounds i8, ptr %arg, i64 24
35  %i2.2 = load i64, ptr %arg2.2, align 8
36  %arg2.3 = getelementptr inbounds i8, ptr %arg, i64 32
37  %i2.3 = load i64, ptr %arg2.3, align 8
38  br label %join
39
40else:
41  %i.0 = load i64, ptr %arg, align 8
42  %arg.1 = getelementptr inbounds i8, ptr %arg, i64 8
43  %i.1 = load i64, ptr %arg.1, align 8
44  %arg.2 = getelementptr inbounds i8, ptr %arg, i64 24
45  %i.2 = load i64, ptr %arg.2, align 8
46  %arg.3 = getelementptr inbounds i8, ptr %arg, i64 32
47  %i.3 = load i64, ptr %arg.3, align 8
48  br label %join
49
50join:
51  %phi.3 = phi i64 [ %i2.3, %if ], [ %i.3, %else ]
52  %phi.2 = phi i64 [ %i2.2, %if ], [ %i.2, %else ]
53  %phi.1 = phi i64 [ %i2.1, %if ], [ %i.1, %else ]
54  %phi.0 = phi i64 [ %i2.0, %if ], [ %i.0, %else ]
55  ret void
56}
57
58