1b8021494Sopenharmony_ci// Copyright 2015, VIXL authors
2b8021494Sopenharmony_ci// All rights reserved.
3b8021494Sopenharmony_ci//
4b8021494Sopenharmony_ci// Redistribution and use in source and binary forms, with or without
5b8021494Sopenharmony_ci// modification, are permitted provided that the following conditions are met:
6b8021494Sopenharmony_ci//
7b8021494Sopenharmony_ci//   * Redistributions of source code must retain the above copyright notice,
8b8021494Sopenharmony_ci//     this list of conditions and the following disclaimer.
9b8021494Sopenharmony_ci//   * Redistributions in binary form must reproduce the above copyright notice,
10b8021494Sopenharmony_ci//     this list of conditions and the following disclaimer in the documentation
11b8021494Sopenharmony_ci//     and/or other materials provided with the distribution.
12b8021494Sopenharmony_ci//   * Neither the name of ARM Limited nor the names of its contributors may be
13b8021494Sopenharmony_ci//     used to endorse or promote products derived from this software without
14b8021494Sopenharmony_ci//     specific prior written permission.
15b8021494Sopenharmony_ci//
16b8021494Sopenharmony_ci// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND
17b8021494Sopenharmony_ci// ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
18b8021494Sopenharmony_ci// WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
19b8021494Sopenharmony_ci// DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
20b8021494Sopenharmony_ci// FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
21b8021494Sopenharmony_ci// DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
22b8021494Sopenharmony_ci// SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
23b8021494Sopenharmony_ci// CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
24b8021494Sopenharmony_ci// OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
25b8021494Sopenharmony_ci// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
26b8021494Sopenharmony_ci
27b8021494Sopenharmony_ci
28b8021494Sopenharmony_ci// ---------------------------------------------------------------------
29b8021494Sopenharmony_ci// This file is auto generated using tools/generate_simulator_traces.py.
30b8021494Sopenharmony_ci//
31b8021494Sopenharmony_ci// PLEASE DO NOT EDIT.
32b8021494Sopenharmony_ci// ---------------------------------------------------------------------
33b8021494Sopenharmony_ci
34b8021494Sopenharmony_ci#ifndef VIXL_SIM_UADDL_4S_TRACE_AARCH64_H_
35b8021494Sopenharmony_ci#define VIXL_SIM_UADDL_4S_TRACE_AARCH64_H_
36b8021494Sopenharmony_ci
37b8021494Sopenharmony_ciconst uint32_t kExpected_NEON_uaddl_4S[] = {
38b8021494Sopenharmony_ci  0x000000fc, 0x000000fe, 0x00006666, 0x0000aaaa,
39b8021494Sopenharmony_ci  0x000000fd, 0x000033b2, 0x00008888, 0x0000d552,
40b8021494Sopenharmony_ci  0x000033b1, 0x000055d4, 0x0000b330, 0x0000d553,
41b8021494Sopenharmony_ci  0x000055d3, 0x0000807c, 0x0000b331, 0x0000d554,
42b8021494Sopenharmony_ci  0x0000807b, 0x0000807d, 0x0000b332, 0x00005555,
43b8021494Sopenharmony_ci  0x0000807c, 0x0000807e, 0x00003333, 0x00005556,
44b8021494Sopenharmony_ci  0x0000807d, 0x0000007f, 0x00003334, 0x00005557,
45b8021494Sopenharmony_ci  0x0000007e, 0x00000080, 0x00003335, 0x00005565,
46b8021494Sopenharmony_ci  0x0000007f, 0x00000081, 0x00003343, 0x000055d2,
47b8021494Sopenharmony_ci  0x00000080, 0x0000008f, 0x000033b0, 0x000055d3,
48b8021494Sopenharmony_ci  0x0000008e, 0x000000fc, 0x000033b1, 0x000055d4,
49b8021494Sopenharmony_ci  0x000000fb, 0x000000fd, 0x000033b2, 0x00008888,
50b8021494Sopenharmony_ci  0x000000fc, 0x000000fe, 0x00006666, 0x0000aaaa,
51b8021494Sopenharmony_ci  0x000000fd, 0x000033b2, 0x00008888, 0x0000d552,
52b8021494Sopenharmony_ci  0x000033b1, 0x000055d4, 0x0000b330, 0x0000d553,
53b8021494Sopenharmony_ci  0x000055d3, 0x0000807c, 0x0000b331, 0x0000d554,
54b8021494Sopenharmony_ci  0x0000807b, 0x0000807d, 0x0000b332, 0x0000d555,
55b8021494Sopenharmony_ci  0x0000807c, 0x0000807e, 0x0000b333, 0x0000d556,
56b8021494Sopenharmony_ci  0x0000807d, 0x0000807f, 0x0000b334, 0x0000ffff,
57b8021494Sopenharmony_ci  0x0000807e, 0x00008080, 0x0000dddd, 0x00012221,
58b8021494Sopenharmony_ci  0x0000807f, 0x0000ab29, 0x0000ffff, 0x000154d5,
59b8021494Sopenharmony_ci  0x0000ab28, 0x0000cd4b, 0x000132b3, 0x000154d6,
60b8021494Sopenharmony_ci  0x0000cd4a, 0x0000ffff, 0x000132b4, 0x000154d7,
61b8021494Sopenharmony_ci  0x0000fffe, 0x00010000, 0x000132b5, 0x000154d8,
62b8021494Sopenharmony_ci  0x00010000, 0x000132b5, 0x000154d8, 0x00017fed,
63b8021494Sopenharmony_ci  0x00010001, 0x000132b6, 0x00015545, 0x00017ffa,
64b8021494Sopenharmony_ci  0x00010002, 0x00013323, 0x00015552, 0x00017ffb,
65b8021494Sopenharmony_ci  0x0001006f, 0x00013330, 0x00015553, 0x00017ffc,
66b8021494Sopenharmony_ci  0x0001007c, 0x00013331, 0x00015554, 0x00007ffd,
67b8021494Sopenharmony_ci  0x0001007d, 0x00013332, 0x00005555, 0x00007ffe,
68b8021494Sopenharmony_ci  0x0001007e, 0x00003333, 0x00005556, 0x00007fff,
69b8021494Sopenharmony_ci  0x0000007f, 0x00003334, 0x00005557, 0x0000800d,
70b8021494Sopenharmony_ci  0x00000080, 0x00003335, 0x00005565, 0x0000807a,
71b8021494Sopenharmony_ci  0x00000081, 0x00003343, 0x000055d2, 0x0000807b,
72b8021494Sopenharmony_ci  0x0000008f, 0x000033b0, 0x000055d3, 0x0000807c,
73b8021494Sopenharmony_ci  0x000000fc, 0x000033b1, 0x000055d4, 0x0000b330,
74b8021494Sopenharmony_ci  0x000000fd, 0x000033b2, 0x00008888, 0x0000d552,
75b8021494Sopenharmony_ci  0x000000fe, 0x00006666, 0x0000aaaa, 0x0000fffa,
76b8021494Sopenharmony_ci  0x000033b2, 0x00008888, 0x0000d552, 0x0000fffb,
77b8021494Sopenharmony_ci  0x000055d4, 0x0000b330, 0x0000d553, 0x0000fffc,
78b8021494Sopenharmony_ci  0x0000807c, 0x0000b331, 0x0000d554, 0x0000fffd,
79b8021494Sopenharmony_ci  0x0000807d, 0x0000b332, 0x0000d555, 0x0000fffe,
80b8021494Sopenharmony_ci  0x0000807e, 0x0000b333, 0x0000d556, 0x00012aa7,
81b8021494Sopenharmony_ci  0x0000807f, 0x0000b334, 0x0000ffff, 0x00014cc9,
82b8021494Sopenharmony_ci  0x00008080, 0x0000dddd, 0x00012221, 0x00017f7d,
83b8021494Sopenharmony_ci  0x0000ab29, 0x0000ffff, 0x000154d5, 0x00017f7e,
84b8021494Sopenharmony_ci  0x0000cd4b, 0x000132b3, 0x000154d6, 0x00017f7f,
85b8021494Sopenharmony_ci  0x0000ffff, 0x000132b4, 0x000154d7, 0x00017f80,
86b8021494Sopenharmony_ci  0x000132b4, 0x000154d7, 0x00017f80, 0x00017fee,
87b8021494Sopenharmony_ci  0x000132b5, 0x000154d8, 0x00017fed, 0x00017ffb,
88b8021494Sopenharmony_ci  0x000132b6, 0x00015545, 0x00017ffa, 0x00017ffc,
89b8021494Sopenharmony_ci  0x00013323, 0x00015552, 0x00017ffb, 0x00017ffd,
90b8021494Sopenharmony_ci  0x00013330, 0x00015553, 0x00017ffc, 0x00007ffe,
91b8021494Sopenharmony_ci  0x00013331, 0x00015554, 0x00007ffd, 0x00007fff,
92b8021494Sopenharmony_ci  0x00013332, 0x00005555, 0x00007ffe, 0x00008000,
93b8021494Sopenharmony_ci  0x00003333, 0x00005556, 0x00007fff, 0x0000800e,
94b8021494Sopenharmony_ci  0x00003334, 0x00005557, 0x0000800d, 0x0000807b,
95b8021494Sopenharmony_ci  0x00003335, 0x00005565, 0x0000807a, 0x0000807c,
96b8021494Sopenharmony_ci  0x00003343, 0x000055d2, 0x0000807b, 0x0000807d,
97b8021494Sopenharmony_ci  0x000033b0, 0x000055d3, 0x0000807c, 0x0000b331,
98b8021494Sopenharmony_ci  0x000033b1, 0x000055d4, 0x0000b330, 0x0000d553,
99b8021494Sopenharmony_ci  0x000033b2, 0x00008888, 0x0000d552, 0x0000fffb,
100b8021494Sopenharmony_ci  0x00006666, 0x0000aaaa, 0x0000fffa, 0x0000fffc,
101b8021494Sopenharmony_ci  0x00008888, 0x0000d552, 0x0000fffb, 0x0000fffd,
102b8021494Sopenharmony_ci  0x0000b330, 0x0000d553, 0x0000fffc, 0x0000fffe,
103b8021494Sopenharmony_ci  0x0000b331, 0x0000d554, 0x0000fffd, 0x0000ffff,
104b8021494Sopenharmony_ci  0x0000b332, 0x0000d555, 0x0000fffe, 0x00012aa8,
105b8021494Sopenharmony_ci  0x0000b333, 0x0000d556, 0x00012aa7, 0x00014cca,
106b8021494Sopenharmony_ci  0x0000b334, 0x0000ffff, 0x00014cc9, 0x00017f7e,
107b8021494Sopenharmony_ci  0x0000dddd, 0x00012221, 0x00017f7d, 0x00017f7f,
108b8021494Sopenharmony_ci  0x0000ffff, 0x000154d5, 0x00017f7e, 0x00017f80,
109b8021494Sopenharmony_ci  0x000132b3, 0x000154d6, 0x00017f7f, 0x00017f81,
110b8021494Sopenharmony_ci  0x000154d6, 0x00017f7f, 0x00017f81, 0x00017fef,
111b8021494Sopenharmony_ci  0x000154d7, 0x00017f80, 0x00017fee, 0x00017ffc,
112b8021494Sopenharmony_ci  0x000154d8, 0x00017fed, 0x00017ffb, 0x00017ffd,
113b8021494Sopenharmony_ci  0x00015545, 0x00017ffa, 0x00017ffc, 0x00017ffe,
114b8021494Sopenharmony_ci  0x00015552, 0x00017ffb, 0x00017ffd, 0x00007fff,
115b8021494Sopenharmony_ci  0x00015553, 0x00017ffc, 0x00007ffe, 0x00008000,
116b8021494Sopenharmony_ci  0x00015554, 0x00007ffd, 0x00007fff, 0x00008001,
117b8021494Sopenharmony_ci  0x00005555, 0x00007ffe, 0x00008000, 0x0000800f,
118b8021494Sopenharmony_ci  0x00005556, 0x00007fff, 0x0000800e, 0x0000807c,
119b8021494Sopenharmony_ci  0x00005557, 0x0000800d, 0x0000807b, 0x0000807d,
120b8021494Sopenharmony_ci  0x00005565, 0x0000807a, 0x0000807c, 0x0000807e,
121b8021494Sopenharmony_ci  0x000055d2, 0x0000807b, 0x0000807d, 0x0000b332,
122b8021494Sopenharmony_ci  0x000055d3, 0x0000807c, 0x0000b331, 0x0000d554,
123b8021494Sopenharmony_ci  0x000055d4, 0x0000b330, 0x0000d553, 0x0000fffc,
124b8021494Sopenharmony_ci  0x00008888, 0x0000d552, 0x0000fffb, 0x0000fffd,
125b8021494Sopenharmony_ci  0x0000aaaa, 0x0000fffa, 0x0000fffc, 0x0000fffe,
126b8021494Sopenharmony_ci  0x0000d552, 0x0000fffb, 0x0000fffd, 0x0000ffff,
127b8021494Sopenharmony_ci  0x0000d553, 0x0000fffc, 0x0000fffe, 0x00010000,
128b8021494Sopenharmony_ci  0x0000d554, 0x0000fffd, 0x0000ffff, 0x00012aa9,
129b8021494Sopenharmony_ci  0x0000d555, 0x0000fffe, 0x00012aa8, 0x00014ccb,
130b8021494Sopenharmony_ci  0x0000d556, 0x00012aa7, 0x00014cca, 0x00017f7f,
131b8021494Sopenharmony_ci  0x0000ffff, 0x00014cc9, 0x00017f7e, 0x00017f80,
132b8021494Sopenharmony_ci  0x00012221, 0x00017f7d, 0x00017f7f, 0x00017f81,
133b8021494Sopenharmony_ci  0x000154d5, 0x00017f7e, 0x00017f80, 0x00017f82,
134b8021494Sopenharmony_ci  0x00017f7e, 0x00017f80, 0x00017f82, 0x0000fff0,
135b8021494Sopenharmony_ci  0x00017f7f, 0x00017f81, 0x00017fef, 0x0000fffd,
136b8021494Sopenharmony_ci  0x00017f80, 0x00017fee, 0x00017ffc, 0x0000fffe,
137b8021494Sopenharmony_ci  0x00017fed, 0x00017ffb, 0x00017ffd, 0x0000ffff,
138b8021494Sopenharmony_ci  0x00017ffa, 0x00017ffc, 0x00017ffe, 0x00000000,
139b8021494Sopenharmony_ci  0x00017ffb, 0x00017ffd, 0x00007fff, 0x00000001,
140b8021494Sopenharmony_ci  0x00017ffc, 0x00007ffe, 0x00008000, 0x00000002,
141b8021494Sopenharmony_ci  0x00007ffd, 0x00007fff, 0x00008001, 0x00000010,
142b8021494Sopenharmony_ci  0x00007ffe, 0x00008000, 0x0000800f, 0x0000007d,
143b8021494Sopenharmony_ci  0x00007fff, 0x0000800e, 0x0000807c, 0x0000007e,
144b8021494Sopenharmony_ci  0x0000800d, 0x0000807b, 0x0000807d, 0x0000007f,
145b8021494Sopenharmony_ci  0x0000807a, 0x0000807c, 0x0000807e, 0x00003333,
146b8021494Sopenharmony_ci  0x0000807b, 0x0000807d, 0x0000b332, 0x00005555,
147b8021494Sopenharmony_ci  0x0000807c, 0x0000b331, 0x0000d554, 0x00007ffd,
148b8021494Sopenharmony_ci  0x0000b330, 0x0000d553, 0x0000fffc, 0x00007ffe,
149b8021494Sopenharmony_ci  0x0000d552, 0x0000fffb, 0x0000fffd, 0x00007fff,
150b8021494Sopenharmony_ci  0x0000fffa, 0x0000fffc, 0x0000fffe, 0x00008000,
151b8021494Sopenharmony_ci  0x0000fffb, 0x0000fffd, 0x0000ffff, 0x00008001,
152b8021494Sopenharmony_ci  0x0000fffc, 0x0000fffe, 0x00010000, 0x0000aaaa,
153b8021494Sopenharmony_ci  0x0000fffd, 0x0000ffff, 0x00012aa9, 0x0000cccc,
154b8021494Sopenharmony_ci  0x0000fffe, 0x00012aa8, 0x00014ccb, 0x0000ff80,
155b8021494Sopenharmony_ci  0x00012aa7, 0x00014cca, 0x00017f7f, 0x0000ff81,
156b8021494Sopenharmony_ci  0x00014cc9, 0x00017f7e, 0x00017f80, 0x0000ff82,
157b8021494Sopenharmony_ci  0x00017f7d, 0x00017f7f, 0x00017f81, 0x0000ff83,
158b8021494Sopenharmony_ci  0x00017f7f, 0x00017f81, 0x0000ff83, 0x0000fff1,
159b8021494Sopenharmony_ci  0x00017f80, 0x00017f82, 0x0000fff0, 0x0000fffe,
160b8021494Sopenharmony_ci  0x00017f81, 0x00017fef, 0x0000fffd, 0x0000ffff,
161b8021494Sopenharmony_ci  0x00017fee, 0x00017ffc, 0x0000fffe, 0x00010000,
162b8021494Sopenharmony_ci  0x00017ffb, 0x00017ffd, 0x0000ffff, 0x00000001,
163b8021494Sopenharmony_ci  0x00017ffc, 0x00017ffe, 0x00000000, 0x00000002,
164b8021494Sopenharmony_ci  0x00017ffd, 0x00007fff, 0x00000001, 0x00000003,
165b8021494Sopenharmony_ci  0x00007ffe, 0x00008000, 0x00000002, 0x00000011,
166b8021494Sopenharmony_ci  0x00007fff, 0x00008001, 0x00000010, 0x0000007e,
167b8021494Sopenharmony_ci  0x00008000, 0x0000800f, 0x0000007d, 0x0000007f,
168b8021494Sopenharmony_ci  0x0000800e, 0x0000807c, 0x0000007e, 0x00000080,
169b8021494Sopenharmony_ci  0x0000807b, 0x0000807d, 0x0000007f, 0x00003334,
170b8021494Sopenharmony_ci  0x0000807c, 0x0000807e, 0x00003333, 0x00005556,
171b8021494Sopenharmony_ci  0x0000807d, 0x0000b332, 0x00005555, 0x00007ffe,
172b8021494Sopenharmony_ci  0x0000b331, 0x0000d554, 0x00007ffd, 0x00007fff,
173b8021494Sopenharmony_ci  0x0000d553, 0x0000fffc, 0x00007ffe, 0x00008000,
174b8021494Sopenharmony_ci  0x0000fffb, 0x0000fffd, 0x00007fff, 0x00008001,
175b8021494Sopenharmony_ci  0x0000fffc, 0x0000fffe, 0x00008000, 0x00008002,
176b8021494Sopenharmony_ci  0x0000fffd, 0x0000ffff, 0x00008001, 0x0000aaab,
177b8021494Sopenharmony_ci  0x0000fffe, 0x00010000, 0x0000aaaa, 0x0000cccd,
178b8021494Sopenharmony_ci  0x0000ffff, 0x00012aa9, 0x0000cccc, 0x0000ff81,
179b8021494Sopenharmony_ci  0x00012aa8, 0x00014ccb, 0x0000ff80, 0x0000ff82,
180b8021494Sopenharmony_ci  0x00014cca, 0x00017f7f, 0x0000ff81, 0x0000ff83,
181b8021494Sopenharmony_ci  0x00017f7e, 0x00017f80, 0x0000ff82, 0x0000ff84,
182b8021494Sopenharmony_ci  0x00017f80, 0x0000ff82, 0x0000ff84, 0x0000fff2,
183b8021494Sopenharmony_ci  0x00017f81, 0x0000ff83, 0x0000fff1, 0x0000ffff,
184b8021494Sopenharmony_ci  0x00017f82, 0x0000fff0, 0x0000fffe, 0x00010000,
185b8021494Sopenharmony_ci  0x00017fef, 0x0000fffd, 0x0000ffff, 0x00010001,
186b8021494Sopenharmony_ci  0x00017ffc, 0x0000fffe, 0x00010000, 0x00000002,
187b8021494Sopenharmony_ci  0x00017ffd, 0x0000ffff, 0x00000001, 0x00000003,
188b8021494Sopenharmony_ci  0x00017ffe, 0x00000000, 0x00000002, 0x00000004,
189b8021494Sopenharmony_ci  0x00007fff, 0x00000001, 0x00000003, 0x00000012,
190b8021494Sopenharmony_ci  0x00008000, 0x00000002, 0x00000011, 0x0000007f,
191b8021494Sopenharmony_ci  0x00008001, 0x00000010, 0x0000007e, 0x00000080,
192b8021494Sopenharmony_ci  0x0000800f, 0x0000007d, 0x0000007f, 0x00000081,
193b8021494Sopenharmony_ci  0x0000807c, 0x0000007e, 0x00000080, 0x00003335,
194b8021494Sopenharmony_ci  0x0000807d, 0x0000007f, 0x00003334, 0x00005557,
195b8021494Sopenharmony_ci  0x0000807e, 0x00003333, 0x00005556, 0x00007fff,
196b8021494Sopenharmony_ci  0x0000b332, 0x00005555, 0x00007ffe, 0x00008000,
197b8021494Sopenharmony_ci  0x0000d554, 0x00007ffd, 0x00007fff, 0x00008001,
198b8021494Sopenharmony_ci  0x0000fffc, 0x00007ffe, 0x00008000, 0x00008002,
199b8021494Sopenharmony_ci  0x0000fffd, 0x00007fff, 0x00008001, 0x00008003,
200b8021494Sopenharmony_ci  0x0000fffe, 0x00008000, 0x00008002, 0x0000aaac,
201b8021494Sopenharmony_ci  0x0000ffff, 0x00008001, 0x0000aaab, 0x0000ccce,
202b8021494Sopenharmony_ci  0x00010000, 0x0000aaaa, 0x0000cccd, 0x0000ff82,
203b8021494Sopenharmony_ci  0x00012aa9, 0x0000cccc, 0x0000ff81, 0x0000ff83,
204b8021494Sopenharmony_ci  0x00014ccb, 0x0000ff80, 0x0000ff82, 0x0000ff84,
205b8021494Sopenharmony_ci  0x00017f7f, 0x0000ff81, 0x0000ff83, 0x0000ff85,
206b8021494Sopenharmony_ci  0x0000ff81, 0x0000ff83, 0x0000ff85, 0x00010000,
207b8021494Sopenharmony_ci  0x0000ff82, 0x0000ff84, 0x0000fff2, 0x0001000d,
208b8021494Sopenharmony_ci  0x0000ff83, 0x0000fff1, 0x0000ffff, 0x0001000e,
209b8021494Sopenharmony_ci  0x0000fff0, 0x0000fffe, 0x00010000, 0x0001000f,
210b8021494Sopenharmony_ci  0x0000fffd, 0x0000ffff, 0x00010001, 0x00000010,
211b8021494Sopenharmony_ci  0x0000fffe, 0x00010000, 0x00000002, 0x00000011,
212b8021494Sopenharmony_ci  0x0000ffff, 0x00000001, 0x00000003, 0x00000012,
213b8021494Sopenharmony_ci  0x00000000, 0x00000002, 0x00000004, 0x00000020,
214b8021494Sopenharmony_ci  0x00000001, 0x00000003, 0x00000012, 0x0000008d,
215b8021494Sopenharmony_ci  0x00000002, 0x00000011, 0x0000007f, 0x0000008e,
216b8021494Sopenharmony_ci  0x00000010, 0x0000007e, 0x00000080, 0x0000008f,
217b8021494Sopenharmony_ci  0x0000007d, 0x0000007f, 0x00000081, 0x00003343,
218b8021494Sopenharmony_ci  0x0000007e, 0x00000080, 0x00003335, 0x00005565,
219b8021494Sopenharmony_ci  0x0000007f, 0x00003334, 0x00005557, 0x0000800d,
220b8021494Sopenharmony_ci  0x00003333, 0x00005556, 0x00007fff, 0x0000800e,
221b8021494Sopenharmony_ci  0x00005555, 0x00007ffe, 0x00008000, 0x0000800f,
222b8021494Sopenharmony_ci  0x00007ffd, 0x00007fff, 0x00008001, 0x00008010,
223b8021494Sopenharmony_ci  0x00007ffe, 0x00008000, 0x00008002, 0x00008011,
224b8021494Sopenharmony_ci  0x00007fff, 0x00008001, 0x00008003, 0x0000aaba,
225b8021494Sopenharmony_ci  0x00008000, 0x00008002, 0x0000aaac, 0x0000ccdc,
226b8021494Sopenharmony_ci  0x00008001, 0x0000aaab, 0x0000ccce, 0x0000ff90,
227b8021494Sopenharmony_ci  0x0000aaaa, 0x0000cccd, 0x0000ff82, 0x0000ff91,
228b8021494Sopenharmony_ci  0x0000cccc, 0x0000ff81, 0x0000ff83, 0x0000ff92,
229b8021494Sopenharmony_ci  0x0000ff80, 0x0000ff82, 0x0000ff84, 0x0000ff93,
230b8021494Sopenharmony_ci  0x0000ff82, 0x0000ff84, 0x0000ff93, 0x0001006d,
231b8021494Sopenharmony_ci  0x0000ff83, 0x0000ff85, 0x00010000, 0x0001007a,
232b8021494Sopenharmony_ci  0x0000ff84, 0x0000fff2, 0x0001000d, 0x0001007b,
233b8021494Sopenharmony_ci  0x0000fff1, 0x0000ffff, 0x0001000e, 0x0001007c,
234b8021494Sopenharmony_ci  0x0000fffe, 0x00010000, 0x0001000f, 0x0000007d,
235b8021494Sopenharmony_ci  0x0000ffff, 0x00010001, 0x00000010, 0x0000007e,
236b8021494Sopenharmony_ci  0x00010000, 0x00000002, 0x00000011, 0x0000007f,
237b8021494Sopenharmony_ci  0x00000001, 0x00000003, 0x00000012, 0x0000008d,
238b8021494Sopenharmony_ci  0x00000002, 0x00000004, 0x00000020, 0x000000fa,
239b8021494Sopenharmony_ci  0x00000003, 0x00000012, 0x0000008d, 0x000000fb,
240b8021494Sopenharmony_ci  0x00000011, 0x0000007f, 0x0000008e, 0x000000fc,
241b8021494Sopenharmony_ci  0x0000007e, 0x00000080, 0x0000008f, 0x000033b0,
242b8021494Sopenharmony_ci  0x0000007f, 0x00000081, 0x00003343, 0x000055d2,
243b8021494Sopenharmony_ci  0x00000080, 0x00003335, 0x00005565, 0x0000807a,
244b8021494Sopenharmony_ci  0x00003334, 0x00005557, 0x0000800d, 0x0000807b,
245b8021494Sopenharmony_ci  0x00005556, 0x00007fff, 0x0000800e, 0x0000807c,
246b8021494Sopenharmony_ci  0x00007ffe, 0x00008000, 0x0000800f, 0x0000807d,
247b8021494Sopenharmony_ci  0x00007fff, 0x00008001, 0x00008010, 0x0000807e,
248b8021494Sopenharmony_ci  0x00008000, 0x00008002, 0x00008011, 0x0000ab27,
249b8021494Sopenharmony_ci  0x00008001, 0x00008003, 0x0000aaba, 0x0000cd49,
250b8021494Sopenharmony_ci  0x00008002, 0x0000aaac, 0x0000ccdc, 0x0000fffd,
251b8021494Sopenharmony_ci  0x0000aaab, 0x0000ccce, 0x0000ff90, 0x0000fffe,
252b8021494Sopenharmony_ci  0x0000cccd, 0x0000ff82, 0x0000ff91, 0x0000ffff,
253b8021494Sopenharmony_ci  0x0000ff81, 0x0000ff83, 0x0000ff92, 0x00010000,
254b8021494Sopenharmony_ci  0x0000ff83, 0x0000ff92, 0x00010000, 0x0001006e,
255b8021494Sopenharmony_ci  0x0000ff84, 0x0000ff93, 0x0001006d, 0x0001007b,
256b8021494Sopenharmony_ci  0x0000ff85, 0x00010000, 0x0001007a, 0x0001007c,
257b8021494Sopenharmony_ci  0x0000fff2, 0x0001000d, 0x0001007b, 0x0001007d,
258b8021494Sopenharmony_ci  0x0000ffff, 0x0001000e, 0x0001007c, 0x0000007e,
259b8021494Sopenharmony_ci  0x00010000, 0x0001000f, 0x0000007d, 0x0000007f,
260b8021494Sopenharmony_ci  0x00010001, 0x00000010, 0x0000007e, 0x00000080,
261b8021494Sopenharmony_ci  0x00000002, 0x00000011, 0x0000007f, 0x0000008e,
262b8021494Sopenharmony_ci  0x00000003, 0x00000012, 0x0000008d, 0x000000fb,
263b8021494Sopenharmony_ci  0x00000004, 0x00000020, 0x000000fa, 0x000000fc,
264b8021494Sopenharmony_ci  0x00000012, 0x0000008d, 0x000000fb, 0x000000fd,
265b8021494Sopenharmony_ci  0x0000007f, 0x0000008e, 0x000000fc, 0x000033b1,
266b8021494Sopenharmony_ci  0x00000080, 0x0000008f, 0x000033b0, 0x000055d3,
267b8021494Sopenharmony_ci  0x00000081, 0x00003343, 0x000055d2, 0x0000807b,
268b8021494Sopenharmony_ci  0x00003335, 0x00005565, 0x0000807a, 0x0000807c,
269b8021494Sopenharmony_ci  0x00005557, 0x0000800d, 0x0000807b, 0x0000807d,
270b8021494Sopenharmony_ci  0x00007fff, 0x0000800e, 0x0000807c, 0x0000807e,
271b8021494Sopenharmony_ci  0x00008000, 0x0000800f, 0x0000807d, 0x0000807f,
272b8021494Sopenharmony_ci  0x00008001, 0x00008010, 0x0000807e, 0x0000ab28,
273b8021494Sopenharmony_ci  0x00008002, 0x00008011, 0x0000ab27, 0x0000cd4a,
274b8021494Sopenharmony_ci  0x00008003, 0x0000aaba, 0x0000cd49, 0x0000fffe,
275b8021494Sopenharmony_ci  0x0000aaac, 0x0000ccdc, 0x0000fffd, 0x0000ffff,
276b8021494Sopenharmony_ci  0x0000ccce, 0x0000ff90, 0x0000fffe, 0x00010000,
277b8021494Sopenharmony_ci  0x0000ff82, 0x0000ff91, 0x0000ffff, 0x00010001,
278b8021494Sopenharmony_ci  0x0000ff91, 0x0000ffff, 0x00010001, 0x0001006f,
279b8021494Sopenharmony_ci  0x0000ff92, 0x00010000, 0x0001006e, 0x0001007c,
280b8021494Sopenharmony_ci  0x0000ff93, 0x0001006d, 0x0001007b, 0x0001007d,
281b8021494Sopenharmony_ci  0x00010000, 0x0001007a, 0x0001007c, 0x0001007e,
282b8021494Sopenharmony_ci  0x0001000d, 0x0001007b, 0x0001007d, 0x0000007f,
283b8021494Sopenharmony_ci  0x0001000e, 0x0001007c, 0x0000007e, 0x00000080,
284b8021494Sopenharmony_ci  0x0001000f, 0x0000007d, 0x0000007f, 0x00000081,
285b8021494Sopenharmony_ci  0x00000010, 0x0000007e, 0x00000080, 0x0000008f,
286b8021494Sopenharmony_ci  0x00000011, 0x0000007f, 0x0000008e, 0x000000fc,
287b8021494Sopenharmony_ci  0x00000012, 0x0000008d, 0x000000fb, 0x000000fd,
288b8021494Sopenharmony_ci  0x00000020, 0x000000fa, 0x000000fc, 0x000000fe,
289b8021494Sopenharmony_ci  0x0000008d, 0x000000fb, 0x000000fd, 0x000033b2,
290b8021494Sopenharmony_ci  0x0000008e, 0x000000fc, 0x000033b1, 0x000055d4,
291b8021494Sopenharmony_ci  0x0000008f, 0x000033b0, 0x000055d3, 0x0000807c,
292b8021494Sopenharmony_ci  0x00003343, 0x000055d2, 0x0000807b, 0x0000807d,
293b8021494Sopenharmony_ci  0x00005565, 0x0000807a, 0x0000807c, 0x0000807e,
294b8021494Sopenharmony_ci  0x0000800d, 0x0000807b, 0x0000807d, 0x0000807f,
295b8021494Sopenharmony_ci  0x0000800e, 0x0000807c, 0x0000807e, 0x00008080,
296b8021494Sopenharmony_ci  0x0000800f, 0x0000807d, 0x0000807f, 0x0000ab29,
297b8021494Sopenharmony_ci  0x00008010, 0x0000807e, 0x0000ab28, 0x0000cd4b,
298b8021494Sopenharmony_ci  0x00008011, 0x0000ab27, 0x0000cd4a, 0x0000ffff,
299b8021494Sopenharmony_ci  0x0000aaba, 0x0000cd49, 0x0000fffe, 0x00010000,
300b8021494Sopenharmony_ci  0x0000ccdc, 0x0000fffd, 0x0000ffff, 0x00010001,
301b8021494Sopenharmony_ci  0x0000ff90, 0x0000fffe, 0x00010000, 0x00010002,
302b8021494Sopenharmony_ci  0x0000fffe, 0x00010000, 0x00010002, 0x00013323,
303b8021494Sopenharmony_ci  0x0000ffff, 0x00010001, 0x0001006f, 0x00013330,
304b8021494Sopenharmony_ci  0x00010000, 0x0001006e, 0x0001007c, 0x00013331,
305b8021494Sopenharmony_ci  0x0001006d, 0x0001007b, 0x0001007d, 0x00013332,
306b8021494Sopenharmony_ci  0x0001007a, 0x0001007c, 0x0001007e, 0x00003333,
307b8021494Sopenharmony_ci  0x0001007b, 0x0001007d, 0x0000007f, 0x00003334,
308b8021494Sopenharmony_ci  0x0001007c, 0x0000007e, 0x00000080, 0x00003335,
309b8021494Sopenharmony_ci  0x0000007d, 0x0000007f, 0x00000081, 0x00003343,
310b8021494Sopenharmony_ci  0x0000007e, 0x00000080, 0x0000008f, 0x000033b0,
311b8021494Sopenharmony_ci  0x0000007f, 0x0000008e, 0x000000fc, 0x000033b1,
312b8021494Sopenharmony_ci  0x0000008d, 0x000000fb, 0x000000fd, 0x000033b2,
313b8021494Sopenharmony_ci  0x000000fa, 0x000000fc, 0x000000fe, 0x00006666,
314b8021494Sopenharmony_ci  0x000000fb, 0x000000fd, 0x000033b2, 0x00008888,
315b8021494Sopenharmony_ci  0x000000fc, 0x000033b1, 0x000055d4, 0x0000b330,
316b8021494Sopenharmony_ci  0x000033b0, 0x000055d3, 0x0000807c, 0x0000b331,
317b8021494Sopenharmony_ci  0x000055d2, 0x0000807b, 0x0000807d, 0x0000b332,
318b8021494Sopenharmony_ci  0x0000807a, 0x0000807c, 0x0000807e, 0x0000b333,
319b8021494Sopenharmony_ci  0x0000807b, 0x0000807d, 0x0000807f, 0x0000b334,
320b8021494Sopenharmony_ci  0x0000807c, 0x0000807e, 0x00008080, 0x0000dddd,
321b8021494Sopenharmony_ci  0x0000807d, 0x0000807f, 0x0000ab29, 0x0000ffff,
322b8021494Sopenharmony_ci  0x0000807e, 0x0000ab28, 0x0000cd4b, 0x000132b3,
323b8021494Sopenharmony_ci  0x0000ab27, 0x0000cd4a, 0x0000ffff, 0x000132b4,
324b8021494Sopenharmony_ci  0x0000cd49, 0x0000fffe, 0x00010000, 0x000132b5,
325b8021494Sopenharmony_ci  0x0000fffd, 0x0000ffff, 0x00010001, 0x000132b6,
326b8021494Sopenharmony_ci  0x0000ffff, 0x00010001, 0x000132b6, 0x00015545,
327b8021494Sopenharmony_ci  0x00010000, 0x00010002, 0x00013323, 0x00015552,
328b8021494Sopenharmony_ci  0x00010001, 0x0001006f, 0x00013330, 0x00015553,
329b8021494Sopenharmony_ci  0x0001006e, 0x0001007c, 0x00013331, 0x00015554,
330b8021494Sopenharmony_ci  0x0001007b, 0x0001007d, 0x00013332, 0x00005555,
331b8021494Sopenharmony_ci  0x0001007c, 0x0001007e, 0x00003333, 0x00005556,
332b8021494Sopenharmony_ci  0x0001007d, 0x0000007f, 0x00003334, 0x00005557,
333b8021494Sopenharmony_ci  0x0000007e, 0x00000080, 0x00003335, 0x00005565,
334b8021494Sopenharmony_ci  0x0000007f, 0x00000081, 0x00003343, 0x000055d2,
335b8021494Sopenharmony_ci  0x00000080, 0x0000008f, 0x000033b0, 0x000055d3,
336b8021494Sopenharmony_ci  0x0000008e, 0x000000fc, 0x000033b1, 0x000055d4,
337b8021494Sopenharmony_ci  0x000000fb, 0x000000fd, 0x000033b2, 0x00008888,
338b8021494Sopenharmony_ci  0x000000fc, 0x000000fe, 0x00006666, 0x0000aaaa,
339b8021494Sopenharmony_ci  0x000000fd, 0x000033b2, 0x00008888, 0x0000d552,
340b8021494Sopenharmony_ci  0x000033b1, 0x000055d4, 0x0000b330, 0x0000d553,
341b8021494Sopenharmony_ci  0x000055d3, 0x0000807c, 0x0000b331, 0x0000d554,
342b8021494Sopenharmony_ci  0x0000807b, 0x0000807d, 0x0000b332, 0x0000d555,
343b8021494Sopenharmony_ci  0x0000807c, 0x0000807e, 0x0000b333, 0x0000d556,
344b8021494Sopenharmony_ci  0x0000807d, 0x0000807f, 0x0000b334, 0x0000ffff,
345b8021494Sopenharmony_ci  0x0000807e, 0x00008080, 0x0000dddd, 0x00012221,
346b8021494Sopenharmony_ci  0x0000807f, 0x0000ab29, 0x0000ffff, 0x000154d5,
347b8021494Sopenharmony_ci  0x0000ab28, 0x0000cd4b, 0x000132b3, 0x000154d6,
348b8021494Sopenharmony_ci  0x0000cd4a, 0x0000ffff, 0x000132b4, 0x000154d7,
349b8021494Sopenharmony_ci  0x0000fffe, 0x00010000, 0x000132b5, 0x000154d8,
350b8021494Sopenharmony_ci  0x00010000, 0x000132b5, 0x000154d8, 0x00017fed,
351b8021494Sopenharmony_ci  0x00010001, 0x000132b6, 0x00015545, 0x00017ffa,
352b8021494Sopenharmony_ci  0x00010002, 0x00013323, 0x00015552, 0x00017ffb,
353b8021494Sopenharmony_ci  0x0001006f, 0x00013330, 0x00015553, 0x00017ffc,
354b8021494Sopenharmony_ci  0x0001007c, 0x00013331, 0x00015554, 0x00007ffd,
355b8021494Sopenharmony_ci  0x0001007d, 0x00013332, 0x00005555, 0x00007ffe,
356b8021494Sopenharmony_ci  0x0001007e, 0x00003333, 0x00005556, 0x00007fff,
357b8021494Sopenharmony_ci  0x0000007f, 0x00003334, 0x00005557, 0x0000800d,
358b8021494Sopenharmony_ci  0x00000080, 0x00003335, 0x00005565, 0x0000807a,
359b8021494Sopenharmony_ci  0x00000081, 0x00003343, 0x000055d2, 0x0000807b,
360b8021494Sopenharmony_ci  0x0000008f, 0x000033b0, 0x000055d3, 0x0000807c,
361b8021494Sopenharmony_ci  0x000000fc, 0x000033b1, 0x000055d4, 0x0000b330,
362b8021494Sopenharmony_ci  0x000000fd, 0x000033b2, 0x00008888, 0x0000d552,
363b8021494Sopenharmony_ci  0x000000fe, 0x00006666, 0x0000aaaa, 0x0000fffa,
364b8021494Sopenharmony_ci  0x000033b2, 0x00008888, 0x0000d552, 0x0000fffb,
365b8021494Sopenharmony_ci  0x000055d4, 0x0000b330, 0x0000d553, 0x0000fffc,
366b8021494Sopenharmony_ci  0x0000807c, 0x0000b331, 0x0000d554, 0x0000fffd,
367b8021494Sopenharmony_ci  0x0000807d, 0x0000b332, 0x0000d555, 0x0000fffe,
368b8021494Sopenharmony_ci  0x0000807e, 0x0000b333, 0x0000d556, 0x00012aa7,
369b8021494Sopenharmony_ci  0x0000807f, 0x0000b334, 0x0000ffff, 0x00014cc9,
370b8021494Sopenharmony_ci  0x00008080, 0x0000dddd, 0x00012221, 0x00017f7d,
371b8021494Sopenharmony_ci  0x0000ab29, 0x0000ffff, 0x000154d5, 0x00017f7e,
372b8021494Sopenharmony_ci  0x0000cd4b, 0x000132b3, 0x000154d6, 0x00017f7f,
373b8021494Sopenharmony_ci  0x0000ffff, 0x000132b4, 0x000154d7, 0x00017f80,
374b8021494Sopenharmony_ci  0x000132b4, 0x000154d7, 0x00017f80, 0x00017fee,
375b8021494Sopenharmony_ci  0x000132b5, 0x000154d8, 0x00017fed, 0x00017ffb,
376b8021494Sopenharmony_ci  0x000132b6, 0x00015545, 0x00017ffa, 0x00017ffc,
377b8021494Sopenharmony_ci  0x00013323, 0x00015552, 0x00017ffb, 0x00017ffd,
378b8021494Sopenharmony_ci  0x00013330, 0x00015553, 0x00017ffc, 0x00007ffe,
379b8021494Sopenharmony_ci  0x00013331, 0x00015554, 0x00007ffd, 0x00007fff,
380b8021494Sopenharmony_ci  0x00013332, 0x00005555, 0x00007ffe, 0x00008000,
381b8021494Sopenharmony_ci  0x00003333, 0x00005556, 0x00007fff, 0x0000800e,
382b8021494Sopenharmony_ci  0x00003334, 0x00005557, 0x0000800d, 0x0000807b,
383b8021494Sopenharmony_ci  0x00003335, 0x00005565, 0x0000807a, 0x0000807c,
384b8021494Sopenharmony_ci  0x00003343, 0x000055d2, 0x0000807b, 0x0000807d,
385b8021494Sopenharmony_ci  0x000033b0, 0x000055d3, 0x0000807c, 0x0000b331,
386b8021494Sopenharmony_ci  0x000033b1, 0x000055d4, 0x0000b330, 0x0000d553,
387b8021494Sopenharmony_ci  0x000033b2, 0x00008888, 0x0000d552, 0x0000fffb,
388b8021494Sopenharmony_ci  0x00006666, 0x0000aaaa, 0x0000fffa, 0x0000fffc,
389b8021494Sopenharmony_ci  0x00008888, 0x0000d552, 0x0000fffb, 0x0000fffd,
390b8021494Sopenharmony_ci  0x0000b330, 0x0000d553, 0x0000fffc, 0x0000fffe,
391b8021494Sopenharmony_ci  0x0000b331, 0x0000d554, 0x0000fffd, 0x0000ffff,
392b8021494Sopenharmony_ci  0x0000b332, 0x0000d555, 0x0000fffe, 0x00012aa8,
393b8021494Sopenharmony_ci  0x0000b333, 0x0000d556, 0x00012aa7, 0x00014cca,
394b8021494Sopenharmony_ci  0x0000b334, 0x0000ffff, 0x00014cc9, 0x00017f7e,
395b8021494Sopenharmony_ci  0x0000dddd, 0x00012221, 0x00017f7d, 0x00017f7f,
396b8021494Sopenharmony_ci  0x0000ffff, 0x000154d5, 0x00017f7e, 0x00017f80,
397b8021494Sopenharmony_ci  0x000132b3, 0x000154d6, 0x00017f7f, 0x00017f81,
398b8021494Sopenharmony_ci  0x000154d6, 0x00017f7f, 0x00017f81, 0x00017fef,
399b8021494Sopenharmony_ci  0x000154d7, 0x00017f80, 0x00017fee, 0x00017ffc,
400b8021494Sopenharmony_ci  0x000154d8, 0x00017fed, 0x00017ffb, 0x00017ffd,
401b8021494Sopenharmony_ci  0x00015545, 0x00017ffa, 0x00017ffc, 0x00017ffe,
402b8021494Sopenharmony_ci  0x00015552, 0x00017ffb, 0x00017ffd, 0x00007fff,
403b8021494Sopenharmony_ci  0x00015553, 0x00017ffc, 0x00007ffe, 0x00008000,
404b8021494Sopenharmony_ci  0x00015554, 0x00007ffd, 0x00007fff, 0x00008001,
405b8021494Sopenharmony_ci  0x00005555, 0x00007ffe, 0x00008000, 0x0000800f,
406b8021494Sopenharmony_ci  0x00005556, 0x00007fff, 0x0000800e, 0x0000807c,
407b8021494Sopenharmony_ci  0x00005557, 0x0000800d, 0x0000807b, 0x0000807d,
408b8021494Sopenharmony_ci  0x00005565, 0x0000807a, 0x0000807c, 0x0000807e,
409b8021494Sopenharmony_ci  0x000055d2, 0x0000807b, 0x0000807d, 0x0000b332,
410b8021494Sopenharmony_ci  0x000055d3, 0x0000807c, 0x0000b331, 0x0000d554,
411b8021494Sopenharmony_ci  0x000055d4, 0x0000b330, 0x0000d553, 0x0000fffc,
412b8021494Sopenharmony_ci  0x00008888, 0x0000d552, 0x0000fffb, 0x0000fffd,
413b8021494Sopenharmony_ci  0x0000aaaa, 0x0000fffa, 0x0000fffc, 0x0000fffe,
414b8021494Sopenharmony_ci  0x0000d552, 0x0000fffb, 0x0000fffd, 0x0000ffff,
415b8021494Sopenharmony_ci  0x0000d553, 0x0000fffc, 0x0000fffe, 0x00010000,
416b8021494Sopenharmony_ci  0x0000d554, 0x0000fffd, 0x0000ffff, 0x00012aa9,
417b8021494Sopenharmony_ci  0x0000d555, 0x0000fffe, 0x00012aa8, 0x00014ccb,
418b8021494Sopenharmony_ci  0x0000d556, 0x00012aa7, 0x00014cca, 0x00017f7f,
419b8021494Sopenharmony_ci  0x0000ffff, 0x00014cc9, 0x00017f7e, 0x00017f80,
420b8021494Sopenharmony_ci  0x00012221, 0x00017f7d, 0x00017f7f, 0x00017f81,
421b8021494Sopenharmony_ci  0x000154d5, 0x00017f7e, 0x00017f80, 0x00017f82,
422b8021494Sopenharmony_ci  0x00017f7e, 0x00017f80, 0x00017f82, 0x00017ff0,
423b8021494Sopenharmony_ci  0x00017f7f, 0x00017f81, 0x00017fef, 0x00017ffd,
424b8021494Sopenharmony_ci  0x00017f80, 0x00017fee, 0x00017ffc, 0x00017ffe,
425b8021494Sopenharmony_ci  0x00017fed, 0x00017ffb, 0x00017ffd, 0x00017fff,
426b8021494Sopenharmony_ci  0x00017ffa, 0x00017ffc, 0x00017ffe, 0x00008000,
427b8021494Sopenharmony_ci  0x00017ffb, 0x00017ffd, 0x00007fff, 0x00008001,
428b8021494Sopenharmony_ci  0x00017ffc, 0x00007ffe, 0x00008000, 0x00008002,
429b8021494Sopenharmony_ci  0x00007ffd, 0x00007fff, 0x00008001, 0x00008010,
430b8021494Sopenharmony_ci  0x00007ffe, 0x00008000, 0x0000800f, 0x0000807d,
431b8021494Sopenharmony_ci  0x00007fff, 0x0000800e, 0x0000807c, 0x0000807e,
432b8021494Sopenharmony_ci  0x0000800d, 0x0000807b, 0x0000807d, 0x0000807f,
433b8021494Sopenharmony_ci  0x0000807a, 0x0000807c, 0x0000807e, 0x0000b333,
434b8021494Sopenharmony_ci  0x0000807b, 0x0000807d, 0x0000b332, 0x0000d555,
435b8021494Sopenharmony_ci  0x0000807c, 0x0000b331, 0x0000d554, 0x0000fffd,
436b8021494Sopenharmony_ci  0x0000b330, 0x0000d553, 0x0000fffc, 0x0000fffe,
437b8021494Sopenharmony_ci  0x0000d552, 0x0000fffb, 0x0000fffd, 0x0000ffff,
438b8021494Sopenharmony_ci  0x0000fffa, 0x0000fffc, 0x0000fffe, 0x00010000,
439b8021494Sopenharmony_ci  0x0000fffb, 0x0000fffd, 0x0000ffff, 0x00010001,
440b8021494Sopenharmony_ci  0x0000fffc, 0x0000fffe, 0x00010000, 0x00012aaa,
441b8021494Sopenharmony_ci  0x0000fffd, 0x0000ffff, 0x00012aa9, 0x00014ccc,
442b8021494Sopenharmony_ci  0x0000fffe, 0x00012aa8, 0x00014ccb, 0x00017f80,
443b8021494Sopenharmony_ci  0x00012aa7, 0x00014cca, 0x00017f7f, 0x00017f81,
444b8021494Sopenharmony_ci  0x00014cc9, 0x00017f7e, 0x00017f80, 0x00017f82,
445b8021494Sopenharmony_ci  0x00017f7d, 0x00017f7f, 0x00017f81, 0x00017f83,
446b8021494Sopenharmony_ci  0x00017f7f, 0x00017f81, 0x00017f83, 0x00017ff1,
447b8021494Sopenharmony_ci  0x00017f80, 0x00017f82, 0x00017ff0, 0x00017ffe,
448b8021494Sopenharmony_ci  0x00017f81, 0x00017fef, 0x00017ffd, 0x00017fff,
449b8021494Sopenharmony_ci  0x00017fee, 0x00017ffc, 0x00017ffe, 0x00018000,
450b8021494Sopenharmony_ci  0x00017ffb, 0x00017ffd, 0x00017fff, 0x00008001,
451b8021494Sopenharmony_ci  0x00017ffc, 0x00017ffe, 0x00008000, 0x00008002,
452b8021494Sopenharmony_ci  0x00017ffd, 0x00007fff, 0x00008001, 0x00008003,
453b8021494Sopenharmony_ci  0x00007ffe, 0x00008000, 0x00008002, 0x00008011,
454b8021494Sopenharmony_ci  0x00007fff, 0x00008001, 0x00008010, 0x0000807e,
455b8021494Sopenharmony_ci  0x00008000, 0x0000800f, 0x0000807d, 0x0000807f,
456b8021494Sopenharmony_ci  0x0000800e, 0x0000807c, 0x0000807e, 0x00008080,
457b8021494Sopenharmony_ci  0x0000807b, 0x0000807d, 0x0000807f, 0x0000b334,
458b8021494Sopenharmony_ci  0x0000807c, 0x0000807e, 0x0000b333, 0x0000d556,
459b8021494Sopenharmony_ci  0x0000807d, 0x0000b332, 0x0000d555, 0x0000fffe,
460b8021494Sopenharmony_ci  0x0000b331, 0x0000d554, 0x0000fffd, 0x0000ffff,
461b8021494Sopenharmony_ci  0x0000d553, 0x0000fffc, 0x0000fffe, 0x00010000,
462b8021494Sopenharmony_ci  0x0000fffb, 0x0000fffd, 0x0000ffff, 0x00010001,
463b8021494Sopenharmony_ci  0x0000fffc, 0x0000fffe, 0x00010000, 0x00010002,
464b8021494Sopenharmony_ci  0x0000fffd, 0x0000ffff, 0x00010001, 0x00012aab,
465b8021494Sopenharmony_ci  0x0000fffe, 0x00010000, 0x00012aaa, 0x00014ccd,
466b8021494Sopenharmony_ci  0x0000ffff, 0x00012aa9, 0x00014ccc, 0x00017f81,
467b8021494Sopenharmony_ci  0x00012aa8, 0x00014ccb, 0x00017f80, 0x00017f82,
468b8021494Sopenharmony_ci  0x00014cca, 0x00017f7f, 0x00017f81, 0x00017f83,
469b8021494Sopenharmony_ci  0x00017f7e, 0x00017f80, 0x00017f82, 0x00017f84,
470b8021494Sopenharmony_ci  0x00017f80, 0x00017f82, 0x00017f84, 0x0001aa9a,
471b8021494Sopenharmony_ci  0x00017f81, 0x00017f83, 0x00017ff1, 0x0001aaa7,
472b8021494Sopenharmony_ci  0x00017f82, 0x00017ff0, 0x00017ffe, 0x0001aaa8,
473b8021494Sopenharmony_ci  0x00017fef, 0x00017ffd, 0x00017fff, 0x0001aaa9,
474b8021494Sopenharmony_ci  0x00017ffc, 0x00017ffe, 0x00018000, 0x0000aaaa,
475b8021494Sopenharmony_ci  0x00017ffd, 0x00017fff, 0x00008001, 0x0000aaab,
476b8021494Sopenharmony_ci  0x00017ffe, 0x00008000, 0x00008002, 0x0000aaac,
477b8021494Sopenharmony_ci  0x00007fff, 0x00008001, 0x00008003, 0x0000aaba,
478b8021494Sopenharmony_ci  0x00008000, 0x00008002, 0x00008011, 0x0000ab27,
479b8021494Sopenharmony_ci  0x00008001, 0x00008010, 0x0000807e, 0x0000ab28,
480b8021494Sopenharmony_ci  0x0000800f, 0x0000807d, 0x0000807f, 0x0000ab29,
481b8021494Sopenharmony_ci  0x0000807c, 0x0000807e, 0x00008080, 0x0000dddd,
482b8021494Sopenharmony_ci  0x0000807d, 0x0000807f, 0x0000b334, 0x0000ffff,
483b8021494Sopenharmony_ci  0x0000807e, 0x0000b333, 0x0000d556, 0x00012aa7,
484b8021494Sopenharmony_ci  0x0000b332, 0x0000d555, 0x0000fffe, 0x00012aa8,
485b8021494Sopenharmony_ci  0x0000d554, 0x0000fffd, 0x0000ffff, 0x00012aa9,
486b8021494Sopenharmony_ci  0x0000fffc, 0x0000fffe, 0x00010000, 0x00012aaa,
487b8021494Sopenharmony_ci  0x0000fffd, 0x0000ffff, 0x00010001, 0x00012aab,
488b8021494Sopenharmony_ci  0x0000fffe, 0x00010000, 0x00010002, 0x00015554,
489b8021494Sopenharmony_ci  0x0000ffff, 0x00010001, 0x00012aab, 0x00017776,
490b8021494Sopenharmony_ci  0x00010000, 0x00012aaa, 0x00014ccd, 0x0001aa2a,
491b8021494Sopenharmony_ci  0x00012aa9, 0x00014ccc, 0x00017f81, 0x0001aa2b,
492b8021494Sopenharmony_ci  0x00014ccb, 0x00017f80, 0x00017f82, 0x0001aa2c,
493b8021494Sopenharmony_ci  0x00017f7f, 0x00017f81, 0x00017f83, 0x0001aa2d,
494b8021494Sopenharmony_ci  0x00017f81, 0x00017f83, 0x0001aa2d, 0x0001ccbc,
495b8021494Sopenharmony_ci  0x00017f82, 0x00017f84, 0x0001aa9a, 0x0001ccc9,
496b8021494Sopenharmony_ci  0x00017f83, 0x00017ff1, 0x0001aaa7, 0x0001ccca,
497b8021494Sopenharmony_ci  0x00017ff0, 0x00017ffe, 0x0001aaa8, 0x0001cccb,
498b8021494Sopenharmony_ci  0x00017ffd, 0x00017fff, 0x0001aaa9, 0x0000cccc,
499b8021494Sopenharmony_ci  0x00017ffe, 0x00018000, 0x0000aaaa, 0x0000cccd,
500b8021494Sopenharmony_ci  0x00017fff, 0x00008001, 0x0000aaab, 0x0000ccce,
501b8021494Sopenharmony_ci  0x00008000, 0x00008002, 0x0000aaac, 0x0000ccdc,
502b8021494Sopenharmony_ci  0x00008001, 0x00008003, 0x0000aaba, 0x0000cd49,
503b8021494Sopenharmony_ci  0x00008002, 0x00008011, 0x0000ab27, 0x0000cd4a,
504b8021494Sopenharmony_ci  0x00008010, 0x0000807e, 0x0000ab28, 0x0000cd4b,
505b8021494Sopenharmony_ci  0x0000807d, 0x0000807f, 0x0000ab29, 0x0000ffff,
506b8021494Sopenharmony_ci  0x0000807e, 0x00008080, 0x0000dddd, 0x00012221,
507b8021494Sopenharmony_ci  0x0000807f, 0x0000b334, 0x0000ffff, 0x00014cc9,
508b8021494Sopenharmony_ci  0x0000b333, 0x0000d556, 0x00012aa7, 0x00014cca,
509b8021494Sopenharmony_ci  0x0000d555, 0x0000fffe, 0x00012aa8, 0x00014ccb,
510b8021494Sopenharmony_ci  0x0000fffd, 0x0000ffff, 0x00012aa9, 0x00014ccc,
511b8021494Sopenharmony_ci  0x0000fffe, 0x00010000, 0x00012aaa, 0x00014ccd,
512b8021494Sopenharmony_ci  0x0000ffff, 0x00010001, 0x00012aab, 0x00017776,
513b8021494Sopenharmony_ci  0x00010000, 0x00010002, 0x00015554, 0x00019998,
514b8021494Sopenharmony_ci  0x00010001, 0x00012aab, 0x00017776, 0x0001cc4c,
515b8021494Sopenharmony_ci  0x00012aaa, 0x00014ccd, 0x0001aa2a, 0x0001cc4d,
516b8021494Sopenharmony_ci  0x00014ccc, 0x00017f81, 0x0001aa2b, 0x0001cc4e,
517b8021494Sopenharmony_ci  0x00017f80, 0x00017f82, 0x0001aa2c, 0x0001cc4f,
518b8021494Sopenharmony_ci  0x00017f82, 0x0001aa2c, 0x0001cc4f, 0x0001ff70,
519b8021494Sopenharmony_ci  0x00017f83, 0x0001aa2d, 0x0001ccbc, 0x0001ff7d,
520b8021494Sopenharmony_ci  0x00017f84, 0x0001aa9a, 0x0001ccc9, 0x0001ff7e,
521b8021494Sopenharmony_ci  0x00017ff1, 0x0001aaa7, 0x0001ccca, 0x0001ff7f,
522b8021494Sopenharmony_ci  0x00017ffe, 0x0001aaa8, 0x0001cccb, 0x0000ff80,
523b8021494Sopenharmony_ci  0x00017fff, 0x0001aaa9, 0x0000cccc, 0x0000ff81,
524b8021494Sopenharmony_ci  0x00018000, 0x0000aaaa, 0x0000cccd, 0x0000ff82,
525b8021494Sopenharmony_ci  0x00008001, 0x0000aaab, 0x0000ccce, 0x0000ff90,
526b8021494Sopenharmony_ci  0x00008002, 0x0000aaac, 0x0000ccdc, 0x0000fffd,
527b8021494Sopenharmony_ci  0x00008003, 0x0000aaba, 0x0000cd49, 0x0000fffe,
528b8021494Sopenharmony_ci  0x00008011, 0x0000ab27, 0x0000cd4a, 0x0000ffff,
529b8021494Sopenharmony_ci  0x0000807e, 0x0000ab28, 0x0000cd4b, 0x000132b3,
530b8021494Sopenharmony_ci  0x0000807f, 0x0000ab29, 0x0000ffff, 0x000154d5,
531b8021494Sopenharmony_ci  0x00008080, 0x0000dddd, 0x00012221, 0x00017f7d,
532b8021494Sopenharmony_ci  0x0000b334, 0x0000ffff, 0x00014cc9, 0x00017f7e,
533b8021494Sopenharmony_ci  0x0000d556, 0x00012aa7, 0x00014cca, 0x00017f7f,
534b8021494Sopenharmony_ci  0x0000fffe, 0x00012aa8, 0x00014ccb, 0x00017f80,
535b8021494Sopenharmony_ci  0x0000ffff, 0x00012aa9, 0x00014ccc, 0x00017f81,
536b8021494Sopenharmony_ci  0x00010000, 0x00012aaa, 0x00014ccd, 0x0001aa2a,
537b8021494Sopenharmony_ci  0x00010001, 0x00012aab, 0x00017776, 0x0001cc4c,
538b8021494Sopenharmony_ci  0x00010002, 0x00015554, 0x00019998, 0x0001ff00,
539b8021494Sopenharmony_ci  0x00012aab, 0x00017776, 0x0001cc4c, 0x0001ff01,
540b8021494Sopenharmony_ci  0x00014ccd, 0x0001aa2a, 0x0001cc4d, 0x0001ff02,
541b8021494Sopenharmony_ci  0x00017f81, 0x0001aa2b, 0x0001cc4e, 0x0001ff03,
542b8021494Sopenharmony_ci  0x0001aa2b, 0x0001cc4e, 0x0001ff03, 0x0001ff71,
543b8021494Sopenharmony_ci  0x0001aa2c, 0x0001cc4f, 0x0001ff70, 0x0001ff7e,
544b8021494Sopenharmony_ci  0x0001aa2d, 0x0001ccbc, 0x0001ff7d, 0x0001ff7f,
545b8021494Sopenharmony_ci  0x0001aa9a, 0x0001ccc9, 0x0001ff7e, 0x0001ff80,
546b8021494Sopenharmony_ci  0x0001aaa7, 0x0001ccca, 0x0001ff7f, 0x0000ff81,
547b8021494Sopenharmony_ci  0x0001aaa8, 0x0001cccb, 0x0000ff80, 0x0000ff82,
548b8021494Sopenharmony_ci  0x0001aaa9, 0x0000cccc, 0x0000ff81, 0x0000ff83,
549b8021494Sopenharmony_ci  0x0000aaaa, 0x0000cccd, 0x0000ff82, 0x0000ff91,
550b8021494Sopenharmony_ci  0x0000aaab, 0x0000ccce, 0x0000ff90, 0x0000fffe,
551b8021494Sopenharmony_ci  0x0000aaac, 0x0000ccdc, 0x0000fffd, 0x0000ffff,
552b8021494Sopenharmony_ci  0x0000aaba, 0x0000cd49, 0x0000fffe, 0x00010000,
553b8021494Sopenharmony_ci  0x0000ab27, 0x0000cd4a, 0x0000ffff, 0x000132b4,
554b8021494Sopenharmony_ci  0x0000ab28, 0x0000cd4b, 0x000132b3, 0x000154d6,
555b8021494Sopenharmony_ci  0x0000ab29, 0x0000ffff, 0x000154d5, 0x00017f7e,
556b8021494Sopenharmony_ci  0x0000dddd, 0x00012221, 0x00017f7d, 0x00017f7f,
557b8021494Sopenharmony_ci  0x0000ffff, 0x00014cc9, 0x00017f7e, 0x00017f80,
558b8021494Sopenharmony_ci  0x00012aa7, 0x00014cca, 0x00017f7f, 0x00017f81,
559b8021494Sopenharmony_ci  0x00012aa8, 0x00014ccb, 0x00017f80, 0x00017f82,
560b8021494Sopenharmony_ci  0x00012aa9, 0x00014ccc, 0x00017f81, 0x0001aa2b,
561b8021494Sopenharmony_ci  0x00012aaa, 0x00014ccd, 0x0001aa2a, 0x0001cc4d,
562b8021494Sopenharmony_ci  0x00012aab, 0x00017776, 0x0001cc4c, 0x0001ff01,
563b8021494Sopenharmony_ci  0x00015554, 0x00019998, 0x0001ff00, 0x0001ff02,
564b8021494Sopenharmony_ci  0x00017776, 0x0001cc4c, 0x0001ff01, 0x0001ff03,
565b8021494Sopenharmony_ci  0x0001aa2a, 0x0001cc4d, 0x0001ff02, 0x0001ff04,
566b8021494Sopenharmony_ci  0x0001cc4d, 0x0001ff02, 0x0001ff04, 0x0001ff72,
567b8021494Sopenharmony_ci  0x0001cc4e, 0x0001ff03, 0x0001ff71, 0x0001ff7f,
568b8021494Sopenharmony_ci  0x0001cc4f, 0x0001ff70, 0x0001ff7e, 0x0001ff80,
569b8021494Sopenharmony_ci  0x0001ccbc, 0x0001ff7d, 0x0001ff7f, 0x0001ff81,
570b8021494Sopenharmony_ci  0x0001ccc9, 0x0001ff7e, 0x0001ff80, 0x0000ff82,
571b8021494Sopenharmony_ci  0x0001ccca, 0x0001ff7f, 0x0000ff81, 0x0000ff83,
572b8021494Sopenharmony_ci  0x0001cccb, 0x0000ff80, 0x0000ff82, 0x0000ff84,
573b8021494Sopenharmony_ci  0x0000cccc, 0x0000ff81, 0x0000ff83, 0x0000ff92,
574b8021494Sopenharmony_ci  0x0000cccd, 0x0000ff82, 0x0000ff91, 0x0000ffff,
575b8021494Sopenharmony_ci  0x0000ccce, 0x0000ff90, 0x0000fffe, 0x00010000,
576b8021494Sopenharmony_ci  0x0000ccdc, 0x0000fffd, 0x0000ffff, 0x00010001,
577b8021494Sopenharmony_ci  0x0000cd49, 0x0000fffe, 0x00010000, 0x000132b5,
578b8021494Sopenharmony_ci  0x0000cd4a, 0x0000ffff, 0x000132b4, 0x000154d7,
579b8021494Sopenharmony_ci  0x0000cd4b, 0x000132b3, 0x000154d6, 0x00017f7f,
580b8021494Sopenharmony_ci  0x0000ffff, 0x000154d5, 0x00017f7e, 0x00017f80,
581b8021494Sopenharmony_ci  0x00012221, 0x00017f7d, 0x00017f7f, 0x00017f81,
582b8021494Sopenharmony_ci  0x00014cc9, 0x00017f7e, 0x00017f80, 0x00017f82,
583b8021494Sopenharmony_ci  0x00014cca, 0x00017f7f, 0x00017f81, 0x00017f83,
584b8021494Sopenharmony_ci  0x00014ccb, 0x00017f80, 0x00017f82, 0x0001aa2c,
585b8021494Sopenharmony_ci  0x00014ccc, 0x00017f81, 0x0001aa2b, 0x0001cc4e,
586b8021494Sopenharmony_ci  0x00014ccd, 0x0001aa2a, 0x0001cc4d, 0x0001ff02,
587b8021494Sopenharmony_ci  0x00017776, 0x0001cc4c, 0x0001ff01, 0x0001ff03,
588b8021494Sopenharmony_ci  0x00019998, 0x0001ff00, 0x0001ff02, 0x0001ff04,
589b8021494Sopenharmony_ci  0x0001cc4c, 0x0001ff01, 0x0001ff03, 0x0001ff05,
590b8021494Sopenharmony_ci  0x0001ff01, 0x0001ff03, 0x0001ff05, 0x0001ff73,
591b8021494Sopenharmony_ci  0x0001ff02, 0x0001ff04, 0x0001ff72, 0x0001ff80,
592b8021494Sopenharmony_ci  0x0001ff03, 0x0001ff71, 0x0001ff7f, 0x0001ff81,
593b8021494Sopenharmony_ci  0x0001ff70, 0x0001ff7e, 0x0001ff80, 0x0001ff82,
594b8021494Sopenharmony_ci  0x0001ff7d, 0x0001ff7f, 0x0001ff81, 0x0000ff83,
595b8021494Sopenharmony_ci  0x0001ff7e, 0x0001ff80, 0x0000ff82, 0x0000ff84,
596b8021494Sopenharmony_ci  0x0001ff7f, 0x0000ff81, 0x0000ff83, 0x0000ff85,
597b8021494Sopenharmony_ci  0x0000ff80, 0x0000ff82, 0x0000ff84, 0x0000ff93,
598b8021494Sopenharmony_ci  0x0000ff81, 0x0000ff83, 0x0000ff92, 0x00010000,
599b8021494Sopenharmony_ci  0x0000ff82, 0x0000ff91, 0x0000ffff, 0x00010001,
600b8021494Sopenharmony_ci  0x0000ff90, 0x0000fffe, 0x00010000, 0x00010002,
601b8021494Sopenharmony_ci  0x0000fffd, 0x0000ffff, 0x00010001, 0x000132b6,
602b8021494Sopenharmony_ci  0x0000fffe, 0x00010000, 0x000132b5, 0x000154d8,
603b8021494Sopenharmony_ci  0x0000ffff, 0x000132b4, 0x000154d7, 0x00017f80,
604b8021494Sopenharmony_ci  0x000132b3, 0x000154d6, 0x00017f7f, 0x00017f81,
605b8021494Sopenharmony_ci  0x000154d5, 0x00017f7e, 0x00017f80, 0x00017f82,
606b8021494Sopenharmony_ci  0x00017f7d, 0x00017f7f, 0x00017f81, 0x00017f83,
607b8021494Sopenharmony_ci  0x00017f7e, 0x00017f80, 0x00017f82, 0x00017f84,
608b8021494Sopenharmony_ci  0x00017f7f, 0x00017f81, 0x00017f83, 0x0001aa2d,
609b8021494Sopenharmony_ci  0x00017f80, 0x00017f82, 0x0001aa2c, 0x0001cc4f,
610b8021494Sopenharmony_ci  0x00017f81, 0x0001aa2b, 0x0001cc4e, 0x0001ff03,
611b8021494Sopenharmony_ci  0x0001aa2a, 0x0001cc4d, 0x0001ff02, 0x0001ff04,
612b8021494Sopenharmony_ci  0x0001cc4c, 0x0001ff01, 0x0001ff03, 0x0001ff05,
613b8021494Sopenharmony_ci  0x0001ff00, 0x0001ff02, 0x0001ff04, 0x0001ff06,
614b8021494Sopenharmony_ci};
615b8021494Sopenharmony_ciconst unsigned kExpectedCount_NEON_uaddl_4S = 576;
616b8021494Sopenharmony_ci
617b8021494Sopenharmony_ci#endif  // VIXL_SIM_UADDL_4S_TRACE_AARCH64_H_
618