blob: 1a01786726c747c7446d99d8f1407dc8bf28b750 [file] [log] [blame]
armvixl0f35e362016-05-10 13:57:58 +01001# w18: 0x00000060 -> 0x~~~~~~~~~~~~~~~~
2# x19: 0x0000000000000086 -> 0x~~~~~~~~~~~~~~~~
3# w20<7:0>: 0x04 -> 0x~~~~~~~~~~~~~~~~
4# w21<7:0>: 0x03 -> 0x~~~~~~~~~~~~~~~~
5# w22<15:0>: 0x0004 -> 0x~~~~~~~~~~~~~~~~
6# w23<15:0>: 0x0100 -> 0x~~~~~~~~~~~~~~~~
7# w14: 0x00000000 -> 0x~~~~~~~~~~~~~~~~
8# w15: 0x00000082 -> 0x~~~~~~~~~~~~~~~~
9# x16: 0x000000000000000c -> 0x~~~~~~~~~~~~~~~~
10# x17: 0x00000000ffffff7b -> 0x~~~~~~~~~~~~~~~~
11# w18: 0x00000060 -> 0x~~~~~~~~~~~~~~~~
12# w19: 0x00000086 -> 0x~~~~~~~~~~~~~~~~
13# w18: 0x00000060 -> 0x~~~~~~~~~~~~~~~~
14# w19: 0x00000086 -> 0x~~~~~~~~~~~~~~~~
15# w18: 0x00000060 -> 0x~~~~~~~~~~~~~~~~
16# w19: 0x00000086 -> 0x~~~~~~~~~~~~~~~~
17# x20: 0x0000000000000304 -> 0x~~~~~~~~~~~~~~~~
18# x21: 0x0000000000000403 -> 0x~~~~~~~~~~~~~~~~
19# x20: 0x0000000000000304 -> 0x~~~~~~~~~~~~~~~~
20# x21: 0x0000000000000403 -> 0x~~~~~~~~~~~~~~~~
21# x20: 0x0000000000000304 -> 0x~~~~~~~~~~~~~~~~
22# x21: 0x0000000000000403 -> 0x~~~~~~~~~~~~~~~~
23# w22: 0x00000004 -> 0x~~~~~~~~~~~~~~~~
24# w22: 0x00000004 -> 0x~~~~~~~~~~~~~~~~
25# w22: 0x00000004 -> 0x~~~~~~~~~~~~~~~~
26# x23: 0x0000000003020100 -> 0x~~~~~~~~~~~~~~~~
27# x23: 0x0000000003020100 -> 0x~~~~~~~~~~~~~~~~
28# x23: 0x0000000003020100 -> 0x~~~~~~~~~~~~~~~~
29# w24<7:0>: 0x01 -> 0x~~~~~~~~~~~~~~~~
30# w24<7:0>: 0x01 -> 0x~~~~~~~~~~~~~~~~
31# w24<7:0>: 0x01 -> 0x~~~~~~~~~~~~~~~~
32# w25<7:0>: 0x00 -> 0x~~~~~~~~~~~~~~~~
33# w25<7:0>: 0x00 -> 0x~~~~~~~~~~~~~~~~
34# w25<7:0>: 0x00 -> 0x~~~~~~~~~~~~~~~~
35# w26<15:0>: 0xfcff -> 0x~~~~~~~~~~~~~~~~
36# w26<15:0>: 0xfcff -> 0x~~~~~~~~~~~~~~~~
37# w26<15:0>: 0xfcff -> 0x~~~~~~~~~~~~~~~~
38# w27<15:0>: 0x0001 -> 0x~~~~~~~~~~~~~~~~
39# w27<15:0>: 0x0001 -> 0x~~~~~~~~~~~~~~~~
40# w27<15:0>: 0x0001 -> 0x~~~~~~~~~~~~~~~~
41# w28: 0xfffeffff -> 0x~~~~~~~~~~~~~~~~
42# x29: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
43# w2<7:0>: 0x01 -> 0x~~~~~~~~~~~~~~~~
44# w3<7:0>: 0xff -> 0x~~~~~~~~~~~~~~~~
45# w4<15:0>: 0x0001 -> 0x~~~~~~~~~~~~~~~~
46# w5<15:0>: 0x8500 -> 0x~~~~~~~~~~~~~~~~
TatWai Chong72d2e562019-05-16 11:22:22 -070047# v18: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
48# v19: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
49# v20: 0x00000000000000000000000000000020 -> 0x~~~~~~~~~~~~~~~~
50# v21: 0x000000000000000000000000ffff8007 -> 0x~~~~~~~~~~~~~~~~
51# v10: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
52# v11: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
53# v12: 0x000000000000000000000000ffffffff -> 0x~~~~~~~~~~~~~~~~
54# v13: 0x0000000000000000ffffffffffffffe1 -> 0x~~~~~~~~~~~~~~~~
55# v27: 0x00000000000000fe0000000000000000 -> 0x~~~~~~~~~~~~~~~~
56# v28: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
57# v29: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
58# v30: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
59# v16: 0x00000000000000000000000000007ff9 -> 0x~~~~~~~~~~~~~~~~
60# v17: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
61# v18: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
62# v21: 0x000000000000000000000000ffff8007 -> 0x~~~~~~~~~~~~~~~~
63# v22: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
64# v23: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
65# v9: 0x00000000000000000000000000000040 -> 0x~~~~~~~~~~~~~~~~
66# v10: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
67# v11: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
68# v7: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
69# v8: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
70# v26: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
71# v27: 0x00000000000000fe0000000000000000 -> 0x~~~~~~~~~~~~~~~~
72# v22: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
73# v23: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
74# v23: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
75# v28: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
76# v2: 0x00000000000000000000000000000040 -> 0x~~~~~~~~~~~~~~~~
77# v29: 0x0000000000000000 (d29: 0.00000) -> 0x~~~~~~~~~~~~~~~~
78# v30: 0x0000000000000000 (d30: 0.00000) -> 0x~~~~~~~~~~~~~~~~
79# v31: 0x0000000000000000 (d31: 0.00000) -> 0x~~~~~~~~~~~~~~~~
80# v0: 0x0000000000000000 (d0: 0.00000) -> 0x~~~~~~~~~~~~~~~~
81# v12: 0x00000000ffffffff (d12: 2.12200e-314) -> 0x~~~~~~~~~~~~~~~~
82# v13: 0xffffffffffffffe1 (d13: nan) -> 0x~~~~~~~~~~~~~~~~
83# v14: 0x0000000000000001 (d14: 4.94066e-324) -> 0x~~~~~~~~~~~~~~~~
84# v15: 0x0000000000000000 (d15: 0.00000) -> 0x~~~~~~~~~~~~~~~~
85# v30: 0x0000000000000000 (d30: 0.00000) -> 0x~~~~~~~~~~~~~~~~
86# v31: 0x0000000000000000 (d31: 0.00000) -> 0x~~~~~~~~~~~~~~~~
87# v0: 0x0000000000000000 (d0: 0.00000) -> 0x~~~~~~~~~~~~~~~~
88# v1: 0x0000000000000000 (d1: 0.00000) -> 0x~~~~~~~~~~~~~~~~
89# v16: 0x0000000000007ff9 (d16: 1.61861e-319) -> 0x~~~~~~~~~~~~~~~~
90# v17: 0x0000000000000000 (d17: 0.00000) -> 0x~~~~~~~~~~~~~~~~
91# v18: 0x0000000000000000 (d18: 0.00000) -> 0x~~~~~~~~~~~~~~~~
92# v3: 0x0000000000000000 (d3: 0.00000) -> 0x~~~~~~~~~~~~~~~~
93# v4: 0x0000000000000000 (d4: 0.00000) -> 0x~~~~~~~~~~~~~~~~
94# v5: 0x0000000000000000 (d5: 0.00000) -> 0x~~~~~~~~~~~~~~~~
95# v14: 0x0000000000000001 (d14: 4.94066e-324) -> 0x~~~~~~~~~~~~~~~~
96# v15: 0x0000000000000000 (d15: 0.00000) -> 0x~~~~~~~~~~~~~~~~
97# v16: 0x0000000000007ff9 (d16: 1.61861e-319) -> 0x~~~~~~~~~~~~~~~~
98# v18: 0x0000000000000000 (d18: 0.00000) -> 0x~~~~~~~~~~~~~~~~
99# v19: 0x0000000000000000 (d19: 0.00000) -> 0x~~~~~~~~~~~~~~~~
100# v5: 0x0000000000000000 (d5: 0.00000) -> 0x~~~~~~~~~~~~~~~~
101# v6: 0x0000000000000000 (d6: 0.00000) -> 0x~~~~~~~~~~~~~~~~
102# v2: 0x0000000000000040 (d2: 3.16202e-322) -> 0x~~~~~~~~~~~~~~~~
103# v3: 0x0000000000000000 (d3: 0.00000) -> 0x~~~~~~~~~~~~~~~~
104# v4: 0x0000000000000000 (d4: 0.00000) -> 0x~~~~~~~~~~~~~~~~
105# v27: 0x0000000000000000 (d27: 0.00000) -> 0x~~~~~~~~~~~~~~~~
106# v23: 0x0000000000000000 (d23: 0.00000) -> 0x~~~~~~~~~~~~~~~~
107# v2: 0x00000000000000000000000000000040 (0.00000, 3.16202e-322) -> 0x~~~~~~~~~~~~~~~~
108# v3: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
109# v4: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
110# v5: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
111# v22: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
112# v23: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
113# v24: 0x00000000000000000000000000007ff9 (0.00000, 1.61861e-319) -> 0x~~~~~~~~~~~~~~~~
114# v25: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
115# v28: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
116# v29: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
117# v30: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
118# v31: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
119# v17: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
120# v18: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
121# v19: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
122# v16: 0x00000000000000000000000000007ff9 (0.00000, 1.61861e-319) -> 0x~~~~~~~~~~~~~~~~
123# v17: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
124# v18: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
125# v22: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
126# v23: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
127# v24: 0x00000000000000000000000000007ff9 (0.00000, 1.61861e-319) -> 0x~~~~~~~~~~~~~~~~
128# v21: 0x000000000000000000000000ffff8007 (0.00000, 2.12198e-314) -> 0x~~~~~~~~~~~~~~~~
129# v22: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
130# v6: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
131# v7: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
132# v27: 0x00000000000000fe0000000000000000 (1.25493e-321, 0.00000) -> 0x~~~~~~~~~~~~~~~~
133# v28: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
134# v21: 0x000000000000000000000000ffff8007 (0.00000, 2.12198e-314) -> 0x~~~~~~~~~~~~~~~~
135# v29: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
136# v20: 0x00000000000000000000000000000020 (0.00000, 1.58101e-322) -> 0x~~~~~~~~~~~~~~~~
137# v22: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
138# v23: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
139# v24: 0x0000000000007ff9 (..., 0.00000, 4.59079e-41) -> 0x~~~~~~~~~~~~~~~~
140# v25: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
141# v8: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
142# v9: 0x0000000000000040 (..., 0.00000, 8.96831e-44) -> 0x~~~~~~~~~~~~~~~~
143# v10: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
144# v11: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
145# v15: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
146# v16: 0x0000000000007ff9 (..., 0.00000, 4.59079e-41) -> 0x~~~~~~~~~~~~~~~~
147# v17: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
148# v18: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
149# v2: 0x0000000000000040 (..., 0.00000, 8.96831e-44) -> 0x~~~~~~~~~~~~~~~~
150# v3: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
151# v4: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
152# v23: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
153# v24: 0x0000000000007ff9 (..., 0.00000, 4.59079e-41) -> 0x~~~~~~~~~~~~~~~~
154# v25: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
155# v7: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
156# v8: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
157# v9: 0x0000000000000040 (..., 0.00000, 8.96831e-44) -> 0x~~~~~~~~~~~~~~~~
158# v28: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
159# v29: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
160# v29: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
161# v30: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
162# v23: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
163# v24: 0x0000000000007ff9 (..., 0.00000, 4.59079e-41) -> 0x~~~~~~~~~~~~~~~~
164# v6: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
165# v11: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
166# v17: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
167# v6: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
168# v7: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
169# v8: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
170# v9: 0x0000000000000040 -> 0x~~~~~~~~~~~~~~~~
171# v9: 0x0000000000000040 -> 0x~~~~~~~~~~~~~~~~
172# v10: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
173# v11: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
174# v12: 0x00000000ffffffff -> 0x~~~~~~~~~~~~~~~~
175# v25: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
176# v26: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
177# v27: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
178# v28: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
179# v11: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
180# v12: 0x00000000ffffffff -> 0x~~~~~~~~~~~~~~~~
181# v13: 0xffffffffffffffe1 -> 0x~~~~~~~~~~~~~~~~
182# v10: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
183# v11: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
184# v12: 0x00000000ffffffff -> 0x~~~~~~~~~~~~~~~~
185# v12: 0x00000000ffffffff -> 0x~~~~~~~~~~~~~~~~
186# v13: 0xffffffffffffffe1 -> 0x~~~~~~~~~~~~~~~~
187# v14: 0x0000000000000001 -> 0x~~~~~~~~~~~~~~~~
188# v13: 0xffffffffffffffe1 -> 0x~~~~~~~~~~~~~~~~
189# v14: 0x0000000000000001 -> 0x~~~~~~~~~~~~~~~~
190# v15: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
191# v16: 0x0000000000007ff9 -> 0x~~~~~~~~~~~~~~~~
192# v21: 0x00000000ffff8007 -> 0x~~~~~~~~~~~~~~~~
193# v22: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
194# v16: 0x0000000000007ff9 -> 0x~~~~~~~~~~~~~~~~
195# v8: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
196# v30: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
197# v3: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
198# v4: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
199# v5: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
200# v6: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
201# v25: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
202# v26: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
203# v27: 0x00000000000000fe0000000000000000 (0.00000, 3.55930e-43, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
204# v28: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
205# v5: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
206# v6: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
207# v7: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
208# v8: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
209# v31: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
210# v0: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
211# v1: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
212# v30: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
213# v31: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
214# v0: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
215# v6: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
216# v7: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
217# v8: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
218# v17: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
219# v18: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
220# v31: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
221# v0: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
222# v1: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
223# v2: 0x00000000000000000000000000000040 (0.00000, 0.00000, 0.00000, 8.96831e-44) -> 0x~~~~~~~~~~~~~~~~
224# v26: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
225# v15: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
226# v13: 0x0000000000000000ffffffffffffffe1 (0.00000, 0.00000, nan, nan) -> 0x~~~~~~~~~~~~~~~~
227# v26: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
228# v27: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
229# v28: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
230# v29: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
231# v10: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
232# v11: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
233# v12: 0x00000000ffffffff -> 0x~~~~~~~~~~~~~~~~
234# v13: 0xffffffffffffffe1 -> 0x~~~~~~~~~~~~~~~~
235# v15: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
236# v16: 0x0000000000007ff9 -> 0x~~~~~~~~~~~~~~~~
237# v17: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
238# v18: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
239# v19: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
240# v20: 0x0000000000000020 -> 0x~~~~~~~~~~~~~~~~
241# v21: 0x00000000ffff8007 -> 0x~~~~~~~~~~~~~~~~
242# v31: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
243# v0: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
244# v1: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
245# v9: 0x0000000000000040 -> 0x~~~~~~~~~~~~~~~~
246# v10: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
247# v11: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
248# v12: 0x00000000ffffffff -> 0x~~~~~~~~~~~~~~~~
249# v13: 0xffffffffffffffe1 -> 0x~~~~~~~~~~~~~~~~
250# v2: 0x0000000000000040 -> 0x~~~~~~~~~~~~~~~~
251# v3: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
252# v0: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
253# v1: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
254# v16: 0x0000000000007ff9 -> 0x~~~~~~~~~~~~~~~~
255# v25: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
256# v31: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
257# v4: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
258# v5: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
259# v6: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
260# v7: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
261# v3: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
262# v4: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
263# v5: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
264# v6: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
265# v26: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
266# v27: 0x00000000000000fe0000000000000000 -> 0x~~~~~~~~~~~~~~~~
267# v28: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
268# v29: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
269# v10: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
270# v11: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
271# v12: 0x000000000000000000000000ffffffff -> 0x~~~~~~~~~~~~~~~~
272# v21: 0x000000000000000000000000ffff8007 -> 0x~~~~~~~~~~~~~~~~
273# v22: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
274# v23: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
275# v18: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
276# v19: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
277# v20: 0x00000000000000000000000000000020 -> 0x~~~~~~~~~~~~~~~~
278# v26: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
279# v27: 0x00000000000000fe0000000000000000 -> 0x~~~~~~~~~~~~~~~~
280# v24: 0x00000000000000000000000000007ff9 -> 0x~~~~~~~~~~~~~~~~
281# v25: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
282# v17: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
283# v18: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
284# v29: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
285# v19: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
286# v23: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
287# v19: 0x00 -> 0x~~~~~~~~~~~~~~~~
288# v25: 0x00 -> 0x~~~~~~~~~~~~~~~~
289# v4: 0x00 -> 0x~~~~~~~~~~~~~~~~
290# v13: 0xffffffffffffffe1 (d13: nan) -> 0x~~~~~~~~~~~~~~~~
291# v30: 0x0000000000000000 (d30: 0.00000) -> 0x~~~~~~~~~~~~~~~~
292# v3: 0x0000000000000000 (d3: 0.00000) -> 0x~~~~~~~~~~~~~~~~
293# v22: 0x0000 -> 0x~~~~~~~~~~~~~~~~
294# v31: 0x0000 -> 0x~~~~~~~~~~~~~~~~
295# v23: 0x0000 -> 0x~~~~~~~~~~~~~~~~
296# v0: 0x00000000 (s0: 0.00000) -> 0x~~~~~~~~~~~~~~~~
297# v11: 0x00000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
298# v24: 0x00000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
299# v7: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
300# v8: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
301# v5: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
302# v6: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
303# v18: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
304# v19: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
305# v14: 0x00000000000000000000000000000001 (0.00000, 4.94066e-324) -> 0x~~~~~~~~~~~~~~~~
306# v15: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
307# v7: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
308# v8: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
309# v24: 0x00000000000000000000000000007ff9 (0.00000, 1.61861e-319) -> 0x~~~~~~~~~~~~~~~~
310# v25: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
311# v22: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
312# v23: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
313# v4: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
314# v5: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
315# v2: 0x0000000000000040 (..., 0.00000, 8.96831e-44) -> 0x~~~~~~~~~~~~~~~~
316# v3: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
317# v23: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
318# v24: 0x0000000000007ff9 -> 0x~~~~~~~~~~~~~~~~
319# v8: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
320# v9: 0x0000000000000040 -> 0x~~~~~~~~~~~~~~~~
321# v7: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
322# v8: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
323# v17: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
324# v18: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
325# v6: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
326# v7: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
327# v26: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
328# v27: 0x00000000000000fe0000000000000000 (0.00000, 3.55930e-43, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
329# v31: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
330# v0: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
331# v0: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
332# v1: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
333# v21: 0x00000000ffff8007 -> 0x~~~~~~~~~~~~~~~~
334# v22: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
335# v7: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
336# v8: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
337# v22: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
338# v23: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
339# v4: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
340# v5: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
341# v8: 0x00 -> 0x~~~~~~~~~~~~~~~~
342# v9: 0x00 -> 0x~~~~~~~~~~~~~~~~
343# v8: 0x00 -> 0x~~~~~~~~~~~~~~~~
344# v9: 0x00 -> 0x~~~~~~~~~~~~~~~~
345# v7: 0x00 -> 0x~~~~~~~~~~~~~~~~
346# v8: 0x00 -> 0x~~~~~~~~~~~~~~~~
347# v25: 0x0000000000000000 (d25: 0.00000) -> 0x~~~~~~~~~~~~~~~~
348# v26: 0x0000000000000000 (d26: 0.00000) -> 0x~~~~~~~~~~~~~~~~
349# v17: 0x0000000000000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
350# v18: 0x0000000000000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
351# v3: 0x0000000000000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
352# v4: 0x0000000000000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
353# v4: 0x0000 -> 0x~~~~~~~~~~~~~~~~
354# v5: 0x0000 -> 0x~~~~~~~~~~~~~~~~
355# v0: 0x0000 -> 0x~~~~~~~~~~~~~~~~
356# v1: 0x0000 -> 0x~~~~~~~~~~~~~~~~
357# v22: 0x0000 -> 0x~~~~~~~~~~~~~~~~
358# v23: 0x0000 -> 0x~~~~~~~~~~~~~~~~
359# v14: 0x00000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
360# v15: 0x00000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
361# v23: 0x00000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
362# v24: 0x00000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
363# v0: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
364# v1: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
365# v26: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
366# v27: 0x00000000000000fe0000000000000000 -> 0x~~~~~~~~~~~~~~~~
367# v28: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
368# v21: 0x000000000000000000000000ffff8007 -> 0x~~~~~~~~~~~~~~~~
369# v22: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
370# v23: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
371# v24: 0x00000000000000000000000000007ff9 -> 0x~~~~~~~~~~~~~~~~
372# v25: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
373# v26: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
374# v17: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
375# v18: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
376# v19: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
377# v23: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
378# v24: 0x00000000000000000000000000007ff9 (0.00000, 1.61861e-319) -> 0x~~~~~~~~~~~~~~~~
379# v25: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
380# v10: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
381# v11: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
382# v12: 0x000000000000000000000000ffffffff (0.00000, 2.12200e-314) -> 0x~~~~~~~~~~~~~~~~
383# v9: 0x0000000000000040 (..., 0.00000, 8.96831e-44) -> 0x~~~~~~~~~~~~~~~~
384# v10: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
385# v11: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
386# v13: 0xffffffffffffffe1 (..., nan, nan) -> 0x~~~~~~~~~~~~~~~~
387# v14: 0x0000000000000001 (..., 0.00000, 1.40130e-45) -> 0x~~~~~~~~~~~~~~~~
388# v15: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
389# v22: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
390# v23: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
391# v24: 0x0000000000007ff9 (..., 0.00000, 4.59079e-41) -> 0x~~~~~~~~~~~~~~~~
392# v31: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
393# v0: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
394# v1: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
395# v8: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
396# v9: 0x0000000000000040 -> 0x~~~~~~~~~~~~~~~~
397# v10: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
398# v19: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
399# v20: 0x0000000000000020 -> 0x~~~~~~~~~~~~~~~~
400# v21: 0x00000000ffff8007 -> 0x~~~~~~~~~~~~~~~~
401# v18: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
402# v19: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
403# v20: 0x00000000000000000000000000000020 (0.00000, 0.00000, 0.00000, 4.48416e-44) -> 0x~~~~~~~~~~~~~~~~
404# v25: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
405# v26: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
406# v27: 0x00000000000000fe0000000000000000 (0.00000, 3.55930e-43, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
407# v16: 0x00000000000000000000000000007ff9 (0.00000, 0.00000, 0.00000, 4.59079e-41) -> 0x~~~~~~~~~~~~~~~~
408# v17: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
409# v18: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
410# v27: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
411# v28: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
412# v29: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
413# v29: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
414# v30: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
415# v31: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
416# v30: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
417# v31: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
418# v0: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
419# v8: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
420# v9: 0x00000000000000000000000000000040 -> 0x~~~~~~~~~~~~~~~~
421# v10: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
422# v18: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
423# v19: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
424# v20: 0x00000000000000000000000000000020 -> 0x~~~~~~~~~~~~~~~~
425# v18: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
426# v19: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
427# v20: 0x00000000000000000000000000000020 -> 0x~~~~~~~~~~~~~~~~
428# v31: 0x00 -> 0x~~~~~~~~~~~~~~~~
429# v0: 0x00 -> 0x~~~~~~~~~~~~~~~~
430# v1: 0x00 -> 0x~~~~~~~~~~~~~~~~
431# v4: 0x00 -> 0x~~~~~~~~~~~~~~~~
432# v5: 0x00 -> 0x~~~~~~~~~~~~~~~~
433# v6: 0x00 -> 0x~~~~~~~~~~~~~~~~
434# v5: 0x00 -> 0x~~~~~~~~~~~~~~~~
435# v6: 0x00 -> 0x~~~~~~~~~~~~~~~~
436# v7: 0x00 -> 0x~~~~~~~~~~~~~~~~
437# v5: 0x0000000000000000 (d5: 0.00000) -> 0x~~~~~~~~~~~~~~~~
438# v6: 0x0000000000000000 (d6: 0.00000) -> 0x~~~~~~~~~~~~~~~~
439# v7: 0x0000000000000000 (d7: 0.00000) -> 0x~~~~~~~~~~~~~~~~
440# v6: 0x0000000000000000 (d6: 0.00000) -> 0x~~~~~~~~~~~~~~~~
441# v7: 0x0000000000000000 (d7: 0.00000) -> 0x~~~~~~~~~~~~~~~~
442# v8: 0x0000000000000000 (d8: 0.00000) -> 0x~~~~~~~~~~~~~~~~
443# v0: 0x0000000000000000 (d0: 0.00000) -> 0x~~~~~~~~~~~~~~~~
444# v1: 0x0000000000000000 (d1: 0.00000) -> 0x~~~~~~~~~~~~~~~~
445# v2: 0x0000000000000040 (d2: 3.16202e-322) -> 0x~~~~~~~~~~~~~~~~
446# v31: 0x0000 -> 0x~~~~~~~~~~~~~~~~
447# v0: 0x0000 -> 0x~~~~~~~~~~~~~~~~
448# v1: 0x0000 -> 0x~~~~~~~~~~~~~~~~
449# v14: 0x0000 -> 0x~~~~~~~~~~~~~~~~
450# v15: 0x0000 -> 0x~~~~~~~~~~~~~~~~
451# v16: 0x0000 -> 0x~~~~~~~~~~~~~~~~
452# v21: 0x0000 -> 0x~~~~~~~~~~~~~~~~
453# v22: 0x0000 -> 0x~~~~~~~~~~~~~~~~
454# v23: 0x0000 -> 0x~~~~~~~~~~~~~~~~
455# v21: 0xffff8007 (s21: nan) -> 0x~~~~~~~~~~~~~~~~
456# v22: 0x00000000 (s22: 0.00000) -> 0x~~~~~~~~~~~~~~~~
457# v23: 0x00000000 (s23: 0.00000) -> 0x~~~~~~~~~~~~~~~~
458# v11: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
459# v12: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
460# v13: 0xffffffff (..., nan, ...) -> 0x~~~~~~~~~~~~~~~~
461# v15: 0x00000000 (s15: 0.00000) -> 0x~~~~~~~~~~~~~~~~
462# v16: 0x00007ff9 (s16: 4.59079e-41) -> 0x~~~~~~~~~~~~~~~~
463# v17: 0x00000000 (s17: 0.00000) -> 0x~~~~~~~~~~~~~~~~
464# v22: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
465# v23: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
466# v24: 0x00000000000000000000000000007ff9 -> 0x~~~~~~~~~~~~~~~~
467# v25: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
468# v24: 0x00000000000000000000000000007ff9 -> 0x~~~~~~~~~~~~~~~~
469# v25: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
470# v26: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
471# v27: 0x00000000000000fe0000000000000000 -> 0x~~~~~~~~~~~~~~~~
472# v15: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
473# v16: 0x00000000000000000000000000007ff9 -> 0x~~~~~~~~~~~~~~~~
474# v17: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
475# v18: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
476# v16: 0x00000000000000000000000000007ff9 (0.00000, 1.61861e-319) -> 0x~~~~~~~~~~~~~~~~
477# v17: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
478# v18: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
479# v19: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
480# v17: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
481# v18: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
482# v19: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
483# v20: 0x00000000000000000000000000000020 (0.00000, 1.58101e-322) -> 0x~~~~~~~~~~~~~~~~
484# v9: 0x00000000000000000000000000000040 (0.00000, 3.16202e-322) -> 0x~~~~~~~~~~~~~~~~
485# v10: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
486# v11: 0x00000000000000000000000000000000 (0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
487# v12: 0x000000000000000000000000ffffffff (0.00000, 2.12200e-314) -> 0x~~~~~~~~~~~~~~~~
488# v23: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
489# v24: 0x0000000000007ff9 (..., 0.00000, 4.59079e-41) -> 0x~~~~~~~~~~~~~~~~
490# v25: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
491# v26: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
492# v15: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
493# v16: 0x0000000000007ff9 (..., 0.00000, 4.59079e-41) -> 0x~~~~~~~~~~~~~~~~
494# v17: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
495# v18: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
496# v24: 0x0000000000007ff9 (..., 0.00000, 4.59079e-41) -> 0x~~~~~~~~~~~~~~~~
497# v25: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
498# v26: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
499# v27: 0x0000000000000000 (..., 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
500# v14: 0x0000000000000001 -> 0x~~~~~~~~~~~~~~~~
501# v15: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
502# v16: 0x0000000000007ff9 -> 0x~~~~~~~~~~~~~~~~
503# v17: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
504# v18: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
505# v19: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
506# v20: 0x0000000000000020 -> 0x~~~~~~~~~~~~~~~~
507# v21: 0x00000000ffff8007 -> 0x~~~~~~~~~~~~~~~~
508# v1: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
509# v2: 0x0000000000000040 -> 0x~~~~~~~~~~~~~~~~
510# v3: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
511# v4: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
512# v13: 0x0000000000000000ffffffffffffffe1 (0.00000, 0.00000, nan, nan) -> 0x~~~~~~~~~~~~~~~~
513# v14: 0x00000000000000000000000000000001 (0.00000, 0.00000, 0.00000, 1.40130e-45) -> 0x~~~~~~~~~~~~~~~~
514# v15: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
515# v16: 0x00000000000000000000000000007ff9 (0.00000, 0.00000, 0.00000, 4.59079e-41) -> 0x~~~~~~~~~~~~~~~~
516# v6: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
517# v7: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
518# v8: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
519# v9: 0x00000000000000000000000000000040 (0.00000, 0.00000, 0.00000, 8.96831e-44) -> 0x~~~~~~~~~~~~~~~~
520# v15: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
521# v16: 0x00000000000000000000000000007ff9 (0.00000, 0.00000, 0.00000, 4.59079e-41) -> 0x~~~~~~~~~~~~~~~~
522# v17: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
523# v18: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
524# v26: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
525# v27: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
526# v28: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
527# v29: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
528# v25: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
529# v26: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
530# v27: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
531# v28: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
532# v19: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
533# v20: 0x0000000000000020 -> 0x~~~~~~~~~~~~~~~~
534# v21: 0x00000000ffff8007 -> 0x~~~~~~~~~~~~~~~~
535# v22: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
536# v19: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
537# v20: 0x00000000000000000000000000000020 -> 0x~~~~~~~~~~~~~~~~
538# v21: 0x000000000000000000000000ffff8007 -> 0x~~~~~~~~~~~~~~~~
539# v22: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
540# v15: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
541# v16: 0x00000000000000000000000000007ff9 -> 0x~~~~~~~~~~~~~~~~
542# v17: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
543# v18: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
544# v31: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
545# v0: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
546# v1: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
547# v2: 0x00000000000000000000000000000040 -> 0x~~~~~~~~~~~~~~~~
548# v0: 0x00 -> 0x~~~~~~~~~~~~~~~~
549# v1: 0x00 -> 0x~~~~~~~~~~~~~~~~
550# v2: 0x00 -> 0x~~~~~~~~~~~~~~~~
551# v3: 0x00 -> 0x~~~~~~~~~~~~~~~~
552# v4: 0x00 -> 0x~~~~~~~~~~~~~~~~
553# v5: 0x00 -> 0x~~~~~~~~~~~~~~~~
554# v6: 0x00 -> 0x~~~~~~~~~~~~~~~~
555# v7: 0x00 -> 0x~~~~~~~~~~~~~~~~
556# v9: 0x00 -> 0x~~~~~~~~~~~~~~~~
557# v10: 0x00 -> 0x~~~~~~~~~~~~~~~~
558# v11: 0x00 -> 0x~~~~~~~~~~~~~~~~
559# v12: 0x00 -> 0x~~~~~~~~~~~~~~~~
560# v2: 0x0000000000000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
561# v3: 0x0000000000000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
562# v4: 0x0000000000000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
563# v5: 0x0000000000000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
564# v7: 0x0000000000000000 (d7: 0.00000) -> 0x~~~~~~~~~~~~~~~~
565# v8: 0x0000000000000000 (d8: 0.00000) -> 0x~~~~~~~~~~~~~~~~
566# v9: 0x0000000000000040 (d9: 3.16202e-322) -> 0x~~~~~~~~~~~~~~~~
567# v10: 0x0000000000000000 (d10: 0.00000) -> 0x~~~~~~~~~~~~~~~~
568# v31: 0x0000000000000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
569# v0: 0x0000000000000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
570# v1: 0x0000000000000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
571# v2: 0x0000000000000000 (0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
572# v2: 0x0000 -> 0x~~~~~~~~~~~~~~~~
573# v3: 0x0000 -> 0x~~~~~~~~~~~~~~~~
574# v4: 0x0000 -> 0x~~~~~~~~~~~~~~~~
575# v5: 0x0000 -> 0x~~~~~~~~~~~~~~~~
576# v27: 0x0000 -> 0x~~~~~~~~~~~~~~~~
577# v28: 0x0000 -> 0x~~~~~~~~~~~~~~~~
578# v29: 0x0000 -> 0x~~~~~~~~~~~~~~~~
579# v30: 0x0000 -> 0x~~~~~~~~~~~~~~~~
580# v24: 0x0000 -> 0x~~~~~~~~~~~~~~~~
581# v25: 0x0000 -> 0x~~~~~~~~~~~~~~~~
582# v26: 0x0000 -> 0x~~~~~~~~~~~~~~~~
583# v27: 0x00fe -> 0x~~~~~~~~~~~~~~~~
584# v18: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
585# v19: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
586# v20: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
587# v21: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
588# v6: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
589# v7: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
590# v8: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
591# v9: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
592# v25: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
593# v26: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
594# v27: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
595# v28: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~