1 mfvsrd
: 0102030405060708 => 0000000005060708
2 mfvsrd
: 090a0b0c0e0d0e0f
=> 000000000e0d0e0f
3 mfvsrd
: f1f2f3f4f5f6f7f8
=> 00000000f5f6f7f8
4 mfvsrd
: f9fafbfcfefdfeff
=> 00000000fefdfeff
5 mfvsrd
: 00007fffffffffff
=> 00000000ffffffff
6 mfvsrd
: ffff000000000000
=> 0000000000000000
7 mfvsrd
: 0000800000000000 => 0000000000000000
8 mfvsrd
: 0000000000000000 => 0000000000000000
9 mfvsrd
: ffffffffffffffff
=> 00000000ffffffff
11 mfvsrwz
: 0102030405060708 => 0000000005060708
12 mfvsrwz
: 090a0b0c0e0d0e0f
=> 000000000e0d0e0f
13 mfvsrwz
: f1f2f3f4f5f6f7f8
=> 00000000f5f6f7f8
14 mfvsrwz
: f9fafbfcfefdfeff
=> 00000000fefdfeff
15 mfvsrwz
: 00007fffffffffff
=> 00000000ffffffff
16 mfvsrwz
: ffff000000000000
=> 0000000000000000
17 mfvsrwz
: 0000800000000000 => 0000000000000000
18 mfvsrwz
: 0000000000000000 => 0000000000000000
19 mfvsrwz
: ffffffffffffffff
=> 00000000ffffffff
21 mtvsrd
: 0102030405060708 => 0000000005060708
22 mtvsrd
: 090a0b0c0e0d0e0f
=> 000000000e0d0e0f
23 mtvsrd
: f1f2f3f4f5f6f7f8
=> 00000000f5f6f7f8
24 mtvsrd
: f9fafbfcfefdfeff
=> 00000000fefdfeff
25 mtvsrd
: 00007fffffffffff
=> 00000000ffffffff
26 mtvsrd
: ffff000000000000
=> 0000000000000000
27 mtvsrd
: 0000800000000000 => 0000000000000000
28 mtvsrd
: 0000000000000000 => 0000000000000000
29 mtvsrd
: ffffffffffffffff
=> 00000000ffffffff
31 mtvsrwz
: 05060708 => 0000000005060708
32 mtvsrwz
: 0e0d0e0f
=> 000000000e0d0e0f
33 mtvsrwz
: f5f6f7f8
=> 00000000f5f6f7f8
34 mtvsrwz
: fefdfeff
=> 00000000fefdfeff
35 mtvsrwz
: ffffffff
=> 00000000ffffffff
36 mtvsrwz
: 00000000 => 0000000000000000
37 mtvsrwz
: 00000000 => 0000000000000000
38 mtvsrwz
: 00000000 => 0000000000000000
39 mtvsrwz
: ffffffff
=> 00000000ffffffff
41 mtfprwa
: 05060708 => 0000000005060708
42 mtfprwa
: 0e0d0e0f
=> 000000000e0d0e0f
43 mtfprwa
: f5f6f7f8
=> fffffffff5f6f7f8
44 mtfprwa
: fefdfeff
=> fffffffffefdfeff
45 mtfprwa
: ffffffff
=> ffffffffffffffff
46 mtfprwa
: 00000000 => 0000000000000000
47 mtfprwa
: 00000000 => 0000000000000000
48 mtfprwa
: 00000000 => 0000000000000000
49 mtfprwa
: ffffffff
=> ffffffffffffffff
51 mtvsrwa
: 05060708 => 0000000005060708
52 mtvsrwa
: 0e0d0e0f
=> 000000000e0d0e0f
53 mtvsrwa
: f5f6f7f8
=> fffffffff5f6f7f8
54 mtvsrwa
: fefdfeff
=> fffffffffefdfeff
55 mtvsrwa
: ffffffff
=> ffffffffffffffff
56 mtvsrwa
: 00000000 => 0000000000000000
57 mtvsrwa
: 00000000 => 0000000000000000
58 mtvsrwa
: 00000000 => 0000000000000000
59 mtvsrwa
: ffffffff
=> ffffffffffffffff
61 mtfprd
: 0102030405060708 => 0000000005060708
62 mtfprd
: 090a0b0c0e0d0e0f
=> 000000000e0d0e0f
63 mtfprd
: f1f2f3f4f5f6f7f8
=> 00000000f5f6f7f8
64 mtfprd
: f9fafbfcfefdfeff
=> 00000000fefdfeff
65 mtfprd
: 00007fffffffffff
=> 00000000ffffffff
66 mtfprd
: ffff000000000000
=> 0000000000000000
67 mtfprd
: 0000800000000000 => 0000000000000000
68 mtfprd
: 0000000000000000 => 0000000000000000
69 mtfprd
: ffffffffffffffff
=> 00000000ffffffff
71 mtvrwa
: 05060708 => 0000000005060708
72 mtvrwa
: 0e0d0e0f
=> 000000000e0d0e0f
73 mtvrwa
: f5f6f7f8
=> fffffffff5f6f7f8
74 mtvrwa
: fefdfeff
=> fffffffffefdfeff
75 mtvrwa
: ffffffff
=> ffffffffffffffff
76 mtvrwa
: 00000000 => 0000000000000000
77 mtvrwa
: 00000000 => 0000000000000000
78 mtvrwa
: 00000000 => 0000000000000000
79 mtvrwa
: ffffffff
=> ffffffffffffffff
81 mtvrd
: 0102030405060708 => 0000000005060708
82 mtvrd
: 090a0b0c0e0d0e0f
=> 000000000e0d0e0f
83 mtvrd
: f1f2f3f4f5f6f7f8
=> 00000000f5f6f7f8
84 mtvrd
: f9fafbfcfefdfeff
=> 00000000fefdfeff
85 mtvrd
: 00007fffffffffff
=> 00000000ffffffff
86 mtvrd
: ffff000000000000
=> 0000000000000000
87 mtvrd
: 0000800000000000 => 0000000000000000
88 mtvrd
: 0000000000000000 => 0000000000000000
89 mtvrd
: ffffffffffffffff
=> 00000000ffffffff
91 vaddudm
: 0102030405060708 @@
0102030405060708 ==> 020406080a0c0e10
92 090a0b0c0e0d0e0f @@
090a0b0c0e0d0e0f
==> 121416181c1a1c1e
93 vaddudm
: 0102030405060708 @@ f1f2f3f4f5f6f7f8
==> f2f4f6f8fafcff00
94 090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff
==> 030507090d0b0d0e
95 vaddudm
: 0102030405060708 @@
00007fffffffffff
==> 0102830405060707
96 090a0b0c0e0d0e0f @@ ffff000000000000
==> 09090b0c0e0d0e0f
97 vaddudm
: 0102030405060708 @@
0000800000000000 ==> 0102830405060708
98 090a0b0c0e0d0e0f @@
0000000000000000 ==> 090a0b0c0e0d0e0f
99 vaddudm
: f1f2f3f4f5f6f7f8 @@
0102030405060708 ==> f2f4f6f8fafcff00
100 f9fafbfcfefdfeff @@
090a0b0c0e0d0e0f
==> 030507090d0b0d0e
101 vaddudm
: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8
==> e3e5e7e9ebedeff0
102 f9fafbfcfefdfeff @@ f9fafbfcfefdfeff
==> f3f5f7f9fdfbfdfe
103 vaddudm
: f1f2f3f4f5f6f7f8 @@
00007fffffffffff
==> f1f373f4f5f6f7f7
104 f9fafbfcfefdfeff @@ ffff000000000000
==> f9f9fbfcfefdfeff
105 vaddudm
: f1f2f3f4f5f6f7f8 @@
0000800000000000 ==> f1f373f4f5f6f7f8
106 f9fafbfcfefdfeff @@
0000000000000000 ==> f9fafbfcfefdfeff
107 vaddudm
: 00007fffffffffff @@
0102030405060708 ==> 0102830405060707
108 ffff000000000000 @@
090a0b0c0e0d0e0f
==> 09090b0c0e0d0e0f
109 vaddudm
: 00007fffffffffff @@ f1f2f3f4f5f6f7f8
==> f1f373f4f5f6f7f7
110 ffff000000000000 @@ f9fafbfcfefdfeff
==> f9f9fbfcfefdfeff
111 vaddudm
: 00007fffffffffff @@
00007fffffffffff
==> 0000fffffffffffe
112 ffff000000000000 @@ ffff000000000000
==> fffe000000000000
113 vaddudm
: 00007fffffffffff @@
0000800000000000 ==> 0000ffffffffffff
114 ffff000000000000 @@
0000000000000000 ==> ffff000000000000
115 vaddudm
: 0000800000000000 @@
0102030405060708 ==> 0102830405060708
116 0000000000000000 @@
090a0b0c0e0d0e0f
==> 090a0b0c0e0d0e0f
117 vaddudm
: 0000800000000000 @@ f1f2f3f4f5f6f7f8
==> f1f373f4f5f6f7f8
118 0000000000000000 @@ f9fafbfcfefdfeff
==> f9fafbfcfefdfeff
119 vaddudm
: 0000800000000000 @@
00007fffffffffff
==> 0000ffffffffffff
120 0000000000000000 @@ ffff000000000000
==> ffff000000000000
121 vaddudm
: 0000800000000000 @@
0000800000000000 ==> 0001000000000000
122 0000000000000000 @@
0000000000000000 ==> 0000000000000000
124 vsubudm
: 0102030405060708 @@
0102030405060708 ==> 0000000000000000
125 090a0b0c0e0d0e0f @@
090a0b0c0e0d0e0f
==> 0000000000000000
126 vsubudm
: 0102030405060708 @@ f1f2f3f4f5f6f7f8
==> 0f0f0f0f0f0f0f10
127 090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff
==> 0f0f0f0f0f0f0f10
128 vsubudm
: 0102030405060708 @@
00007fffffffffff
==> 0101830405060709
129 090a0b0c0e0d0e0f @@ ffff000000000000
==> 090b0b0c0e0d0e0f
130 vsubudm
: 0102030405060708 @@
0000800000000000 ==> 0101830405060708
131 090a0b0c0e0d0e0f @@
0000000000000000 ==> 090a0b0c0e0d0e0f
132 vsubudm
: f1f2f3f4f5f6f7f8 @@
0102030405060708 ==> f0f0f0f0f0f0f0f0
133 f9fafbfcfefdfeff @@
090a0b0c0e0d0e0f
==> f0f0f0f0f0f0f0f0
134 vsubudm
: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8
==> 0000000000000000
135 f9fafbfcfefdfeff @@ f9fafbfcfefdfeff
==> 0000000000000000
136 vsubudm
: f1f2f3f4f5f6f7f8 @@
00007fffffffffff
==> f1f273f4f5f6f7f9
137 f9fafbfcfefdfeff @@ ffff000000000000
==> f9fbfbfcfefdfeff
138 vsubudm
: f1f2f3f4f5f6f7f8 @@
0000800000000000 ==> f1f273f4f5f6f7f8
139 f9fafbfcfefdfeff @@
0000000000000000 ==> f9fafbfcfefdfeff
140 vsubudm
: 00007fffffffffff @@
0102030405060708 ==> fefe7cfbfaf9f8f7
141 ffff000000000000 @@
090a0b0c0e0d0e0f
==> f6f4f4f3f1f2f1f1
142 vsubudm
: 00007fffffffffff @@ f1f2f3f4f5f6f7f8
==> 0e0d8c0b0a090807
143 ffff000000000000 @@ f9fafbfcfefdfeff
==> 0604040301020101
144 vsubudm
: 00007fffffffffff @@
00007fffffffffff
==> 0000000000000000
145 ffff000000000000 @@ ffff000000000000
==> 0000000000000000
146 vsubudm
: 00007fffffffffff @@
0000800000000000 ==> ffffffffffffffff
147 ffff000000000000 @@
0000000000000000 ==> ffff000000000000
148 vsubudm
: 0000800000000000 @@
0102030405060708 ==> fefe7cfbfaf9f8f8
149 0000000000000000 @@
090a0b0c0e0d0e0f
==> f6f5f4f3f1f2f1f1
150 vsubudm
: 0000800000000000 @@ f1f2f3f4f5f6f7f8
==> 0e0d8c0b0a090808
151 0000000000000000 @@ f9fafbfcfefdfeff
==> 0605040301020101
152 vsubudm
: 0000800000000000 @@
00007fffffffffff
==> 0000000000000001
153 0000000000000000 @@ ffff000000000000
==> 0001000000000000
154 vsubudm
: 0000800000000000 @@
0000800000000000 ==> 0000000000000000
155 0000000000000000 @@
0000000000000000 ==> 0000000000000000
157 vmaxud
: 0102030405060708 @@
0102030405060708 ==> 0102030405060708
158 090a0b0c0e0d0e0f @@
090a0b0c0e0d0e0f
==> 090a0b0c0e0d0e0f
159 vmaxud
: 0102030405060708 @@ f1f2f3f4f5f6f7f8
==> f1f2f3f4f5f6f7f8
160 090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff
==> f9fafbfcfefdfeff
161 vmaxud
: 0102030405060708 @@
00007fffffffffff
==> 0102030405060708
162 090a0b0c0e0d0e0f @@ ffff000000000000
==> ffff000000000000
163 vmaxud
: 0102030405060708 @@
0000800000000000 ==> 0102030405060708
164 090a0b0c0e0d0e0f @@
0000000000000000 ==> 090a0b0c0e0d0e0f
165 vmaxud
: f1f2f3f4f5f6f7f8 @@
0102030405060708 ==> f1f2f3f4f5f6f7f8
166 f9fafbfcfefdfeff @@
090a0b0c0e0d0e0f
==> f9fafbfcfefdfeff
167 vmaxud
: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8
==> f1f2f3f4f5f6f7f8
168 f9fafbfcfefdfeff @@ f9fafbfcfefdfeff
==> f9fafbfcfefdfeff
169 vmaxud
: f1f2f3f4f5f6f7f8 @@
00007fffffffffff
==> f1f2f3f4f5f6f7f8
170 f9fafbfcfefdfeff @@ ffff000000000000
==> ffff000000000000
171 vmaxud
: f1f2f3f4f5f6f7f8 @@
0000800000000000 ==> f1f2f3f4f5f6f7f8
172 f9fafbfcfefdfeff @@
0000000000000000 ==> f9fafbfcfefdfeff
173 vmaxud
: 00007fffffffffff @@
0102030405060708 ==> 0102030405060708
174 ffff000000000000 @@
090a0b0c0e0d0e0f
==> ffff000000000000
175 vmaxud
: 00007fffffffffff @@ f1f2f3f4f5f6f7f8
==> f1f2f3f4f5f6f7f8
176 ffff000000000000 @@ f9fafbfcfefdfeff
==> ffff000000000000
177 vmaxud
: 00007fffffffffff @@
00007fffffffffff
==> 00007fffffffffff
178 ffff000000000000 @@ ffff000000000000
==> ffff000000000000
179 vmaxud
: 00007fffffffffff @@
0000800000000000 ==> 0000800000000000
180 ffff000000000000 @@
0000000000000000 ==> ffff000000000000
181 vmaxud
: 0000800000000000 @@
0102030405060708 ==> 0102030405060708
182 0000000000000000 @@
090a0b0c0e0d0e0f
==> 090a0b0c0e0d0e0f
183 vmaxud
: 0000800000000000 @@ f1f2f3f4f5f6f7f8
==> f1f2f3f4f5f6f7f8
184 0000000000000000 @@ f9fafbfcfefdfeff
==> f9fafbfcfefdfeff
185 vmaxud
: 0000800000000000 @@
00007fffffffffff
==> 0000800000000000
186 0000000000000000 @@ ffff000000000000
==> ffff000000000000
187 vmaxud
: 0000800000000000 @@
0000800000000000 ==> 0000800000000000
188 0000000000000000 @@
0000000000000000 ==> 0000000000000000
190 vmaxsd
: 0102030405060708 @@
0102030405060708 ==> 0102030405060708
191 090a0b0c0e0d0e0f @@
090a0b0c0e0d0e0f
==> 090a0b0c0e0d0e0f
192 vmaxsd
: 0102030405060708 @@ f1f2f3f4f5f6f7f8
==> 0102030405060708
193 090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff
==> 090a0b0c0e0d0e0f
194 vmaxsd
: 0102030405060708 @@
00007fffffffffff
==> 0102030405060708
195 090a0b0c0e0d0e0f @@ ffff000000000000
==> 090a0b0c0e0d0e0f
196 vmaxsd
: 0102030405060708 @@
0000800000000000 ==> 0102030405060708
197 090a0b0c0e0d0e0f @@
0000000000000000 ==> 090a0b0c0e0d0e0f
198 vmaxsd
: f1f2f3f4f5f6f7f8 @@
0102030405060708 ==> 0102030405060708
199 f9fafbfcfefdfeff @@
090a0b0c0e0d0e0f
==> 090a0b0c0e0d0e0f
200 vmaxsd
: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8
==> f1f2f3f4f5f6f7f8
201 f9fafbfcfefdfeff @@ f9fafbfcfefdfeff
==> f9fafbfcfefdfeff
202 vmaxsd
: f1f2f3f4f5f6f7f8 @@
00007fffffffffff
==> 00007fffffffffff
203 f9fafbfcfefdfeff @@ ffff000000000000
==> ffff000000000000
204 vmaxsd
: f1f2f3f4f5f6f7f8 @@
0000800000000000 ==> 0000800000000000
205 f9fafbfcfefdfeff @@
0000000000000000 ==> 0000000000000000
206 vmaxsd
: 00007fffffffffff @@
0102030405060708 ==> 0102030405060708
207 ffff000000000000 @@
090a0b0c0e0d0e0f
==> 090a0b0c0e0d0e0f
208 vmaxsd
: 00007fffffffffff @@ f1f2f3f4f5f6f7f8
==> 00007fffffffffff
209 ffff000000000000 @@ f9fafbfcfefdfeff
==> ffff000000000000
210 vmaxsd
: 00007fffffffffff @@
00007fffffffffff
==> 00007fffffffffff
211 ffff000000000000 @@ ffff000000000000
==> ffff000000000000
212 vmaxsd
: 00007fffffffffff @@
0000800000000000 ==> 0000800000000000
213 ffff000000000000 @@
0000000000000000 ==> 0000000000000000
214 vmaxsd
: 0000800000000000 @@
0102030405060708 ==> 0102030405060708
215 0000000000000000 @@
090a0b0c0e0d0e0f
==> 090a0b0c0e0d0e0f
216 vmaxsd
: 0000800000000000 @@ f1f2f3f4f5f6f7f8
==> 0000800000000000
217 0000000000000000 @@ f9fafbfcfefdfeff
==> 0000000000000000
218 vmaxsd
: 0000800000000000 @@
00007fffffffffff
==> 0000800000000000
219 0000000000000000 @@ ffff000000000000
==> 0000000000000000
220 vmaxsd
: 0000800000000000 @@
0000800000000000 ==> 0000800000000000
221 0000000000000000 @@
0000000000000000 ==> 0000000000000000
223 vminud
: 0102030405060708 @@
0102030405060708 ==> 0102030405060708
224 090a0b0c0e0d0e0f @@
090a0b0c0e0d0e0f
==> 090a0b0c0e0d0e0f
225 vminud
: 0102030405060708 @@ f1f2f3f4f5f6f7f8
==> 0102030405060708
226 090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff
==> 090a0b0c0e0d0e0f
227 vminud
: 0102030405060708 @@
00007fffffffffff
==> 00007fffffffffff
228 090a0b0c0e0d0e0f @@ ffff000000000000
==> 090a0b0c0e0d0e0f
229 vminud
: 0102030405060708 @@
0000800000000000 ==> 0000800000000000
230 090a0b0c0e0d0e0f @@
0000000000000000 ==> 0000000000000000
231 vminud
: f1f2f3f4f5f6f7f8 @@
0102030405060708 ==> 0102030405060708
232 f9fafbfcfefdfeff @@
090a0b0c0e0d0e0f
==> 090a0b0c0e0d0e0f
233 vminud
: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8
==> f1f2f3f4f5f6f7f8
234 f9fafbfcfefdfeff @@ f9fafbfcfefdfeff
==> f9fafbfcfefdfeff
235 vminud
: f1f2f3f4f5f6f7f8 @@
00007fffffffffff
==> 00007fffffffffff
236 f9fafbfcfefdfeff @@ ffff000000000000
==> f9fafbfcfefdfeff
237 vminud
: f1f2f3f4f5f6f7f8 @@
0000800000000000 ==> 0000800000000000
238 f9fafbfcfefdfeff @@
0000000000000000 ==> 0000000000000000
239 vminud
: 00007fffffffffff @@
0102030405060708 ==> 00007fffffffffff
240 ffff000000000000 @@
090a0b0c0e0d0e0f
==> 090a0b0c0e0d0e0f
241 vminud
: 00007fffffffffff @@ f1f2f3f4f5f6f7f8
==> 00007fffffffffff
242 ffff000000000000 @@ f9fafbfcfefdfeff
==> f9fafbfcfefdfeff
243 vminud
: 00007fffffffffff @@
00007fffffffffff
==> 00007fffffffffff
244 ffff000000000000 @@ ffff000000000000
==> ffff000000000000
245 vminud
: 00007fffffffffff @@
0000800000000000 ==> 00007fffffffffff
246 ffff000000000000 @@
0000000000000000 ==> 0000000000000000
247 vminud
: 0000800000000000 @@
0102030405060708 ==> 0000800000000000
248 0000000000000000 @@
090a0b0c0e0d0e0f
==> 0000000000000000
249 vminud
: 0000800000000000 @@ f1f2f3f4f5f6f7f8
==> 0000800000000000
250 0000000000000000 @@ f9fafbfcfefdfeff
==> 0000000000000000
251 vminud
: 0000800000000000 @@
00007fffffffffff
==> 00007fffffffffff
252 0000000000000000 @@ ffff000000000000
==> 0000000000000000
253 vminud
: 0000800000000000 @@
0000800000000000 ==> 0000800000000000
254 0000000000000000 @@
0000000000000000 ==> 0000000000000000
256 vminsd
: 0102030405060708 @@
0102030405060708 ==> 0102030405060708
257 090a0b0c0e0d0e0f @@
090a0b0c0e0d0e0f
==> 090a0b0c0e0d0e0f
258 vminsd
: 0102030405060708 @@ f1f2f3f4f5f6f7f8
==> f1f2f3f4f5f6f7f8
259 090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff
==> f9fafbfcfefdfeff
260 vminsd
: 0102030405060708 @@
00007fffffffffff
==> 00007fffffffffff
261 090a0b0c0e0d0e0f @@ ffff000000000000
==> ffff000000000000
262 vminsd
: 0102030405060708 @@
0000800000000000 ==> 0000800000000000
263 090a0b0c0e0d0e0f @@
0000000000000000 ==> 0000000000000000
264 vminsd
: f1f2f3f4f5f6f7f8 @@
0102030405060708 ==> f1f2f3f4f5f6f7f8
265 f9fafbfcfefdfeff @@
090a0b0c0e0d0e0f
==> f9fafbfcfefdfeff
266 vminsd
: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8
==> f1f2f3f4f5f6f7f8
267 f9fafbfcfefdfeff @@ f9fafbfcfefdfeff
==> f9fafbfcfefdfeff
268 vminsd
: f1f2f3f4f5f6f7f8 @@
00007fffffffffff
==> f1f2f3f4f5f6f7f8
269 f9fafbfcfefdfeff @@ ffff000000000000
==> f9fafbfcfefdfeff
270 vminsd
: f1f2f3f4f5f6f7f8 @@
0000800000000000 ==> f1f2f3f4f5f6f7f8
271 f9fafbfcfefdfeff @@
0000000000000000 ==> f9fafbfcfefdfeff
272 vminsd
: 00007fffffffffff @@
0102030405060708 ==> 00007fffffffffff
273 ffff000000000000 @@
090a0b0c0e0d0e0f
==> ffff000000000000
274 vminsd
: 00007fffffffffff @@ f1f2f3f4f5f6f7f8
==> f1f2f3f4f5f6f7f8
275 ffff000000000000 @@ f9fafbfcfefdfeff
==> f9fafbfcfefdfeff
276 vminsd
: 00007fffffffffff @@
00007fffffffffff
==> 00007fffffffffff
277 ffff000000000000 @@ ffff000000000000
==> ffff000000000000
278 vminsd
: 00007fffffffffff @@
0000800000000000 ==> 00007fffffffffff
279 ffff000000000000 @@
0000000000000000 ==> ffff000000000000
280 vminsd
: 0000800000000000 @@
0102030405060708 ==> 0000800000000000
281 0000000000000000 @@
090a0b0c0e0d0e0f
==> 0000000000000000
282 vminsd
: 0000800000000000 @@ f1f2f3f4f5f6f7f8
==> f1f2f3f4f5f6f7f8
283 0000000000000000 @@ f9fafbfcfefdfeff
==> f9fafbfcfefdfeff
284 vminsd
: 0000800000000000 @@
00007fffffffffff
==> 00007fffffffffff
285 0000000000000000 @@ ffff000000000000
==> ffff000000000000
286 vminsd
: 0000800000000000 @@
0000800000000000 ==> 0000800000000000
287 0000000000000000 @@
0000000000000000 ==> 0000000000000000
289 vcmpequd
: 0102030405060708 @@
0102030405060708 ==> ffffffffffffffff
290 090a0b0c0e0d0e0f @@
090a0b0c0e0d0e0f
==> ffffffffffffffff
291 vcmpequd
: 0102030405060708 @@ f1f2f3f4f5f6f7f8
==> 0000000000000000
292 090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff
==> 0000000000000000
293 vcmpequd
: 0102030405060708 @@
00007fffffffffff
==> 0000000000000000
294 090a0b0c0e0d0e0f @@ ffff000000000000
==> 0000000000000000
295 vcmpequd
: 0102030405060708 @@
0000800000000000 ==> 0000000000000000
296 090a0b0c0e0d0e0f @@
0000000000000000 ==> 0000000000000000
297 vcmpequd
: f1f2f3f4f5f6f7f8 @@
0102030405060708 ==> 0000000000000000
298 f9fafbfcfefdfeff @@
090a0b0c0e0d0e0f
==> 0000000000000000
299 vcmpequd
: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8
==> ffffffffffffffff
300 f9fafbfcfefdfeff @@ f9fafbfcfefdfeff
==> ffffffffffffffff
301 vcmpequd
: f1f2f3f4f5f6f7f8 @@
00007fffffffffff
==> 0000000000000000
302 f9fafbfcfefdfeff @@ ffff000000000000
==> 0000000000000000
303 vcmpequd
: f1f2f3f4f5f6f7f8 @@
0000800000000000 ==> 0000000000000000
304 f9fafbfcfefdfeff @@
0000000000000000 ==> 0000000000000000
305 vcmpequd
: 00007fffffffffff @@
0102030405060708 ==> 0000000000000000
306 ffff000000000000 @@
090a0b0c0e0d0e0f
==> 0000000000000000
307 vcmpequd
: 00007fffffffffff @@ f1f2f3f4f5f6f7f8
==> 0000000000000000
308 ffff000000000000 @@ f9fafbfcfefdfeff
==> 0000000000000000
309 vcmpequd
: 00007fffffffffff @@
00007fffffffffff
==> ffffffffffffffff
310 ffff000000000000 @@ ffff000000000000
==> ffffffffffffffff
311 vcmpequd
: 00007fffffffffff @@
0000800000000000 ==> 0000000000000000
312 ffff000000000000 @@
0000000000000000 ==> 0000000000000000
313 vcmpequd
: 0000800000000000 @@
0102030405060708 ==> 0000000000000000
314 0000000000000000 @@
090a0b0c0e0d0e0f
==> 0000000000000000
315 vcmpequd
: 0000800000000000 @@ f1f2f3f4f5f6f7f8
==> 0000000000000000
316 0000000000000000 @@ f9fafbfcfefdfeff
==> 0000000000000000
317 vcmpequd
: 0000800000000000 @@
00007fffffffffff
==> 0000000000000000
318 0000000000000000 @@ ffff000000000000
==> 0000000000000000
319 vcmpequd
: 0000800000000000 @@
0000800000000000 ==> ffffffffffffffff
320 0000000000000000 @@
0000000000000000 ==> ffffffffffffffff
322 vcmpgtud
: 0102030405060708 @@
0102030405060708 ==> 0000000000000000
323 090a0b0c0e0d0e0f @@
090a0b0c0e0d0e0f
==> 0000000000000000
324 vcmpgtud
: 0102030405060708 @@ f1f2f3f4f5f6f7f8
==> 0000000000000000
325 090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff
==> 0000000000000000
326 vcmpgtud
: 0102030405060708 @@
00007fffffffffff
==> ffffffffffffffff
327 090a0b0c0e0d0e0f @@ ffff000000000000
==> 0000000000000000
328 vcmpgtud
: 0102030405060708 @@
0000800000000000 ==> ffffffffffffffff
329 090a0b0c0e0d0e0f @@
0000000000000000 ==> ffffffffffffffff
330 vcmpgtud
: f1f2f3f4f5f6f7f8 @@
0102030405060708 ==> ffffffffffffffff
331 f9fafbfcfefdfeff @@
090a0b0c0e0d0e0f
==> ffffffffffffffff
332 vcmpgtud
: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8
==> 0000000000000000
333 f9fafbfcfefdfeff @@ f9fafbfcfefdfeff
==> 0000000000000000
334 vcmpgtud
: f1f2f3f4f5f6f7f8 @@
00007fffffffffff
==> ffffffffffffffff
335 f9fafbfcfefdfeff @@ ffff000000000000
==> 0000000000000000
336 vcmpgtud
: f1f2f3f4f5f6f7f8 @@
0000800000000000 ==> ffffffffffffffff
337 f9fafbfcfefdfeff @@
0000000000000000 ==> ffffffffffffffff
338 vcmpgtud
: 00007fffffffffff @@
0102030405060708 ==> 0000000000000000
339 ffff000000000000 @@
090a0b0c0e0d0e0f
==> ffffffffffffffff
340 vcmpgtud
: 00007fffffffffff @@ f1f2f3f4f5f6f7f8
==> 0000000000000000
341 ffff000000000000 @@ f9fafbfcfefdfeff
==> ffffffffffffffff
342 vcmpgtud
: 00007fffffffffff @@
00007fffffffffff
==> 0000000000000000
343 ffff000000000000 @@ ffff000000000000
==> 0000000000000000
344 vcmpgtud
: 00007fffffffffff @@
0000800000000000 ==> 0000000000000000
345 ffff000000000000 @@
0000000000000000 ==> ffffffffffffffff
346 vcmpgtud
: 0000800000000000 @@
0102030405060708 ==> 0000000000000000
347 0000000000000000 @@
090a0b0c0e0d0e0f
==> 0000000000000000
348 vcmpgtud
: 0000800000000000 @@ f1f2f3f4f5f6f7f8
==> 0000000000000000
349 0000000000000000 @@ f9fafbfcfefdfeff
==> 0000000000000000
350 vcmpgtud
: 0000800000000000 @@
00007fffffffffff
==> ffffffffffffffff
351 0000000000000000 @@ ffff000000000000
==> 0000000000000000
352 vcmpgtud
: 0000800000000000 @@
0000800000000000 ==> 0000000000000000
353 0000000000000000 @@
0000000000000000 ==> 0000000000000000
355 vcmpgtsd
: 0102030405060708 @@
0102030405060708 ==> 0000000000000000
356 090a0b0c0e0d0e0f @@
090a0b0c0e0d0e0f
==> 0000000000000000
357 vcmpgtsd
: 0102030405060708 @@ f1f2f3f4f5f6f7f8
==> ffffffffffffffff
358 090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff
==> ffffffffffffffff
359 vcmpgtsd
: 0102030405060708 @@
00007fffffffffff
==> ffffffffffffffff
360 090a0b0c0e0d0e0f @@ ffff000000000000
==> ffffffffffffffff
361 vcmpgtsd
: 0102030405060708 @@
0000800000000000 ==> ffffffffffffffff
362 090a0b0c0e0d0e0f @@
0000000000000000 ==> ffffffffffffffff
363 vcmpgtsd
: f1f2f3f4f5f6f7f8 @@
0102030405060708 ==> 0000000000000000
364 f9fafbfcfefdfeff @@
090a0b0c0e0d0e0f
==> 0000000000000000
365 vcmpgtsd
: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8
==> 0000000000000000
366 f9fafbfcfefdfeff @@ f9fafbfcfefdfeff
==> 0000000000000000
367 vcmpgtsd
: f1f2f3f4f5f6f7f8 @@
00007fffffffffff
==> 0000000000000000
368 f9fafbfcfefdfeff @@ ffff000000000000
==> 0000000000000000
369 vcmpgtsd
: f1f2f3f4f5f6f7f8 @@
0000800000000000 ==> 0000000000000000
370 f9fafbfcfefdfeff @@
0000000000000000 ==> 0000000000000000
371 vcmpgtsd
: 00007fffffffffff @@
0102030405060708 ==> 0000000000000000
372 ffff000000000000 @@
090a0b0c0e0d0e0f
==> 0000000000000000
373 vcmpgtsd
: 00007fffffffffff @@ f1f2f3f4f5f6f7f8
==> ffffffffffffffff
374 ffff000000000000 @@ f9fafbfcfefdfeff
==> ffffffffffffffff
375 vcmpgtsd
: 00007fffffffffff @@
00007fffffffffff
==> 0000000000000000
376 ffff000000000000 @@ ffff000000000000
==> 0000000000000000
377 vcmpgtsd
: 00007fffffffffff @@
0000800000000000 ==> 0000000000000000
378 ffff000000000000 @@
0000000000000000 ==> 0000000000000000
379 vcmpgtsd
: 0000800000000000 @@
0102030405060708 ==> 0000000000000000
380 0000000000000000 @@
090a0b0c0e0d0e0f
==> 0000000000000000
381 vcmpgtsd
: 0000800000000000 @@ f1f2f3f4f5f6f7f8
==> ffffffffffffffff
382 0000000000000000 @@ f9fafbfcfefdfeff
==> ffffffffffffffff
383 vcmpgtsd
: 0000800000000000 @@
00007fffffffffff
==> ffffffffffffffff
384 0000000000000000 @@ ffff000000000000
==> ffffffffffffffff
385 vcmpgtsd
: 0000800000000000 @@
0000800000000000 ==> 0000000000000000
386 0000000000000000 @@
0000000000000000 ==> 0000000000000000
388 vrld
: 0102030405060708 @@
0102030405060708 ==> 0203040506070801
389 090a0b0c0e0d0e0f @@
090a0b0c0e0d0e0f
==> 0586070687078485
390 vrld
: 0102030405060708 @@ f1f2f3f4f5f6f7f8
==> 0801020304050607
391 090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff
==> 8485058607068707
392 vrld
: 0102030405060708 @@
00007fffffffffff
==> 0081018202830384
393 090a0b0c0e0d0e0f @@ ffff000000000000
==> 090a0b0c0e0d0e0f
394 vrld
: 0102030405060708 @@
0000800000000000 ==> 0102030405060708
395 090a0b0c0e0d0e0f @@
0000000000000000 ==> 090a0b0c0e0d0e0f
396 vrld
: f1f2f3f4f5f6f7f8 @@
0102030405060708 ==> f2f3f4f5f6f7f8f1
397 f9fafbfcfefdfeff @@
090a0b0c0e0d0e0f
==> 7dfe7f7eff7ffcfd
398 vrld
: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8
==> f8f1f2f3f4f5f6f7
399 f9fafbfcfefdfeff @@ f9fafbfcfefdfeff
==> fcfd7dfe7f7eff7f
400 vrld
: f1f2f3f4f5f6f7f8 @@
00007fffffffffff
==> 78f979fa7afb7bfc
401 f9fafbfcfefdfeff @@ ffff000000000000
==> f9fafbfcfefdfeff
402 vrld
: f1f2f3f4f5f6f7f8 @@
0000800000000000 ==> f1f2f3f4f5f6f7f8
403 f9fafbfcfefdfeff @@
0000000000000000 ==> f9fafbfcfefdfeff
404 vrld
: 00007fffffffffff @@
0102030405060708 ==> 007fffffffffff00
405 ffff000000000000 @@
090a0b0c0e0d0e0f
==> 8000000000007fff
406 vrld
: 00007fffffffffff @@ f1f2f3f4f5f6f7f8
==> ff00007fffffffff
407 ffff000000000000 @@ f9fafbfcfefdfeff
==> 7fff800000000000
408 vrld
: 00007fffffffffff @@
00007fffffffffff
==> 80003fffffffffff
409 ffff000000000000 @@ ffff000000000000
==> ffff000000000000
410 vrld
: 00007fffffffffff @@
0000800000000000 ==> 00007fffffffffff
411 ffff000000000000 @@
0000000000000000 ==> ffff000000000000
412 vrld
: 0000800000000000 @@
0102030405060708 ==> 0080000000000000
413 0000000000000000 @@
090a0b0c0e0d0e0f
==> 0000000000000000
414 vrld
: 0000800000000000 @@ f1f2f3f4f5f6f7f8
==> 0000008000000000
415 0000000000000000 @@ f9fafbfcfefdfeff
==> 0000000000000000
416 vrld
: 0000800000000000 @@
00007fffffffffff
==> 0000400000000000
417 0000000000000000 @@ ffff000000000000
==> 0000000000000000
418 vrld
: 0000800000000000 @@
0000800000000000 ==> 0000800000000000
419 0000000000000000 @@
0000000000000000 ==> 0000000000000000
421 vsld
: 0102030405060708 @@
0102030405060708 ==> 0203040506070800
422 090a0b0c0e0d0e0f @@
090a0b0c0e0d0e0f
==> 0586070687078000
423 vsld
: 0102030405060708 @@ f1f2f3f4f5f6f7f8
==> 0800000000000000
424 090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff
==> 8000000000000000
425 vsld
: 0102030405060708 @@
00007fffffffffff
==> 0000000000000000
426 090a0b0c0e0d0e0f @@ ffff000000000000
==> 090a0b0c0e0d0e0f
427 vsld
: 0102030405060708 @@
0000800000000000 ==> 0102030405060708
428 090a0b0c0e0d0e0f @@
0000000000000000 ==> 090a0b0c0e0d0e0f
429 vsld
: f1f2f3f4f5f6f7f8 @@
0102030405060708 ==> f2f3f4f5f6f7f800
430 f9fafbfcfefdfeff @@
090a0b0c0e0d0e0f
==> 7dfe7f7eff7f8000
431 vsld
: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8
==> f800000000000000
432 f9fafbfcfefdfeff @@ f9fafbfcfefdfeff
==> 8000000000000000
433 vsld
: f1f2f3f4f5f6f7f8 @@
00007fffffffffff
==> 0000000000000000
434 f9fafbfcfefdfeff @@ ffff000000000000
==> f9fafbfcfefdfeff
435 vsld
: f1f2f3f4f5f6f7f8 @@
0000800000000000 ==> f1f2f3f4f5f6f7f8
436 f9fafbfcfefdfeff @@
0000000000000000 ==> f9fafbfcfefdfeff
437 vsld
: 00007fffffffffff @@
0102030405060708 ==> 007fffffffffff00
438 ffff000000000000 @@
090a0b0c0e0d0e0f
==> 8000000000000000
439 vsld
: 00007fffffffffff @@ f1f2f3f4f5f6f7f8
==> ff00000000000000
440 ffff000000000000 @@ f9fafbfcfefdfeff
==> 0000000000000000
441 vsld
: 00007fffffffffff @@
00007fffffffffff
==> 8000000000000000
442 ffff000000000000 @@ ffff000000000000
==> ffff000000000000
443 vsld
: 00007fffffffffff @@
0000800000000000 ==> 00007fffffffffff
444 ffff000000000000 @@
0000000000000000 ==> ffff000000000000
445 vsld
: 0000800000000000 @@
0102030405060708 ==> 0080000000000000
446 0000000000000000 @@
090a0b0c0e0d0e0f
==> 0000000000000000
447 vsld
: 0000800000000000 @@ f1f2f3f4f5f6f7f8
==> 0000000000000000
448 0000000000000000 @@ f9fafbfcfefdfeff
==> 0000000000000000
449 vsld
: 0000800000000000 @@
00007fffffffffff
==> 0000000000000000
450 0000000000000000 @@ ffff000000000000
==> 0000000000000000
451 vsld
: 0000800000000000 @@
0000800000000000 ==> 0000800000000000
452 0000000000000000 @@
0000000000000000 ==> 0000000000000000
454 vsrad
: 0102030405060708 @@
0102030405060708 ==> 0001020304050607
455 090a0b0c0e0d0e0f @@
090a0b0c0e0d0e0f
==> 0000121416181c1a
456 vsrad
: 0102030405060708 @@ f1f2f3f4f5f6f7f8
==> 0000000000000001
457 090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff
==> 0000000000000000
458 vsrad
: 0102030405060708 @@
00007fffffffffff
==> 0000000000000000
459 090a0b0c0e0d0e0f @@ ffff000000000000
==> 090a0b0c0e0d0e0f
460 vsrad
: 0102030405060708 @@
0000800000000000 ==> 0102030405060708
461 090a0b0c0e0d0e0f @@
0000000000000000 ==> 090a0b0c0e0d0e0f
462 vsrad
: f1f2f3f4f5f6f7f8 @@
0102030405060708 ==> fff1f2f3f4f5f6f7
463 f9fafbfcfefdfeff @@
090a0b0c0e0d0e0f
==> fffff3f5f7f9fdfb
464 vsrad
: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8
==> fffffffffffffff1
465 f9fafbfcfefdfeff @@ f9fafbfcfefdfeff
==> ffffffffffffffff
466 vsrad
: f1f2f3f4f5f6f7f8 @@
00007fffffffffff
==> ffffffffffffffff
467 f9fafbfcfefdfeff @@ ffff000000000000
==> f9fafbfcfefdfeff
468 vsrad
: f1f2f3f4f5f6f7f8 @@
0000800000000000 ==> f1f2f3f4f5f6f7f8
469 f9fafbfcfefdfeff @@
0000000000000000 ==> f9fafbfcfefdfeff
470 vsrad
: 00007fffffffffff @@
0102030405060708 ==> 0000007fffffffff
471 ffff000000000000 @@
090a0b0c0e0d0e0f
==> fffffffe00000000
472 vsrad
: 00007fffffffffff @@ f1f2f3f4f5f6f7f8
==> 0000000000000000
473 ffff000000000000 @@ f9fafbfcfefdfeff
==> ffffffffffffffff
474 vsrad
: 00007fffffffffff @@
00007fffffffffff
==> 0000000000000000
475 ffff000000000000 @@ ffff000000000000
==> ffff000000000000
476 vsrad
: 00007fffffffffff @@
0000800000000000 ==> 00007fffffffffff
477 ffff000000000000 @@
0000000000000000 ==> ffff000000000000
478 vsrad
: 0000800000000000 @@
0102030405060708 ==> 0000008000000000
479 0000000000000000 @@
090a0b0c0e0d0e0f
==> 0000000000000000
480 vsrad
: 0000800000000000 @@ f1f2f3f4f5f6f7f8
==> 0000000000000000
481 0000000000000000 @@ f9fafbfcfefdfeff
==> 0000000000000000
482 vsrad
: 0000800000000000 @@
00007fffffffffff
==> 0000000000000000
483 0000000000000000 @@ ffff000000000000
==> 0000000000000000
484 vsrad
: 0000800000000000 @@
0000800000000000 ==> 0000800000000000
485 0000000000000000 @@
0000000000000000 ==> 0000000000000000
487 vsrd
: 0102030405060708 @@
0102030405060708 ==> 0001020304050607
488 090a0b0c0e0d0e0f @@
090a0b0c0e0d0e0f
==> 0000121416181c1a
489 vsrd
: 0102030405060708 @@ f1f2f3f4f5f6f7f8
==> 0000000000000001
490 090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff
==> 0000000000000000
491 vsrd
: 0102030405060708 @@
00007fffffffffff
==> 0000000000000000
492 090a0b0c0e0d0e0f @@ ffff000000000000
==> 090a0b0c0e0d0e0f
493 vsrd
: 0102030405060708 @@
0000800000000000 ==> 0102030405060708
494 090a0b0c0e0d0e0f @@
0000000000000000 ==> 090a0b0c0e0d0e0f
495 vsrd
: f1f2f3f4f5f6f7f8 @@
0102030405060708 ==> 00f1f2f3f4f5f6f7
496 f9fafbfcfefdfeff @@
090a0b0c0e0d0e0f
==> 0001f3f5f7f9fdfb
497 vsrd
: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8
==> 00000000000000f1
498 f9fafbfcfefdfeff @@ f9fafbfcfefdfeff
==> 0000000000000001
499 vsrd
: f1f2f3f4f5f6f7f8 @@
00007fffffffffff
==> 0000000000000001
500 f9fafbfcfefdfeff @@ ffff000000000000
==> f9fafbfcfefdfeff
501 vsrd
: f1f2f3f4f5f6f7f8 @@
0000800000000000 ==> f1f2f3f4f5f6f7f8
502 f9fafbfcfefdfeff @@
0000000000000000 ==> f9fafbfcfefdfeff
503 vsrd
: 00007fffffffffff @@
0102030405060708 ==> 0000007fffffffff
504 ffff000000000000 @@
090a0b0c0e0d0e0f
==> 0001fffe00000000
505 vsrd
: 00007fffffffffff @@ f1f2f3f4f5f6f7f8
==> 0000000000000000
506 ffff000000000000 @@ f9fafbfcfefdfeff
==> 0000000000000001
507 vsrd
: 00007fffffffffff @@
00007fffffffffff
==> 0000000000000000
508 ffff000000000000 @@ ffff000000000000
==> ffff000000000000
509 vsrd
: 00007fffffffffff @@
0000800000000000 ==> 00007fffffffffff
510 ffff000000000000 @@
0000000000000000 ==> ffff000000000000
511 vsrd
: 0000800000000000 @@
0102030405060708 ==> 0000008000000000
512 0000000000000000 @@
090a0b0c0e0d0e0f
==> 0000000000000000
513 vsrd
: 0000800000000000 @@ f1f2f3f4f5f6f7f8
==> 0000000000000000
514 0000000000000000 @@ f9fafbfcfefdfeff
==> 0000000000000000
515 vsrd
: 0000800000000000 @@
00007fffffffffff
==> 0000000000000000
516 0000000000000000 @@ ffff000000000000
==> 0000000000000000
517 vsrd
: 0000800000000000 @@
0000800000000000 ==> 0000800000000000
518 0000000000000000 @@
0000000000000000 ==> 0000000000000000
520 vpkudum
: Inputs
: 05060708 0e0d0e0f
05060708 0e0d0e0f
521 Output
: 05060708 0e0d0e0f
05060708 0e0d0e0f
522 vpkudum
: Inputs
: 05060708 0e0d0e0f f5f6f7f8 fefdfeff
523 Output
: 05060708 0e0d0e0f f5f6f7f8 fefdfeff
524 vpkudum
: Inputs
: 05060708 0e0d0e0f ffffffff
00000000
525 Output
: 05060708 0e0d0e0f ffffffff
00000000
526 vpkudum
: Inputs
: 05060708 0e0d0e0f
00000000 00000000
527 Output
: 05060708 0e0d0e0f
00000000 00000000
528 vpkudum
: Inputs
: f5f6f7f8 fefdfeff
05060708 0e0d0e0f
529 Output
: f5f6f7f8 fefdfeff
05060708 0e0d0e0f
530 vpkudum
: Inputs
: f5f6f7f8 fefdfeff f5f6f7f8 fefdfeff
531 Output
: f5f6f7f8 fefdfeff f5f6f7f8 fefdfeff
532 vpkudum
: Inputs
: f5f6f7f8 fefdfeff ffffffff
00000000
533 Output
: f5f6f7f8 fefdfeff ffffffff
00000000
534 vpkudum
: Inputs
: f5f6f7f8 fefdfeff
00000000 00000000
535 Output
: f5f6f7f8 fefdfeff
00000000 00000000
536 vpkudum
: Inputs
: ffffffff
00000000 05060708 0e0d0e0f
537 Output
: ffffffff
00000000 05060708 0e0d0e0f
538 vpkudum
: Inputs
: ffffffff
00000000 f5f6f7f8 fefdfeff
539 Output
: ffffffff
00000000 f5f6f7f8 fefdfeff
540 vpkudum
: Inputs
: ffffffff
00000000 ffffffff
00000000
541 Output
: ffffffff
00000000 ffffffff
00000000
542 vpkudum
: Inputs
: ffffffff
00000000 00000000 00000000
543 Output
: ffffffff
00000000 00000000 00000000
544 vpkudum
: Inputs
: 00000000 00000000 05060708 0e0d0e0f
545 Output
: 00000000 00000000 05060708 0e0d0e0f
546 vpkudum
: Inputs
: 00000000 00000000 f5f6f7f8 fefdfeff
547 Output
: 00000000 00000000 f5f6f7f8 fefdfeff
548 vpkudum
: Inputs
: 00000000 00000000 ffffffff
00000000
549 Output
: 00000000 00000000 ffffffff
00000000
550 vpkudum
: Inputs
: 00000000 00000000 00000000 00000000
551 Output
: 00000000 00000000 00000000 00000000
553 vpmsumd
: 0102030405060708 @@
0102030405060708 ==> 0040004000400040
554 090a0b0c0e0d0e0f @@
090a0b0c0e0d0e0f
==> 0045004500410015
555 vpmsumd
: 0102030405060708 @@ f1f2f3f4f5f6f7f8
==> 07c007c006d00735
556 090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff
==> a260a260a374a2c5
557 vpmsumd
: 0102030405060708 @@
00007fffffffffff
==> 07060182fc7efe7f
558 090a0b0c0e0d0e0f @@ ffff000000000000
==> 0478fefc030202f8
559 vpmsumd
: 0102030405060708 @@
0000800000000000 ==> 0000008101820283
560 090a0b0c0e0d0e0f @@
0000000000000000 ==> 0384000000000000
561 vpmsumd
: f1f2f3f4f5f6f7f8 @@
0102030405060708 ==> 07c007c006d00735
562 f9fafbfcfefdfeff @@
090a0b0c0e0d0e0f
==> a260a260a374a2c5
563 vpmsumd
: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8
==> 0040004000400040
564 f9fafbfcfefdfeff @@ f9fafbfcfefdfeff
==> 0045004500410015
565 vpmsumd
: f1f2f3f4f5f6f7f8 @@
00007fffffffffff
==> 575629aad456d657
566 f9fafbfcfefdfeff @@ ffff000000000000
==> 2c50aeac535252a8
567 vpmsumd
: f1f2f3f4f5f6f7f8 @@
0000800000000000 ==> 000078f979fa7afb
568 f9fafbfcfefdfeff @@
0000000000000000 ==> 7bfc000000000000
569 vpmsumd
: 00007fffffffffff @@
0102030405060708 ==> 07060182fc7efe7f
570 ffff000000000000 @@
090a0b0c0e0d0e0f
==> 0478fefc030202f8
571 vpmsumd
: 00007fffffffffff @@ f1f2f3f4f5f6f7f8
==> 575629aad456d657
572 ffff000000000000 @@ f9fafbfcfefdfeff
==> 2c50aeac535252a8
573 vpmsumd
: 00007fffffffffff @@
00007fffffffffff
==> 5555555515555555
574 ffff000000000000 @@ ffff000000000000
==> 5555555555555555
575 vpmsumd
: 00007fffffffffff @@
0000800000000000 ==> 000000003fffffff
576 ffff000000000000 @@
0000000000000000 ==> ffff800000000000
577 vpmsumd
: 0000800000000000 @@
0102030405060708 ==> 0000008101820283
578 0000000000000000 @@
090a0b0c0e0d0e0f
==> 0384000000000000
579 vpmsumd
: 0000800000000000 @@ f1f2f3f4f5f6f7f8
==> 000078f979fa7afb
580 0000000000000000 @@ f9fafbfcfefdfeff
==> 7bfc000000000000
581 vpmsumd
: 0000800000000000 @@
00007fffffffffff
==> 000000003fffffff
582 0000000000000000 @@ ffff000000000000
==> ffff800000000000
583 vpmsumd
: 0000800000000000 @@
0000800000000000 ==> 0000000040000000
584 0000000000000000 @@
0000000000000000 ==> 0000000000000000
586 vnand
: 0102030405060708 @@
0102030405060708 ==> fefdfcfbfaf9f8f7
587 090a0b0c0e0d0e0f @@
090a0b0c0e0d0e0f
==> f6f5f4f3f1f2f1f0
588 vnand
: 0102030405060708 @@ f1f2f3f4f5f6f7f8
==> fefdfcfbfaf9f8f7
589 090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff
==> f6f5f4f3f1f2f1f0
590 vnand
: 0102030405060708 @@
00007fffffffffff
==> fffffcfbfaf9f8f7
591 090a0b0c0e0d0e0f @@ ffff000000000000
==> f6f5ffffffffffff
592 vnand
: 0102030405060708 @@
0000800000000000 ==> ffffffffffffffff
593 090a0b0c0e0d0e0f @@
0000000000000000 ==> ffffffffffffffff
594 vnand
: f1f2f3f4f5f6f7f8 @@
0102030405060708 ==> fefdfcfbfaf9f8f7
595 f9fafbfcfefdfeff @@
090a0b0c0e0d0e0f
==> f6f5f4f3f1f2f1f0
596 vnand
: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8
==> 0e0d0c0b0a090807
597 f9fafbfcfefdfeff @@ f9fafbfcfefdfeff
==> 0605040301020100
598 vnand
: f1f2f3f4f5f6f7f8 @@
00007fffffffffff
==> ffff8c0b0a090807
599 f9fafbfcfefdfeff @@ ffff000000000000
==> 0605ffffffffffff
600 vnand
: f1f2f3f4f5f6f7f8 @@
0000800000000000 ==> ffff7fffffffffff
601 f9fafbfcfefdfeff @@
0000000000000000 ==> ffffffffffffffff
602 vnand
: 00007fffffffffff @@
0102030405060708 ==> fffffcfbfaf9f8f7
603 ffff000000000000 @@
090a0b0c0e0d0e0f
==> f6f5ffffffffffff
604 vnand
: 00007fffffffffff @@ f1f2f3f4f5f6f7f8
==> ffff8c0b0a090807
605 ffff000000000000 @@ f9fafbfcfefdfeff
==> 0605ffffffffffff
606 vnand
: 00007fffffffffff @@
00007fffffffffff
==> ffff800000000000
607 ffff000000000000 @@ ffff000000000000
==> 0000ffffffffffff
608 vnand
: 00007fffffffffff @@
0000800000000000 ==> ffffffffffffffff
609 ffff000000000000 @@
0000000000000000 ==> ffffffffffffffff
610 vnand
: 0000800000000000 @@
0102030405060708 ==> ffffffffffffffff
611 0000000000000000 @@
090a0b0c0e0d0e0f
==> ffffffffffffffff
612 vnand
: 0000800000000000 @@ f1f2f3f4f5f6f7f8
==> ffff7fffffffffff
613 0000000000000000 @@ f9fafbfcfefdfeff
==> ffffffffffffffff
614 vnand
: 0000800000000000 @@
00007fffffffffff
==> ffffffffffffffff
615 0000000000000000 @@ ffff000000000000
==> ffffffffffffffff
616 vnand
: 0000800000000000 @@
0000800000000000 ==> ffff7fffffffffff
617 0000000000000000 @@
0000000000000000 ==> ffffffffffffffff
619 vorc
: 0102030405060708 @@
0102030405060708 ==> ffffffffffffffff
620 090a0b0c0e0d0e0f @@
090a0b0c0e0d0e0f
==> ffffffffffffffff
621 vorc
: 0102030405060708 @@ f1f2f3f4f5f6f7f8
==> 0f0f0f0f0f0f0f0f
622 090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff
==> 0f0f0f0f0f0f0f0f
623 vorc
: 0102030405060708 @@
00007fffffffffff
==> ffff830405060708
624 090a0b0c0e0d0e0f @@ ffff000000000000
==> 090affffffffffff
625 vorc
: 0102030405060708 @@
0000800000000000 ==> ffff7fffffffffff
626 090a0b0c0e0d0e0f @@
0000000000000000 ==> ffffffffffffffff
627 vorc
: f1f2f3f4f5f6f7f8 @@
0102030405060708 ==> ffffffffffffffff
628 f9fafbfcfefdfeff @@
090a0b0c0e0d0e0f
==> ffffffffffffffff
629 vorc
: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8
==> ffffffffffffffff
630 f9fafbfcfefdfeff @@ f9fafbfcfefdfeff
==> ffffffffffffffff
631 vorc
: f1f2f3f4f5f6f7f8 @@
00007fffffffffff
==> fffff3f4f5f6f7f8
632 f9fafbfcfefdfeff @@ ffff000000000000
==> f9faffffffffffff
633 vorc
: f1f2f3f4f5f6f7f8 @@
0000800000000000 ==> ffffffffffffffff
634 f9fafbfcfefdfeff @@
0000000000000000 ==> ffffffffffffffff
635 vorc
: 00007fffffffffff @@
0102030405060708 ==> fefdffffffffffff
636 ffff000000000000 @@
090a0b0c0e0d0e0f
==> fffff4f3f1f2f1f0
637 vorc
: 00007fffffffffff @@ f1f2f3f4f5f6f7f8
==> 0e0d7fffffffffff
638 ffff000000000000 @@ f9fafbfcfefdfeff
==> ffff040301020100
639 vorc
: 00007fffffffffff @@
00007fffffffffff
==> ffffffffffffffff
640 ffff000000000000 @@ ffff000000000000
==> ffffffffffffffff
641 vorc
: 00007fffffffffff @@
0000800000000000 ==> ffff7fffffffffff
642 ffff000000000000 @@
0000000000000000 ==> ffffffffffffffff
643 vorc
: 0000800000000000 @@
0102030405060708 ==> fefdfcfbfaf9f8f7
644 0000000000000000 @@
090a0b0c0e0d0e0f
==> f6f5f4f3f1f2f1f0
645 vorc
: 0000800000000000 @@ f1f2f3f4f5f6f7f8
==> 0e0d8c0b0a090807
646 0000000000000000 @@ f9fafbfcfefdfeff
==> 0605040301020100
647 vorc
: 0000800000000000 @@
00007fffffffffff
==> ffff800000000000
648 0000000000000000 @@ ffff000000000000
==> 0000ffffffffffff
649 vorc
: 0000800000000000 @@
0000800000000000 ==> ffffffffffffffff
650 0000000000000000 @@
0000000000000000 ==> ffffffffffffffff
652 veqv
: 0102030405060708 @@
0102030405060708 ==> ffffffffffffffff
653 090a0b0c0e0d0e0f @@
090a0b0c0e0d0e0f
==> ffffffffffffffff
654 veqv
: 0102030405060708 @@ f1f2f3f4f5f6f7f8
==> 0f0f0f0f0f0f0f0f
655 090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff
==> 0f0f0f0f0f0f0f0f
656 veqv
: 0102030405060708 @@
00007fffffffffff
==> fefd830405060708
657 090a0b0c0e0d0e0f @@ ffff000000000000
==> 090af4f3f1f2f1f0
658 veqv
: 0102030405060708 @@
0000800000000000 ==> fefd7cfbfaf9f8f7
659 090a0b0c0e0d0e0f @@
0000000000000000 ==> f6f5f4f3f1f2f1f0
660 veqv
: f1f2f3f4f5f6f7f8 @@
0102030405060708 ==> 0f0f0f0f0f0f0f0f
661 f9fafbfcfefdfeff @@
090a0b0c0e0d0e0f
==> 0f0f0f0f0f0f0f0f
662 veqv
: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8
==> ffffffffffffffff
663 f9fafbfcfefdfeff @@ f9fafbfcfefdfeff
==> ffffffffffffffff
664 veqv
: f1f2f3f4f5f6f7f8 @@
00007fffffffffff
==> 0e0d73f4f5f6f7f8
665 f9fafbfcfefdfeff @@ ffff000000000000
==> f9fa040301020100
666 veqv
: f1f2f3f4f5f6f7f8 @@
0000800000000000 ==> 0e0d8c0b0a090807
667 f9fafbfcfefdfeff @@
0000000000000000 ==> 0605040301020100
668 veqv
: 00007fffffffffff @@
0102030405060708 ==> fefd830405060708
669 ffff000000000000 @@
090a0b0c0e0d0e0f
==> 090af4f3f1f2f1f0
670 veqv
: 00007fffffffffff @@ f1f2f3f4f5f6f7f8
==> 0e0d73f4f5f6f7f8
671 ffff000000000000 @@ f9fafbfcfefdfeff
==> f9fa040301020100
672 veqv
: 00007fffffffffff @@
00007fffffffffff
==> ffffffffffffffff
673 ffff000000000000 @@ ffff000000000000
==> ffffffffffffffff
674 veqv
: 00007fffffffffff @@
0000800000000000 ==> ffff000000000000
675 ffff000000000000 @@
0000000000000000 ==> 0000ffffffffffff
676 veqv
: 0000800000000000 @@
0102030405060708 ==> fefd7cfbfaf9f8f7
677 0000000000000000 @@
090a0b0c0e0d0e0f
==> f6f5f4f3f1f2f1f0
678 veqv
: 0000800000000000 @@ f1f2f3f4f5f6f7f8
==> 0e0d8c0b0a090807
679 0000000000000000 @@ f9fafbfcfefdfeff
==> 0605040301020100
680 veqv
: 0000800000000000 @@
00007fffffffffff
==> ffff000000000000
681 0000000000000000 @@ ffff000000000000
==> 0000ffffffffffff
682 veqv
: 0000800000000000 @@
0000800000000000 ==> ffffffffffffffff
683 0000000000000000 @@
0000000000000000 ==> ffffffffffffffff
685 vcipher
: 0102030405060708 @@
0102030405060708 ==> 15abdc2823b74b86
686 090a0b0c0e0d0e0f @@
090a0b0c0e0d0e0f
==> 22037bc3e1e25abc
687 vcipher
: 0102030405060708 @@ f1f2f3f4f5f6f7f8
==> e55b2cd8d347bb76
688 090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff
==> d2f38b331112aa4c
689 vcipher
: 0102030405060708 @@
00007fffffffffff
==> 14a9a0d3d94eb371
690 090a0b0c0e0d0e0f @@ ffff000000000000
==> d4f670cfefef54b3
691 vcipher
: 0102030405060708 @@
0000800000000000 ==> 14a95f2c26b14c8e
692 090a0b0c0e0d0e0f @@
0000000000000000 ==> 2b0970cfefef54b3
693 vcipher
: f1f2f3f4f5f6f7f8 @@
0102030405060708 ==> 8720c49da1d37bca
694 f9fafbfcfefdfeff @@
090a0b0c0e0d0e0f
==> 906d1f673bb72743
695 vcipher
: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8
==> 77d0346d51238b3a
696 f9fafbfcfefdfeff @@ f9fafbfcfefdfeff
==> 609def97cb47d7b3
697 vcipher
: f1f2f3f4f5f6f7f8 @@
00007fffffffffff
==> 8622b8665b2a833d
698 f9fafbfcfefdfeff @@ ffff000000000000
==> 6698146b35ba294c
699 vcipher
: f1f2f3f4f5f6f7f8 @@
0000800000000000 ==> 86224799a4d57cc2
700 f9fafbfcfefdfeff @@
0000000000000000 ==> 9967146b35ba294c
701 vcipher
: 00007fffffffffff @@
0102030405060708 ==> fd8b1512668ffb6b
702 ffff000000000000 @@
090a0b0c0e0d0e0f
==> 44a1fbab18f18719
703 vcipher
: 00007fffffffffff @@ f1f2f3f4f5f6f7f8
==> 0d7be5e2967f0b9b
704 ffff000000000000 @@ f9fafbfcfefdfeff
==> b4510b5be80177e9
705 vcipher
: 00007fffffffffff @@
00007fffffffffff
==> fc8969e99c76039c
706 ffff000000000000 @@ ffff000000000000
==> b254f0a716fc8916
707 vcipher
: 00007fffffffffff @@
0000800000000000 ==> fc8996166389fc63
708 ffff000000000000 @@
0000000000000000 ==> 4dabf0a716fc8916
709 vcipher
: 0000800000000000 @@
0102030405060708 ==> 626160676665646b
710 0000000000000000 @@
090a0b0c0e0d0e0f
==> c4802fc16d6e6d6c
711 vcipher
: 0000800000000000 @@ f1f2f3f4f5f6f7f8
==> 929190979695949b
712 0000000000000000 @@ f9fafbfcfefdfeff
==> 3470df319d9e9d9c
713 vcipher
: 0000800000000000 @@
00007fffffffffff
==> 63631c9c9c9c9c9c
714 0000000000000000 @@ ffff000000000000
==> 327524cd63636363
715 vcipher
: 0000800000000000 @@
0000800000000000 ==> 6363e36363636363
716 0000000000000000 @@
0000000000000000 ==> cd8a24cd63636363
718 vcipherlast
: 0102030405060708 @@
0102030405060708 ==> 7d6d28726e61acfa
719 090a0b0c0e0d0e0f @@
090a0b0c0e0d0e0f
==> 08dd703ca57acbf1
720 vcipherlast
: 0102030405060708 @@ f1f2f3f4f5f6f7f8
==> 8d9dd8829e915c0a
721 090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff
==> f82d80cc558a3b01
722 vcipherlast
: 0102030405060708 @@
00007fffffffffff
==> 7c6f54899498540d
723 090a0b0c0e0d0e0f @@ ffff000000000000
==> fe287b30ab77c5fe
724 vcipherlast
: 0102030405060708 @@
0000800000000000 ==> 7c6fab766b67abf2
725 090a0b0c0e0d0e0f @@
0000000000000000 ==> 01d77b30ab77c5fe
726 vcipherlast
: f1f2f3f4f5f6f7f8 @@
0102030405060708 ==> a0400c12e32bbcb7
727 f9fafbfcfefdfeff @@
090a0b0c0e0d0e0f
==> 905e064db58466bf
728 vcipherlast
: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8
==> 50b0fce213db4c47
729 f9fafbfcfefdfeff @@ f9fafbfcfefdfeff
==> 60aef6bd4574964f
730 vcipherlast
: f1f2f3f4f5f6f7f8 @@
00007fffffffffff
==> a14270e919d24440
731 f9fafbfcfefdfeff @@ ffff000000000000
==> 66ab0d41bb8968b0
732 vcipherlast
: f1f2f3f4f5f6f7f8 @@
0000800000000000 ==> a1428f16e62dbbbf
733 f9fafbfcfefdfeff @@
0000000000000000 ==> 99540d41bb8968b0
734 vcipherlast
: 00007fffffffffff @@
0102030405060708 ==> 621460671310641e
735 ffff000000000000 @@
090a0b0c0e0d0e0f
==> 1f69d91a6d6e186c
736 vcipherlast
: 00007fffffffffff @@ f1f2f3f4f5f6f7f8
==> 92e49097e3e094ee
737 ffff000000000000 @@ f9fafbfcfefdfeff
==> ef9929ea9d9ee89c
738 vcipherlast
: 00007fffffffffff @@
00007fffffffffff
==> 63161c9ce9e99ce9
739 ffff000000000000 @@ ffff000000000000
==> e99cd21663631663
740 vcipherlast
: 00007fffffffffff @@
0000800000000000 ==> 6316e36316166316
741 ffff000000000000 @@
0000000000000000 ==> 1663d21663631663
742 vcipherlast
: 0000800000000000 @@
0102030405060708 ==> 626160676665646b
743 0000000000000000 @@
090a0b0c0e0d0e0f
==> 6a69c66f6d6e6d6c
744 vcipherlast
: 0000800000000000 @@ f1f2f3f4f5f6f7f8
==> 929190979695949b
745 0000000000000000 @@ f9fafbfcfefdfeff
==> 9a99369f9d9e9d9c
746 vcipherlast
: 0000800000000000 @@
00007fffffffffff
==> 63631c9c9c9c9c9c
747 0000000000000000 @@ ffff000000000000
==> 9c9ccd6363636363
748 vcipherlast
: 0000800000000000 @@
0000800000000000 ==> 6363e36363636363
749 0000000000000000 @@
0000000000000000 ==> 6363cd6363636363
751 vncipher
: 0102030405060708 @@
0102030405060708 ==> fe67ce881a80f569
752 090a0b0c0e0d0e0f @@
090a0b0c0e0d0e0f
==> 19db0b0605541639
753 vncipher
: 0102030405060708 @@ f1f2f3f4f5f6f7f8
==> 0e973e78ea700599
754 090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff
==> e92bfbf6f5a4e6c9
755 vncipher
: 0102030405060708 @@
00007fffffffffff
==> de98809d822f77d0
756 090a0b0c0e0d0e0f @@ ffff000000000000
==> 1424f3081f45082e
757 vncipher
: 0102030405060708 @@
0000800000000000 ==> 0facae567dd0882f
758 090a0b0c0e0d0e0f @@
0000000000000000 ==> 3aef223c1f45082e
759 vncipher
: f1f2f3f4f5f6f7f8 @@
0102030405060708 ==> 8b10c2d5607a5569
760 f9fafbfcfefdfeff @@
090a0b0c0e0d0e0f
==> 581826de46277b9c
761 vncipher
: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8
==> 7be03225908aa599
762 f9fafbfcfefdfeff @@ f9fafbfcfefdfeff
==> a8e8d62eb6d78b6c
763 vncipher
: f1f2f3f4f5f6f7f8 @@
00007fffffffffff
==> abef8cc0f8d5d7d0
764 f9fafbfcfefdfeff @@ ffff000000000000
==> 55e7ded05c36658b
765 vncipher
: f1f2f3f4f5f6f7f8 @@
0000800000000000 ==> 7adba20b072a282f
766 f9fafbfcfefdfeff @@
0000000000000000 ==> 7b2c0fe45c36658b
767 vncipher
: 00007fffffffffff @@
0102030405060708 ==> 359e61e1b44edf06
768 ffff000000000000 @@
090a0b0c0e0d0e0f
==> ec338260e6209378
769 vncipher
: 00007fffffffffff @@ f1f2f3f4f5f6f7f8
==> c56e911144be2ff6
770 ffff000000000000 @@ f9fafbfcfefdfeff
==> 1cc3729016d06388
771 vncipher
: 00007fffffffffff @@
00007fffffffffff
==> 15612ff42ce15dbf
772 ffff000000000000 @@ ffff000000000000
==> e1cc7a6efc318d6f
773 vncipher
: 00007fffffffffff @@
0000800000000000 ==> c455013fd31ea240
774 ffff000000000000 @@
0000000000000000 ==> cf07ab5afc318d6f
775 vncipher
: 0000800000000000 @@
0102030405060708 ==> 796e736035022f14
776 0000000000000000 @@
090a0b0c0e0d0e0f
==> cfb37d6d48434c45
777 vncipher
: 0000800000000000 @@ f1f2f3f4f5f6f7f8
==> 899e8390c5f2dfe4
778 0000000000000000 @@ f9fafbfcfefdfeff
==> 3f438d9db8b3bcb5
779 vncipher
: 0000800000000000 @@
00007fffffffffff
==> 59913d75adadadad
780 0000000000000000 @@ ffff000000000000
==> c24c856352525252
781 vncipher
: 0000800000000000 @@
0000800000000000 ==> 88a513be52525252
782 0000000000000000 @@
0000000000000000 ==> ec87545752525252
784 vncipherlast
: 0102030405060708 @@
0102030405060708 ==> 08f19dbb336cd089
785 090a0b0c0e0d0e0f @@
090a0b0c0e0d0e0f
==> 49afdef7d9ae363f
786 vncipherlast
: 0102030405060708 @@ f1f2f3f4f5f6f7f8
==> f8016d4bc39c2079
787 090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff
==> b95f2e07295ec6cf
788 vncipherlast
: 0102030405060708 @@
00007fffffffffff
==> 09f3e140c995287e
789 090a0b0c0e0d0e0f @@ ffff000000000000
==> bf5ad5fbd7a33830
790 vncipherlast
: 0102030405060708 @@
0000800000000000 ==> 09f31ebf366ad781
791 090a0b0c0e0d0e0f @@
0000000000000000 ==> 40a5d5fbd7a33830
792 vncipherlast
: f1f2f3f4f5f6f7f8 @@
0102030405060708 ==> 2a2360e572020b5d
793 f9fafbfcfefdfeff @@
090a0b0c0e0d0e0f
==> 60dc7571021928b5
794 vncipherlast
: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8
==> dad3901582f2fbad
795 f9fafbfcfefdfeff @@ f9fafbfcfefdfeff
==> 902c8581f2e9d845
796 vncipherlast
: f1f2f3f4f5f6f7f8 @@
00007fffffffffff
==> 2b211c1e88fbf3aa
797 f9fafbfcfefdfeff @@ ffff000000000000
==> 96297e7d0c1426ba
798 vncipherlast
: f1f2f3f4f5f6f7f8 @@
0000800000000000 ==> 2b21e3e177040c55
799 f9fafbfcfefdfeff @@
0000000000000000 ==> 69d67e7d0c1426ba
800 vncipherlast
: 00007fffffffffff @@
0102030405060708 ==> 535051797854555a
801 ffff000000000000 @@
090a0b0c0e0d0e0f
==> 7477605e5c707372
802 vncipherlast
: 00007fffffffffff @@ f1f2f3f4f5f6f7f8
==> a3a0a18988a4a5aa
803 ffff000000000000 @@ f9fafbfcfefdfeff
==> 848790aeac808382
804 vncipherlast
: 00007fffffffffff @@
00007fffffffffff
==> 52522d8282adadad
805 ffff000000000000 @@ ffff000000000000
==> 82826b52527d7d7d
806 vncipherlast
: 00007fffffffffff @@
0000800000000000 ==> 5252d27d7d525252
807 ffff000000000000 @@
0000000000000000 ==> 7d7d6b52527d7d7d
808 vncipherlast
: 0000800000000000 @@
0102030405060708 ==> 535051565754555a
809 0000000000000000 @@
090a0b0c0e0d0e0f
==> 5b58315e5c5f5c5d
810 vncipherlast
: 0000800000000000 @@ f1f2f3f4f5f6f7f8
==> a3a0a1a6a7a4a5aa
811 0000000000000000 @@ f9fafbfcfefdfeff
==> aba8c1aeacafacad
812 vncipherlast
: 0000800000000000 @@
00007fffffffffff
==> 52522dadadadadad
813 0000000000000000 @@ ffff000000000000
==> adad3a5252525252
814 vncipherlast
: 0000800000000000 @@
0000800000000000 ==> 5252d25252525252
815 0000000000000000 @@
0000000000000000 ==> 52523a5252525252
817 vmulouw
: 01020304 05060708 090a0b0c
0e0d0e0f
==> 00193c6aa4917040
00c56e34124ba4e1
818 vmulouw
: 01020304 05060708 090a0b0c
0e0d0e0f
==> 04d39d63184f87c0
0dfee4d8b9c6e2f1
819 vmulouw
: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff
==> 04d39d63184f87c0
0dfee4d8b9c6e2f1
820 vmulouw
: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff
==> ec52a4e230d08040 fdfd020406050201
822 vmuluwm
: 01020304 05060708 090a0b0c
0e0d0e0f
==> 14191810a4917040 b56a0890124ba4e1
823 vmuluwm
: 01020304 05060708 090a0b0c
0e0d0e0f
==> 7c8fabd0184f87c0
346fa3d0b9c6e2f1
824 vmuluwm
: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff
==> 7c8fabd0184f87c0
346fa3d0b9c6e2f1
825 vmuluwm
: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff
==> 89c9209030d08040
5838201006050201
827 vmulosw
: 01020304 05060708 090a0b0c
0e0d0e0f
==> 00193c6aa4917040
00c56e34124ba4e1
828 vmulosw
: 01020304 05060708 090a0b0c
0e0d0e0f
==> ffcd965b184f87c0 fff1d6c9b9c6e2f1
829 vmulosw
: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff
==> ffcd965b184f87c0 fff1d6c9b9c6e2f1
830 vmulosw
: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff
==> 0064b4f230d08040
0001040606050201
832 vmuleuw
: 01020304 05060708 090a0b0c
0e0d0e0f
==> 0001040a14191810
0051b52bb56a0890
833 vmuleuw
: 01020304 05060708 090a0b0c
0e0d0e0f
==> 00f3d9b37c8fabd0
08d3a173346fa3d0
834 vmuleuw
: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff
==> 00f3d9b37c8fabd0
08d3a173346fa3d0
835 vmuleuw
: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff
==> e4ab55e389c92090 f41a344158382010
837 vmulesw
: 01020304 05060708 090a0b0c
0e0d0e0f
==> 0001040a14191810
0051b52bb56a0890
838 vmulesw
: 01020304 05060708 090a0b0c
0e0d0e0f
==> fff1d6af7c8fabd0 ffc99667346fa3d0
839 vmulesw
: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff
==> fff1d6af7c8fabd0 ffc99667346fa3d0
840 vmulesw
: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff
==> 00c56dfb89c92090
00243c4958382010
842 vmrgew
: 01020304 05060708 090a0b0c
0e0d0e0f
==> 0102030401020304 090a0b0c090a0b0c
843 vmrgew
: 01020304 05060708 090a0b0c
0e0d0e0f
==> 01020304f1f2f3f4
090a0b0cf9fafbfc
844 vmrgew
: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff
==> f1f2f3f401020304 f9fafbfc090a0b0c
845 vmrgew
: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff
==> f1f2f3f4f1f2f3f4 f9fafbfcf9fafbfc
847 vmrgow
: 01020304 05060708 090a0b0c
0e0d0e0f
==> 0506070805060708 0e0d0e0f0e0d0e0f
848 vmrgow
: 01020304 05060708 090a0b0c
0e0d0e0f
==> 05060708f5f6f7f8
0e0d0e0ffefdfeff
849 vmrgow
: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff
==> f5f6f7f805060708 fefdfeff0e0d0e0f
850 vmrgow
: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff
==> f5f6f7f8f5f6f7f8 fefdfefffefdfeff
852 vpmsumb
: 01020304 05060708 090a0b0c
0e0d0e0f
==> 0005001500050055 0005001500050001
853 vpmsumb
: 01020304 05060708 090a0b0c
0e0d0e0f
==> 011502c501150505
011502c5011500f1
854 vpmsumb
: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff
==> 011502c501150505
011502c5011500f1
855 vpmsumb
: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff
==> 0005001500050055 0005001500050001
857 vpmsumh
: 01020304 05060708 090a0b0c
0e0d0e0f
==> 0004001400040054 0004001400000004
858 vpmsumh
: 01020304 05060708 090a0b0c
0e0d0e0f
==> 01e7c23401e045f4
01e7c2340001e1e4
859 vpmsumh
: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff
==> 01e7c23401e045f4
01e7c2340001e1e4
860 vpmsumh
: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff
==> 0004001400040054 0004001400000004
862 vpmsumw
: 01020304 05060708 090a0b0c
0e0d0e0f
==> 0010001000100050 0015001500110005
863 vpmsumw
: 01020304 05060708 090a0b0c
0e0d0e0f
==> 03d003d784578410
02c5032720e32115
864 vpmsumw
: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff
==> 03d003d784578410
02c5032720e32115
865 vpmsumw
: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff
==> 0010001000100050 0015001500110005
867 vpkudus
: 000000007c118a2b
, 00000000f1112345 @@
000000007c118a2b
, 00000000f1112345
==> 7c118a2b f1112345
7c118a2b f1112345
868 vpkudus
: 000000007c118a2b
, 00000000f1112345 @@
01f2f3f4f5f6f7f8
, f9fafbfcfefdfeff
==> 7c118a2b f1112345 ffffffff ffffffff
869 vpkudus
: 01f2f3f4f5f6f7f8
, f9fafbfcfefdfeff @@
000000007c118a2b
, 00000000f1112345
==> ffffffff ffffffff
7c118a2b f1112345
870 vpkudus
: 01f2f3f4f5f6f7f8
, f9fafbfcfefdfeff @@
01f2f3f4f5f6f7f8
, f9fafbfcfefdfeff
==> ffffffff ffffffff ffffffff ffffffff
872 vpksdus
: 000000007c118a2b
, 00000000f1112345 @@
000000007c118a2b
, 00000000f1112345
==> 7c118a2b f1112345
7c118a2b f1112345
873 vpksdus
: 000000007c118a2b
, 00000000f1112345 @@
01f2f3f4f5f6f7f8
, f9fafbfcfefdfeff
==> 7c118a2b f1112345 ffffffff
00000000
874 vpksdus
: 01f2f3f4f5f6f7f8
, f9fafbfcfefdfeff @@
000000007c118a2b
, 00000000f1112345
==> ffffffff
00000000 7c118a2b f1112345
875 vpksdus
: 01f2f3f4f5f6f7f8
, f9fafbfcfefdfeff @@
01f2f3f4f5f6f7f8
, f9fafbfcfefdfeff
==> ffffffff
00000000 ffffffff
00000000
877 vpksdss
: 000000007c118a2b
, 00000000f1112345 @@
000000007c118a2b
, 00000000f1112345
==> 7c118a2b
7fffffff
7c118a2b
7fffffff
878 vpksdss
: 000000007c118a2b
, 00000000f1112345 @@
01f2f3f4f5f6f7f8
, f9fafbfcfefdfeff
==> 7c118a2b
7fffffff
7fffffff
80000000
879 vpksdss
: 01f2f3f4f5f6f7f8
, f9fafbfcfefdfeff @@
000000007c118a2b
, 00000000f1112345
==> 7fffffff
80000000 7c118a2b
7fffffff
880 vpksdss
: 01f2f3f4f5f6f7f8
, f9fafbfcfefdfeff @@
01f2f3f4f5f6f7f8
, f9fafbfcfefdfeff
==> 7fffffff
80000000 7fffffff
80000000
882 vupkhsw
: 01020304 05060708 090a0b0c
0e0d0e0f
==> 0000000001020304 0000000005060708
883 vupkhsw
: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff
==> fffffffff1f2f3f4 fffffffff5f6f7f8
885 vupklsw
: 01020304 05060708 090a0b0c
0e0d0e0f
==> 00000000090a0b0c
000000000e0d0e0f
886 vupklsw
: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff
==> fffffffff9fafbfc fffffffffefdfeff
888 vpermxor
: 0102030405060708 @@
0102030405060708 @@
0102030405060708 ==> 0302050407060908
889 090a0b0c0e0d0e0f @@
090a0b0c0e0d0e0f @@
090a0b0c0e0d0e0f
==> 0b0a0d0f0f0c0f0e
890 vpermxor
: 0102030405060708 @@
0102030405060708 @@ f1f2f3f4f5f6f7f8
==> 0d0c0b0a09080706
891 090a0b0c0e0d0e0f @@
090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff
==> 0504030101020100
892 vpermxor
: 0102030405060708 @@ f1f2f3f4f5f6f7f8 @@
0102030405060708 ==> f3f2f5f4f7f6f9f8
893 090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff @@
090a0b0c0e0d0e0f
==> fbfafdfffffcfffe
894 vpermxor
: 0102030405060708 @@ f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8
==> fdfcfbfaf9f8f7f6
895 090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff @@ f9fafbfcfefdfeff
==> f5f4f3f1f1f2f1f0
896 vpermxor
: 0102030405060708 @@
00007fffffffffff @@
0102030405060708 ==> 017efefefefefefe
897 090a0b0c0e0d0e0f @@ ffff000000000000 @@
090a0b0c0e0d0e0f
==> fe01010101010101
898 vpermxor
: 0102030405060708 @@
00007fffffffffff @@ f1f2f3f4f5f6f7f8
==> 0f70f0f0f0f0f0f0
899 090a0b0c0e0d0e0f @@ ffff000000000000 @@ f9fafbfcfefdfeff
==> f00f0f0f0f0f0f0f
900 vpermxor
: 0102030405060708 @@
0000800000000000 @@
0102030405060708 ==> 0181010101010101
901 090a0b0c0e0d0e0f @@
0000000000000000 @@
090a0b0c0e0d0e0f
==> 0101010101010101
902 vpermxor
: 0102030405060708 @@
0000800000000000 @@ f1f2f3f4f5f6f7f8
==> 0f8f0f0f0f0f0f0f
903 090a0b0c0e0d0e0f @@
0000000000000000 @@ f9fafbfcfefdfeff
==> 0f0f0f0f0f0f0f0f
904 vpermxor
: f1f2f3f4f5f6f7f8 @@
0102030405060708 @@
0102030405060708 ==> f3f2f5f4f7f6f9f8
905 f9fafbfcfefdfeff @@
090a0b0c0e0d0e0f @@
090a0b0c0e0d0e0f
==> fbfafdfffffcfffe
906 vpermxor
: f1f2f3f4f5f6f7f8 @@
0102030405060708 @@ f1f2f3f4f5f6f7f8
==> fdfcfbfaf9f8f7f6
907 f9fafbfcfefdfeff @@
090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff
==> f5f4f3f1f1f2f1f0
908 vpermxor
: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8 @@
0102030405060708 ==> 0302050407060908
909 f9fafbfcfefdfeff @@ f9fafbfcfefdfeff @@
090a0b0c0e0d0e0f
==> 0b0a0d0f0f0c0f0e
910 vpermxor
: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8
==> 0d0c0b0a09080706
911 f9fafbfcfefdfeff @@ f9fafbfcfefdfeff @@ f9fafbfcfefdfeff
==> 0504030101020100
912 vpermxor
: f1f2f3f4f5f6f7f8 @@
00007fffffffffff @@
0102030405060708 ==> f18e0e0e0e0e0e0e
913 f9fafbfcfefdfeff @@ ffff000000000000 @@
090a0b0c0e0d0e0f
==> 0ef1f1f1f1f1f1f1
914 vpermxor
: f1f2f3f4f5f6f7f8 @@
00007fffffffffff @@ f1f2f3f4f5f6f7f8
==> ff80000000000000
915 f9fafbfcfefdfeff @@ ffff000000000000 @@ f9fafbfcfefdfeff
==> 00ffffffffffffff
916 vpermxor
: f1f2f3f4f5f6f7f8 @@
0000800000000000 @@
0102030405060708 ==> f171f1f1f1f1f1f1
917 f9fafbfcfefdfeff @@
0000000000000000 @@
090a0b0c0e0d0e0f
==> f1f1f1f1f1f1f1f1
918 vpermxor
: f1f2f3f4f5f6f7f8 @@
0000800000000000 @@ f1f2f3f4f5f6f7f8
==> ff7fffffffffffff
919 f9fafbfcfefdfeff @@
0000000000000000 @@ f9fafbfcfefdfeff
==> ffffffffffffffff
920 vpermxor
: 00007fffffffffff @@
0102030405060708 @@
0102030405060708 ==> 0203040506070809
921 ffff000000000000 @@
090a0b0c0e0d0e0f @@
090a0b0c0e0d0e0f
==> 0a0b0c0e0e0d0e0f
922 vpermxor
: 00007fffffffffff @@
0102030405060708 @@ f1f2f3f4f5f6f7f8
==> 0203040506070809
923 ffff000000000000 @@
090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff
==> 0a0b0c0e0e0d0e0f
924 vpermxor
: 00007fffffffffff @@ f1f2f3f4f5f6f7f8 @@
0102030405060708 ==> f2f3f4f5f6f7f8f9
925 ffff000000000000 @@ f9fafbfcfefdfeff @@
090a0b0c0e0d0e0f
==> fafbfcfefefdfeff
926 vpermxor
: 00007fffffffffff @@ f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8
==> f2f3f4f5f6f7f8f9
927 ffff000000000000 @@ f9fafbfcfefdfeff @@ f9fafbfcfefdfeff
==> fafbfcfefefdfeff
928 vpermxor
: 00007fffffffffff @@
00007fffffffffff @@
0102030405060708 ==> 007fffffffffffff
929 ffff000000000000 @@ ffff000000000000 @@
090a0b0c0e0d0e0f
==> ff00000000000000
930 vpermxor
: 00007fffffffffff @@
00007fffffffffff @@ f1f2f3f4f5f6f7f8
==> 007fffffffffffff
931 ffff000000000000 @@ ffff000000000000 @@ f9fafbfcfefdfeff
==> ff00000000000000
932 vpermxor
: 00007fffffffffff @@
0000800000000000 @@
0102030405060708 ==> 0080000000000000
933 ffff000000000000 @@
0000000000000000 @@
090a0b0c0e0d0e0f
==> 0000000000000000
934 vpermxor
: 00007fffffffffff @@
0000800000000000 @@ f1f2f3f4f5f6f7f8
==> 0080000000000000
935 ffff000000000000 @@
0000000000000000 @@ f9fafbfcfefdfeff
==> 0000000000000000
936 vpermxor
: 0000800000000000 @@
0102030405060708 @@
0102030405060708 ==> 0203040506070809
937 0000000000000000 @@
090a0b0c0e0d0e0f @@
090a0b0c0e0d0e0f
==> 0a0b0c0e0e0d0e0f
938 vpermxor
: 0000800000000000 @@
0102030405060708 @@ f1f2f3f4f5f6f7f8
==> 0203040506070809
939 0000000000000000 @@
090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff
==> 0a0b0c0e0e0d0e0f
940 vpermxor
: 0000800000000000 @@ f1f2f3f4f5f6f7f8 @@
0102030405060708 ==> f2f3f4f5f6f7f8f9
941 0000000000000000 @@ f9fafbfcfefdfeff @@
090a0b0c0e0d0e0f
==> fafbfcfefefdfeff
942 vpermxor
: 0000800000000000 @@ f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8
==> f2f3f4f5f6f7f8f9
943 0000000000000000 @@ f9fafbfcfefdfeff @@ f9fafbfcfefdfeff
==> fafbfcfefefdfeff
944 vpermxor
: 0000800000000000 @@
00007fffffffffff @@
0102030405060708 ==> 007fffffffffffff
945 0000000000000000 @@ ffff000000000000 @@
090a0b0c0e0d0e0f
==> ff00000000000000
946 vpermxor
: 0000800000000000 @@
00007fffffffffff @@ f1f2f3f4f5f6f7f8
==> 007fffffffffffff
947 0000000000000000 @@ ffff000000000000 @@ f9fafbfcfefdfeff
==> ff00000000000000
948 vpermxor
: 0000800000000000 @@
0000800000000000 @@
0102030405060708 ==> 0080000000000000
949 0000000000000000 @@
0000000000000000 @@
090a0b0c0e0d0e0f
==> 0000000000000000
950 vpermxor
: 0000800000000000 @@
0000800000000000 @@ f1f2f3f4f5f6f7f8
==> 0080000000000000
951 0000000000000000 @@
0000000000000000 @@ f9fafbfcfefdfeff
==> 0000000000000000
953 vclzb
: 0102030405060708 @@
090a0b0c0e0d0e0f
==> 07060605050505040404040404040404
954 vclzb
: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff
==> 00000000000000000000000000000000
955 vclzb
: 00007fffffffffff @@ ffff000000000000
==> 08080100000000000000080808080808
956 vclzb
: 0000800000000000 @@
0000000000000000 ==> 08080008080808080808080808080808
958 vclzw
: 0102030405060708 @@
090a0b0c0e0d0e0f
==> 00000007000000050000000400000004
959 vclzw
: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff
==> 00000000000000000000000000000000
960 vclzw
: 00007fffffffffff @@ ffff000000000000
==> 00000011000000000000000000000020
961 vclzw
: 0000800000000000 @@
0000000000000000 ==> 00000010000000200000002000000020
963 vclzh
: 0102030405060708 @@
090a0b0c0e0d0e0f
==> 00070006000500050004000400040004
964 vclzh
: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff
==> 00000000000000000000000000000000
965 vclzh
: 00007fffffffffff @@ ffff000000000000
==> 00100001000000000000001000100010
966 vclzh
: 0000800000000000 @@
0000000000000000 ==> 00100000001000100010001000100010
968 vclzd
: 0102030405060708 @@
090a0b0c0e0d0e0f
==> 00000000000000070000000000000004
969 vclzd
: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff
==> 00000000000000000000000000000000
970 vclzd
: 00007fffffffffff @@ ffff000000000000
==> 00000000000000110000000000000000
971 vclzd
: 0000800000000000 @@
0000000000000000 ==> 00000000000000100000000000000040
973 vpopcntb
: 0102030405060708 @@
090a0b0c0e0d0e0f
==> 01010201020203010202030203030304
974 vpopcntb
: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff
==> 05050605060607050606070607070708
975 vpopcntb
: 00007fffffffffff @@ ffff000000000000
==> 00000708080808080808000000000000
976 vpopcntb
: 0000800000000000 @@
0000000000000000 ==> 00000100000000000000000000000000
978 vpopcnth
: 0102030405060708 @@
090a0b0c0e0d0e0f
==> 00020003000400040004000500060007
979 vpopcnth
: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff
==> 000a000b000c000c000c000d000e000f
980 vpopcnth
: 00007fffffffffff @@ ffff000000000000
==> 0000000f001000100010000000000000
981 vpopcnth
: 0000800000000000 @@
0000000000000000 ==> 00000001000000000000000000000000
983 vpopcntw
: 0102030405060708 @@
090a0b0c0e0d0e0f
==> 0000000500000008000000090000000d
984 vpopcntw
: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff
==> 0000001500000018000000190000001d
985 vpopcntw
: 00007fffffffffff @@ ffff000000000000
==> 0000000f000000200000001000000000
986 vpopcntw
: 0000800000000000 @@
0000000000000000 ==> 00000001000000000000000000000000
988 vpopcntd
: 0102030405060708 @@
090a0b0c0e0d0e0f
==> 000000000000000d0000000000000016
989 vpopcntd
: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff
==> 000000000000002d0000000000000036
990 vpopcntd
: 00007fffffffffff @@ ffff000000000000
==> 000000000000002f0000000000000010
991 vpopcntd
: 0000800000000000 @@
0000000000000000 ==> 00000000000000010000000000000000
993 vsbox
: 0102030405060708 @@
090a0b0c0e0d0e0f
==> 7c777bf26b6fc53001672bfeabd7ab76
994 vsbox
: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff
==> a1890dbfe6426841992d0fb0bb54bb16
995 vsbox
: 00007fffffffffff @@ ffff000000000000
==> 6363d216161616161616636363636363
996 vsbox
: 0000800000000000 @@
0000000000000000 ==> 6363cd63636363636363636363636363
998 vgbbd
: 0102030405060708 @@
090a0b0c0e0d0e0f
==> 00000000011e66aa00000000ff1f6ba5
999 vgbbd
: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff
==> ffffffff011e66aaffffffffff1f6ba5
1000 vgbbd
: 00007fffffffffff @@ ffff000000000000
==> 1f3f3f3f3f3f3f3fc0c0c0c0c0c0c0c0
1001 vgbbd
: 0000800000000000 @@
0000000000000000 ==> 20000000000000000000000000000000
1003 vshasigmad
: 0102030405060708 @@
090a0b0c0e0d0e0f
==> 088207870e8c098d ||
8b9e1b9b13149015
1004 vshasigmad
: 0102030405060708 @@
090a0b0c0e0d0e0f
==> c8f5100c7844a0fc || e9b5916d0131c581
1005 vshasigmad
: 0102030405060708 @@
090a0b0c0e0d0e0f
==> 592bfd4c0062b487 || fb4fb96f4cf02615
1006 vshasigmad
: 0102030405060708 @@
090a0b0c0e0d0e0f
==> 1fe0874b08d19458 || fdb8e0eda977beb2
1007 vshasigmad
: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff
==> 81eb6eee67e560e4 ||
02f772f27a7df97c
1008 vshasigmad
: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff
==> 52af4a56221efaa6 ||
73efcb375b6b9fdb
1009 vshasigmad
: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff
==> 8bf92f9ed2b06655 ||
299d6bbd9e22f4c7
1010 vshasigmad
: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff
==> 986700cc8f5613df ||
7a3f676a2ef03935
1011 vshasigmad
: 00007fffffffffff @@ ffff000000000000
==> 7f003f7fffffffff ||
7eff810000000000
1012 vshasigmad
: 00007fffffffffff @@ ffff000000000000
==> fffc1e000ffffff8 || fc07e3ffe0000007
1013 vshasigmad
: 00007fffffffffff @@ ffff000000000000
==> fffffff03e07e0ff ||
0000000fc1f03e00
1014 vshasigmad
: 00007fffffffffff @@ ffff000000000000
==> fffc3ffe1f80003f ||
0003c003c07fff80
1015 vshasigmad
: 0000800000000000 @@
0000000000000000 ==> 0000418000000000 ||
0000000000000000
1016 vshasigmad
: 0000800000000000 @@
0000000000000000 ==> 0004020010000000 ||
0000000000000000
1017 vshasigmad
: 0000800000000000 @@
0000000000000000 ==> 0000000000082100 ||
0000000000000000
1018 vshasigmad
: 0000800000000000 @@
0000000000000000 ==> 0000000220000040 ||
0000000000000000
1020 vshasigmaw
: 0102030405060708 @@
090a0b0c0e0d0e0f
==> 88e344269168cdae ||
9bf057355c5e785e
1021 vshasigmaw
: 0102030405060708 @@
090a0b0c0e0d0e0f
==> 41e2c021c36443a2 ||
44e5c72626c5e584
1022 vshasigmaw
: 0102030405060708 @@
090a0b0c0e0d0e0f
==> 106c98d5211d89e6 ||
720efab787c30fd3
1023 vshasigmaw
: 0102030405060708 @@
090a0b0c0e0d0e0f
==> f185aa4c42173cde || d4a08f69fb5ef21e
1024 vshasigmaw
: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff
==> 4b2087e552ab0e6d ||
583394f69f9dbb9d
1025 vshasigmaw
: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff
==> 27b89a7ba53e19f8 ||
22bf9d7c409fbfde
1026 vshasigmaw
: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff
==> 6814e0ad5965f19e ||
0a7682cfffbb77ab
1027 vshasigmaw
: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff
==> 54200fe9e7b2997b ||
71052acc5efb57bb
1028 vshasigmaw
: 00007fffffffffff @@ ffff000000000000
==> e1ffcf001fffffff || de0021ff00000000
1029 vshasigmaw
: 00007fffffffffff @@ ffff000000000000
==> 3000601f003fffff ||
603f9fc000000000
1030 vshasigmaw
: 00007fffffffffff @@ ffff000000000000
==> 3e07e3fcffffffff || c3f83c0700000000
1031 vshasigmaw
: 00007fffffffffff @@ ffff000000000000
==> 03dffe70ffffffff || fc60039f00000000
1032 vshasigmaw
: 0000800000000000 @@
0000000000000000 ==> 2000110000000000 ||
0000000000000000
1033 vshasigmaw
: 0000800000000000 @@
0000000000000000 ==> 5000002000000000 ||
0000000000000000
1034 vshasigmaw
: 0000800000000000 @@
0000000000000000 ==> 0200200400000000 ||
0000000000000000
1035 vshasigmaw
: 0000800000000000 @@
0000000000000000 ==> 0040021000000000 ||
0000000000000000
1037 bcdadd.
: 8045090189321003 ||
001122334556677d @@
8045090189321003 ||
001122334556677d
==> 6090180378642006 ||
002244669113354d
1038 bcdadd.
: 8045090189321003 ||
001122334556677d @@
8045090189321003 ||
001122334556677d
==> 6090180378642006 ||
002244669113354d
1039 bcdadd.
: 8045090189321003 ||
001122334556677d @@
0000107600000001 ||
319293945142031a
==> 8044982589321001 ||
681828389414646d
1040 bcdadd.
: 8045090189321003 ||
001122334556677d @@
0000107600000001 ||
319293945142031a
==> 8044982589321001 ||
681828389414646d
1041 bcdadd.
: 8045090189321003 ||
001122334556677d @@
0000000000000000 ||
000000000000000a
==> 8045090189321003 ||
001122334556677d
1042 bcdadd.
: 8045090189321003 ||
001122334556677d @@
0000000000000000 ||
000000000000000a
==> 8045090189321003 ||
001122334556677d
1043 bcdadd.
: 8045090189321003 ||
001122334556677d @@
0000000000000000 ||
0000000000000000 ==> 8045090189321003 ||
001122334556677d
1044 bcdadd.
: 8045090189321003 ||
001122334556677d @@
0000000000000000 ||
0000000000000000 ==> 8045090189321003 ||
001122334556677d
1045 bcdadd.
: 0000107600000001 ||
319293945142031a @@
8045090189321003 ||
001122334556677d
==> 8044982589321001 ||
681828389414646d
1046 bcdadd.
: 0000107600000001 ||
319293945142031a @@
8045090189321003 ||
001122334556677d
==> 8044982589321001 ||
681828389414646d
1047 bcdadd.
: 0000107600000001 ||
319293945142031a @@
0000107600000001 ||
319293945142031a
==> 0000215200000002 ||
638587890284062c
1048 bcdadd.
: 0000107600000001 ||
319293945142031a @@
0000107600000001 ||
319293945142031a
==> 0000215200000002 ||
638587890284062f
1049 bcdadd.
: 0000107600000001 ||
319293945142031a @@
0000000000000000 ||
000000000000000a
==> 0000107600000001 ||
319293945142031c
1050 bcdadd.
: 0000107600000001 ||
319293945142031a @@
0000000000000000 ||
000000000000000a
==> 0000107600000001 ||
319293945142031f
1051 bcdadd.
: 0000107600000001 ||
319293945142031a @@
0000000000000000 ||
0000000000000000 ==> 0000107600000001 ||
319293945142031c
1052 bcdadd.
: 0000107600000001 ||
319293945142031a @@
0000000000000000 ||
0000000000000000 ==> 0000107600000001 ||
319293945142031f
1053 bcdadd.
: 0000000000000000 ||
000000000000000a @@
8045090189321003 ||
001122334556677d
==> 8045090189321003 ||
001122334556677d
1054 bcdadd.
: 0000000000000000 ||
000000000000000a @@
8045090189321003 ||
001122334556677d
==> 8045090189321003 ||
001122334556677d
1055 bcdadd.
: 0000000000000000 ||
000000000000000a @@
0000107600000001 ||
319293945142031a
==> 0000107600000001 ||
319293945142031c
1056 bcdadd.
: 0000000000000000 ||
000000000000000a @@
0000107600000001 ||
319293945142031a
==> 0000107600000001 ||
319293945142031f
1057 bcdadd.
: 0000000000000000 ||
000000000000000a @@
0000000000000000 ||
000000000000000a
==> 0000000000000000 ||
000000000000000c
1058 bcdadd.
: 0000000000000000 ||
000000000000000a @@
0000000000000000 ||
000000000000000a
==> 0000000000000000 ||
000000000000000f
1059 bcdadd.
: 0000000000000000 ||
000000000000000a @@
0000000000000000 ||
0000000000000000 ==> 0000000000000000 ||
000000000000000c
1060 bcdadd.
: 0000000000000000 ||
000000000000000a @@
0000000000000000 ||
0000000000000000 ==> 0000000000000000 ||
000000000000000f
1061 bcdadd.
: 0000000000000000 ||
0000000000000000 @@
8045090189321003 ||
001122334556677d
==> 8045090189321003 ||
001122334556677d
1062 bcdadd.
: 0000000000000000 ||
0000000000000000 @@
8045090189321003 ||
001122334556677d
==> 8045090189321003 ||
001122334556677d
1063 bcdadd.
: 0000000000000000 ||
0000000000000000 @@
0000107600000001 ||
319293945142031a
==> 0000107600000001 ||
319293945142031c
1064 bcdadd.
: 0000000000000000 ||
0000000000000000 @@
0000107600000001 ||
319293945142031a
==> 0000107600000001 ||
319293945142031f
1065 bcdadd.
: 0000000000000000 ||
0000000000000000 @@
0000000000000000 ||
000000000000000a
==> 0000000000000000 ||
000000000000000c
1066 bcdadd.
: 0000000000000000 ||
0000000000000000 @@
0000000000000000 ||
000000000000000a
==> 0000000000000000 ||
000000000000000f
1067 bcdadd.
: 0000000000000000 ||
0000000000000000 @@
0000000000000000 ||
0000000000000000 ==> 0000000000000000 ||
000000000000000c
1068 bcdadd.
: 0000000000000000 ||
0000000000000000 @@
0000000000000000 ||
0000000000000000 ==> 0000000000000000 ||
000000000000000f
1070 bcdsub.
: 8045090189321003 ||
001122334556677d @@
8045090189321003 ||
001122334556677d
==> 0000000000000000 ||
000000000000000c
1071 bcdsub.
: 8045090189321003 ||
001122334556677d @@
8045090189321003 ||
001122334556677d
==> 0000000000000000 ||
000000000000000f
1072 bcdsub.
: 8045090189321003 ||
001122334556677d @@
0000107600000001 ||
319293945142031a
==> 8045197789321004 ||
320416279698708d
1073 bcdsub.
: 8045090189321003 ||
001122334556677d @@
0000107600000001 ||
319293945142031a
==> 8045197789321004 ||
320416279698708d
1074 bcdsub.
: 8045090189321003 ||
001122334556677d @@
0000000000000000 ||
000000000000000a
==> 8045090189321003 ||
001122334556677d
1075 bcdsub.
: 8045090189321003 ||
001122334556677d @@
0000000000000000 ||
000000000000000a
==> 8045090189321003 ||
001122334556677d
1076 bcdsub.
: 8045090189321003 ||
001122334556677d @@
0000000000000000 ||
0000000000000000 ==> 8045090189321003 ||
001122334556677d
1077 bcdsub.
: 8045090189321003 ||
001122334556677d @@
0000000000000000 ||
0000000000000000 ==> 8045090189321003 ||
001122334556677d
1078 bcdsub.
: 0000107600000001 ||
319293945142031a @@
8045090189321003 ||
001122334556677d
==> 8045197789321004 ||
320416279698708c
1079 bcdsub.
: 0000107600000001 ||
319293945142031a @@
8045090189321003 ||
001122334556677d
==> 8045197789321004 ||
320416279698708f
1080 bcdsub.
: 0000107600000001 ||
319293945142031a @@
0000107600000001 ||
319293945142031a
==> 0000000000000000 ||
000000000000000c
1081 bcdsub.
: 0000107600000001 ||
319293945142031a @@
0000107600000001 ||
319293945142031a
==> 0000000000000000 ||
000000000000000f
1082 bcdsub.
: 0000107600000001 ||
319293945142031a @@
0000000000000000 ||
000000000000000a
==> 0000107600000001 ||
319293945142031c
1083 bcdsub.
: 0000107600000001 ||
319293945142031a @@
0000000000000000 ||
000000000000000a
==> 0000107600000001 ||
319293945142031f
1084 bcdsub.
: 0000107600000001 ||
319293945142031a @@
0000000000000000 ||
0000000000000000 ==> 0000107600000001 ||
319293945142031c
1085 bcdsub.
: 0000107600000001 ||
319293945142031a @@
0000000000000000 ||
0000000000000000 ==> 0000107600000001 ||
319293945142031f
1086 bcdsub.
: 0000000000000000 ||
000000000000000a @@
8045090189321003 ||
001122334556677d
==> 8045090189321003 ||
001122334556677c
1087 bcdsub.
: 0000000000000000 ||
000000000000000a @@
8045090189321003 ||
001122334556677d
==> 8045090189321003 ||
001122334556677f
1088 bcdsub.
: 0000000000000000 ||
000000000000000a @@
0000107600000001 ||
319293945142031a
==> 0000107600000001 ||
319293945142031d
1089 bcdsub.
: 0000000000000000 ||
000000000000000a @@
0000107600000001 ||
319293945142031a
==> 0000107600000001 ||
319293945142031d
1090 bcdsub.
: 0000000000000000 ||
000000000000000a @@
0000000000000000 ||
000000000000000a
==> 0000000000000000 ||
000000000000000c
1091 bcdsub.
: 0000000000000000 ||
000000000000000a @@
0000000000000000 ||
000000000000000a
==> 0000000000000000 ||
000000000000000f
1092 bcdsub.
: 0000000000000000 ||
000000000000000a @@
0000000000000000 ||
0000000000000000 ==> 0000000000000000 ||
000000000000000c
1093 bcdsub.
: 0000000000000000 ||
000000000000000a @@
0000000000000000 ||
0000000000000000 ==> 0000000000000000 ||
000000000000000f
1094 bcdsub.
: 0000000000000000 ||
0000000000000000 @@
8045090189321003 ||
001122334556677d
==> 8045090189321003 ||
001122334556677c
1095 bcdsub.
: 0000000000000000 ||
0000000000000000 @@
8045090189321003 ||
001122334556677d
==> 8045090189321003 ||
001122334556677f
1096 bcdsub.
: 0000000000000000 ||
0000000000000000 @@
0000107600000001 ||
319293945142031a
==> 0000107600000001 ||
319293945142031d
1097 bcdsub.
: 0000000000000000 ||
0000000000000000 @@
0000107600000001 ||
319293945142031a
==> 0000107600000001 ||
319293945142031d
1098 bcdsub.
: 0000000000000000 ||
0000000000000000 @@
0000000000000000 ||
000000000000000a
==> 0000000000000000 ||
000000000000000c
1099 bcdsub.
: 0000000000000000 ||
0000000000000000 @@
0000000000000000 ||
000000000000000a
==> 0000000000000000 ||
000000000000000f
1100 bcdsub.
: 0000000000000000 ||
0000000000000000 @@
0000000000000000 ||
0000000000000000 ==> 0000000000000000 ||
000000000000000c
1101 bcdsub.
: 0000000000000000 ||
0000000000000000 @@
0000000000000000 ||
0000000000000000 ==> 0000000000000000 ||
000000000000000f
1103 vaddcuq
: 0102030405060708090a0b0c0e0d0e0f @@
0102030405060708090a0b0c0e0d0e0f
==> 00000000000000000000000000000000
1104 vaddcuq
: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff
==> 00000000000000000000000000000000
1105 vaddcuq
: 0102030405060708090a0b0c0e0d0e0f @@
00007fffffffffffffff000000000000
==> 00000000000000000000000000000000
1106 vaddcuq
: 0102030405060708090a0b0c0e0d0e0f @@
00008000000000000000000000000000 ==> 00000000000000000000000000000000
1107 vaddcuq
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@
0102030405060708090a0b0c0e0d0e0f
==> 00000000000000000000000000000000
1108 vaddcuq
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff
==> 00000000000000000000000000000001
1109 vaddcuq
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@
00007fffffffffffffff000000000000
==> 00000000000000000000000000000000
1110 vaddcuq
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@
00008000000000000000000000000000 ==> 00000000000000000000000000000000
1111 vaddcuq
: 00007fffffffffffffff000000000000 @@
0102030405060708090a0b0c0e0d0e0f
==> 00000000000000000000000000000000
1112 vaddcuq
: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff
==> 00000000000000000000000000000000
1113 vaddcuq
: 00007fffffffffffffff000000000000 @@
00007fffffffffffffff000000000000
==> 00000000000000000000000000000000
1114 vaddcuq
: 00007fffffffffffffff000000000000 @@
00008000000000000000000000000000 ==> 00000000000000000000000000000000
1115 vaddcuq
: 00008000000000000000000000000000 @@
0102030405060708090a0b0c0e0d0e0f
==> 00000000000000000000000000000000
1116 vaddcuq
: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff
==> 00000000000000000000000000000000
1117 vaddcuq
: 00008000000000000000000000000000 @@
00007fffffffffffffff000000000000
==> 00000000000000000000000000000000
1118 vaddcuq
: 00008000000000000000000000000000 @@
00008000000000000000000000000000 ==> 00000000000000000000000000000000
1120 vadduqm
: 0102030405060708090a0b0c0e0d0e0f @@
0102030405060708090a0b0c0e0d0e0f
==> 020406080a0c0e10121416181c1a1c1e
1121 vadduqm
: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff
==> f2f4f6f8fafcff01030507090d0b0d0e
1122 vadduqm
: 0102030405060708090a0b0c0e0d0e0f @@
00007fffffffffffffff000000000000
==> 010283040506070809090b0c0e0d0e0f
1123 vadduqm
: 0102030405060708090a0b0c0e0d0e0f @@
00008000000000000000000000000000 ==> 0102830405060708090a0b0c0e0d0e0f
1124 vadduqm
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@
0102030405060708090a0b0c0e0d0e0f
==> f2f4f6f8fafcff01030507090d0b0d0e
1125 vadduqm
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff
==> e3e5e7e9ebedeff1f3f5f7f9fdfbfdfe
1126 vadduqm
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@
00007fffffffffffffff000000000000
==> f1f373f4f5f6f7f8f9f9fbfcfefdfeff
1127 vadduqm
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@
00008000000000000000000000000000 ==> f1f373f4f5f6f7f8f9fafbfcfefdfeff
1128 vadduqm
: 00007fffffffffffffff000000000000 @@
0102030405060708090a0b0c0e0d0e0f
==> 010283040506070809090b0c0e0d0e0f
1129 vadduqm
: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff
==> f1f373f4f5f6f7f8f9f9fbfcfefdfeff
1130 vadduqm
: 00007fffffffffffffff000000000000 @@
00007fffffffffffffff000000000000
==> 0000fffffffffffffffe000000000000
1131 vadduqm
: 00007fffffffffffffff000000000000 @@
00008000000000000000000000000000 ==> 0000ffffffffffffffff000000000000
1132 vadduqm
: 00008000000000000000000000000000 @@
0102030405060708090a0b0c0e0d0e0f
==> 0102830405060708090a0b0c0e0d0e0f
1133 vadduqm
: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff
==> f1f373f4f5f6f7f8f9fafbfcfefdfeff
1134 vadduqm
: 00008000000000000000000000000000 @@
00007fffffffffffffff000000000000
==> 0000ffffffffffffffff000000000000
1135 vadduqm
: 00008000000000000000000000000000 @@
00008000000000000000000000000000 ==> 00010000000000000000000000000000
1137 vsubcuq
: 0102030405060708090a0b0c0e0d0e0f @@
0102030405060708090a0b0c0e0d0e0f
==> 00000000000000000000000000000001
1138 vsubcuq
: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff
==> 00000000000000000000000000000000
1139 vsubcuq
: 0102030405060708090a0b0c0e0d0e0f @@
00007fffffffffffffff000000000000
==> 00000000000000000000000000000001
1140 vsubcuq
: 0102030405060708090a0b0c0e0d0e0f @@
00008000000000000000000000000000 ==> 00000000000000000000000000000001
1141 vsubcuq
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@
0102030405060708090a0b0c0e0d0e0f
==> 00000000000000000000000000000001
1142 vsubcuq
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff
==> 00000000000000000000000000000001
1143 vsubcuq
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@
00007fffffffffffffff000000000000
==> 00000000000000000000000000000001
1144 vsubcuq
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@
00008000000000000000000000000000 ==> 00000000000000000000000000000001
1145 vsubcuq
: 00007fffffffffffffff000000000000 @@
0102030405060708090a0b0c0e0d0e0f
==> 00000000000000000000000000000000
1146 vsubcuq
: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff
==> 00000000000000000000000000000000
1147 vsubcuq
: 00007fffffffffffffff000000000000 @@
00007fffffffffffffff000000000000
==> 00000000000000000000000000000001
1148 vsubcuq
: 00007fffffffffffffff000000000000 @@
00008000000000000000000000000000 ==> 00000000000000000000000000000000
1149 vsubcuq
: 00008000000000000000000000000000 @@
0102030405060708090a0b0c0e0d0e0f
==> 00000000000000000000000000000000
1150 vsubcuq
: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff
==> 00000000000000000000000000000000
1151 vsubcuq
: 00008000000000000000000000000000 @@
00007fffffffffffffff000000000000
==> 00000000000000000000000000000001
1152 vsubcuq
: 00008000000000000000000000000000 @@
00008000000000000000000000000000 ==> 00000000000000000000000000000001
1154 vsubuqm
: 0102030405060708090a0b0c0e0d0e0f @@
0102030405060708090a0b0c0e0d0e0f
==> 00000000000000000000000000000000
1155 vsubuqm
: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff
==> 0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f10
1156 vsubuqm
: 0102030405060708090a0b0c0e0d0e0f @@
00007fffffffffffffff000000000000
==> 0101830405060708090b0b0c0e0d0e0f
1157 vsubuqm
: 0102030405060708090a0b0c0e0d0e0f @@
00008000000000000000000000000000 ==> 0101830405060708090a0b0c0e0d0e0f
1158 vsubuqm
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@
0102030405060708090a0b0c0e0d0e0f
==> f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0
1159 vsubuqm
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff
==> 00000000000000000000000000000000
1160 vsubuqm
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@
00007fffffffffffffff000000000000
==> f1f273f4f5f6f7f8f9fbfbfcfefdfeff
1161 vsubuqm
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@
00008000000000000000000000000000 ==> f1f273f4f5f6f7f8f9fafbfcfefdfeff
1162 vsubuqm
: 00007fffffffffffffff000000000000 @@
0102030405060708090a0b0c0e0d0e0f
==> fefe7cfbfaf9f8f7f6f4f4f3f1f2f1f1
1163 vsubuqm
: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff
==> 0e0d8c0b0a0908070604040301020101
1164 vsubuqm
: 00007fffffffffffffff000000000000 @@
00007fffffffffffffff000000000000
==> 00000000000000000000000000000000
1165 vsubuqm
: 00007fffffffffffffff000000000000 @@
00008000000000000000000000000000 ==> ffffffffffffffffffff000000000000
1166 vsubuqm
: 00008000000000000000000000000000 @@
0102030405060708090a0b0c0e0d0e0f
==> fefe7cfbfaf9f8f7f6f5f4f3f1f2f1f1
1167 vsubuqm
: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff
==> 0e0d8c0b0a0908070605040301020101
1168 vsubuqm
: 00008000000000000000000000000000 @@
00007fffffffffffffff000000000000
==> 00000000000000000001000000000000
1169 vsubuqm
: 00008000000000000000000000000000 @@
00008000000000000000000000000000 ==> 00000000000000000000000000000000
1171 vbpermq
: 0102030405060708090a0b0c0e0d0e0f @@
0102030405060708090a0b0c0e0d0e0f
==> 000000000000020a0000000000000000
1172 vbpermq
: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff
==> 00000000000000000000000000000000
1173 vbpermq
: 0102030405060708090a0b0c0e0d0e0f @@
00007fffffffffffffff000000000000
==> 00000000000020000000000000000000
1174 vbpermq
: 0102030405060708090a0b0c0e0d0e0f @@
00008000000000000000000000000000 ==> 00000000000000000000000000000000
1175 vbpermq
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@
0102030405060708090a0b0c0e0d0e0f
==> 000000000000e3ea0000000000000000
1176 vbpermq
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff
==> 00000000000000000000000000000000
1177 vbpermq
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@
00007fffffffffffffff000000000000
==> 000000000000e03f0000000000000000
1178 vbpermq
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@
00008000000000000000000000000000 ==> 000000000000dfff0000000000000000
1179 vbpermq
: 00007fffffffffffffff000000000000 @@
0102030405060708090a0b0c0e0d0e0f
==> 00000000000000000000000000000000
1180 vbpermq
: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff
==> 00000000000000000000000000000000
1181 vbpermq
: 00007fffffffffffffff000000000000 @@
00007fffffffffffffff000000000000
==> 00000000000000000000000000000000
1182 vbpermq
: 00007fffffffffffffff000000000000 @@
00008000000000000000000000000000 ==> 00000000000000000000000000000000
1183 vbpermq
: 00008000000000000000000000000000 @@
0102030405060708090a0b0c0e0d0e0f
==> 00000000000000000000000000000000
1184 vbpermq
: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff
==> 00000000000000000000000000000000
1185 vbpermq
: 00008000000000000000000000000000 @@
00007fffffffffffffff000000000000
==> 00000000000000000000000000000000
1186 vbpermq
: 00008000000000000000000000000000 @@
00008000000000000000000000000000 ==> 00000000000000000000000000000000
1188 vaddecuq
: 0102030405060708090a0b0c0e0d0e0f @@
0102030405060708090a0b0c0e0d0e0f @@ f000000000000000
==> 00000000000000000000000000000000
1189 vaddecuq
: 0102030405060708090a0b0c0e0d0e0f @@
0102030405060708090a0b0c0e0d0e0f @@ f000000000000001
==> 00000000000000000000000000000000
1190 vaddecuq
: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000
==> 00000000000000000000000000000000
1191 vaddecuq
: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001
==> 00000000000000000000000000000000
1192 vaddecuq
: 0102030405060708090a0b0c0e0d0e0f @@
00007fffffffffffffff000000000000 @@ f000000000000000
==> 00000000000000000000000000000000
1193 vaddecuq
: 0102030405060708090a0b0c0e0d0e0f @@
00007fffffffffffffff000000000000 @@ f000000000000001
==> 00000000000000000000000000000000
1194 vaddecuq
: 0102030405060708090a0b0c0e0d0e0f @@
00008000000000000000000000000000 @@ f000000000000000
==> 00000000000000000000000000000000
1195 vaddecuq
: 0102030405060708090a0b0c0e0d0e0f @@
00008000000000000000000000000000 @@ f000000000000001
==> 00000000000000000000000000000000
1196 vaddecuq
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@
0102030405060708090a0b0c0e0d0e0f @@ f000000000000000
==> 00000000000000000000000000000000
1197 vaddecuq
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@
0102030405060708090a0b0c0e0d0e0f @@ f000000000000001
==> 00000000000000000000000000000000
1198 vaddecuq
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000
==> 00000000000000000000000000000001
1199 vaddecuq
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001
==> 00000000000000000000000000000001
1200 vaddecuq
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@
00007fffffffffffffff000000000000 @@ f000000000000000
==> 00000000000000000000000000000000
1201 vaddecuq
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@
00007fffffffffffffff000000000000 @@ f000000000000001
==> 00000000000000000000000000000000
1202 vaddecuq
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@
00008000000000000000000000000000 @@ f000000000000000
==> 00000000000000000000000000000000
1203 vaddecuq
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@
00008000000000000000000000000000 @@ f000000000000001
==> 00000000000000000000000000000000
1204 vaddecuq
: 00007fffffffffffffff000000000000 @@
0102030405060708090a0b0c0e0d0e0f @@ f000000000000000
==> 00000000000000000000000000000000
1205 vaddecuq
: 00007fffffffffffffff000000000000 @@
0102030405060708090a0b0c0e0d0e0f @@ f000000000000001
==> 00000000000000000000000000000000
1206 vaddecuq
: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000
==> 00000000000000000000000000000000
1207 vaddecuq
: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001
==> 00000000000000000000000000000000
1208 vaddecuq
: 00007fffffffffffffff000000000000 @@
00007fffffffffffffff000000000000 @@ f000000000000000
==> 00000000000000000000000000000000
1209 vaddecuq
: 00007fffffffffffffff000000000000 @@
00007fffffffffffffff000000000000 @@ f000000000000001
==> 00000000000000000000000000000000
1210 vaddecuq
: 00007fffffffffffffff000000000000 @@
00008000000000000000000000000000 @@ f000000000000000
==> 00000000000000000000000000000000
1211 vaddecuq
: 00007fffffffffffffff000000000000 @@
00008000000000000000000000000000 @@ f000000000000001
==> 00000000000000000000000000000000
1212 vaddecuq
: 00008000000000000000000000000000 @@
0102030405060708090a0b0c0e0d0e0f @@ f000000000000000
==> 00000000000000000000000000000000
1213 vaddecuq
: 00008000000000000000000000000000 @@
0102030405060708090a0b0c0e0d0e0f @@ f000000000000001
==> 00000000000000000000000000000000
1214 vaddecuq
: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000
==> 00000000000000000000000000000000
1215 vaddecuq
: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001
==> 00000000000000000000000000000000
1216 vaddecuq
: 00008000000000000000000000000000 @@
00007fffffffffffffff000000000000 @@ f000000000000000
==> 00000000000000000000000000000000
1217 vaddecuq
: 00008000000000000000000000000000 @@
00007fffffffffffffff000000000000 @@ f000000000000001
==> 00000000000000000000000000000000
1218 vaddecuq
: 00008000000000000000000000000000 @@
00008000000000000000000000000000 @@ f000000000000000
==> 00000000000000000000000000000000
1219 vaddecuq
: 00008000000000000000000000000000 @@
00008000000000000000000000000000 @@ f000000000000001
==> 00000000000000000000000000000000
1221 vaddeuqm
: 0102030405060708090a0b0c0e0d0e0f @@
0102030405060708090a0b0c0e0d0e0f @@ f000000000000000
==> 020406080a0c0e10121416181c1a1c1e
1222 vaddeuqm
: 0102030405060708090a0b0c0e0d0e0f @@
0102030405060708090a0b0c0e0d0e0f @@ f000000000000001
==> 020406080a0c0e10121416181c1a1c1f
1223 vaddeuqm
: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000
==> f2f4f6f8fafcff01030507090d0b0d0e
1224 vaddeuqm
: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001
==> f2f4f6f8fafcff01030507090d0b0d0f
1225 vaddeuqm
: 0102030405060708090a0b0c0e0d0e0f @@
00007fffffffffffffff000000000000 @@ f000000000000000
==> 010283040506070809090b0c0e0d0e0f
1226 vaddeuqm
: 0102030405060708090a0b0c0e0d0e0f @@
00007fffffffffffffff000000000000 @@ f000000000000001
==> 010283040506070809090b0c0e0d0e10
1227 vaddeuqm
: 0102030405060708090a0b0c0e0d0e0f @@
00008000000000000000000000000000 @@ f000000000000000
==> 0102830405060708090a0b0c0e0d0e0f
1228 vaddeuqm
: 0102030405060708090a0b0c0e0d0e0f @@
00008000000000000000000000000000 @@ f000000000000001
==> 0102830405060708090a0b0c0e0d0e10
1229 vaddeuqm
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@
0102030405060708090a0b0c0e0d0e0f @@ f000000000000000
==> f2f4f6f8fafcff01030507090d0b0d0e
1230 vaddeuqm
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@
0102030405060708090a0b0c0e0d0e0f @@ f000000000000001
==> f2f4f6f8fafcff01030507090d0b0d0f
1231 vaddeuqm
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000
==> e3e5e7e9ebedeff1f3f5f7f9fdfbfdfe
1232 vaddeuqm
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001
==> e3e5e7e9ebedeff1f3f5f7f9fdfbfdff
1233 vaddeuqm
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@
00007fffffffffffffff000000000000 @@ f000000000000000
==> f1f373f4f5f6f7f8f9f9fbfcfefdfeff
1234 vaddeuqm
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@
00007fffffffffffffff000000000000 @@ f000000000000001
==> f1f373f4f5f6f7f8f9f9fbfcfefdff00
1235 vaddeuqm
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@
00008000000000000000000000000000 @@ f000000000000000
==> f1f373f4f5f6f7f8f9fafbfcfefdfeff
1236 vaddeuqm
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@
00008000000000000000000000000000 @@ f000000000000001
==> f1f373f4f5f6f7f8f9fafbfcfefdff00
1237 vaddeuqm
: 00007fffffffffffffff000000000000 @@
0102030405060708090a0b0c0e0d0e0f @@ f000000000000000
==> 010283040506070809090b0c0e0d0e0f
1238 vaddeuqm
: 00007fffffffffffffff000000000000 @@
0102030405060708090a0b0c0e0d0e0f @@ f000000000000001
==> 010283040506070809090b0c0e0d0e10
1239 vaddeuqm
: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000
==> f1f373f4f5f6f7f8f9f9fbfcfefdfeff
1240 vaddeuqm
: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001
==> f1f373f4f5f6f7f8f9f9fbfcfefdff00
1241 vaddeuqm
: 00007fffffffffffffff000000000000 @@
00007fffffffffffffff000000000000 @@ f000000000000000
==> 0000fffffffffffffffe000000000000
1242 vaddeuqm
: 00007fffffffffffffff000000000000 @@
00007fffffffffffffff000000000000 @@ f000000000000001
==> 0000fffffffffffffffe000000000001
1243 vaddeuqm
: 00007fffffffffffffff000000000000 @@
00008000000000000000000000000000 @@ f000000000000000
==> 0000ffffffffffffffff000000000000
1244 vaddeuqm
: 00007fffffffffffffff000000000000 @@
00008000000000000000000000000000 @@ f000000000000001
==> 0000ffffffffffffffff000000000001
1245 vaddeuqm
: 00008000000000000000000000000000 @@
0102030405060708090a0b0c0e0d0e0f @@ f000000000000000
==> 0102830405060708090a0b0c0e0d0e0f
1246 vaddeuqm
: 00008000000000000000000000000000 @@
0102030405060708090a0b0c0e0d0e0f @@ f000000000000001
==> 0102830405060708090a0b0c0e0d0e10
1247 vaddeuqm
: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000
==> f1f373f4f5f6f7f8f9fafbfcfefdfeff
1248 vaddeuqm
: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001
==> f1f373f4f5f6f7f8f9fafbfcfefdff00
1249 vaddeuqm
: 00008000000000000000000000000000 @@
00007fffffffffffffff000000000000 @@ f000000000000000
==> 0000ffffffffffffffff000000000000
1250 vaddeuqm
: 00008000000000000000000000000000 @@
00007fffffffffffffff000000000000 @@ f000000000000001
==> 0000ffffffffffffffff000000000001
1251 vaddeuqm
: 00008000000000000000000000000000 @@
00008000000000000000000000000000 @@ f000000000000000
==> 00010000000000000000000000000000
1252 vaddeuqm
: 00008000000000000000000000000000 @@
00008000000000000000000000000000 @@ f000000000000001
==> 00010000000000000000000000000001
1254 vsubecuq
: 0102030405060708090a0b0c0e0d0e0f @@
0102030405060708090a0b0c0e0d0e0f @@ f000000000000000
==> 00000000000000000000000000000000
1255 vsubecuq
: 0102030405060708090a0b0c0e0d0e0f @@
0102030405060708090a0b0c0e0d0e0f @@ f000000000000001
==> 00000000000000000000000000000001
1256 vsubecuq
: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000
==> 00000000000000000000000000000000
1257 vsubecuq
: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001
==> 00000000000000000000000000000000
1258 vsubecuq
: 0102030405060708090a0b0c0e0d0e0f @@
00007fffffffffffffff000000000000 @@ f000000000000000
==> 00000000000000000000000000000001
1259 vsubecuq
: 0102030405060708090a0b0c0e0d0e0f @@
00007fffffffffffffff000000000000 @@ f000000000000001
==> 00000000000000000000000000000001
1260 vsubecuq
: 0102030405060708090a0b0c0e0d0e0f @@
00008000000000000000000000000000 @@ f000000000000000
==> 00000000000000000000000000000001
1261 vsubecuq
: 0102030405060708090a0b0c0e0d0e0f @@
00008000000000000000000000000000 @@ f000000000000001
==> 00000000000000000000000000000001
1262 vsubecuq
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@
0102030405060708090a0b0c0e0d0e0f @@ f000000000000000
==> 00000000000000000000000000000001
1263 vsubecuq
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@
0102030405060708090a0b0c0e0d0e0f @@ f000000000000001
==> 00000000000000000000000000000001
1264 vsubecuq
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000
==> 00000000000000000000000000000000
1265 vsubecuq
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001
==> 00000000000000000000000000000001
1266 vsubecuq
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@
00007fffffffffffffff000000000000 @@ f000000000000000
==> 00000000000000000000000000000001
1267 vsubecuq
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@
00007fffffffffffffff000000000000 @@ f000000000000001
==> 00000000000000000000000000000001
1268 vsubecuq
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@
00008000000000000000000000000000 @@ f000000000000000
==> 00000000000000000000000000000001
1269 vsubecuq
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@
00008000000000000000000000000000 @@ f000000000000001
==> 00000000000000000000000000000001
1270 vsubecuq
: 00007fffffffffffffff000000000000 @@
0102030405060708090a0b0c0e0d0e0f @@ f000000000000000
==> 00000000000000000000000000000000
1271 vsubecuq
: 00007fffffffffffffff000000000000 @@
0102030405060708090a0b0c0e0d0e0f @@ f000000000000001
==> 00000000000000000000000000000000
1272 vsubecuq
: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000
==> 00000000000000000000000000000000
1273 vsubecuq
: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001
==> 00000000000000000000000000000000
1274 vsubecuq
: 00007fffffffffffffff000000000000 @@
00007fffffffffffffff000000000000 @@ f000000000000000
==> 00000000000000000000000000000000
1275 vsubecuq
: 00007fffffffffffffff000000000000 @@
00007fffffffffffffff000000000000 @@ f000000000000001
==> 00000000000000000000000000000001
1276 vsubecuq
: 00007fffffffffffffff000000000000 @@
00008000000000000000000000000000 @@ f000000000000000
==> 00000000000000000000000000000000
1277 vsubecuq
: 00007fffffffffffffff000000000000 @@
00008000000000000000000000000000 @@ f000000000000001
==> 00000000000000000000000000000000
1278 vsubecuq
: 00008000000000000000000000000000 @@
0102030405060708090a0b0c0e0d0e0f @@ f000000000000000
==> 00000000000000000000000000000000
1279 vsubecuq
: 00008000000000000000000000000000 @@
0102030405060708090a0b0c0e0d0e0f @@ f000000000000001
==> 00000000000000000000000000000000
1280 vsubecuq
: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000
==> 00000000000000000000000000000000
1281 vsubecuq
: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001
==> 00000000000000000000000000000000
1282 vsubecuq
: 00008000000000000000000000000000 @@
00007fffffffffffffff000000000000 @@ f000000000000000
==> 00000000000000000000000000000001
1283 vsubecuq
: 00008000000000000000000000000000 @@
00007fffffffffffffff000000000000 @@ f000000000000001
==> 00000000000000000000000000000001
1284 vsubecuq
: 00008000000000000000000000000000 @@
00008000000000000000000000000000 @@ f000000000000000
==> 00000000000000000000000000000000
1285 vsubecuq
: 00008000000000000000000000000000 @@
00008000000000000000000000000000 @@ f000000000000001
==> 00000000000000000000000000000001
1287 vsubeuqm
: 0102030405060708090a0b0c0e0d0e0f @@
0102030405060708090a0b0c0e0d0e0f @@ f000000000000000
==> ffffffffffffffffffffffffffffffff
1288 vsubeuqm
: 0102030405060708090a0b0c0e0d0e0f @@
0102030405060708090a0b0c0e0d0e0f @@ f000000000000001
==> 00000000000000000000000000000000
1289 vsubeuqm
: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000
==> 0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f
1290 vsubeuqm
: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001
==> 0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f10
1291 vsubeuqm
: 0102030405060708090a0b0c0e0d0e0f @@
00007fffffffffffffff000000000000 @@ f000000000000000
==> 0101830405060708090b0b0c0e0d0e0e
1292 vsubeuqm
: 0102030405060708090a0b0c0e0d0e0f @@
00007fffffffffffffff000000000000 @@ f000000000000001
==> 0101830405060708090b0b0c0e0d0e0f
1293 vsubeuqm
: 0102030405060708090a0b0c0e0d0e0f @@
00008000000000000000000000000000 @@ f000000000000000
==> 0101830405060708090a0b0c0e0d0e0e
1294 vsubeuqm
: 0102030405060708090a0b0c0e0d0e0f @@
00008000000000000000000000000000 @@ f000000000000001
==> 0101830405060708090a0b0c0e0d0e0f
1295 vsubeuqm
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@
0102030405060708090a0b0c0e0d0e0f @@ f000000000000000
==> f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0ef
1296 vsubeuqm
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@
0102030405060708090a0b0c0e0d0e0f @@ f000000000000001
==> f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0
1297 vsubeuqm
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000
==> ffffffffffffffffffffffffffffffff
1298 vsubeuqm
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001
==> 00000000000000000000000000000000
1299 vsubeuqm
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@
00007fffffffffffffff000000000000 @@ f000000000000000
==> f1f273f4f5f6f7f8f9fbfbfcfefdfefe
1300 vsubeuqm
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@
00007fffffffffffffff000000000000 @@ f000000000000001
==> f1f273f4f5f6f7f8f9fbfbfcfefdfeff
1301 vsubeuqm
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@
00008000000000000000000000000000 @@ f000000000000000
==> f1f273f4f5f6f7f8f9fafbfcfefdfefe
1302 vsubeuqm
: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@
00008000000000000000000000000000 @@ f000000000000001
==> f1f273f4f5f6f7f8f9fafbfcfefdfeff
1303 vsubeuqm
: 00007fffffffffffffff000000000000 @@
0102030405060708090a0b0c0e0d0e0f @@ f000000000000000
==> fefe7cfbfaf9f8f7f6f4f4f3f1f2f1f0
1304 vsubeuqm
: 00007fffffffffffffff000000000000 @@
0102030405060708090a0b0c0e0d0e0f @@ f000000000000001
==> fefe7cfbfaf9f8f7f6f4f4f3f1f2f1f1
1305 vsubeuqm
: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000
==> 0e0d8c0b0a0908070604040301020100
1306 vsubeuqm
: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001
==> 0e0d8c0b0a0908070604040301020101
1307 vsubeuqm
: 00007fffffffffffffff000000000000 @@
00007fffffffffffffff000000000000 @@ f000000000000000
==> ffffffffffffffffffffffffffffffff
1308 vsubeuqm
: 00007fffffffffffffff000000000000 @@
00007fffffffffffffff000000000000 @@ f000000000000001
==> 00000000000000000000000000000000
1309 vsubeuqm
: 00007fffffffffffffff000000000000 @@
00008000000000000000000000000000 @@ f000000000000000
==> fffffffffffffffffffeffffffffffff
1310 vsubeuqm
: 00007fffffffffffffff000000000000 @@
00008000000000000000000000000000 @@ f000000000000001
==> ffffffffffffffffffff000000000000
1311 vsubeuqm
: 00008000000000000000000000000000 @@
0102030405060708090a0b0c0e0d0e0f @@ f000000000000000
==> fefe7cfbfaf9f8f7f6f5f4f3f1f2f1f0
1312 vsubeuqm
: 00008000000000000000000000000000 @@
0102030405060708090a0b0c0e0d0e0f @@ f000000000000001
==> fefe7cfbfaf9f8f7f6f5f4f3f1f2f1f1
1313 vsubeuqm
: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000
==> 0e0d8c0b0a0908070605040301020100
1314 vsubeuqm
: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001
==> 0e0d8c0b0a0908070605040301020101
1315 vsubeuqm
: 00008000000000000000000000000000 @@
00007fffffffffffffff000000000000 @@ f000000000000000
==> 00000000000000000000ffffffffffff
1316 vsubeuqm
: 00008000000000000000000000000000 @@
00007fffffffffffffff000000000000 @@ f000000000000001
==> 00000000000000000001000000000000
1317 vsubeuqm
: 00008000000000000000000000000000 @@
00008000000000000000000000000000 @@ f000000000000000
==> ffffffffffffffffffffffffffffffff
1318 vsubeuqm
: 00008000000000000000000000000000 @@
00008000000000000000000000000000 @@ f000000000000001
==> 00000000000000000000000000000000
1320 All done. Tested
70 different instructions
