1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5 2; RUN: opt -S --passes=slp-vectorizer -mtriple=x86_64-unknown-linux-gnu -slp-threshold=-99999 < %s | FileCheck %s 3 4define void @test() { 5; CHECK-LABEL: define void @test() { 6; CHECK-NEXT: [[BB:.*:]] 7; CHECK-NEXT: [[ADD:%.*]] = add i32 1, 0 8; CHECK-NEXT: [[TMP0:%.*]] = insertelement <4 x i32> <i32 0, i32 0, i32 0, i32 poison>, i32 [[ADD]], i32 3 9; CHECK-NEXT: [[TMP1:%.*]] = icmp ult <4 x i32> [[TMP0]], zeroinitializer 10; CHECK-NEXT: [[ICMP:%.*]] = extractelement <4 x i1> [[TMP1]], i32 2 11; CHECK-NEXT: [[SELECT:%.*]] = select i1 [[ICMP]], i32 0, i32 0 12; CHECK-NEXT: [[ZEXT:%.*]] = zext i32 [[SELECT]] to i64 13; CHECK-NEXT: [[GETELEMENTPTR:%.*]] = getelementptr ptr addrspace(1), ptr addrspace(1) null, i64 [[ZEXT]] 14; CHECK-NEXT: store ptr addrspace(1) null, ptr addrspace(1) [[GETELEMENTPTR]], align 8 15; CHECK-NEXT: store volatile i32 0, ptr addrspace(1) null, align 4 16; CHECK-NEXT: [[CALL:%.*]] = call i32 null(<2 x double> zeroinitializer) 17; CHECK-NEXT: [[TMP2:%.*]] = insertelement <4 x i32> <i32 0, i32 0, i32 0, i32 poison>, i32 [[CALL]], i32 3 18; CHECK-NEXT: [[TMP3:%.*]] = icmp eq <4 x i32> [[TMP2]], zeroinitializer 19; CHECK-NEXT: ret void 20; 21bb: 22 %icmp = icmp samesign ult i32 0, 0 23 %select = select i1 %icmp, i32 0, i32 0 24 %zext = zext i32 %select to i64 25 %getelementptr = getelementptr ptr addrspace(1), ptr addrspace(1) null, i64 %zext 26 store ptr addrspace(1) null, ptr addrspace(1) %getelementptr, align 8 27 %icmp1 = icmp eq i32 0, 0 28 %icmp2 = icmp eq i32 0, 0 29 %icmp3 = icmp samesign ult i32 0, 0 30 %icmp4 = icmp eq i32 0, 0 31 %add = add i32 1, 0 32 %icmp5 = icmp samesign ult i32 %add, 0 33 store volatile i32 0, ptr addrspace(1) null, align 4 34 %call = call i32 null(<2 x double> zeroinitializer) 35 %icmp6 = icmp eq i32 %call, 0 36 %icmp7 = icmp samesign ult i32 0, 0 37 ret void 38} 39