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_FRINT32X_D_TRACE_AARCH64_H_
35#define VIXL_SIM_FRINT32X_D_TRACE_AARCH64_H_
36
37const uint64_t kExpected_frint32x_d[] = {
38  0x0000000000000000,
39  0x0000000000000000,
40  0x0000000000000000,
41  0x0000000000000000,
42  0x3ff0000000000000,
43  0x3ff0000000000000,
44  0x3ff0000000000000,
45  0x3ff0000000000000,
46  0x4000000000000000,
47  0x4024000000000000,
48  0xc1e0000000000000,
49  0xc1e0000000000000,
50  0xc1e0000000000000,
51  0xc1e0000000000000,
52  0xc1e0000000000000,
53  0xc1e0000000000000,
54  0x0000000000000000,
55  0x0000000000000000,
56  0x0000000000000000,
57  0x8000000000000000,
58  0x8000000000000000,
59  0x8000000000000000,
60  0x8000000000000000,
61  0xbff0000000000000,
62  0xbff0000000000000,
63  0xbff0000000000000,
64  0xbff0000000000000,
65  0xc000000000000000,
66  0xc024000000000000,
67  0xc1e0000000000000,
68  0xc1e0000000000000,
69  0xc1e0000000000000,
70  0xc1e0000000000000,
71  0xc1e0000000000000,
72  0xc1e0000000000000,
73  0x8000000000000000,
74  0x8000000000000000,
75  0x8000000000000000,
76  0xc1e0000000000000,
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  0x3ff0000000000000,
92  0xc1e0000000000000,
93  0xc1e0000000000000,
94  0xc1e0000000000000,
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  0xc1e0000000000000,
113  0x8000000000000000,
114  0xbff0000000000000,
115  0xbff0000000000000,
116  0xbff0000000000000,
117  0xbff0000000000000,
118  0xbff0000000000000,
119  0xbff0000000000000,
120  0xbff0000000000000,
121  0xbff0000000000000,
122  0xbff0000000000000,
123  0xbff0000000000000,
124  0xbff0000000000000,
125  0xbff0000000000000,
126  0xbff0000000000000,
127  0xbff0000000000000,
128  0xc1e0000000000000,
129  0xc1e0000000000000,
130  0xc1e0000000000000,
131  0x8000000000000000,
132  0x8000000000000000,
133  0x8000000000000000,
134  0x8000000000000000,
135  0x8000000000000000,
136  0x8000000000000000,
137  0x8000000000000000,
138  0x8000000000000000,
139  0x8000000000000000,
140  0x8000000000000000,
141  0x8000000000000000,
142  0x8000000000000000,
143  0x8000000000000000,
144  0x8000000000000000,
145  0x8000000000000000,
146  0x8000000000000000,
147  0x8000000000000000,
148  0xc1e0000000000000,
149  0xc1e0000000000000,
150  0xc1e0000000000000,
151  0xc1e0000000000000,
152  0xc1e0000000000000,
153  0xc1e0000000000000,
154  0xc1e0000000000000,
155  0xc1e0000000000000,
156  0xc1e0000000000000,
157  0xc1e0000000000000,
158  0xc1e0000000000000,
159  0xc1e0000000000000,
160  0xc1e0000000000000,
161  0xc1e0000000000000,
162  0xc1e0000000000000,
163  0xc1e0000000000000,
164  0xc1e0000000000000,
165  0xc1e0000000000000,
166  0xc1e0000000000000,
167  0xc1e0000000000000,
168  0xc1e0000000000000,
169  0xc1e0000000000000,
170  0xc1e0000000000000,
171  0xc1e0000000000000,
172  0xc1e0000000000000,
173  0xc1e0000000000000,
174  0xc1e0000000000000,
175  0xc1e0000000000000,
176  0xc1e0000000000000,
177  0xc1e0000000000000,
178  0xc1e0000000000000,
179  0xc1e0000000000000,
180  0xc1e0000000000000,
181  0xc1e0000000000000,
182  0xc1e0000000000000,
183  0xc1e0000000000000,
184  0xc1e0000000000000,
185  0xc1e0000000000000,
186  0xc1e0000000000000,
187  0xc1e0000000000000,
188  0xc1e0000000000000,
189  0xc1e0000000000000,
190  0xc1e0000000000000,
191  0xc1e0000000000000,
192  0xc1e0000000000000,
193  0xc1e0000000000000,
194  0xc1e0000000000000,
195  0xc1e0000000000000,
196  0xc1e0000000000000,
197  0xc1e0000000000000,
198  0xc1e0000000000000,
199  0xc1e0000000000000,
200  0xc1e0000000000000,
201  0xc1e0000000000000,
202  0xc1e0000000000000,
203  0xc1e0000000000000,
204  0xc1e0000000000000,
205  0xc1e0000000000000,
206  0xc1e0000000000000,
207  0xc1e0000000000000,
208  0xc1e0000000000000,
209  0xc1e0000000000000,
210  0xc1e0000000000000,
211  0xc1e0000000000000,
212  0xc1e0000000000000,
213  0xc1e0000000000000,
214  0xc1e0000000000000,
215  0xc1e0000000000000,
216  0xc1e0000000000000,
217  0xc1e0000000000000,
218  0xc1e0000000000000,
219  0xc1e0000000000000,
220  0xc1dfffffffc00000,
221  0x41dfffffff800000,
222  0x41dfffffff800000,
223  0x41dfffffff800000,
224  0x41dfffffff800000,
225  0x41dfffffff800000,
226  0x41dfffffffc00000,
227  0x41dfffffffc00000,
228  0x41dfffffffc00000,
229  0x41dfffffffc00000,
230  0x41dfffffffc00000,
231  0xc1e0000000000000,
232  0xc1e0000000000000,
233  0xc1e0000000000000,
234  0xc1e0000000000000,
235  0xc1e0000000000000,
236  0xc1e0000000000000,
237  0xc1e0000000000000,
238  0xc1e0000000000000,
239  0xc1e0000000000000,
240  0xc1e0000000000000,
241  0xc1e0000000000000,
242  0xc1e0000000000000,
243  0xc1e0000000000000,
244  0xc1e0000000000000,
245};
246const unsigned kExpectedCount_frint32x_d = 207;
247
248#endif  // VIXL_SIM_FRINT32X_D_TRACE_AARCH64_H_
249