1; RUN: llc -mcpu=pwr9 -O3 -verify-machineinstrs -ppc-vsr-nums-as-vr \
2; RUN:     -mtriple=powerpc64le-unknown-linux-gnu \
3; RUN:     < %s | FileCheck %s
4
5; RUN: llc -mcpu=pwr9 -O3 -verify-machineinstrs -ppc-vsr-nums-as-vr \
6; RUN:     -mtriple=powerpc64-unknown-linux-gnu \
7; RUN:     < %s | FileCheck %s --check-prefix=P9BE
8
9; RUN: llc -mcpu=pwr9 -O3 -verify-machineinstrs -ppc-vsr-nums-as-vr \
10; RUN:     -mtriple=powerpc64-ibm-aix-xcoff -vec-extabi \
11; RUN:     < %s | FileCheck %s --check-prefix=P9BE
12
13; RUN: llc -mcpu=pwr9 -O3 -verify-machineinstrs -ppc-vsr-nums-as-vr \
14; RUN:     -mtriple=powerpc-ibm-aix-xcoff -vec-extabi \
15; RUN:     < %s | FileCheck %s --check-prefix=P9BE-32
16
17define void @test64(i8* nocapture readonly %pix2, i32 signext %i_pix2) {
18; CHECK-LABEL: test64:
19; CHECK-NOT: ldux
20; CHECK-NOT: mtvsrd
21; CHECK: lxsdx [[REG:[0-9]+]]
22; CHECK: vperm {{[0-9]+}}, [[REG]]
23; P9BE-LABEL: test64:
24; P9BE-NOT: ldux
25; P9BE-NOT: mtvsrd
26; P9BE: lxsdx [[REG:[0-9]+]]
27; P9BE: vperm {{[0-9]+}}, {{[0-9]+}}, [[REG]]
28; P9BE-32-LABEL: test64:
29; P9BE-32: lwzux [[REG1:[0-9]+]]
30; P9BE-32: mtfprwz [[REG2:[0-9]+]], [[REG1]]
31; P9BE-32: xxinsertw [[REG3:[0-9]+]], [[REG2]]
32; P9BE-32: vperm {{[0-9]+}}, {{[0-9]+}}, [[REG3]]
33entry:
34  %idx.ext63 = sext i32 %i_pix2 to i64
35  %add.ptr64 = getelementptr inbounds i8, i8* %pix2, i64 %idx.ext63
36  %arrayidx5.1 = getelementptr inbounds i8, i8* %add.ptr64, i64 4
37  %0 = bitcast i8* %add.ptr64 to <4 x i16>*
38  %1 = load <4 x i16>, <4 x i16>* %0, align 1
39  %reorder_shuffle117 = shufflevector <4 x i16> %1, <4 x i16> undef, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
40  %2 = zext <4 x i16> %reorder_shuffle117 to <4 x i32>
41  %3 = sub nsw <4 x i32> zeroinitializer, %2
42  %4 = bitcast i8* %arrayidx5.1 to <4 x i16>*
43  %5 = load <4 x i16>, <4 x i16>* %4, align 1
44  %reorder_shuffle115 = shufflevector <4 x i16> %5, <4 x i16> undef, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
45  %6 = zext <4 x i16> %reorder_shuffle115 to <4 x i32>
46  %7 = sub nsw <4 x i32> zeroinitializer, %6
47  %8 = shl nsw <4 x i32> %7, <i32 16, i32 16, i32 16, i32 16>
48  %9 = add nsw <4 x i32> %8, %3
49  %10 = sub nsw <4 x i32> %9, zeroinitializer
50  %11 = shufflevector <4 x i32> undef, <4 x i32> %10, <4 x i32> <i32 2, i32 7, i32 0, i32 5>
51  %12 = add nsw <4 x i32> zeroinitializer, %11
52  %13 = shufflevector <4 x i32> %12, <4 x i32> undef, <4 x i32> <i32 0, i32 1, i32 6, i32 7>
53  store <4 x i32> %13, <4 x i32>* undef, align 16
54  ret void
55}
56
57define void @test32(i8* nocapture readonly %pix2, i32 signext %i_pix2) {
58; CHECK-LABEL: test32:
59; CHECK-NOT: lwzux
60; CHECK-NOT: mtvsrwz
61; CHECK: lxsiwzx [[REG:[0-9]+]]
62; CHECK: vperm {{[0-9]+}}, [[REG]]
63; P9BE-LABEL: test32:
64; P9BE-NOT: lwzux
65; P9BE-NOT: mtvsrwz
66; P9BE: lxsiwzx [[REG:[0-9]+]]
67; P9BE: vperm {{[0-9]+}}, {{[0-9]+}}, [[REG]]
68; P9BE-32-LABEL: test32:
69; P9BE-32: lxsiwzx [[REG:[0-9]+]]
70; P9BE-32: vperm {{[0-9]+}}, {{[0-9]+}}, [[REG]]
71entry:
72  %idx.ext63 = sext i32 %i_pix2 to i64
73  %add.ptr64 = getelementptr inbounds i8, i8* %pix2, i64 %idx.ext63
74  %arrayidx5.1 = getelementptr inbounds i8, i8* %add.ptr64, i64 4
75  %0 = bitcast i8* %add.ptr64 to <4 x i8>*
76  %1 = load <4 x i8>, <4 x i8>* %0, align 1
77  %reorder_shuffle117 = shufflevector <4 x i8> %1, <4 x i8> undef, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
78  %2 = zext <4 x i8> %reorder_shuffle117 to <4 x i32>
79  %3 = sub nsw <4 x i32> zeroinitializer, %2
80  %4 = bitcast i8* %arrayidx5.1 to <4 x i8>*
81  %5 = load <4 x i8>, <4 x i8>* %4, align 1
82  %reorder_shuffle115 = shufflevector <4 x i8> %5, <4 x i8> undef, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
83  %6 = zext <4 x i8> %reorder_shuffle115 to <4 x i32>
84  %7 = sub nsw <4 x i32> zeroinitializer, %6
85  %8 = shl nsw <4 x i32> %7, <i32 16, i32 16, i32 16, i32 16>
86  %9 = add nsw <4 x i32> %8, %3
87  %10 = sub nsw <4 x i32> %9, zeroinitializer
88  %11 = shufflevector <4 x i32> undef, <4 x i32> %10, <4 x i32> <i32 2, i32 7, i32 0, i32 5>
89  %12 = add nsw <4 x i32> zeroinitializer, %11
90  %13 = shufflevector <4 x i32> %12, <4 x i32> undef, <4 x i32> <i32 0, i32 1, i32 6, i32 7>
91  store <4 x i32> %13, <4 x i32>* undef, align 16
92  ret void
93}
94
95define void @test16(i16* nocapture readonly %sums, i32 signext %delta, i32 signext %thresh) {
96; CHECK-LABEL: test16
97; CHECK-NOT: lhzux
98; CHECK: lxsihzx [[REG:[0-9]+]]
99; CHECK: vmrghh {{[0-9]+}}, {{[0-9]+}}, [[REG]]
100; P9BE-LABEL: test16
101; P9BE-NOT: lhzux
102; P9BE: lxsihzx [[REG:[0-9]+]]
103; P9BE: vperm {{[0-9]+}}, {{[0-9]+}}, [[REG]]
104; P9BE-32-LABEL: test16:
105; P9BE-32: lhzux [[REG1:[0-9]+]]
106; P9BE-32: vmrghh {{[0-9]+}}, {{[0-9]+}}, [[REG1]]
107entry:
108  %idxprom = sext i32 %delta to i64
109  %add14 = add nsw i32 %delta, 8
110  %idxprom15 = sext i32 %add14 to i64
111  br label %for.body
112
113for.body:                                         ; preds = %entry
114  %arrayidx8 = getelementptr inbounds i16, i16* %sums, i64 %idxprom
115  %0 = load i16, i16* %arrayidx8, align 2
116  %arrayidx16 = getelementptr inbounds i16, i16* %sums, i64 %idxprom15
117  %1 = load i16, i16* %arrayidx16, align 2
118  %2 = insertelement <4 x i16> undef, i16 %0, i32 2
119  %3 = insertelement <4 x i16> %2, i16 %1, i32 3
120  %4 = zext <4 x i16> %3 to <4 x i32>
121  %5 = sub nsw <4 x i32> zeroinitializer, %4
122  %6 = sub nsw <4 x i32> zeroinitializer, %5
123  %7 = select <4 x i1> undef, <4 x i32> %6, <4 x i32> %5
124  %bin.rdx = add <4 x i32> %7, zeroinitializer
125  %rdx.shuf54 = shufflevector <4 x i32> %bin.rdx, <4 x i32> undef, <4 x i32> <i32 1, i32 undef, i32 undef, i32 undef>
126  %bin.rdx55 = add <4 x i32> %bin.rdx, %rdx.shuf54
127  %8 = extractelement <4 x i32> %bin.rdx55, i32 0
128  %op.extra = add nuw i32 %8, 0
129  %cmp25 = icmp slt i32 %op.extra, %thresh
130  br i1 %cmp25, label %if.then, label %if.end
131
132if.then:                                          ; preds = %for.body
133  unreachable
134
135if.end:                                           ; preds = %for.body
136  ret void
137}
138
139define void @test8(i8* nocapture readonly %sums, i32 signext %delta, i32 signext %thresh) {
140; CHECK-LABEL: test8:
141; CHECK-NOT: lbzux
142; CHECK: lxsibzx [[REG:[0-9]+]]
143; CHECK: vmrghb {{[0-9]+}}, {{[0-9]+}}, [[REG]]
144; P9BE-LABEL: test8:
145; P9BE-NOT: lbzux
146; P9BE: lxsibzx [[REG:[0-9]+]]
147; P9BE: vperm {{[0-9]+}}, {{[0-9]+}}, [[REG]]
148; P9BE-32-LABEL: test8:
149; P9BE-32: lxsibzx [[REG:[0-9]+]]
150; P9BE-32: vperm {{[0-9]+}}, {{[0-9]+}}, [[REG]]
151entry:
152  %idxprom = sext i32 %delta to i64
153  %add14 = add nsw i32 %delta, 8
154  %idxprom15 = sext i32 %add14 to i64
155  br label %for.body
156
157for.body:                                         ; preds = %entry
158  %arrayidx8 = getelementptr inbounds i8, i8* %sums, i64 %idxprom
159  %0 = load i8, i8* %arrayidx8, align 2
160  %arrayidx16 = getelementptr inbounds i8, i8* %sums, i64 %idxprom15
161  %1 = load i8, i8* %arrayidx16, align 2
162  %2 = insertelement <4 x i8> undef, i8 %0, i32 2
163  %3 = insertelement <4 x i8> %2, i8 %1, i32 3
164  %4 = zext <4 x i8> %3 to <4 x i32>
165  %5 = sub nsw <4 x i32> zeroinitializer, %4
166  %6 = sub nsw <4 x i32> zeroinitializer, %5
167  %7 = select <4 x i1> undef, <4 x i32> %6, <4 x i32> %5
168  %bin.rdx = add <4 x i32> %7, zeroinitializer
169  %rdx.shuf54 = shufflevector <4 x i32> %bin.rdx, <4 x i32> undef, <4 x i32> <i32 1, i32 undef, i32 undef, i32 undef>
170  %bin.rdx55 = add <4 x i32> %bin.rdx, %rdx.shuf54
171  %8 = extractelement <4 x i32> %bin.rdx55, i32 0
172  %op.extra = add nuw i32 %8, 0
173  %cmp25 = icmp slt i32 %op.extra, %thresh
174  br i1 %cmp25, label %if.then, label %if.end
175
176if.then:                                          ; preds = %for.body
177  unreachable
178
179if.end:                                           ; preds = %for.body
180  ret void
181}
182