1; RUN: opt -passes=loop-vectorize -force-vector-width=2 -force-vector-interleave=1 -S %s | FileCheck %s
2
3target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
4target triple = "x86_64-linux-gnu"
5
6%pair = type { ptr, ptr }
7
8define void @test_pr55375_interleave_opaque_ptr(ptr %start, ptr %end) {
9; CHECK-LABEL: @test_pr55375_interleave_opaque_ptr(
10; CHECK:       vector.body:
11; CHECK-NEXT:    [[POINTER_PHI:%.*]] = phi ptr [ %start, %vector.ph ], [ [[PTR_IND:%.*]], %vector.body ]
12; CHECK-NEXT:    [[INDEX:%.*]] = phi i64 [ 0, %vector.ph ], [ [[INDEX_NEXT:%.*]], %vector.body ]
13; CHECK-NEXT:    [[TMP5:%.*]] = getelementptr i8, ptr [[POINTER_PHI]], <2 x i64> <i64 0, i64 16>
14; CHECK-NEXT:    [[TMP7:%.*]] = extractelement <2 x ptr> [[TMP5]], i32 0
15; CHECK-NEXT:    [[TMP8:%.*]] = getelementptr ptr, ptr [[TMP7]], i32 0
16; CHECK-NEXT:    [[TMP11:%.*]] = shufflevector <2 x ptr> zeroinitializer, <2 x ptr> [[TMP5]], <4 x i32> <i32 0, i32 1, i32 2, i32 3>
17; CHECK-NEXT:    [[INTERLEAVED_VEC:%.*]] = shufflevector <4 x ptr> [[TMP11]], <4 x ptr> poison, <4 x i32> <i32 0, i32 2, i32 1, i32 3>
18; CHECK-NEXT:    store <4 x ptr> [[INTERLEAVED_VEC]], ptr [[TMP8]], align 8
19; CHECK-NEXT:    [[INDEX_NEXT]] = add nuw i64 [[INDEX]], 2
20; CHECK-NEXT:    [[PTR_IND]] = getelementptr i8, ptr [[POINTER_PHI]], i64 32
21; CHECK-NEXT:    [[TMP13:%.*]] = icmp eq i64 [[INDEX_NEXT]], %n.vec
22; CHECK-NEXT:    br i1 [[TMP13]], label %middle.block, label %vector.body
23;
24entry:
25  br label %loop
26
27loop:
28  %iv = phi ptr [ %start, %entry ], [ %iv.next, %loop ]
29  %iv.1 = getelementptr inbounds %pair, ptr %iv, i64 0, i32 1
30  store ptr %iv, ptr %iv.1, align 8
31  store ptr null, ptr %iv, align 8
32  %iv.next = getelementptr inbounds %pair, ptr %iv, i64 1
33  %ec = icmp eq ptr %iv.next, %end
34  br i1 %ec, label %exit, label %loop
35
36exit:
37  ret void
38}
39