1 /* { dg-do run { target int128 } } */
2 /* { dg-options "-O2 -msse2" } */
3 /* { dg-require-effective-target sse2 } */
4
5 typedef unsigned __int128 v1ti __attribute__ ((__vector_size__ (16)));
6 typedef unsigned __int128 ti;
7
8 ti ashl(ti x, unsigned int i) { return x << i; }
9 ti lshr(ti x, unsigned int i) { return x >> i; }
10 ti rotr(ti x, unsigned int i) { return (x >> i) | (x << (128-i)); }
11
12 v1ti ashl_1(v1ti x) { return x << 1; }
13 v1ti ashl_2(v1ti x) { return x << 2; }
14 v1ti ashl_7(v1ti x) { return x << 7; }
15 v1ti ashl_8(v1ti x) { return x << 8; }
16 v1ti ashl_9(v1ti x) { return x << 9; }
17 v1ti ashl_15(v1ti x) { return x << 15; }
18 v1ti ashl_16(v1ti x) { return x << 16; }
19 v1ti ashl_17(v1ti x) { return x << 17; }
20 v1ti ashl_31(v1ti x) { return x << 31; }
21 v1ti ashl_32(v1ti x) { return x << 32; }
22 v1ti ashl_33(v1ti x) { return x << 33; }
23 v1ti ashl_63(v1ti x) { return x << 63; }
24 v1ti ashl_64(v1ti x) { return x << 64; }
25 v1ti ashl_65(v1ti x) { return x << 65; }
26 v1ti ashl_72(v1ti x) { return x << 72; }
27 v1ti ashl_95(v1ti x) { return x << 95; }
28 v1ti ashl_96(v1ti x) { return x << 96; }
29 v1ti ashl_97(v1ti x) { return x << 97; }
30 v1ti ashl_111(v1ti x) { return x << 111; }
31 v1ti ashl_112(v1ti x) { return x << 112; }
32 v1ti ashl_113(v1ti x) { return x << 113; }
33 v1ti ashl_119(v1ti x) { return x << 119; }
34 v1ti ashl_120(v1ti x) { return x << 120; }
35 v1ti ashl_121(v1ti x) { return x << 121; }
36 v1ti ashl_126(v1ti x) { return x << 126; }
37 v1ti ashl_127(v1ti x) { return x << 127; }
38
39 v1ti lshr_1(v1ti x) { return x >> 1; }
40 v1ti lshr_2(v1ti x) { return x >> 2; }
41 v1ti lshr_7(v1ti x) { return x >> 7; }
42 v1ti lshr_8(v1ti x) { return x >> 8; }
43 v1ti lshr_9(v1ti x) { return x >> 9; }
44 v1ti lshr_15(v1ti x) { return x >> 15; }
45 v1ti lshr_16(v1ti x) { return x >> 16; }
46 v1ti lshr_17(v1ti x) { return x >> 17; }
47 v1ti lshr_31(v1ti x) { return x >> 31; }
48 v1ti lshr_32(v1ti x) { return x >> 32; }
49 v1ti lshr_33(v1ti x) { return x >> 33; }
50 v1ti lshr_63(v1ti x) { return x >> 63; }
51 v1ti lshr_64(v1ti x) { return x >> 64; }
52 v1ti lshr_65(v1ti x) { return x >> 65; }
53 v1ti lshr_72(v1ti x) { return x >> 72; }
54 v1ti lshr_95(v1ti x) { return x >> 95; }
55 v1ti lshr_96(v1ti x) { return x >> 96; }
56 v1ti lshr_97(v1ti x) { return x >> 97; }
57 v1ti lshr_111(v1ti x) { return x >> 111; }
58 v1ti lshr_112(v1ti x) { return x >> 112; }
59 v1ti lshr_113(v1ti x) { return x >> 113; }
60 v1ti lshr_119(v1ti x) { return x >> 119; }
61 v1ti lshr_120(v1ti x) { return x >> 120; }
62 v1ti lshr_121(v1ti x) { return x >> 121; }
63 v1ti lshr_126(v1ti x) { return x >> 126; }
64 v1ti lshr_127(v1ti x) { return x >> 127; }
65
66 v1ti rotr_1(v1ti x) { return (x >> 1) | (x << 127); }
67 v1ti rotr_2(v1ti x) { return (x >> 2) | (x << 126); }
68 v1ti rotr_7(v1ti x) { return (x >> 7) | (x << 121); }
69 v1ti rotr_8(v1ti x) { return (x >> 8) | (x << 120); }
70 v1ti rotr_9(v1ti x) { return (x >> 9) | (x << 119); }
71 v1ti rotr_15(v1ti x) { return (x >> 15) | (x << 113); }
72 v1ti rotr_16(v1ti x) { return (x >> 16) | (x << 112); }
73 v1ti rotr_17(v1ti x) { return (x >> 17) | (x << 111); }
74 v1ti rotr_31(v1ti x) { return (x >> 31) | (x << 97); }
75 v1ti rotr_32(v1ti x) { return (x >> 32) | (x << 96); }
76 v1ti rotr_33(v1ti x) { return (x >> 33) | (x << 95); }
77 v1ti rotr_63(v1ti x) { return (x >> 63) | (x << 65); }
78 v1ti rotr_64(v1ti x) { return (x >> 64) | (x << 64); }
79 v1ti rotr_65(v1ti x) { return (x >> 65) | (x << 63); }
80 v1ti rotr_72(v1ti x) { return (x >> 72) | (x << 56); }
81 v1ti rotr_95(v1ti x) { return (x >> 95) | (x << 33); }
82 v1ti rotr_96(v1ti x) { return (x >> 96) | (x << 32); }
83 v1ti rotr_97(v1ti x) { return (x >> 97) | (x << 31); }
84 v1ti rotr_111(v1ti x) { return (x >> 111) | (x << 17); }
85 v1ti rotr_112(v1ti x) { return (x >> 112) | (x << 16); }
86 v1ti rotr_113(v1ti x) { return (x >> 113) | (x << 15); }
87 v1ti rotr_119(v1ti x) { return (x >> 119) | (x << 9); }
88 v1ti rotr_120(v1ti x) { return (x >> 120) | (x << 8); }
89 v1ti rotr_121(v1ti x) { return (x >> 121) | (x << 7); }
90 v1ti rotr_126(v1ti x) { return (x >> 126) | (x << 2); }
91 v1ti rotr_127(v1ti x) { return (x >> 127) | (x << 1); }
92
93
94 typedef v1ti (*fun)(v1ti);
95
96 struct {
97 unsigned int i;
98 fun ashl;
99 fun lshr;
100 fun rotr;
101 } table[26] = {
102 { 1, ashl_1, lshr_1, rotr_1 },
103 { 2, ashl_2, lshr_2, rotr_2 },
104 { 7, ashl_7, lshr_7, rotr_7 },
105 { 8, ashl_8, lshr_8, rotr_8 },
106 { 9, ashl_9, lshr_9, rotr_9 },
107 { 15, ashl_15, lshr_15, rotr_15 },
108 { 16, ashl_16, lshr_16, rotr_16 },
109 { 17, ashl_17, lshr_17, rotr_17 },
110 { 31, ashl_31, lshr_31, rotr_31 },
111 { 32, ashl_32, lshr_32, rotr_32 },
112 { 33, ashl_33, lshr_33, rotr_33 },
113 { 63, ashl_63, lshr_63, rotr_63 },
114 { 64, ashl_64, lshr_64, rotr_64 },
115 { 65, ashl_65, lshr_65, rotr_65 },
116 { 72, ashl_72, lshr_72, rotr_72 },
117 { 95, ashl_95, lshr_95, rotr_95 },
118 { 96, ashl_96, lshr_96, rotr_96 },
119 { 97, ashl_97, lshr_97, rotr_97 },
120 { 111, ashl_111, lshr_111, rotr_111 },
121 { 112, ashl_112, lshr_112, rotr_112 },
122 { 113, ashl_113, lshr_113, rotr_113 },
123 { 119, ashl_119, lshr_119, rotr_119 },
124 { 120, ashl_120, lshr_120, rotr_120 },
125 { 121, ashl_121, lshr_121, rotr_121 },
126 { 126, ashl_126, lshr_126, rotr_126 },
127 { 127, ashl_127, lshr_127, rotr_127 }
128 };
129
130 void test(ti x)
131 {
132 unsigned int i;
133 v1ti t = (v1ti)x;
134
135 for (i=0; i<(sizeof(table)/sizeof(table[0])); i++) {
136 if ((ti)(*table[i].ashl)(t) != ashl(x,table[i].i))
137 __builtin_abort();
138 if ((ti)(*table[i].lshr)(t) != lshr(x,table[i].i))
139 __builtin_abort();
140 if ((ti)(*table[i].rotr)(t) != rotr(x,table[i].i))
141 __builtin_abort();
142 }
143 }
144
145 int main()
146 {
147 ti x;
148
149 x = ((ti)0x0011223344556677ull)<<64 | 0x8899aabbccddeeffull;
150 test(x);
151 x = ((ti)0xffeeddccbbaa9988ull)<<64 | 0x7766554433221100ull;
152 test(x);
153 x = ((ti)0x0123456789abcdefull)<<64 | 0x0123456789abcdefull;
154 test(x);
155 x = ((ti)0xfedcba9876543210ull)<<64 | 0xfedcba9876543210ull;
156 test(x);
157 x = ((ti)0x0123456789abcdefull)<<64 | 0xfedcba9876543210ull;
158 test(x);
159 x = ((ti)0xfedcba9876543210ull)<<64 | 0x0123456789abcdefull;
160 test(x);
161 x = 0;
162 test(x);
163 x = 0xffffffffffffffffull;
164 test(x);
165 x = ((ti)0xffffffffffffffffull)<<64;
166 test(x);
167 x = ((ti)0xffffffffffffffffull)<<64 | 0xffffffffffffffffull;
168 test(x);
169 x = ((ti)0x5a5a5a5a5a5a5a5aull)<<64 | 0x5a5a5a5a5a5a5a5aull;
170 test(x);
171 x = ((ti)0xa5a5a5a5a5a5a5a5ull)<<64 | 0xa5a5a5a5a5a5a5a5ull;
172 test(x);
173 x = 0xffull;
174 test(x);
175 x = 0xff00ull;
176 test(x);
177 x = 0xff0000ull;
178 test(x);
179 x = 0xff000000ull;
180 test(x);
181 x = 0xff00000000ull;
182 test(x);
183 x = 0xff0000000000ull;
184 test(x);
185 x = 0xff000000000000ull;
186 test(x);
187 x = 0xff00000000000000ull;
188 test(x);
189 x = ((ti)0xffull)<<64;
190 test(x);
191 x = ((ti)0xff00ull)<<64;
192 test(x);
193 x = ((ti)0xff0000ull)<<64;
194 test(x);
195 x = ((ti)0xff000000ull)<<64;
196 test(x);
197 x = ((ti)0xff00000000ull)<<64;
198 test(x);
199 x = ((ti)0xff0000000000ull)<<64;
200 test(x);
201 x = ((ti)0xff000000000000ull)<<64;
202 test(x);
203 x = ((ti)0xff00000000000000ull)<<64;
204 test(x);
205 x = 0xdeadbeefcafebabeull;
206 test(x);
207 x = ((ti)0xdeadbeefcafebabeull)<<64;
208 test(x);
209
210 return 0;
211 }
212