xref: /llvm-project/llvm/test/Transforms/SLPVectorizer/X86/minbitwidth-node-but-not-operands.ll (revision 81d9ed605b126d163f2f1cc226c639f1dfdc5224)
1*81d9ed60SAlexey Bataev; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4
2*81d9ed60SAlexey Bataev; RUN: opt --passes=slp-vectorizer -S -mtriple=x86_64-unknown-linux-gnu < %s | FileCheck %s
3*81d9ed60SAlexey Bataev
4*81d9ed60SAlexey Bataevdefine void @test() {
5*81d9ed60SAlexey Bataev; CHECK-LABEL: define void @test() {
6*81d9ed60SAlexey Bataev; CHECK-NEXT:  entry:
7*81d9ed60SAlexey Bataev; CHECK-NEXT:    store <8 x i16> zeroinitializer, ptr null, align 2
8*81d9ed60SAlexey Bataev; CHECK-NEXT:    ret void
9*81d9ed60SAlexey Bataev;
10*81d9ed60SAlexey Bataeventry:
11*81d9ed60SAlexey Bataev  %arrayidx8 = getelementptr i8, ptr null, i64 2
12*81d9ed60SAlexey Bataev  %shr10 = ashr i32 0, 0
13*81d9ed60SAlexey Bataev  %shr19 = lshr i32 0, 0
14*81d9ed60SAlexey Bataev  %sub20 = or i32 %shr19, %shr10
15*81d9ed60SAlexey Bataev  %xor21 = xor i32 %sub20, 0
16*81d9ed60SAlexey Bataev  %conv22 = trunc i32 %xor21 to i16
17*81d9ed60SAlexey Bataev  store i16 %conv22, ptr %arrayidx8, align 2
18*81d9ed60SAlexey Bataev  %arrayidx28 = getelementptr i8, ptr null, i64 4
19*81d9ed60SAlexey Bataev  %shr34 = lshr i32 0, 0
20*81d9ed60SAlexey Bataev  %sub35 = or i32 %shr34, %shr10
21*81d9ed60SAlexey Bataev  %xor36 = xor i32 %sub35, 0
22*81d9ed60SAlexey Bataev  %conv37 = trunc i32 %xor36 to i16
23*81d9ed60SAlexey Bataev  store i16 %conv37, ptr %arrayidx28, align 2
24*81d9ed60SAlexey Bataev  %arrayidx43 = getelementptr i8, ptr null, i64 6
25*81d9ed60SAlexey Bataev  %shr49 = lshr i32 0, 0
26*81d9ed60SAlexey Bataev  %sub50 = or i32 %shr49, %shr10
27*81d9ed60SAlexey Bataev  %xor51 = xor i32 %sub50, 0
28*81d9ed60SAlexey Bataev  %conv52 = trunc i32 %xor51 to i16
29*81d9ed60SAlexey Bataev  store i16 %conv52, ptr %arrayidx43, align 2
30*81d9ed60SAlexey Bataev  %arrayidx.1 = getelementptr i8, ptr null, i64 8
31*81d9ed60SAlexey Bataev  %shr.1 = lshr i32 0, 0
32*81d9ed60SAlexey Bataev  %xor2.1 = xor i32 %shr.1, %shr10
33*81d9ed60SAlexey Bataev  %sub3.1 = or i32 %xor2.1, 0
34*81d9ed60SAlexey Bataev  %conv4.1 = trunc i32 %sub3.1 to i16
35*81d9ed60SAlexey Bataev  store i16 %conv4.1, ptr %arrayidx.1, align 2
36*81d9ed60SAlexey Bataev  %arrayidx8.1 = getelementptr i8, ptr null, i64 10
37*81d9ed60SAlexey Bataev  %shr10.1 = ashr i32 0, 0
38*81d9ed60SAlexey Bataev  %shr19.1 = lshr i32 0, 0
39*81d9ed60SAlexey Bataev  %sub20.1 = or i32 %shr19.1, %shr10.1
40*81d9ed60SAlexey Bataev  %xor21.1 = xor i32 %sub20.1, 0
41*81d9ed60SAlexey Bataev  %conv22.1 = trunc i32 %xor21.1 to i16
42*81d9ed60SAlexey Bataev  store i16 %conv22.1, ptr %arrayidx8.1, align 2
43*81d9ed60SAlexey Bataev  %arrayidx28.1 = getelementptr i8, ptr null, i64 12
44*81d9ed60SAlexey Bataev  %shr34.1 = lshr i32 0, 0
45*81d9ed60SAlexey Bataev  %sub35.1 = or i32 %shr34.1, %shr10.1
46*81d9ed60SAlexey Bataev  %xor36.1 = xor i32 %sub35.1, 0
47*81d9ed60SAlexey Bataev  %conv37.1 = trunc i32 %xor36.1 to i16
48*81d9ed60SAlexey Bataev  store i16 %conv37.1, ptr %arrayidx28.1, align 2
49*81d9ed60SAlexey Bataev  %arrayidx43.1 = getelementptr i8, ptr null, i64 14
50*81d9ed60SAlexey Bataev  %shr49.1 = lshr i32 0, 0
51*81d9ed60SAlexey Bataev  %sub50.1 = or i32 %shr49.1, %shr10.1
52*81d9ed60SAlexey Bataev  %xor51.1 = xor i32 %sub50.1, 0
53*81d9ed60SAlexey Bataev  %conv52.1 = trunc i32 %xor51.1 to i16
54*81d9ed60SAlexey Bataev  store i16 %conv52.1, ptr %arrayidx43.1, align 2
55*81d9ed60SAlexey Bataev  %shr.2 = lshr i32 0, 0
56*81d9ed60SAlexey Bataev  %xor2.2 = xor i32 %shr.2, %shr10.1
57*81d9ed60SAlexey Bataev  %sub3.2 = or i32 %xor2.2, 0
58*81d9ed60SAlexey Bataev  %conv4.2 = trunc i32 %sub3.2 to i16
59*81d9ed60SAlexey Bataev  store i16 %conv4.2, ptr null, align 2
60*81d9ed60SAlexey Bataev  ret void
61*81d9ed60SAlexey Bataev}
62