[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / SystemZ / vec-const-11.ll
blob0c69b8803b2f4fa43fa5cf877bc2cd80f8762ea8
1 ; Test vector replicates, v4f32 version.
3 ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 | FileCheck %s
5 ; Test a byte-granularity replicate with the lowest useful value.
6 define <4 x float> @f1() {
7 ; CHECK-LABEL: f1:
8 ; CHECK: vrepib %v24, 1
9 ; CHECK: br %r14
10   ret <4 x float> <float 0x3820202020000000, float 0x3820202020000000,
11                    float 0x3820202020000000, float 0x3820202020000000>
14 ; Test a byte-granularity replicate with an arbitrary value.
15 define <4 x float> @f2() {
16 ; CHECK-LABEL: f2:
17 ; CHECK: vrepib %v24, -55
18 ; CHECK: br %r14
19   ret <4 x float> <float 0xc139393920000000, float 0xc139393920000000,
20                    float 0xc139393920000000, float 0xc139393920000000>
23 ; Test a byte-granularity replicate with the highest useful value.
24 define <4 x float> @f3() {
25 ; CHECK-LABEL: f3:
26 ; CHECK: vrepib %v24, -2
27 ; CHECK: br %r14
28   ret <4 x float> <float 0xc7dfdfdfc0000000, float 0xc7dfdfdfc0000000,
29                    float 0xc7dfdfdfc0000000, float 0xc7dfdfdfc0000000>
32 ; Test a halfword-granularity replicate with the lowest useful value.
33 define <4 x float> @f4() {
34 ; CHECK-LABEL: f4:
35 ; CHECK: vrepih %v24, 1
36 ; CHECK: br %r14
37   ret <4 x float> <float 0x37a0001000000000, float 0x37a0001000000000,
38                    float 0x37a0001000000000, float 0x37a0001000000000>
41 ; Test a halfword-granularity replicate with an arbitrary value.
42 define <4 x float> @f5() {
43 ; CHECK-LABEL: f5:
44 ; CHECK: vrepih %v24, 25650
45 ; CHECK: br %r14
46   ret <4 x float> <float 0x44864c8640000000, float 0x44864c8640000000,
47                    float 0x44864c8640000000, float 0x44864c8640000000>
50 ; Test a halfword-granularity replicate with the highest useful value.
51 define <4 x float> @f6() {
52 ; CHECK-LABEL: f6:
53 ; CHECK: vrepih %v24, -2
54 ; CHECK: br %r14
55   ret <4 x float> <float 0xffffdfffc0000000, float 0xffffdfffc0000000,
56                    float 0xffffdfffc0000000, float 0xffffdfffc0000000>
59 ; Test a word-granularity replicate with the lowest useful positive value.
60 define <4 x float> @f7() {
61 ; CHECK-LABEL: f7:
62 ; CHECK: vrepif %v24, 1
63 ; CHECK: br %r14
64   ret <4 x float> <float 0x36a0000000000000, float 0x36a0000000000000,
65                    float 0x36a0000000000000, float 0x36a0000000000000>
68 ; Test a word-granularity replicate with the highest in-range value.
69 define <4 x float> @f8() {
70 ; CHECK-LABEL: f8:
71 ; CHECK: vrepif %v24, 32767
72 ; CHECK: br %r14
73   ret <4 x float> <float 0x378fffc000000000, float 0x378fffc000000000,
74                    float 0x378fffc000000000, float 0x378fffc000000000>
77 ; Test a word-granularity replicate with the next highest value.
78 ; This cannot use VREPIF.
79 define <4 x float> @f9() {
80 ; CHECK-LABEL: f9:
81 ; CHECK-NOT: vrepif
82 ; CHECK: br %r14
83   ret <4 x float> <float 0x3790000000000000, float 0x3790000000000000,
84                    float 0x3790000000000000, float 0x3790000000000000>
87 ; Test a word-granularity replicate with the lowest in-range value.
88 define <4 x float> @f10() {
89 ; CHECK-LABEL: f10:
90 ; CHECK: vrepif %v24, -32768
91 ; CHECK: br %r14
92   ret <4 x float> <float 0xfffff00000000000, float 0xfffff00000000000,
93                    float 0xfffff00000000000, float 0xfffff00000000000>
96 ; Test a word-granularity replicate with the next lowest value.
97 ; This cannot use VREPIF.
98 define <4 x float> @f11() {
99 ; CHECK-LABEL: f11:
100 ; CHECK-NOT: vrepif
101 ; CHECK: br %r14
102   ret <4 x float> <float 0xffffefffe0000000, float 0xffffefffe0000000,
103                    float 0xffffefffe0000000, float 0xffffefffe0000000>
106 ; Test a word-granularity replicate with the highest useful negative value.
107 define <4 x float> @f12() {
108 ; CHECK-LABEL: f12:
109 ; CHECK: vrepif %v24, -2
110 ; CHECK: br %r14
111   ret <4 x float> <float 0xffffffffc0000000, float 0xffffffffc0000000,
112                    float 0xffffffffc0000000, float 0xffffffffc0000000>
115 ; Test a doubleword-granularity replicate with the lowest useful positive
116 ; value.
117 define <4 x float> @f13() {
118 ; CHECK-LABEL: f13:
119 ; CHECK: vrepig %v24, 1
120 ; CHECK: br %r14
121   ret <4 x float> <float 0.0, float 0x36a0000000000000,
122                    float 0.0, float 0x36a0000000000000>
125 ; Test a doubleword-granularity replicate with the highest in-range value.
126 define <4 x float> @f14() {
127 ; CHECK-LABEL: f14:
128 ; CHECK: vrepig %v24, 32767
129 ; CHECK: br %r14
130   ret <4 x float> <float 0.0, float 0x378fffc000000000,
131                    float 0.0, float 0x378fffc000000000>
134 ; Test a doubleword-granularity replicate with the next highest value.
135 ; This cannot use VREPIG.
136 define <4 x float> @f15() {
137 ; CHECK-LABEL: f15:
138 ; CHECK-NOT: vrepig
139 ; CHECK: br %r14
140   ret <4 x float> <float 0.0, float 0x3790000000000000,
141                    float 0.0, float 0x3790000000000000>
144 ; Test a doubleword-granularity replicate with the lowest in-range value.
145 define <4 x float> @f16() {
146 ; CHECK-LABEL: f16:
147 ; CHECK: vrepig %v24, -32768
148 ; CHECK: br %r14
149   ret <4 x float> <float 0xffffffffe0000000, float 0xfffff00000000000,
150                    float 0xffffffffe0000000, float 0xfffff00000000000>
153 ; Test a doubleword-granularity replicate with the next lowest value.
154 ; This cannot use VREPIG.
155 define <4 x float> @f17() {
156 ; CHECK-LABEL: f17:
157 ; CHECK-NOT: vrepig
158 ; CHECK: br %r14
159   ret <4 x float> <float 0xffffffffe0000000, float 0xffffefffe0000000,
160                    float 0xffffffffe0000000, float 0xffffefffe0000000>
163 ; Test a doubleword-granularity replicate with the highest useful negative
164 ; value.
165 define <4 x float> @f18() {
166 ; CHECK-LABEL: f18:
167 ; CHECK: vrepig %v24, -2
168 ; CHECK: br %r14
169   ret <4 x float> <float 0xffffffffe0000000, float 0xffffffffc0000000,
170                    float 0xffffffffe0000000, float 0xffffffffc0000000>
173 ; Repeat f14 with undefs optimistically treated as 0, 32767.
174 define <4 x float> @f19() {
175 ; CHECK-LABEL: f19:
176 ; CHECK: vrepig %v24, 32767
177 ; CHECK: br %r14
178   ret <4 x float> <float undef, float undef,
179                    float 0.0, float 0x378fffc000000000>
182 ; Repeat f18 with undefs optimistically treated as -2, -1.
183 define <4 x float> @f20() {
184 ; CHECK-LABEL: f20:
185 ; CHECK: vrepig %v24, -2
186 ; CHECK: br %r14
187   ret <4 x float> <float 0xffffffffe0000000, float undef,
188                    float undef, float 0xffffffffc0000000>