1// Copyright 2015, VIXL authors
2// All rights reserved.
3//
4// Redistribution and use in source and binary forms, with or without
5// modification, are permitted provided that the following conditions are met:
6//
7//   * Redistributions of source code must retain the above copyright notice,
8//     this list of conditions and the following disclaimer.
9//   * Redistributions in binary form must reproduce the above copyright notice,
10//     this list of conditions and the following disclaimer in the documentation
11//     and/or other materials provided with the distribution.
12//   * Neither the name of ARM Limited nor the names of its contributors may be
13//     used to endorse or promote products derived from this software without
14//     specific prior written permission.
15//
16// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND
17// ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
18// WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
19// DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
20// FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
21// DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
22// SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
23// CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
24// OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
25// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
26
27
28// ---------------------------------------------------------------------
29// This file is auto generated using tools/generate_simulator_traces.py.
30//
31// PLEASE DO NOT EDIT.
32// ---------------------------------------------------------------------
33
34#ifndef VIXL_SIM_FRINTM_D_TRACE_AARCH64_H_
35#define VIXL_SIM_FRINTM_D_TRACE_AARCH64_H_
36
37const uint64_t kExpected_frintm_d[] = {
38  0x0000000000000000,
39  0x0000000000000000,
40  0x0000000000000000,
41  0x0000000000000000,
42  0x0000000000000000,
43  0x0000000000000000,
44  0x3ff0000000000000,
45  0x3ff0000000000000,
46  0x3ff0000000000000,
47  0x4024000000000000,
48  0x7fefffffffffffff,
49  0x7ff0000000000000,
50  0x7ff923456789abcd,
51  0x7ff8000000000000,
52  0x7ff923456789abcd,
53  0x7ff0000000000000,
54  0x0000000000000000,
55  0x0000000000000000,
56  0x0000000000000000,
57  0x8000000000000000,
58  0xbff0000000000000,
59  0xbff0000000000000,
60  0xbff0000000000000,
61  0xbff0000000000000,
62  0xbff0000000000000,
63  0xbff0000000000000,
64  0xc000000000000000,
65  0xc000000000000000,
66  0xc024000000000000,
67  0xffefffffffffffff,
68  0xfff0000000000000,
69  0xfff923456789abcd,
70  0xfff8000000000000,
71  0xfff923456789abcd,
72  0xfff0000000000000,
73  0xbff0000000000000,
74  0xbff0000000000000,
75  0xbff0000000000000,
76  0x47efffff00000000,
77  0x0000000000000000,
78  0x3ff0000000000000,
79  0x3ff0000000000000,
80  0x3ff0000000000000,
81  0x3ff0000000000000,
82  0x3ff0000000000000,
83  0x3ff0000000000000,
84  0x3ff0000000000000,
85  0x3ff0000000000000,
86  0x3ff0000000000000,
87  0x3ff0000000000000,
88  0x3ff0000000000000,
89  0x3ff0000000000000,
90  0x3ff0000000000000,
91  0x0000000000000000,
92  0x47efffffefffffff,
93  0x47f0000000000000,
94  0x47effffff0000000,
95  0x0000000000000000,
96  0x0000000000000000,
97  0x0000000000000000,
98  0x0000000000000000,
99  0x0000000000000000,
100  0x0000000000000000,
101  0x0000000000000000,
102  0x0000000000000000,
103  0x0000000000000000,
104  0x0000000000000000,
105  0x0000000000000000,
106  0x0000000000000000,
107  0x0000000000000000,
108  0x0000000000000000,
109  0x0000000000000000,
110  0x0000000000000000,
111  0x0000000000000000,
112  0xc7efffff00000000,
113  0xbff0000000000000,
114  0xbff0000000000000,
115  0xc000000000000000,
116  0xc000000000000000,
117  0xc000000000000000,
118  0xc000000000000000,
119  0xc000000000000000,
120  0xc000000000000000,
121  0xc000000000000000,
122  0xc000000000000000,
123  0xc000000000000000,
124  0xc000000000000000,
125  0xc000000000000000,
126  0xc000000000000000,
127  0xbff0000000000000,
128  0xc7efffffefffffff,
129  0xc7f0000000000000,
130  0xc7effffff0000000,
131  0xbff0000000000000,
132  0xbff0000000000000,
133  0xbff0000000000000,
134  0xbff0000000000000,
135  0xbff0000000000000,
136  0xbff0000000000000,
137  0xbff0000000000000,
138  0xbff0000000000000,
139  0xbff0000000000000,
140  0xbff0000000000000,
141  0xbff0000000000000,
142  0xbff0000000000000,
143  0xbff0000000000000,
144  0xbff0000000000000,
145  0xbff0000000000000,
146  0xbff0000000000000,
147  0xbff0000000000000,
148  0x4330000000000000,
149  0x4330000000000001,
150  0x4330000000000002,
151  0x4330000000000003,
152  0x433fedcba9876543,
153  0x433ffffffffffffc,
154  0x433ffffffffffffd,
155  0x433ffffffffffffe,
156  0x433fffffffffffff,
157  0x4320000000000000,
158  0x4320000000000000,
159  0x4320000000000002,
160  0x4320000000000002,
161  0x432fedcba9876542,
162  0x432ffffffffffffc,
163  0x432ffffffffffffc,
164  0x432ffffffffffffe,
165  0x432ffffffffffffe,
166  0x4310000000000000,
167  0x4310000000000000,
168  0x4310000000000000,
169  0x4310000000000000,
170  0x431fedcba9876540,
171  0x431ffffffffffffc,
172  0x431ffffffffffffc,
173  0x431ffffffffffffc,
174  0x431ffffffffffffc,
175  0xc330000000000000,
176  0xc330000000000001,
177  0xc330000000000002,
178  0xc330000000000003,
179  0xc33fedcba9876543,
180  0xc33ffffffffffffc,
181  0xc33ffffffffffffd,
182  0xc33ffffffffffffe,
183  0xc33fffffffffffff,
184  0xc320000000000000,
185  0xc320000000000002,
186  0xc320000000000002,
187  0xc320000000000004,
188  0xc32fedcba9876544,
189  0xc32ffffffffffffc,
190  0xc32ffffffffffffe,
191  0xc32ffffffffffffe,
192  0xc330000000000000,
193  0xc310000000000000,
194  0xc310000000000004,
195  0xc310000000000004,
196  0xc310000000000004,
197  0xc31fedcba9876544,
198  0xc31ffffffffffffc,
199  0xc320000000000000,
200  0xc320000000000000,
201  0xc320000000000000,
202  0xc3e0000000000001,
203  0xc3e0000000000000,
204  0xc3dfffffffffffff,
205  0x43dfffffffffffff,
206  0x43e0000000000000,
207  0x43efffffffffffff,
208  0x43f0000000000000,
209  0xc1e0000000400000,
210  0xc1e0000000200000,
211  0xc1e0000000200000,
212  0xc1e0000000200000,
213  0xc1e0000000200000,
214  0xc1e0000000200000,
215  0xc1e0000000200000,
216  0xc1e0000000000000,
217  0xc1e0000000000000,
218  0xc1e0000000000000,
219  0xc1e0000000000000,
220  0xc1e0000000000000,
221  0x41dfffffff400000,
222  0x41dfffffff800000,
223  0x41dfffffff800000,
224  0x41dfffffff800000,
225  0x41dfffffff800000,
226  0x41dfffffff800000,
227  0x41dfffffff800000,
228  0x41dfffffffc00000,
229  0x41dfffffffc00000,
230  0x41dfffffffc00000,
231  0x41dfffffffc00000,
232  0x41dfffffffc00000,
233  0x41efffffffa00000,
234  0x41efffffffc00000,
235  0x41efffffffc00000,
236  0x41efffffffc00000,
237  0x41efffffffc00000,
238  0x41efffffffc00000,
239  0x41efffffffc00000,
240  0x41efffffffe00000,
241  0x41efffffffe00000,
242  0x41efffffffe00000,
243  0x41efffffffe00000,
244  0x41efffffffe00000,
245};
246const unsigned kExpectedCount_frintm_d = 207;
247
248#endif  // VIXL_SIM_FRINTM_D_TRACE_AARCH64_H_
249