1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30
|
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
; RUN: opt -S --passes=slp-vectorizer -mtriple=riscv64-unknown-linux-gnu -mattr=+v < %s | FileCheck %s
define i32 @test(i8 %0) {
; CHECK-LABEL: define i32 @test(
; CHECK-SAME: i8 [[TMP0:%.*]]) #[[ATTR0:[0-9]+]] {
; CHECK-NEXT: [[ENTRY:.*:]]
; CHECK-NEXT: [[TMP1:%.*]] = insertelement <4 x i8> <i8 poison, i8 0, i8 0, i8 0>, i8 [[TMP0]], i32 0
; CHECK-NEXT: [[TMP2:%.*]] = icmp ne <4 x i8> [[TMP1]], zeroinitializer
; CHECK-NEXT: [[TMP3:%.*]] = zext <4 x i1> [[TMP2]] to <4 x i8>
; CHECK-NEXT: [[TMP5:%.*]] = call i8 @llvm.vector.reduce.smax.v4i8(<4 x i8> [[TMP3]])
; CHECK-NEXT: [[TMP4:%.*]] = zext i8 [[TMP5]] to i32
; CHECK-NEXT: ret i32 [[TMP4]]
;
entry:
%1 = icmp ne i8 0, 0
%2 = zext i1 %1 to i32
%3 = icmp ne i8 %0, 0
%4 = zext i1 %3 to i32
%5 = icmp ne i8 0, 0
%6 = zext i1 %5 to i32
%7 = icmp ne i8 0, 0
%8 = zext i1 %7 to i32
%cond27.2 = tail call i32 @llvm.smax.i32(i32 %4, i32 %2)
%cond27.3 = tail call i32 @llvm.smax.i32(i32 %6, i32 %cond27.2)
%cond27.4 = tail call i32 @llvm.smax.i32(i32 %8, i32 %cond27.3)
ret i32 %cond27.4
}
declare i32 @llvm.smax.i32(i32, i32)
|