| ; 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 |
| } |