67 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 62; RUN: opt -S --passes=slp-vectorizer -mtriple=x86_64-unknown-linux-gnu -slp-threshold=-99999 < %s | FileCheck %s3 4define i64 @test(i32 %arg) {5; CHECK-LABEL: define i64 @test(6; CHECK-SAME: i32 [[ARG:%.*]]) {7; CHECK-NEXT: [[BB:.*:]]8; CHECK-NEXT: [[FREEZE:%.*]] = freeze i32 09; CHECK-NEXT: br i1 false, label %[[BB1:.*]], label %[[BB1]]10; CHECK: [[BB1]]:11; CHECK-NEXT: [[LOAD:%.*]] = load i32, ptr addrspace(1) null, align 412; CHECK-NEXT: [[TMP0:%.*]] = insertelement <4 x i32> <i32 0, i32 0, i32 0, i32 poison>, i32 [[ARG]], i32 313; CHECK-NEXT: [[ADD:%.*]] = add i32 [[FREEZE]], 014; CHECK-NEXT: [[TMP1:%.*]] = insertelement <2 x i32> poison, i32 [[FREEZE]], i32 015; CHECK-NEXT: [[TMP2:%.*]] = shufflevector <2 x i32> [[TMP1]], <2 x i32> poison, <2 x i32> zeroinitializer16; CHECK-NEXT: [[TMP3:%.*]] = add <2 x i32> [[TMP2]], zeroinitializer17; CHECK-NEXT: [[TMP4:%.*]] = add <2 x i32> [[TMP2]], zeroinitializer18; CHECK-NEXT: [[TMP5:%.*]] = insertelement <2 x i32> poison, i32 [[ARG]], i32 019; CHECK-NEXT: [[TMP6:%.*]] = insertelement <2 x i32> [[TMP5]], i32 [[LOAD]], i32 120; CHECK-NEXT: [[TMP7:%.*]] = icmp ult <2 x i32> [[TMP4]], [[TMP6]]21; CHECK-NEXT: [[TMP8:%.*]] = extractelement <2 x i1> [[TMP7]], i32 022; CHECK-NEXT: [[AND:%.*]] = and i1 [[TMP8]], false23; CHECK-NEXT: [[TMP9:%.*]] = shufflevector <2 x i32> [[TMP3]], <2 x i32> poison, <4 x i32> <i32 0, i32 1, i32 poison, i32 poison>24; CHECK-NEXT: [[TMP10:%.*]] = shufflevector <4 x i32> <i32 0, i32 poison, i32 poison, i32 0>, <4 x i32> [[TMP9]], <4 x i32> <i32 0, i32 4, i32 5, i32 3>25; CHECK-NEXT: [[TMP11:%.*]] = icmp eq <4 x i32> [[TMP10]], [[TMP0]]26; CHECK-NEXT: [[TMP12:%.*]] = icmp ult <4 x i32> [[TMP10]], [[TMP0]]27; CHECK-NEXT: [[TMP13:%.*]] = shufflevector <4 x i1> [[TMP11]], <4 x i1> [[TMP12]], <4 x i32> <i32 0, i32 5, i32 6, i32 7>28; CHECK-NEXT: br i1 false, label %[[BB11:.*]], label %[[BB12:.*]]29; CHECK: [[BB11]]:30; CHECK-NEXT: [[ZEXT:%.*]] = zext i32 [[ADD]] to i6431; CHECK-NEXT: ret i64 032; CHECK: [[BB12]]:33; CHECK-NEXT: [[ZEXT13:%.*]] = zext i32 [[ADD]] to i6434; CHECK-NEXT: ret i64 035;36bb:37 %freeze = freeze i32 038 br i1 false, label %bb1, label %bb139 40bb1:41 %load = load i32, ptr addrspace(1) null, align 442 %0 = insertelement <4 x i32> <i32 0, i32 poison, i32 poison, i32 0>, i32 %freeze, i32 243 %1 = insertelement <4 x i32> <i32 0, i32 0, i32 0, i32 poison>, i32 %arg, i32 344 %add = add i32 %freeze, 045 %2 = insertelement <2 x i32> poison, i32 %freeze, i32 046 %3 = shufflevector <2 x i32> %2, <2 x i32> poison, <2 x i32> zeroinitializer47 %4 = add <2 x i32> %3, zeroinitializer48 %5 = insertelement <2 x i32> poison, i32 %arg, i32 049 %6 = insertelement <2 x i32> %5, i32 %load, i32 150 %7 = icmp ult <2 x i32> %4, %651 %8 = extractelement <2 x i1> %7, i32 052 %and = and i1 %8, false53 %9 = insertelement <4 x i32> %0, i32 %add, i32 154 %10 = icmp eq <4 x i32> %9, %155 %11 = icmp ult <4 x i32> %9, %156 %12 = shufflevector <4 x i1> %10, <4 x i1> %11, <4 x i32> <i32 0, i32 5, i32 6, i32 7>57 br i1 false, label %bb11, label %bb1258 59bb11:60 %zext = zext i32 %add to i6461 ret i64 062 63bb12:64 %zext13 = zext i32 %add to i6465 ret i64 066}67