xref: /llvm-project/llvm/test/Transforms/SLPVectorizer/minbitwidth-multiuse-with-insertelement.ll (revision 706e71076e0276747e7ae94e3f8a7f73a45e5b6e)
1*706e7107SElvina Yakubova; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4
2*706e7107SElvina Yakubova; RUN: %if x86-registered-target %{ opt -passes=slp-vectorizer -S -slp-threshold=-10 -mtriple=x86_64-unknown-linux-gnu < %s | FileCheck %s %}
3*706e7107SElvina Yakubova; RUN: %if aarch64-registered-target %{ opt -passes=slp-vectorizer -S -slp-threshold=-10 -mtriple=aarch64-unknown-linux-gnu < %s | FileCheck %s %}
4*706e7107SElvina Yakubova
5*706e7107SElvina Yakubovadefine void @test(i8 %0) {
6*706e7107SElvina Yakubova; CHECK-LABEL: define void @test(
7*706e7107SElvina Yakubova; CHECK-SAME: i8 [[TMP0:%.*]]) {
8*706e7107SElvina Yakubova; CHECK-NEXT:  entry:
9*706e7107SElvina Yakubova; CHECK-NEXT:    [[TMP1:%.*]] = insertelement <2 x i8> <i8 0, i8 poison>, i8 [[TMP0]], i32 1
10*706e7107SElvina Yakubova; CHECK-NEXT:    [[TMP2:%.*]] = sext <2 x i8> [[TMP1]] to <2 x i32>
11*706e7107SElvina Yakubova; CHECK-NEXT:    [[TMP3:%.*]] = mul <2 x i8> [[TMP1]], zeroinitializer
12*706e7107SElvina Yakubova; CHECK-NEXT:    [[TMP4:%.*]] = extractelement <2 x i8> [[TMP3]], i32 0
13*706e7107SElvina Yakubova; CHECK-NEXT:    [[TMP5:%.*]] = zext i8 [[TMP4]] to i32
14*706e7107SElvina Yakubova; CHECK-NEXT:    [[TMP6:%.*]] = extractelement <2 x i8> [[TMP3]], i32 1
15*706e7107SElvina Yakubova; CHECK-NEXT:    [[TMP7:%.*]] = zext i8 [[TMP6]] to i32
16*706e7107SElvina Yakubova; CHECK-NEXT:    [[ADD:%.*]] = or i32 [[TMP5]], [[TMP7]]
17*706e7107SElvina Yakubova; CHECK-NEXT:    [[SHR:%.*]] = lshr i32 [[ADD]], 1
18*706e7107SElvina Yakubova; CHECK-NEXT:    [[CONV9:%.*]] = trunc i32 [[SHR]] to i8
19*706e7107SElvina Yakubova; CHECK-NEXT:    store i8 [[CONV9]], ptr null, align 1
20*706e7107SElvina Yakubova; CHECK-NEXT:    [[TMP8:%.*]] = shufflevector <2 x i32> [[TMP2]], <2 x i32> poison, <8 x i32> <i32 1, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
21*706e7107SElvina Yakubova; CHECK-NEXT:    ret void
22*706e7107SElvina Yakubova;
23*706e7107SElvina Yakubovaentry:
24*706e7107SElvina Yakubova  %conv3 = sext i8 %0 to i32
25*706e7107SElvina Yakubova  %conv7 = sext i8 0 to i32
26*706e7107SElvina Yakubova  %conv = zext i16 0 to i32
27*706e7107SElvina Yakubova  %mul = mul i32 %conv3, %conv
28*706e7107SElvina Yakubova  %conv6 = zext i16 0 to i32
29*706e7107SElvina Yakubova  %mul8 = mul i32 %conv7, %conv6
30*706e7107SElvina Yakubova  %add = or i32 %mul8, %mul
31*706e7107SElvina Yakubova  %shr = lshr i32 %add, 1
32*706e7107SElvina Yakubova  %conv9 = trunc i32 %shr to i8
33*706e7107SElvina Yakubova  store i8 %conv9, ptr null, align 1
34*706e7107SElvina Yakubova  %broadcast.splatinsert = insertelement <8 x i32> poison, i32 %conv3, i64 0
35*706e7107SElvina Yakubova  ret void
36*706e7107SElvina Yakubova}
37