Lines Matching refs:x
1 # 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~~~~~~~~~~~~~~~~
47 # 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~~~~~~~~~~~~~~~~