1*3cb82f49SAlexey Bataev; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5 2*3cb82f49SAlexey Bataev; RUN: opt -S --passes=slp-vectorizer -mtriple=s390x-unknown-linux-gnu -mcpu=z16 -slp-threshold=-10 < %s | FileCheck %s 3*3cb82f49SAlexey Bataev 4*3cb82f49SAlexey Bataevdefine i1 @test(i64 %0, i64 %1, ptr %2) { 5*3cb82f49SAlexey Bataev; CHECK-LABEL: define i1 @test( 6*3cb82f49SAlexey Bataev; CHECK-SAME: i64 [[TMP0:%.*]], i64 [[TMP1:%.*]], ptr [[TMP2:%.*]]) #[[ATTR0:[0-9]+]] { 7*3cb82f49SAlexey Bataev; CHECK-NEXT: [[ENTRY:.*:]] 8*3cb82f49SAlexey Bataev; CHECK-NEXT: [[GEP44:%.*]] = getelementptr i8, ptr null, i64 [[TMP0]] 9*3cb82f49SAlexey Bataev; CHECK-NEXT: [[GEP45:%.*]] = getelementptr i8, ptr null, i64 [[TMP1]] 10*3cb82f49SAlexey Bataev; CHECK-NEXT: [[GEP48:%.*]] = getelementptr i8, ptr null, i64 [[TMP0]] 11*3cb82f49SAlexey Bataev; CHECK-NEXT: [[GEP49:%.*]] = getelementptr i8, ptr null, i64 [[TMP1]] 12*3cb82f49SAlexey Bataev; CHECK-NEXT: [[TMP3:%.*]] = insertelement <2 x ptr> poison, ptr [[GEP44]], i32 0 13*3cb82f49SAlexey Bataev; CHECK-NEXT: [[TMP4:%.*]] = insertelement <2 x ptr> [[TMP3]], ptr [[GEP48]], i32 1 14*3cb82f49SAlexey Bataev; CHECK-NEXT: [[TMP5:%.*]] = insertelement <2 x ptr> poison, ptr [[GEP45]], i32 0 15*3cb82f49SAlexey Bataev; CHECK-NEXT: [[TMP6:%.*]] = insertelement <2 x ptr> [[TMP5]], ptr [[GEP49]], i32 1 16*3cb82f49SAlexey Bataev; CHECK-NEXT: [[TMP7:%.*]] = icmp ult <2 x ptr> [[TMP4]], [[TMP6]] 17*3cb82f49SAlexey Bataev; CHECK-NEXT: [[TMP8:%.*]] = select <2 x i1> [[TMP7]], <2 x ptr> [[TMP4]], <2 x ptr> [[TMP6]] 18*3cb82f49SAlexey Bataev; CHECK-NEXT: [[TMP9:%.*]] = insertelement <2 x ptr> poison, ptr [[TMP2]], i32 0 19*3cb82f49SAlexey Bataev; CHECK-NEXT: [[TMP10:%.*]] = shufflevector <2 x ptr> [[TMP9]], <2 x ptr> poison, <2 x i32> zeroinitializer 20*3cb82f49SAlexey Bataev; CHECK-NEXT: [[TMP11:%.*]] = icmp ult <2 x ptr> [[TMP8]], [[TMP10]] 21*3cb82f49SAlexey Bataev; CHECK-NEXT: [[TMP12:%.*]] = extractelement <2 x i1> [[TMP11]], i32 0 22*3cb82f49SAlexey Bataev; CHECK-NEXT: [[TMP13:%.*]] = extractelement <2 x i1> [[TMP11]], i32 1 23*3cb82f49SAlexey Bataev; CHECK-NEXT: [[RES:%.*]] = and i1 [[TMP12]], [[TMP13]] 24*3cb82f49SAlexey Bataev; CHECK-NEXT: ret i1 [[RES]] 25*3cb82f49SAlexey Bataev; 26*3cb82f49SAlexey Bataeventry: 27*3cb82f49SAlexey Bataev %gep44 = getelementptr i8, ptr null, i64 %0 28*3cb82f49SAlexey Bataev %gep45 = getelementptr i8, ptr null, i64 %1 29*3cb82f49SAlexey Bataev %4 = icmp ult ptr %gep44, %gep45 30*3cb82f49SAlexey Bataev %umin = select i1 %4, ptr %gep44, ptr %gep45 31*3cb82f49SAlexey Bataev %gep48 = getelementptr i8, ptr null, i64 %0 32*3cb82f49SAlexey Bataev %gep49 = getelementptr i8, ptr null, i64 %1 33*3cb82f49SAlexey Bataev %5 = icmp ult ptr %gep48, %gep49 34*3cb82f49SAlexey Bataev %umin50 = select i1 %5, ptr %gep48, ptr %gep49 35*3cb82f49SAlexey Bataev %b095 = icmp ult ptr %umin, %2 36*3cb82f49SAlexey Bataev %b196 = icmp ult ptr %umin50, %2 37*3cb82f49SAlexey Bataev %res = and i1 %b095, %b196 38*3cb82f49SAlexey Bataev ret i1 %res 39*3cb82f49SAlexey Bataev} 40