122 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -S --passes=slp-vectorizer -mtriple=x86_64-unknown-linux-gnu -mattr=+avx -slp-threshold=-1000 < %s | FileCheck %s3 4define i64 @Foo(ptr align 8 dereferenceable(344) %0, i64 %1) {5; CHECK-LABEL: define i64 @Foo(6; CHECK-SAME: ptr align 8 dereferenceable(344) [[TMP0:%.*]], i64 [[TMP1:%.*]]) #[[ATTR0:[0-9]+]] {7; CHECK-NEXT: [[TMP3:%.*]] = getelementptr i8, ptr [[TMP0]], i64 1048; CHECK-NEXT: [[TMP4:%.*]] = getelementptr i8, ptr [[TMP0]], i64 1129; CHECK-NEXT: [[TMP5:%.*]] = getelementptr i8, ptr [[TMP0]], i64 2410; CHECK-NEXT: [[TMP6:%.*]] = load i64, ptr [[TMP3]], align 811; CHECK-NEXT: [[TMP7:%.*]] = load i64, ptr [[TMP4]], align 812; CHECK-NEXT: [[TMP8:%.*]] = load i64, ptr [[TMP5]], align 813; CHECK-NEXT: [[TMP9:%.*]] = load i64, ptr [[TMP0]], align 814; CHECK-NEXT: [[TMP10:%.*]] = insertelement <2 x i64> poison, i64 [[TMP6]], i32 015; CHECK-NEXT: [[TMP11:%.*]] = insertelement <2 x i64> [[TMP10]], i64 [[TMP9]], i32 116; CHECK-NEXT: [[TMP12:%.*]] = insertelement <2 x i64> poison, i64 [[TMP7]], i32 017; CHECK-NEXT: [[TMP13:%.*]] = insertelement <2 x i64> [[TMP12]], i64 [[TMP8]], i32 118; CHECK-NEXT: [[TMP14:%.*]] = insertelement <2 x i64> poison, i64 0, i32 019; CHECK-NEXT: [[TMP15:%.*]] = insertelement <2 x i64> <i64 0, i64 poison>, i64 [[TMP1]], i32 120; CHECK-NEXT: br label %[[BB16:.*]]21; CHECK: [[BB16]]:22; CHECK-NEXT: [[TMP17:%.*]] = phi <2 x i64> [ [[TMP11]], [[TMP2:%.*]] ], [ zeroinitializer, %[[TMP25:.*]] ]23; CHECK-NEXT: [[TMP18:%.*]] = phi <2 x i64> [ [[TMP13]], [[TMP2]] ], [ [[TMP29:%.*]], %[[TMP25]] ]24; CHECK-NEXT: switch i32 0, label %[[BB19:.*]] [25; CHECK-NEXT: i32 0, label %[[TMP25]]26; CHECK-NEXT: ]27; CHECK: [[BB19]]:28; CHECK-NEXT: [[TMP20:%.*]] = shufflevector <2 x i64> [[TMP18]], <2 x i64> poison, <4 x i32> <i32 1, i32 poison, i32 poison, i32 poison>29; CHECK-NEXT: [[TMP21:%.*]] = insertelement <4 x i64> [[TMP20]], i64 0, i32 130; CHECK-NEXT: [[TMP22:%.*]] = insertelement <4 x i64> [[TMP21]], i64 0, i32 231; CHECK-NEXT: [[TMP23:%.*]] = shufflevector <4 x i64> [[TMP22]], <4 x i64> poison, <4 x i32> <i32 0, i32 1, i32 2, i32 2>32; CHECK-NEXT: [[TMP24:%.*]] = shufflevector <2 x i64> [[TMP14]], <2 x i64> [[TMP18]], <2 x i32> <i32 0, i32 2>33; CHECK-NEXT: br label %[[TMP25]]34; CHECK: [[TMP25]]:35; CHECK-NEXT: [[TMP26:%.*]] = phi <2 x i64> [ [[TMP17]], %[[BB19]] ], [ zeroinitializer, %[[BB16]] ]36; CHECK-NEXT: [[TMP27:%.*]] = phi <4 x i64> [ [[TMP23]], %[[BB19]] ], [ zeroinitializer, %[[BB16]] ]37; CHECK-NEXT: [[TMP28:%.*]] = phi <2 x i64> [ [[TMP24]], %[[BB19]] ], [ [[TMP15]], %[[BB16]] ]38; CHECK-NEXT: [[TMP29]] = shufflevector <2 x i64> [[TMP18]], <2 x i64> <i64 0, i64 poison>, <2 x i32> <i32 2, i32 1>39; CHECK-NEXT: br i1 false, label %[[DOTLOOPEXIT206:.*]], label %[[BB16]]40; CHECK: [[_LOOPEXIT206:.*:]]41; CHECK-NEXT: switch i32 0, label %[[BB32:.*]] [42; CHECK-NEXT: i32 0, [[DOTCONT174:label %.*]]43; CHECK-NEXT: i32 1, label %[[BB30:.*]]44; CHECK-NEXT: ]45; CHECK: [[BB30]]:46; CHECK-NEXT: [[TMP31:%.*]] = shufflevector <4 x i64> [[TMP27]], <4 x i64> <i64 0, i64 0, i64 poison, i64 0>, <4 x i32> <i32 4, i32 5, i32 2, i32 7>47; CHECK-NEXT: br [[DOTCONT174]]48; CHECK: [[BB32]]:49; CHECK-NEXT: [[TMP33:%.*]] = insertelement <4 x i64> [[TMP27]], i64 0, i32 150; CHECK-NEXT: [[TMP34:%.*]] = insertelement <4 x i64> [[TMP33]], i64 0, i32 251; CHECK-NEXT: [[TMP35:%.*]] = shufflevector <4 x i64> [[TMP34]], <4 x i64> poison, <4 x i32> <i32 0, i32 1, i32 2, i32 2>52; CHECK-NEXT: [[TMP36:%.*]] = insertelement <2 x i64> [[TMP28]], i64 0, i32 053; CHECK-NEXT: br [[DOTCONT174]]54; CHECK: [[_CONT174:.*:]]55; CHECK-NEXT: [[TMP37:%.*]] = phi <2 x i64> [ [[TMP26]], %[[BB32]] ], [ zeroinitializer, %[[BB30]] ], [ [[TMP26]], %[[DOTLOOPEXIT206]] ]56; CHECK-NEXT: [[TMP38:%.*]] = phi <4 x i64> [ [[TMP35]], %[[BB32]] ], [ [[TMP31]], %[[BB30]] ], [ [[TMP27]], %[[DOTLOOPEXIT206]] ]57; CHECK-NEXT: [[TMP39:%.*]] = phi <2 x i64> [ [[TMP36]], %[[BB32]] ], [ zeroinitializer, %[[BB30]] ], [ [[TMP28]], %[[DOTLOOPEXIT206]] ]58; CHECK-NEXT: ret i64 059;60 %3 = getelementptr i8, ptr %0, i64 10461 %4 = getelementptr i8, ptr %0, i64 11262 %5 = getelementptr i8, ptr %0, i64 2463 %6 = load i64, ptr %3, align 864 %7 = load i64, ptr %4, align 865 %8 = load i64, ptr %5, align 866 %9 = load i64, ptr %0, align 867 br label %1068 6910:70 %11 = phi i64 [ %9, %2 ], [ 0, %18 ]71 %12 = phi i64 [ %8, %2 ], [ %12, %18 ]72 %13 = phi i64 [ %7, %2 ], [ 0, %18 ]73 %14 = phi i64 [ %6, %2 ], [ 0, %18 ]74 switch i32 0, label %15 [75 i32 0, label %1876 ]77 7815:79 %16 = tail call i64 @llvm.umin.i64(i64 0, i64 0)80 %17 = tail call i64 @llvm.umax.i64(i64 0, i64 0)81 br label %1882 8318:84 %19 = phi i64 [ %17, %15 ], [ 0, %10 ]85 %20 = phi i64 [ %16, %15 ], [ 0, %10 ]86 %21 = phi i64 [ %11, %15 ], [ 0, %10 ]87 %22 = phi i64 [ %12, %15 ], [ 0, %10 ]88 %23 = phi i64 [ %13, %15 ], [ %1, %10 ]89 %24 = phi i64 [ %14, %15 ], [ 0, %10 ]90 br i1 false, label %.loopexit206, label %1091 92.loopexit206:93 switch i32 0, label %26 [94 i32 0, label %.cont17495 i32 1, label %2596 ]97 9825:99 br label %.cont174100 10126:102 %27 = tail call i64 @llvm.umin.i64(i64 0, i64 0)103 %28 = tail call i64 @llvm.umax.i64(i64 0, i64 0)104 br label %.cont174105 106.cont174:107 %.sroa.139.1 = phi i64 [ %28, %26 ], [ %19, %25 ], [ %19, %.loopexit206 ]108 %.sroa.133.1 = phi i64 [ %27, %26 ], [ 0, %25 ], [ %20, %.loopexit206 ]109 %.sroa.81.1 = phi i64 [ %23, %26 ], [ 0, %25 ], [ %23, %.loopexit206 ]110 %.sroa.75.1 = phi i64 [ %24, %26 ], [ 0, %25 ], [ %24, %.loopexit206 ]111 %.sroa.21.1 = phi i64 [ %21, %26 ], [ 0, %25 ], [ %21, %.loopexit206 ]112 %.sroa.15.1 = phi i64 [ %22, %26 ], [ 0, %25 ], [ %22, %.loopexit206 ]113 %29 = phi i64 [ %28, %26 ], [ 0, %25 ], [ %19, %.loopexit206 ]114 %30 = phi i64 [ %27, %26 ], [ 0, %25 ], [ %20, %.loopexit206 ]115 ret i64 0116}117 118declare i64 @llvm.umax.i64(i64, i64)119 120declare i64 @llvm.umin.i64(i64, i64)121 122