blob: 6c729d17c1a9ba1e71b6911258ff25f69cc41593 [file] [log] [blame]
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
; RUN: opt -S --passes=slp-vectorizer -mtriple=x86_64-unknown-linux-gnu -slp-threshold=-9999 < %s | FileCheck %s
define void @test(i32 %arg) personality ptr null {
; CHECK-LABEL: define void @test(
; CHECK-SAME: i32 [[ARG:%.*]]) personality ptr null {
; CHECK-NEXT: [[BB:.*]]:
; CHECK-NEXT: [[LOAD:%.*]] = load i32, ptr addrspace(3) null, align 4
; CHECK-NEXT: [[LOAD1:%.*]] = load i32, ptr addrspace(3) null, align 4
; CHECK-NEXT: [[LOAD2:%.*]] = load i32, ptr addrspace(3) null, align 4
; CHECK-NEXT: [[LOAD3:%.*]] = load i32, ptr addrspace(3) null, align 4
; CHECK-NEXT: [[INVOKE:%.*]] = invoke i32 null(ptr addrspace(1) null, i32 0)
; CHECK-NEXT: to label %[[BB4:.*]] unwind label %[[BB5:.*]]
; CHECK: [[BB4]]:
; CHECK-NEXT: ret void
; CHECK: [[BB5]]:
; CHECK-NEXT: [[PHI:%.*]] = phi i32 [ 0, %[[BB]] ]
; CHECK-NEXT: [[PHI6:%.*]] = phi i32 [ 0, %[[BB]] ]
; CHECK-NEXT: [[PHI7:%.*]] = phi i32 [ 0, %[[BB]] ]
; CHECK-NEXT: [[PHI8:%.*]] = phi i32 [ 0, %[[BB]] ]
; CHECK-NEXT: [[LANDINGPAD:%.*]] = landingpad { ptr, i32 }
; CHECK-NEXT: cleanup
; CHECK-NEXT: [[TMP0:%.*]] = insertelement <4 x i32> poison, i32 [[LOAD]], i32 0
; CHECK-NEXT: [[TMP1:%.*]] = insertelement <4 x i32> [[TMP0]], i32 [[LOAD1]], i32 1
; CHECK-NEXT: [[TMP2:%.*]] = insertelement <4 x i32> [[TMP1]], i32 [[LOAD3]], i32 2
; CHECK-NEXT: [[TMP3:%.*]] = insertelement <4 x i32> [[TMP2]], i32 [[LOAD2]], i32 3
; CHECK-NEXT: [[TMP4:%.*]] = insertelement <4 x i32> poison, i32 [[PHI]], i32 0
; CHECK-NEXT: [[TMP5:%.*]] = insertelement <4 x i32> [[TMP4]], i32 [[PHI8]], i32 1
; CHECK-NEXT: [[TMP6:%.*]] = insertelement <4 x i32> [[TMP5]], i32 [[PHI6]], i32 2
; CHECK-NEXT: [[TMP7:%.*]] = insertelement <4 x i32> [[TMP6]], i32 [[PHI7]], i32 3
; CHECK-NEXT: [[TMP8:%.*]] = shufflevector <4 x i32> [[TMP3]], <4 x i32> poison, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 poison, i32 poison, i32 poison, i32 poison>
; CHECK-NEXT: [[TMP9:%.*]] = shufflevector <4 x i32> [[TMP7]], <4 x i32> poison, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 poison, i32 poison, i32 poison, i32 poison>
; CHECK-NEXT: [[TMP10:%.*]] = shufflevector <8 x i32> [[TMP8]], <8 x i32> [[TMP9]], <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 8, i32 9, i32 10, i32 11>
; CHECK-NEXT: br label %[[BB11:.*]]
; CHECK: [[BB9:.*]]:
; CHECK-NEXT: [[LANDINGPAD10:%.*]] = landingpad { ptr, i32 }
; CHECK-NEXT: cleanup
; CHECK-NEXT: br label %[[BB11]]
; CHECK: [[BB11]]:
; CHECK-NEXT: [[TMP11:%.*]] = phi <8 x i32> [ poison, %[[BB9]] ], [ [[TMP10]], %[[BB5]] ]
; CHECK-NEXT: ret void
;
bb:
%load = load i32, ptr addrspace(3) null, align 4
%load1 = load i32, ptr addrspace(3) null, align 4
%load2 = load i32, ptr addrspace(3) null, align 4
%load3 = load i32, ptr addrspace(3) null, align 4
%invoke = invoke i32 null(ptr addrspace(1) null, i32 0)
to label %bb4 unwind label %bb5
bb4: ; preds = %bb
ret void
bb5: ; preds = %bb
%phi = phi i32 [ 0, %bb ]
%phi6 = phi i32 [ 0, %bb ]
%phi7 = phi i32 [ 0, %bb ]
%phi8 = phi i32 [ 0, %bb ]
%landingpad = landingpad { ptr, i32 }
cleanup
br label %bb11
bb9: ; No predecessors!
%landingpad10 = landingpad { ptr, i32 }
cleanup
br label %bb11
bb11: ; preds = %bb9, %bb5
%phi12 = phi i32 [ 0, %bb9 ], [ %phi, %bb5 ]
%phi13 = phi i32 [ 0, %bb9 ], [ %phi8, %bb5 ]
%phi14 = phi i32 [ 0, %bb9 ], [ %phi6, %bb5 ]
%phi15 = phi i32 [ %arg, %bb9 ], [ %phi7, %bb5 ]
%phi16 = phi i32 [ 0, %bb9 ], [ %load, %bb5 ]
%phi17 = phi i32 [ 0, %bb9 ], [ %load1, %bb5 ]
%phi18 = phi i32 [ %arg, %bb9 ], [ %load2, %bb5 ]
%phi19 = phi i32 [ 0, %bb9 ], [ %load3, %bb5 ]
ret void
}