Home | History | Annotate | Download | only in a64 
      1 // Copyright 2015, ARM Limited
      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_FCVTN2_4S_TRACE_A64_H_
     35 #define VIXL_SIM_FCVTN2_4S_TRACE_A64_H_
     36 
     37 const uint32_t kExpected_NEON_fcvtn2_4S[] = {
     38   0x0000000000000000, 0x0000000000000000, 0x000000004f800000, 0x0000000000000000,
     39   0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
     40   0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x000000003f000000,
     41   0x0000000000000000, 0x0000000000000000, 0x000000003f000000, 0x000000003f000000,
     42   0x0000000000000000, 0x0000000000000000, 0x000000003f000000, 0x000000003f000000,
     43   0x0000000000000000, 0x0000000000000000, 0x000000003f000000, 0x000000003f800000,
     44   0x0000000000000000, 0x0000000000000000, 0x000000003f800000, 0x000000003f800000,
     45   0x0000000000000000, 0x0000000000000000, 0x000000003f800000, 0x000000003f800000,
     46   0x0000000000000000, 0x0000000000000000, 0x000000003f800000, 0x000000003fc00000,
     47   0x0000000000000000, 0x0000000000000000, 0x000000003fc00000, 0x0000000041200000,
     48   0x0000000000000000, 0x0000000000000000, 0x0000000041200000, 0x000000007f800000,
     49   0x0000000000000000, 0x0000000000000000, 0x000000007f800000, 0x000000007f800000,
     50   0x0000000000000000, 0x0000000000000000, 0x000000007f800000, 0x000000007fc91a2b,
     51   0x0000000000000000, 0x0000000000000000, 0x000000007fc91a2b, 0x000000007fc00000,
     52   0x0000000000000000, 0x0000000000000000, 0x000000007fc00000, 0x000000007fc91a2b,
     53   0x0000000000000000, 0x0000000000000000, 0x000000007fc91a2b, 0x000000007f800000,
     54   0x0000000000000000, 0x0000000000000000, 0x000000007f800000, 0x0000000000000000,
     55   0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
     56   0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000,
     57   0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000080000000,
     58   0x0000000000000000, 0x0000000000000000, 0x0000000080000000, 0x0000000080000000,
     59   0x0000000000000000, 0x0000000000000000, 0x0000000080000000, 0x00000000bf000000,
     60   0x0000000000000000, 0x0000000000000000, 0x00000000bf000000, 0x00000000bf000000,
     61   0x0000000000000000, 0x0000000000000000, 0x00000000bf000000, 0x00000000bf000000,
     62   0x0000000000000000, 0x0000000000000000, 0x00000000bf000000, 0x00000000bf800000,
     63   0x0000000000000000, 0x0000000000000000, 0x00000000bf800000, 0x00000000bf800000,
     64   0x0000000000000000, 0x0000000000000000, 0x00000000bf800000, 0x00000000bf800000,
     65   0x0000000000000000, 0x0000000000000000, 0x00000000bf800000, 0x00000000bfc00000,
     66   0x0000000000000000, 0x0000000000000000, 0x00000000bfc00000, 0x00000000c1200000,
     67   0x0000000000000000, 0x0000000000000000, 0x00000000c1200000, 0x00000000ff800000,
     68   0x0000000000000000, 0x0000000000000000, 0x00000000ff800000, 0x00000000ff800000,
     69   0x0000000000000000, 0x0000000000000000, 0x00000000ff800000, 0x00000000ffc91a2b,
     70   0x0000000000000000, 0x0000000000000000, 0x00000000ffc91a2b, 0x00000000ffc00000,
     71   0x0000000000000000, 0x0000000000000000, 0x00000000ffc00000, 0x00000000ffc91a2b,
     72   0x0000000000000000, 0x0000000000000000, 0x00000000ffc91a2b, 0x00000000ff800000,
     73   0x0000000000000000, 0x0000000000000000, 0x00000000ff800000, 0x0000000080000000,
     74   0x0000000000000000, 0x0000000000000000, 0x0000000080000000, 0x0000000080000000,
     75   0x0000000000000000, 0x0000000000000000, 0x0000000080000000, 0x0000000080000000,
     76   0x0000000000000000, 0x0000000000000000, 0x0000000080000000, 0x000000007f7ffff8,
     77   0x0000000000000000, 0x0000000000000000, 0x000000007f7ffff8, 0x0000000000800000,
     78   0x0000000000000000, 0x0000000000000000, 0x0000000000800000, 0x000000003f800000,
     79   0x0000000000000000, 0x0000000000000000, 0x000000003f800000, 0x000000003f800000,
     80   0x0000000000000000, 0x0000000000000000, 0x000000003f800000, 0x000000003f800000,
     81   0x0000000000000000, 0x0000000000000000, 0x000000003f800000, 0x000000003f800001,
     82   0x0000000000000000, 0x0000000000000000, 0x000000003f800001, 0x000000003f800001,
     83   0x0000000000000000, 0x0000000000000000, 0x000000003f800001, 0x000000003f800001,
     84   0x0000000000000000, 0x0000000000000000, 0x000000003f800001, 0x000000003f800002,
     85   0x0000000000000000, 0x0000000000000000, 0x000000003f800002, 0x000000003f800002,
     86   0x0000000000000000, 0x0000000000000000, 0x000000003f800002, 0x000000003f800002,
     87   0x0000000000000000, 0x0000000000000000, 0x000000003f800002, 0x000000003f800002,
     88   0x0000000000000000, 0x0000000000000000, 0x000000003f800002, 0x000000003f800002,
     89   0x0000000000000000, 0x0000000000000000, 0x000000003f800002, 0x000000003f800003,
     90   0x0000000000000000, 0x0000000000000000, 0x000000003f800003, 0x000000003f800003,
     91   0x0000000000000000, 0x0000000000000000, 0x000000003f800003, 0x000000003f800000,
     92   0x0000000000000000, 0x0000000000000000, 0x000000003f800000, 0x000000007f7fffff,
     93   0x0000000000000000, 0x0000000000000000, 0x000000007f7fffff, 0x000000007f800000,
     94   0x0000000000000000, 0x0000000000000000, 0x000000007f800000, 0x000000007f800000,
     95   0x0000000000000000, 0x0000000000000000, 0x000000007f800000, 0x0000000000000000,
     96   0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x00000000007fffff,
     97   0x0000000000000000, 0x0000000000000000, 0x00000000007fffff, 0x0000000000000001,
     98   0x0000000000000000, 0x0000000000000000, 0x0000000000000001, 0x0000000000045678,
     99   0x0000000000000000, 0x0000000000000000, 0x0000000000045678, 0x0000000000045678,
    100   0x0000000000000000, 0x0000000000000000, 0x0000000000045678, 0x0000000000045678,
    101   0x0000000000000000, 0x0000000000000000, 0x0000000000045678, 0x0000000000045679,
    102   0x0000000000000000, 0x0000000000000000, 0x0000000000045679, 0x0000000000045679,
    103   0x0000000000000000, 0x0000000000000000, 0x0000000000045679, 0x0000000000045679,
    104   0x0000000000000000, 0x0000000000000000, 0x0000000000045679, 0x000000000004567a,
    105   0x0000000000000000, 0x0000000000000000, 0x000000000004567a, 0x000000000004567a,
    106   0x0000000000000000, 0x0000000000000000, 0x000000000004567a, 0x000000000004567a,
    107   0x0000000000000000, 0x0000000000000000, 0x000000000004567a, 0x000000000004567a,
    108   0x0000000000000000, 0x0000000000000000, 0x000000000004567a, 0x000000000004567a,
    109   0x0000000000000000, 0x0000000000000000, 0x000000000004567a, 0x000000000004567b,
    110   0x0000000000000000, 0x0000000000000000, 0x000000000004567b, 0x000000000004567b,
    111   0x0000000000000000, 0x0000000000000000, 0x000000000004567b, 0x0000000000000001,
    112   0x0000000000000000, 0x0000000000000000, 0x0000000000000001, 0x00000000ff7ffff8,
    113   0x0000000000000000, 0x0000000000000000, 0x00000000ff7ffff8, 0x0000000080800000,
    114   0x0000000000000000, 0x0000000000000000, 0x0000000080800000, 0x00000000bf800000,
    115   0x0000000000000000, 0x0000000000000000, 0x00000000bf800000, 0x00000000bf800000,
    116   0x0000000000000000, 0x0000000000000000, 0x00000000bf800000, 0x00000000bf800000,
    117   0x0000000000000000, 0x0000000000000000, 0x00000000bf800000, 0x00000000bf800001,
    118   0x0000000000000000, 0x0000000000000000, 0x00000000bf800001, 0x00000000bf800001,
    119   0x0000000000000000, 0x0000000000000000, 0x00000000bf800001, 0x00000000bf800001,
    120   0x0000000000000000, 0x0000000000000000, 0x00000000bf800001, 0x00000000bf800002,
    121   0x0000000000000000, 0x0000000000000000, 0x00000000bf800002, 0x00000000bf800002,
    122   0x0000000000000000, 0x0000000000000000, 0x00000000bf800002, 0x00000000bf800002,
    123   0x0000000000000000, 0x0000000000000000, 0x00000000bf800002, 0x00000000bf800002,
    124   0x0000000000000000, 0x0000000000000000, 0x00000000bf800002, 0x00000000bf800002,
    125   0x0000000000000000, 0x0000000000000000, 0x00000000bf800002, 0x00000000bf800003,
    126   0x0000000000000000, 0x0000000000000000, 0x00000000bf800003, 0x00000000bf800003,
    127   0x0000000000000000, 0x0000000000000000, 0x00000000bf800003, 0x00000000bf800000,
    128   0x0000000000000000, 0x0000000000000000, 0x00000000bf800000, 0x00000000ff7fffff,
    129   0x0000000000000000, 0x0000000000000000, 0x00000000ff7fffff, 0x00000000ff800000,
    130   0x0000000000000000, 0x0000000000000000, 0x00000000ff800000, 0x00000000ff800000,
    131   0x0000000000000000, 0x0000000000000000, 0x00000000ff800000, 0x0000000080000000,
    132   0x0000000000000000, 0x0000000000000000, 0x0000000080000000, 0x00000000807fffff,
    133   0x0000000000000000, 0x0000000000000000, 0x00000000807fffff, 0x0000000080000001,
    134   0x0000000000000000, 0x0000000000000000, 0x0000000080000001, 0x0000000080045678,
    135   0x0000000000000000, 0x0000000000000000, 0x0000000080045678, 0x0000000080045678,
    136   0x0000000000000000, 0x0000000000000000, 0x0000000080045678, 0x0000000080045678,
    137   0x0000000000000000, 0x0000000000000000, 0x0000000080045678, 0x0000000080045679,
    138   0x0000000000000000, 0x0000000000000000, 0x0000000080045679, 0x0000000080045679,
    139   0x0000000000000000, 0x0000000000000000, 0x0000000080045679, 0x0000000080045679,
    140   0x0000000000000000, 0x0000000000000000, 0x0000000080045679, 0x000000008004567a,
    141   0x0000000000000000, 0x0000000000000000, 0x000000008004567a, 0x000000008004567a,
    142   0x0000000000000000, 0x0000000000000000, 0x000000008004567a, 0x000000008004567a,
    143   0x0000000000000000, 0x0000000000000000, 0x000000008004567a, 0x000000008004567a,
    144   0x0000000000000000, 0x0000000000000000, 0x000000008004567a, 0x000000008004567a,
    145   0x0000000000000000, 0x0000000000000000, 0x000000008004567a, 0x000000008004567b,
    146   0x0000000000000000, 0x0000000000000000, 0x000000008004567b, 0x000000008004567b,
    147   0x0000000000000000, 0x0000000000000000, 0x000000008004567b, 0x0000000080000001,
    148   0x0000000000000000, 0x0000000000000000, 0x0000000080000001, 0x0000000059800000,
    149   0x0000000000000000, 0x0000000000000000, 0x0000000059800000, 0x0000000059800000,
    150   0x0000000000000000, 0x0000000000000000, 0x0000000059800000, 0x0000000059800000,
    151   0x0000000000000000, 0x0000000000000000, 0x0000000059800000, 0x0000000059800000,
    152   0x0000000000000000, 0x0000000000000000, 0x0000000059800000, 0x0000000059ff6e5d,
    153   0x0000000000000000, 0x0000000000000000, 0x0000000059ff6e5d, 0x000000005a000000,
    154   0x0000000000000000, 0x0000000000000000, 0x000000005a000000, 0x000000005a000000,
    155   0x0000000000000000, 0x0000000000000000, 0x000000005a000000, 0x000000005a000000,
    156   0x0000000000000000, 0x0000000000000000, 0x000000005a000000, 0x000000005a000000,
    157   0x0000000000000000, 0x0000000000000000, 0x000000005a000000, 0x0000000059000000,
    158   0x0000000000000000, 0x0000000000000000, 0x0000000059000000, 0x0000000059000000,
    159   0x0000000000000000, 0x0000000000000000, 0x0000000059000000, 0x0000000059000000,
    160   0x0000000000000000, 0x0000000000000000, 0x0000000059000000, 0x0000000059000000,
    161   0x0000000000000000, 0x0000000000000000, 0x0000000059000000, 0x00000000597f6e5d,
    162   0x0000000000000000, 0x0000000000000000, 0x00000000597f6e5d, 0x0000000059800000,
    163   0x0000000000000000, 0x0000000000000000, 0x0000000059800000, 0x0000000059800000,
    164   0x0000000000000000, 0x0000000000000000, 0x0000000059800000, 0x0000000059800000,
    165   0x0000000000000000, 0x0000000000000000, 0x0000000059800000, 0x0000000059800000,
    166   0x0000000000000000, 0x0000000000000000, 0x0000000059800000, 0x0000000058800000,
    167   0x0000000000000000, 0x0000000000000000, 0x0000000058800000, 0x0000000058800000,
    168   0x0000000000000000, 0x0000000000000000, 0x0000000058800000, 0x0000000058800000,
    169   0x0000000000000000, 0x0000000000000000, 0x0000000058800000, 0x0000000058800000,
    170   0x0000000000000000, 0x0000000000000000, 0x0000000058800000, 0x0000000058ff6e5d,
    171   0x0000000000000000, 0x0000000000000000, 0x0000000058ff6e5d, 0x0000000059000000,
    172   0x0000000000000000, 0x0000000000000000, 0x0000000059000000, 0x0000000059000000,
    173   0x0000000000000000, 0x0000000000000000, 0x0000000059000000, 0x0000000059000000,
    174   0x0000000000000000, 0x0000000000000000, 0x0000000059000000, 0x0000000059000000,
    175   0x0000000000000000, 0x0000000000000000, 0x0000000059000000, 0x00000000d9800000,
    176   0x0000000000000000, 0x0000000000000000, 0x00000000d9800000, 0x00000000d9800000,
    177   0x0000000000000000, 0x0000000000000000, 0x00000000d9800000, 0x00000000d9800000,
    178   0x0000000000000000, 0x0000000000000000, 0x00000000d9800000, 0x00000000d9800000,
    179   0x0000000000000000, 0x0000000000000000, 0x00000000d9800000, 0x00000000d9ff6e5d,
    180   0x0000000000000000, 0x0000000000000000, 0x00000000d9ff6e5d, 0x00000000da000000,
    181   0x0000000000000000, 0x0000000000000000, 0x00000000da000000, 0x00000000da000000,
    182   0x0000000000000000, 0x0000000000000000, 0x00000000da000000, 0x00000000da000000,
    183   0x0000000000000000, 0x0000000000000000, 0x00000000da000000, 0x00000000da000000,
    184   0x0000000000000000, 0x0000000000000000, 0x00000000da000000, 0x00000000d9000000,
    185   0x0000000000000000, 0x0000000000000000, 0x00000000d9000000, 0x00000000d9000000,
    186   0x0000000000000000, 0x0000000000000000, 0x00000000d9000000, 0x00000000d9000000,
    187   0x0000000000000000, 0x0000000000000000, 0x00000000d9000000, 0x00000000d9000000,
    188   0x0000000000000000, 0x0000000000000000, 0x00000000d9000000, 0x00000000d97f6e5d,
    189   0x0000000000000000, 0x0000000000000000, 0x00000000d97f6e5d, 0x00000000d9800000,
    190   0x0000000000000000, 0x0000000000000000, 0x00000000d9800000, 0x00000000d9800000,
    191   0x0000000000000000, 0x0000000000000000, 0x00000000d9800000, 0x00000000d9800000,
    192   0x0000000000000000, 0x0000000000000000, 0x00000000d9800000, 0x00000000d9800000,
    193   0x0000000000000000, 0x0000000000000000, 0x00000000d9800000, 0x00000000d8800000,
    194   0x0000000000000000, 0x0000000000000000, 0x00000000d8800000, 0x00000000d8800000,
    195   0x0000000000000000, 0x0000000000000000, 0x00000000d8800000, 0x00000000d8800000,
    196   0x0000000000000000, 0x0000000000000000, 0x00000000d8800000, 0x00000000d8800000,
    197   0x0000000000000000, 0x0000000000000000, 0x00000000d8800000, 0x00000000d8ff6e5d,
    198   0x0000000000000000, 0x0000000000000000, 0x00000000d8ff6e5d, 0x00000000d9000000,
    199   0x0000000000000000, 0x0000000000000000, 0x00000000d9000000, 0x00000000d9000000,
    200   0x0000000000000000, 0x0000000000000000, 0x00000000d9000000, 0x00000000d9000000,
    201   0x0000000000000000, 0x0000000000000000, 0x00000000d9000000, 0x00000000d9000000,
    202   0x0000000000000000, 0x0000000000000000, 0x00000000d9000000, 0x00000000df000000,
    203   0x0000000000000000, 0x0000000000000000, 0x00000000df000000, 0x00000000df000000,
    204   0x0000000000000000, 0x0000000000000000, 0x00000000df000000, 0x00000000df000000,
    205   0x0000000000000000, 0x0000000000000000, 0x00000000df000000, 0x000000005f000000,
    206   0x0000000000000000, 0x0000000000000000, 0x000000005f000000, 0x000000005f000000,
    207   0x0000000000000000, 0x0000000000000000, 0x000000005f000000, 0x000000005f800000,
    208   0x0000000000000000, 0x0000000000000000, 0x000000005f800000, 0x000000005f800000,
    209   0x0000000000000000, 0x0000000000000000, 0x000000005f800000, 0x00000000cf000000,
    210   0x0000000000000000, 0x0000000000000000, 0x00000000cf000000, 0x00000000cf000000,
    211   0x0000000000000000, 0x0000000000000000, 0x00000000cf000000, 0x00000000cf000000,
    212   0x0000000000000000, 0x0000000000000000, 0x00000000cf000000, 0x00000000cf000000,
    213   0x0000000000000000, 0x0000000000000000, 0x00000000cf000000, 0x00000000cf000000,
    214   0x0000000000000000, 0x0000000000000000, 0x00000000cf000000, 0x00000000cf000000,
    215   0x0000000000000000, 0x0000000000000000, 0x00000000cf000000, 0x00000000cf000000,
    216   0x0000000000000000, 0x0000000000000000, 0x00000000cf000000, 0x00000000cf000000,
    217   0x0000000000000000, 0x0000000000000000, 0x00000000cf000000, 0x00000000cf000000,
    218   0x0000000000000000, 0x0000000000000000, 0x00000000cf000000, 0x00000000cf000000,
    219   0x0000000000000000, 0x0000000000000000, 0x00000000cf000000, 0x00000000cf000000,
    220   0x0000000000000000, 0x0000000000000000, 0x00000000cf000000, 0x00000000cf000000,
    221   0x0000000000000000, 0x0000000000000000, 0x00000000cf000000, 0x000000004f000000,
    222   0x0000000000000000, 0x0000000000000000, 0x000000004f000000, 0x000000004f000000,
    223   0x0000000000000000, 0x0000000000000000, 0x000000004f000000, 0x000000004f000000,
    224   0x0000000000000000, 0x0000000000000000, 0x000000004f000000, 0x000000004f000000,
    225   0x0000000000000000, 0x0000000000000000, 0x000000004f000000, 0x000000004f000000,
    226   0x0000000000000000, 0x0000000000000000, 0x000000004f000000, 0x000000004f000000,
    227   0x0000000000000000, 0x0000000000000000, 0x000000004f000000, 0x000000004f000000,
    228   0x0000000000000000, 0x0000000000000000, 0x000000004f000000, 0x000000004f000000,
    229   0x0000000000000000, 0x0000000000000000, 0x000000004f000000, 0x000000004f000000,
    230   0x0000000000000000, 0x0000000000000000, 0x000000004f000000, 0x000000004f000000,
    231   0x0000000000000000, 0x0000000000000000, 0x000000004f000000, 0x000000004f000000,
    232   0x0000000000000000, 0x0000000000000000, 0x000000004f000000, 0x000000004f000000,
    233   0x0000000000000000, 0x0000000000000000, 0x000000004f000000, 0x000000004f800000,
    234   0x0000000000000000, 0x0000000000000000, 0x000000004f800000, 0x000000004f800000,
    235   0x0000000000000000, 0x0000000000000000, 0x000000004f800000, 0x000000004f800000,
    236   0x0000000000000000, 0x0000000000000000, 0x000000004f800000, 0x000000004f800000,
    237   0x0000000000000000, 0x0000000000000000, 0x000000004f800000, 0x000000004f800000,
    238   0x0000000000000000, 0x0000000000000000, 0x000000004f800000, 0x000000004f800000,
    239   0x0000000000000000, 0x0000000000000000, 0x000000004f800000, 0x000000004f800000,
    240   0x0000000000000000, 0x0000000000000000, 0x000000004f800000, 0x000000004f800000,
    241   0x0000000000000000, 0x0000000000000000, 0x000000004f800000, 0x000000004f800000,
    242   0x0000000000000000, 0x0000000000000000, 0x000000004f800000, 0x000000004f800000,
    243   0x0000000000000000, 0x0000000000000000, 0x000000004f800000, 0x000000004f800000,
    244   0x0000000000000000, 0x0000000000000000, 0x000000004f800000, 0x000000004f800000,
    245 };
    246 const unsigned kExpectedCount_NEON_fcvtn2_4S = 207;
    247 
    248 #endif  // VIXL_SIM_FCVTN2_4S_TRACE_A64_H_
    249