// Copyright 2015, ARM Limited
// All rights reserved.
//
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions are met:
//
//   * Redistributions of source code must retain the above copyright notice,
//     this list of conditions and the following disclaimer.
//   * Redistributions in binary form must reproduce the above copyright notice,
//     this list of conditions and the following disclaimer in the documentation
//     and/or other materials provided with the distribution.
//   * Neither the name of ARM Limited nor the names of its contributors may be
//     used to endorse or promote products derived from this software without
//     specific prior written permission.
//
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND
// ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
// WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
// DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
// FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
// DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
// SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
// CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
// OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.


// ---------------------------------------------------------------------
// This file is auto generated using tools/generate_simulator_traces.py.
//
// PLEASE DO NOT EDIT.
// ---------------------------------------------------------------------

#ifndef VIXL_SIM_SCVTF_S_2OPIMM_TRACE_A64_H_
#define VIXL_SIM_SCVTF_S_2OPIMM_TRACE_A64_H_

const uint32_t kExpected_NEON_scvtf_S_2OPIMM[] = {
  0xc3000000,
  0xc2800000,
  0xc2000000,
  0xc1800000,
  0xc1000000,
  0xc0800000,
  0xc0000000,
  0xbf800000,
  0xbf000000,
  0xbe800000,
  0xbe000000,
  0xbd800000,
  0xbd000000,
  0xbc800000,
  0xbc000000,
  0xbb800000,
  0xbb000000,
  0xba800000,
  0xba000000,
  0xb9800000,
  0xb9000000,
  0xb8800000,
  0xb8000000,
  0xb7800000,
  0xb7000000,
  0xb6800000,
  0xb6000000,
  0xb5800000,
  0xb5000000,
  0xb4800000,
  0xb4000000,
  0xb3800000,
  0xb3000000,
  0xbf800000,
  0xbf000000,
  0xbe800000,
  0xbe000000,
  0xbd800000,
  0xbd000000,
  0xbc800000,
  0xbc000000,
  0xbb800000,
  0xbb000000,
  0xba800000,
  0xba000000,
  0xb9800000,
  0xb9000000,
  0xb8800000,
  0xb8000000,
  0xb7800000,
  0xb7000000,
  0xb6800000,
  0xb6000000,
  0xb5800000,
  0xb5000000,
  0xb4800000,
  0xb4000000,
  0xb3800000,
  0xb3000000,
  0xb2800000,
  0xb2000000,
  0xb1800000,
  0xb1000000,
  0xb0800000,
  0xb0000000,
  0xaf800000,
  0xbf800000,
  0xbf000000,
  0xbe800000,
  0xbe000000,
  0xbd800000,
  0xbd000000,
  0xbc800000,
  0xbc000000,
  0xbb800000,
  0xbb000000,
  0xba800000,
  0xba000000,
  0xb9800000,
  0xb9000000,
  0xb8800000,
  0xb8000000,
  0xb7800000,
  0xb7000000,
  0xb6800000,
  0xb6000000,
  0xb5800000,
  0xb5000000,
  0xb4800000,
  0xb4000000,
  0xb3800000,
  0xb3000000,
  0xb2800000,
  0xb2000000,
  0xb1800000,
  0xb1000000,
  0xb0800000,
  0xb0000000,
  0xaf800000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x3f800000,
  0x3f000000,
  0x3e800000,
  0x3e000000,
  0x3d800000,
  0x3d000000,
  0x3c800000,
  0x3c000000,
  0x3b800000,
  0x3b000000,
  0x3a800000,
  0x3a000000,
  0x39800000,
  0x39000000,
  0x38800000,
  0x38000000,
  0x37800000,
  0x37000000,
  0x36800000,
  0x36000000,
  0x35800000,
  0x35000000,
  0x34800000,
  0x34000000,
  0x33800000,
  0x33000000,
  0x32800000,
  0x32000000,
  0x31800000,
  0x31000000,
  0x30800000,
  0x30000000,
  0x2f800000,
  0x40000000,
  0x3f800000,
  0x3f000000,
  0x3e800000,
  0x3e000000,
  0x3d800000,
  0x3d000000,
  0x3c800000,
  0x3c000000,
  0x3b800000,
  0x3b000000,
  0x3a800000,
  0x3a000000,
  0x39800000,
  0x39000000,
  0x38800000,
  0x38000000,
  0x37800000,
  0x37000000,
  0x36800000,
  0x36000000,
  0x35800000,
  0x35000000,
  0x34800000,
  0x34000000,
  0x33800000,
  0x33000000,
  0x32800000,
  0x32000000,
  0x31800000,
  0x31000000,
  0x30800000,
  0x30000000,
  0x42000000,
  0x41800000,
  0x41000000,
  0x40800000,
  0x40000000,
  0x3f800000,
  0x3f000000,
  0x3e800000,
  0x3e000000,
  0x3d800000,
  0x3d000000,
  0x3c800000,
  0x3c000000,
  0x3b800000,
  0x3b000000,
  0x3a800000,
  0x3a000000,
  0x39800000,
  0x39000000,
  0x38800000,
  0x38000000,
  0x37800000,
  0x37000000,
  0x36800000,
  0x36000000,
  0x35800000,
  0x35000000,
  0x34800000,
  0x34000000,
  0x33800000,
  0x33000000,
  0x32800000,
  0x32000000,
  0x42fa0000,
  0x427a0000,
  0x41fa0000,
  0x417a0000,
  0x40fa0000,
  0x407a0000,
  0x3ffa0000,
  0x3f7a0000,
  0x3efa0000,
  0x3e7a0000,
  0x3dfa0000,
  0x3d7a0000,
  0x3cfa0000,
  0x3c7a0000,
  0x3bfa0000,
  0x3b7a0000,
  0x3afa0000,
  0x3a7a0000,
  0x39fa0000,
  0x397a0000,
  0x38fa0000,
  0x387a0000,
  0x37fa0000,
  0x377a0000,
  0x36fa0000,
  0x367a0000,
  0x35fa0000,
  0x357a0000,
  0x34fa0000,
  0x347a0000,
  0x33fa0000,
  0x337a0000,
  0x32fa0000,
  0x42fc0000,
  0x427c0000,
  0x41fc0000,
  0x417c0000,
  0x40fc0000,
  0x407c0000,
  0x3ffc0000,
  0x3f7c0000,
  0x3efc0000,
  0x3e7c0000,
  0x3dfc0000,
  0x3d7c0000,
  0x3cfc0000,
  0x3c7c0000,
  0x3bfc0000,
  0x3b7c0000,
  0x3afc0000,
  0x3a7c0000,
  0x39fc0000,
  0x397c0000,
  0x38fc0000,
  0x387c0000,
  0x37fc0000,
  0x377c0000,
  0x36fc0000,
  0x367c0000,
  0x35fc0000,
  0x357c0000,
  0x34fc0000,
  0x347c0000,
  0x33fc0000,
  0x337c0000,
  0x32fc0000,
  0x42fe0000,
  0x427e0000,
  0x41fe0000,
  0x417e0000,
  0x40fe0000,
  0x407e0000,
  0x3ffe0000,
  0x3f7e0000,
  0x3efe0000,
  0x3e7e0000,
  0x3dfe0000,
  0x3d7e0000,
  0x3cfe0000,
  0x3c7e0000,
  0x3bfe0000,
  0x3b7e0000,
  0x3afe0000,
  0x3a7e0000,
  0x39fe0000,
  0x397e0000,
  0x38fe0000,
  0x387e0000,
  0x37fe0000,
  0x377e0000,
  0x36fe0000,
  0x367e0000,
  0x35fe0000,
  0x357e0000,
  0x34fe0000,
  0x347e0000,
  0x33fe0000,
  0x337e0000,
  0x32fe0000,
  0x46fffa00,
  0x467ffa00,
  0x45fffa00,
  0x457ffa00,
  0x44fffa00,
  0x447ffa00,
  0x43fffa00,
  0x437ffa00,
  0x42fffa00,
  0x427ffa00,
  0x41fffa00,
  0x417ffa00,
  0x40fffa00,
  0x407ffa00,
  0x3ffffa00,
  0x3f7ffa00,
  0x3efffa00,
  0x3e7ffa00,
  0x3dfffa00,
  0x3d7ffa00,
  0x3cfffa00,
  0x3c7ffa00,
  0x3bfffa00,
  0x3b7ffa00,
  0x3afffa00,
  0x3a7ffa00,
  0x39fffa00,
  0x397ffa00,
  0x38fffa00,
  0x387ffa00,
  0x37fffa00,
  0x377ffa00,
  0x36fffa00,
  0x46fffc00,
  0x467ffc00,
  0x45fffc00,
  0x457ffc00,
  0x44fffc00,
  0x447ffc00,
  0x43fffc00,
  0x437ffc00,
  0x42fffc00,
  0x427ffc00,
  0x41fffc00,
  0x417ffc00,
  0x40fffc00,
  0x407ffc00,
  0x3ffffc00,
  0x3f7ffc00,
  0x3efffc00,
  0x3e7ffc00,
  0x3dfffc00,
  0x3d7ffc00,
  0x3cfffc00,
  0x3c7ffc00,
  0x3bfffc00,
  0x3b7ffc00,
  0x3afffc00,
  0x3a7ffc00,
  0x39fffc00,
  0x397ffc00,
  0x38fffc00,
  0x387ffc00,
  0x37fffc00,
  0x377ffc00,
  0x36fffc00,
  0x46fffe00,
  0x467ffe00,
  0x45fffe00,
  0x457ffe00,
  0x44fffe00,
  0x447ffe00,
  0x43fffe00,
  0x437ffe00,
  0x42fffe00,
  0x427ffe00,
  0x41fffe00,
  0x417ffe00,
  0x40fffe00,
  0x407ffe00,
  0x3ffffe00,
  0x3f7ffe00,
  0x3efffe00,
  0x3e7ffe00,
  0x3dfffe00,
  0x3d7ffe00,
  0x3cfffe00,
  0x3c7ffe00,
  0x3bfffe00,
  0x3b7ffe00,
  0x3afffe00,
  0x3a7ffe00,
  0x39fffe00,
  0x397ffe00,
  0x38fffe00,
  0x387ffe00,
  0x37fffe00,
  0x377ffe00,
  0x36fffe00,
  0x4e4ccccd,
  0x4dcccccd,
  0x4d4ccccd,
  0x4ccccccd,
  0x4c4ccccd,
  0x4bcccccd,
  0x4b4ccccd,
  0x4acccccd,
  0x4a4ccccd,
  0x49cccccd,
  0x494ccccd,
  0x48cccccd,
  0x484ccccd,
  0x47cccccd,
  0x474ccccd,
  0x46cccccd,
  0x464ccccd,
  0x45cccccd,
  0x454ccccd,
  0x44cccccd,
  0x444ccccd,
  0x43cccccd,
  0x434ccccd,
  0x42cccccd,
  0x424ccccd,
  0x41cccccd,
  0x414ccccd,
  0x40cccccd,
  0x404ccccd,
  0x3fcccccd,
  0x3f4ccccd,
  0x3ecccccd,
  0x3e4ccccd,
  0x4eaaaaab,
  0x4e2aaaab,
  0x4daaaaab,
  0x4d2aaaab,
  0x4caaaaab,
  0x4c2aaaab,
  0x4baaaaab,
  0x4b2aaaab,
  0x4aaaaaab,
  0x4a2aaaab,
  0x49aaaaab,
  0x492aaaab,
  0x48aaaaab,
  0x482aaaab,
  0x47aaaaab,
  0x472aaaab,
  0x46aaaaab,
  0x462aaaab,
  0x45aaaaab,
  0x452aaaab,
  0x44aaaaab,
  0x442aaaab,
  0x43aaaaab,
  0x432aaaab,
  0x42aaaaab,
  0x422aaaab,
  0x41aaaaab,
  0x412aaaab,
  0x40aaaaab,
  0x402aaaab,
  0x3faaaaab,
  0x3f2aaaab,
  0x3eaaaaab,
  0x4f000000,
  0x4e800000,
  0x4e000000,
  0x4d800000,
  0x4d000000,
  0x4c800000,
  0x4c000000,
  0x4b800000,
  0x4b000000,
  0x4a800000,
  0x4a000000,
  0x49800000,
  0x49000000,
  0x48800000,
  0x48000000,
  0x47800000,
  0x47000000,
  0x46800000,
  0x46000000,
  0x45800000,
  0x45000000,
  0x44800000,
  0x44000000,
  0x43800000,
  0x43000000,
  0x42800000,
  0x42000000,
  0x41800000,
  0x41000000,
  0x40800000,
  0x40000000,
  0x3f800000,
  0x3f000000,
  0x4f000000,
  0x4e800000,
  0x4e000000,
  0x4d800000,
  0x4d000000,
  0x4c800000,
  0x4c000000,
  0x4b800000,
  0x4b000000,
  0x4a800000,
  0x4a000000,
  0x49800000,
  0x49000000,
  0x48800000,
  0x48000000,
  0x47800000,
  0x47000000,
  0x46800000,
  0x46000000,
  0x45800000,
  0x45000000,
  0x44800000,
  0x44000000,
  0x43800000,
  0x43000000,
  0x42800000,
  0x42000000,
  0x41800000,
  0x41000000,
  0x40800000,
  0x40000000,
  0x3f800000,
  0x3f000000,
  0x4f000000,
  0x4e800000,
  0x4e000000,
  0x4d800000,
  0x4d000000,
  0x4c800000,
  0x4c000000,
  0x4b800000,
  0x4b000000,
  0x4a800000,
  0x4a000000,
  0x49800000,
  0x49000000,
  0x48800000,
  0x48000000,
  0x47800000,
  0x47000000,
  0x46800000,
  0x46000000,
  0x45800000,
  0x45000000,
  0x44800000,
  0x44000000,
  0x43800000,
  0x43000000,
  0x42800000,
  0x42000000,
  0x41800000,
  0x41000000,
  0x40800000,
  0x40000000,
  0x3f800000,
  0x3f000000,
  0xcf000000,
  0xce800000,
  0xce000000,
  0xcd800000,
  0xcd000000,
  0xcc800000,
  0xcc000000,
  0xcb800000,
  0xcb000000,
  0xca800000,
  0xca000000,
  0xc9800000,
  0xc9000000,
  0xc8800000,
  0xc8000000,
  0xc7800000,
  0xc7000000,
  0xc6800000,
  0xc6000000,
  0xc5800000,
  0xc5000000,
  0xc4800000,
  0xc4000000,
  0xc3800000,
  0xc3000000,
  0xc2800000,
  0xc2000000,
  0xc1800000,
  0xc1000000,
  0xc0800000,
  0xc0000000,
  0xbf800000,
  0xbf000000,
  0xcf000000,
  0xce800000,
  0xce000000,
  0xcd800000,
  0xcd000000,
  0xcc800000,
  0xcc000000,
  0xcb800000,
  0xcb000000,
  0xca800000,
  0xca000000,
  0xc9800000,
  0xc9000000,
  0xc8800000,
  0xc8000000,
  0xc7800000,
  0xc7000000,
  0xc6800000,
  0xc6000000,
  0xc5800000,
  0xc5000000,
  0xc4800000,
  0xc4000000,
  0xc3800000,
  0xc3000000,
  0xc2800000,
  0xc2000000,
  0xc1800000,
  0xc1000000,
  0xc0800000,
  0xc0000000,
  0xbf800000,
  0xbf000000,
  0xceaaaaab,
  0xce2aaaab,
  0xcdaaaaab,
  0xcd2aaaab,
  0xccaaaaab,
  0xcc2aaaab,
  0xcbaaaaab,
  0xcb2aaaab,
  0xcaaaaaab,
  0xca2aaaab,
  0xc9aaaaab,
  0xc92aaaab,
  0xc8aaaaab,
  0xc82aaaab,
  0xc7aaaaab,
  0xc72aaaab,
  0xc6aaaaab,
  0xc62aaaab,
  0xc5aaaaab,
  0xc52aaaab,
  0xc4aaaaab,
  0xc42aaaab,
  0xc3aaaaab,
  0xc32aaaab,
  0xc2aaaaab,
  0xc22aaaab,
  0xc1aaaaab,
  0xc12aaaab,
  0xc0aaaaab,
  0xc02aaaab,
  0xbfaaaaab,
  0xbf2aaaab,
  0xbeaaaaab,
  0xce4ccccd,
  0xcdcccccd,
  0xcd4ccccd,
  0xcccccccd,
  0xcc4ccccd,
  0xcbcccccd,
  0xcb4ccccd,
  0xcacccccd,
  0xca4ccccd,
  0xc9cccccd,
  0xc94ccccd,
  0xc8cccccd,
  0xc84ccccd,
  0xc7cccccd,
  0xc74ccccd,
  0xc6cccccd,
  0xc64ccccd,
  0xc5cccccd,
  0xc54ccccd,
  0xc4cccccd,
  0xc44ccccd,
  0xc3cccccd,
  0xc34ccccd,
  0xc2cccccd,
  0xc24ccccd,
  0xc1cccccd,
  0xc14ccccd,
  0xc0cccccd,
  0xc04ccccd,
  0xbfcccccd,
  0xbf4ccccd,
  0xbecccccd,
  0xbe4ccccd,
  0xc7000000,
  0xc6800000,
  0xc6000000,
  0xc5800000,
  0xc5000000,
  0xc4800000,
  0xc4000000,
  0xc3800000,
  0xc3000000,
  0xc2800000,
  0xc2000000,
  0xc1800000,
  0xc1000000,
  0xc0800000,
  0xc0000000,
  0xbf800000,
  0xbf000000,
  0xbe800000,
  0xbe000000,
  0xbd800000,
  0xbd000000,
  0xbc800000,
  0xbc000000,
  0xbb800000,
  0xbb000000,
  0xba800000,
  0xba000000,
  0xb9800000,
  0xb9000000,
  0xb8800000,
  0xb8000000,
  0xb7800000,
  0xb7000000,
  0xc6fffe00,
  0xc67ffe00,
  0xc5fffe00,
  0xc57ffe00,
  0xc4fffe00,
  0xc47ffe00,
  0xc3fffe00,
  0xc37ffe00,
  0xc2fffe00,
  0xc27ffe00,
  0xc1fffe00,
  0xc17ffe00,
  0xc0fffe00,
  0xc07ffe00,
  0xbffffe00,
  0xbf7ffe00,
  0xbefffe00,
  0xbe7ffe00,
  0xbdfffe00,
  0xbd7ffe00,
  0xbcfffe00,
  0xbc7ffe00,
  0xbbfffe00,
  0xbb7ffe00,
  0xbafffe00,
  0xba7ffe00,
  0xb9fffe00,
  0xb97ffe00,
  0xb8fffe00,
  0xb87ffe00,
  0xb7fffe00,
  0xb77ffe00,
  0xb6fffe00,
  0xc6fffc00,
  0xc67ffc00,
  0xc5fffc00,
  0xc57ffc00,
  0xc4fffc00,
  0xc47ffc00,
  0xc3fffc00,
  0xc37ffc00,
  0xc2fffc00,
  0xc27ffc00,
  0xc1fffc00,
  0xc17ffc00,
  0xc0fffc00,
  0xc07ffc00,
  0xbffffc00,
  0xbf7ffc00,
  0xbefffc00,
  0xbe7ffc00,
  0xbdfffc00,
  0xbd7ffc00,
  0xbcfffc00,
  0xbc7ffc00,
  0xbbfffc00,
  0xbb7ffc00,
  0xbafffc00,
  0xba7ffc00,
  0xb9fffc00,
  0xb97ffc00,
  0xb8fffc00,
  0xb87ffc00,
  0xb7fffc00,
  0xb77ffc00,
  0xb6fffc00,
  0xc6fffa00,
  0xc67ffa00,
  0xc5fffa00,
  0xc57ffa00,
  0xc4fffa00,
  0xc47ffa00,
  0xc3fffa00,
  0xc37ffa00,
  0xc2fffa00,
  0xc27ffa00,
  0xc1fffa00,
  0xc17ffa00,
  0xc0fffa00,
  0xc07ffa00,
  0xbffffa00,
  0xbf7ffa00,
  0xbefffa00,
  0xbe7ffa00,
  0xbdfffa00,
  0xbd7ffa00,
  0xbcfffa00,
  0xbc7ffa00,
  0xbbfffa00,
  0xbb7ffa00,
  0xbafffa00,
  0xba7ffa00,
  0xb9fffa00,
  0xb97ffa00,
  0xb8fffa00,
  0xb87ffa00,
  0xb7fffa00,
  0xb77ffa00,
  0xb6fffa00,
  0xc3000000,
  0xc2800000,
  0xc2000000,
  0xc1800000,
  0xc1000000,
  0xc0800000,
  0xc0000000,
  0xbf800000,
  0xbf000000,
  0xbe800000,
  0xbe000000,
  0xbd800000,
  0xbd000000,
  0xbc800000,
  0xbc000000,
  0xbb800000,
  0xbb000000,
  0xba800000,
  0xba000000,
  0xb9800000,
  0xb9000000,
  0xb8800000,
  0xb8000000,
  0xb7800000,
  0xb7000000,
  0xb6800000,
  0xb6000000,
  0xb5800000,
  0xb5000000,
  0xb4800000,
  0xb4000000,
  0xb3800000,
  0xb3000000,
  0xc2fe0000,
  0xc27e0000,
  0xc1fe0000,
  0xc17e0000,
  0xc0fe0000,
  0xc07e0000,
  0xbffe0000,
  0xbf7e0000,
  0xbefe0000,
  0xbe7e0000,
  0xbdfe0000,
  0xbd7e0000,
  0xbcfe0000,
  0xbc7e0000,
  0xbbfe0000,
  0xbb7e0000,
  0xbafe0000,
  0xba7e0000,
  0xb9fe0000,
  0xb97e0000,
  0xb8fe0000,
  0xb87e0000,
  0xb7fe0000,
  0xb77e0000,
  0xb6fe0000,
  0xb67e0000,
  0xb5fe0000,
  0xb57e0000,
  0xb4fe0000,
  0xb47e0000,
  0xb3fe0000,
  0xb37e0000,
  0xb2fe0000,
  0xc2fc0000,
  0xc27c0000,
  0xc1fc0000,
  0xc17c0000,
  0xc0fc0000,
  0xc07c0000,
  0xbffc0000,
  0xbf7c0000,
  0xbefc0000,
  0xbe7c0000,
  0xbdfc0000,
  0xbd7c0000,
  0xbcfc0000,
  0xbc7c0000,
  0xbbfc0000,
  0xbb7c0000,
  0xbafc0000,
  0xba7c0000,
  0xb9fc0000,
  0xb97c0000,
  0xb8fc0000,
  0xb87c0000,
  0xb7fc0000,
  0xb77c0000,
  0xb6fc0000,
  0xb67c0000,
  0xb5fc0000,
  0xb57c0000,
  0xb4fc0000,
  0xb47c0000,
  0xb3fc0000,
  0xb37c0000,
  0xb2fc0000,
  0xc2fa0000,
  0xc27a0000,
  0xc1fa0000,
  0xc17a0000,
  0xc0fa0000,
  0xc07a0000,
  0xbffa0000,
  0xbf7a0000,
  0xbefa0000,
  0xbe7a0000,
  0xbdfa0000,
  0xbd7a0000,
  0xbcfa0000,
  0xbc7a0000,
  0xbbfa0000,
  0xbb7a0000,
  0xbafa0000,
  0xba7a0000,
  0xb9fa0000,
  0xb97a0000,
  0xb8fa0000,
  0xb87a0000,
  0xb7fa0000,
  0xb77a0000,
  0xb6fa0000,
  0xb67a0000,
  0xb5fa0000,
  0xb57a0000,
  0xb4fa0000,
  0xb47a0000,
  0xb3fa0000,
  0xb37a0000,
  0xb2fa0000,
  0xc2000000,
  0xc1800000,
  0xc1000000,
  0xc0800000,
  0xc0000000,
  0xbf800000,
  0xbf000000,
  0xbe800000,
  0xbe000000,
  0xbd800000,
  0xbd000000,
  0xbc800000,
  0xbc000000,
  0xbb800000,
  0xbb000000,
  0xba800000,
  0xba000000,
  0xb9800000,
  0xb9000000,
  0xb8800000,
  0xb8000000,
  0xb7800000,
  0xb7000000,
  0xb6800000,
  0xb6000000,
  0xb5800000,
  0xb5000000,
  0xb4800000,
  0xb4000000,
  0xb3800000,
  0xb3000000,
  0xb2800000,
  0xb2000000,
  0xc0400000,
  0xbfc00000,
  0xbf400000,
  0xbec00000,
  0xbe400000,
  0xbdc00000,
  0xbd400000,
  0xbcc00000,
  0xbc400000,
  0xbbc00000,
  0xbb400000,
  0xbac00000,
  0xba400000,
  0xb9c00000,
  0xb9400000,
  0xb8c00000,
  0xb8400000,
  0xb7c00000,
  0xb7400000,
  0xb6c00000,
  0xb6400000,
  0xb5c00000,
  0xb5400000,
  0xb4c00000,
  0xb4400000,
  0xb3c00000,
  0xb3400000,
  0xb2c00000,
  0xb2400000,
  0xb1c00000,
  0xb1400000,
  0xb0c00000,
  0xb0400000,
  0xc0000000,
  0xbf800000,
  0xbf000000,
  0xbe800000,
  0xbe000000,
  0xbd800000,
  0xbd000000,
  0xbc800000,
  0xbc000000,
  0xbb800000,
  0xbb000000,
  0xba800000,
  0xba000000,
  0xb9800000,
  0xb9000000,
  0xb8800000,
  0xb8000000,
  0xb7800000,
  0xb7000000,
  0xb6800000,
  0xb6000000,
  0xb5800000,
  0xb5000000,
  0xb4800000,
  0xb4000000,
  0xb3800000,
  0xb3000000,
  0xb2800000,
  0xb2000000,
  0xb1800000,
  0xb1000000,
  0xb0800000,
  0xb0000000,
  0xbf800000,
  0xbf000000,
  0xbe800000,
  0xbe000000,
  0xbd800000,
  0xbd000000,
  0xbc800000,
  0xbc000000,
  0xbb800000,
  0xbb000000,
  0xba800000,
  0xba000000,
  0xb9800000,
  0xb9000000,
  0xb8800000,
  0xb8000000,
  0xb7800000,
  0xb7000000,
  0xb6800000,
  0xb6000000,
  0xb5800000,
  0xb5000000,
  0xb4800000,
  0xb4000000,
  0xb3800000,
  0xb3000000,
  0xb2800000,
  0xb2000000,
  0xb1800000,
  0xb1000000,
  0xb0800000,
  0xb0000000,
  0xaf800000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x3f800000,
  0x3f000000,
  0x3e800000,
  0x3e000000,
  0x3d800000,
  0x3d000000,
  0x3c800000,
  0x3c000000,
  0x3b800000,
  0x3b000000,
  0x3a800000,
  0x3a000000,
  0x39800000,
  0x39000000,
  0x38800000,
  0x38000000,
  0x37800000,
  0x37000000,
  0x36800000,
  0x36000000,
  0x35800000,
  0x35000000,
  0x34800000,
  0x34000000,
  0x33800000,
  0x33000000,
  0x32800000,
  0x32000000,
  0x31800000,
  0x31000000,
  0x30800000,
  0x30000000,
  0x2f800000,
  0x4b000000,
  0x4a800000,
  0x4a000000,
  0x49800000,
  0x49000000,
  0x48800000,
  0x48000000,
  0x47800000,
  0x47000000,
  0x46800000,
  0x46000000,
  0x45800000,
  0x45000000,
  0x44800000,
  0x44000000,
  0x43800000,
  0x43000000,
  0x42800000,
  0x42000000,
  0x41800000,
  0x41000000,
  0x40800000,
  0x40000000,
  0x3f800000,
  0x3f000000,
  0x3e800000,
  0x3e000000,
  0x3d800000,
  0x3d000000,
  0x3c800000,
  0x3c000000,
  0x3b800000,
  0x3b000000,
  0x4b000001,
  0x4a800001,
  0x4a000001,
  0x49800001,
  0x49000001,
  0x48800001,
  0x48000001,
  0x47800001,
  0x47000001,
  0x46800001,
  0x46000001,
  0x45800001,
  0x45000001,
  0x44800001,
  0x44000001,
  0x43800001,
  0x43000001,
  0x42800001,
  0x42000001,
  0x41800001,
  0x41000001,
  0x40800001,
  0x40000001,
  0x3f800001,
  0x3f000001,
  0x3e800001,
  0x3e000001,
  0x3d800001,
  0x3d000001,
  0x3c800001,
  0x3c000001,
  0x3b800001,
  0x3b000001,
  0x4b076543,
  0x4a876543,
  0x4a076543,
  0x49876543,
  0x49076543,
  0x48876543,
  0x48076543,
  0x47876543,
  0x47076543,
  0x46876543,
  0x46076543,
  0x45876543,
  0x45076543,
  0x44876543,
  0x44076543,
  0x43876543,
  0x43076543,
  0x42876543,
  0x42076543,
  0x41876543,
  0x41076543,
  0x40876543,
  0x40076543,
  0x3f876543,
  0x3f076543,
  0x3e876543,
  0x3e076543,
  0x3d876543,
  0x3d076543,
  0x3c876543,
  0x3c076543,
  0x3b876543,
  0x3b076543,
  0x4b800000,
  0x4b000000,
  0x4a800000,
  0x4a000000,
  0x49800000,
  0x49000000,
  0x48800000,
  0x48000000,
  0x47800000,
  0x47000000,
  0x46800000,
  0x46000000,
  0x45800000,
  0x45000000,
  0x44800000,
  0x44000000,
  0x43800000,
  0x43000000,
  0x42800000,
  0x42000000,
  0x41800000,
  0x41000000,
  0x40800000,
  0x40000000,
  0x3f800000,
  0x3f000000,
  0x3e800000,
  0x3e000000,
  0x3d800000,
  0x3d000000,
  0x3c800000,
  0x3c000000,
  0x3b800000,
  0x4b800000,
  0x4b000000,
  0x4a800000,
  0x4a000000,
  0x49800000,
  0x49000000,
  0x48800000,
  0x48000000,
  0x47800000,
  0x47000000,
  0x46800000,
  0x46000000,
  0x45800000,
  0x45000000,
  0x44800000,
  0x44000000,
  0x43800000,
  0x43000000,
  0x42800000,
  0x42000000,
  0x41800000,
  0x41000000,
  0x40800000,
  0x40000000,
  0x3f800000,
  0x3f000000,
  0x3e800000,
  0x3e000000,
  0x3d800000,
  0x3d000000,
  0x3c800000,
  0x3c000000,
  0x3b800000,
  0x4bc00000,
  0x4b400000,
  0x4ac00000,
  0x4a400000,
  0x49c00000,
  0x49400000,
  0x48c00000,
  0x48400000,
  0x47c00000,
  0x47400000,
  0x46c00000,
  0x46400000,
  0x45c00000,
  0x45400000,
  0x44c00000,
  0x44400000,
  0x43c00000,
  0x43400000,
  0x42c00000,
  0x42400000,
  0x41c00000,
  0x41400000,
  0x40c00000,
  0x40400000,
  0x3fc00000,
  0x3f400000,
  0x3ec00000,
  0x3e400000,
  0x3dc00000,
  0x3d400000,
  0x3cc00000,
  0x3c400000,
  0x3bc00000,
  0x4bc00000,
  0x4b400000,
  0x4ac00000,
  0x4a400000,
  0x49c00000,
  0x49400000,
  0x48c00000,
  0x48400000,
  0x47c00000,
  0x47400000,
  0x46c00000,
  0x46400000,
  0x45c00000,
  0x45400000,
  0x44c00000,
  0x44400000,
  0x43c00000,
  0x43400000,
  0x42c00000,
  0x42400000,
  0x41c00000,
  0x41400000,
  0x40c00000,
  0x40400000,
  0x3fc00000,
  0x3f400000,
  0x3ec00000,
  0x3e400000,
  0x3dc00000,
  0x3d400000,
  0x3cc00000,
  0x3c400000,
  0x3bc00000,
  0x4c000000,
  0x4b800000,
  0x4b000000,
  0x4a800000,
  0x4a000000,
  0x49800000,
  0x49000000,
  0x48800000,
  0x48000000,
  0x47800000,
  0x47000000,
  0x46800000,
  0x46000000,
  0x45800000,
  0x45000000,
  0x44800000,
  0x44000000,
  0x43800000,
  0x43000000,
  0x42800000,
  0x42000000,
  0x41800000,
  0x41000000,
  0x40800000,
  0x40000000,
  0x3f800000,
  0x3f000000,
  0x3e800000,
  0x3e000000,
  0x3d800000,
  0x3d000000,
  0x3c800000,
  0x3c000000,
  0x4c000000,
  0x4b800000,
  0x4b000000,
  0x4a800000,
  0x4a000000,
  0x49800000,
  0x49000000,
  0x48800000,
  0x48000000,
  0x47800000,
  0x47000000,
  0x46800000,
  0x46000000,
  0x45800000,
  0x45000000,
  0x44800000,
  0x44000000,
  0x43800000,
  0x43000000,
  0x42800000,
  0x42000000,
  0x41800000,
  0x41000000,
  0x40800000,
  0x40000000,
  0x3f800000,
  0x3f000000,
  0x3e800000,
  0x3e000000,
  0x3d800000,
  0x3d000000,
  0x3c800000,
  0x3c000000,
  0x4c200000,
  0x4ba00000,
  0x4b200000,
  0x4aa00000,
  0x4a200000,
  0x49a00000,
  0x49200000,
  0x48a00000,
  0x48200000,
  0x47a00000,
  0x47200000,
  0x46a00000,
  0x46200000,
  0x45a00000,
  0x45200000,
  0x44a00000,
  0x44200000,
  0x43a00000,
  0x43200000,
  0x42a00000,
  0x42200000,
  0x41a00000,
  0x41200000,
  0x40a00000,
  0x40200000,
  0x3fa00000,
  0x3f200000,
  0x3ea00000,
  0x3e200000,
  0x3da00000,
  0x3d200000,
  0x3ca00000,
  0x3c200000,
  0x4c200000,
  0x4ba00000,
  0x4b200000,
  0x4aa00000,
  0x4a200000,
  0x49a00000,
  0x49200000,
  0x48a00000,
  0x48200000,
  0x47a00000,
  0x47200000,
  0x46a00000,
  0x46200000,
  0x45a00000,
  0x45200000,
  0x44a00000,
  0x44200000,
  0x43a00000,
  0x43200000,
  0x42a00000,
  0x42200000,
  0x41a00000,
  0x41200000,
  0x40a00000,
  0x40200000,
  0x3fa00000,
  0x3f200000,
  0x3ea00000,
  0x3e200000,
  0x3da00000,
  0x3d200000,
  0x3ca00000,
  0x3c200000,
  0x4c400000,
  0x4bc00000,
  0x4b400000,
  0x4ac00000,
  0x4a400000,
  0x49c00000,
  0x49400000,
  0x48c00000,
  0x48400000,
  0x47c00000,
  0x47400000,
  0x46c00000,
  0x46400000,
  0x45c00000,
  0x45400000,
  0x44c00000,
  0x44400000,
  0x43c00000,
  0x43400000,
  0x42c00000,
  0x42400000,
  0x41c00000,
  0x41400000,
  0x40c00000,
  0x40400000,
  0x3fc00000,
  0x3f400000,
  0x3ec00000,
  0x3e400000,
  0x3dc00000,
  0x3d400000,
  0x3cc00000,
  0x3c400000,
  0x4e800000,
  0x4e000000,
  0x4d800000,
  0x4d000000,
  0x4c800000,
  0x4c000000,
  0x4b800000,
  0x4b000000,
  0x4a800000,
  0x4a000000,
  0x49800000,
  0x49000000,
  0x48800000,
  0x48000000,
  0x47800000,
  0x47000000,
  0x46800000,
  0x46000000,
  0x45800000,
  0x45000000,
  0x44800000,
  0x44000000,
  0x43800000,
  0x43000000,
  0x42800000,
  0x42000000,
  0x41800000,
  0x41000000,
  0x40800000,
  0x40000000,
  0x3f800000,
  0x3f000000,
  0x3e800000,
  0x4effffff,
  0x4e7fffff,
  0x4dffffff,
  0x4d7fffff,
  0x4cffffff,
  0x4c7fffff,
  0x4bffffff,
  0x4b7fffff,
  0x4affffff,
  0x4a7fffff,
  0x49ffffff,
  0x497fffff,
  0x48ffffff,
  0x487fffff,
  0x47ffffff,
  0x477fffff,
  0x46ffffff,
  0x467fffff,
  0x45ffffff,
  0x457fffff,
  0x44ffffff,
  0x447fffff,
  0x43ffffff,
  0x437fffff,
  0x42ffffff,
  0x427fffff,
  0x41ffffff,
  0x417fffff,
  0x40ffffff,
  0x407fffff,
  0x3fffffff,
  0x3f7fffff,
  0x3effffff,
  0x4f000000,
  0x4e800000,
  0x4e000000,
  0x4d800000,
  0x4d000000,
  0x4c800000,
  0x4c000000,
  0x4b800000,
  0x4b000000,
  0x4a800000,
  0x4a000000,
  0x49800000,
  0x49000000,
  0x48800000,
  0x48000000,
  0x47800000,
  0x47000000,
  0x46800000,
  0x46000000,
  0x45800000,
  0x45000000,
  0x44800000,
  0x44000000,
  0x43800000,
  0x43000000,
  0x42800000,
  0x42000000,
  0x41800000,
  0x41000000,
  0x40800000,
  0x40000000,
  0x3f800000,
  0x3f000000,
  0x4f000000,
  0x4e800000,
  0x4e000000,
  0x4d800000,
  0x4d000000,
  0x4c800000,
  0x4c000000,
  0x4b800000,
  0x4b000000,
  0x4a800000,
  0x4a000000,
  0x49800000,
  0x49000000,
  0x48800000,
  0x48000000,
  0x47800000,
  0x47000000,
  0x46800000,
  0x46000000,
  0x45800000,
  0x45000000,
  0x44800000,
  0x44000000,
  0x43800000,
  0x43000000,
  0x42800000,
  0x42000000,
  0x41800000,
  0x41000000,
  0x40800000,
  0x40000000,
  0x3f800000,
  0x3f000000,
  0xcf000000,
  0xce800000,
  0xce000000,
  0xcd800000,
  0xcd000000,
  0xcc800000,
  0xcc000000,
  0xcb800000,
  0xcb000000,
  0xca800000,
  0xca000000,
  0xc9800000,
  0xc9000000,
  0xc8800000,
  0xc8000000,
  0xc7800000,
  0xc7000000,
  0xc6800000,
  0xc6000000,
  0xc5800000,
  0xc5000000,
  0xc4800000,
  0xc4000000,
  0xc3800000,
  0xc3000000,
  0xc2800000,
  0xc2000000,
  0xc1800000,
  0xc1000000,
  0xc0800000,
  0xc0000000,
  0xbf800000,
  0xbf000000,
  0xcefffffe,
  0xce7ffffe,
  0xcdfffffe,
  0xcd7ffffe,
  0xccfffffe,
  0xcc7ffffe,
  0xcbfffffe,
  0xcb7ffffe,
  0xcafffffe,
  0xca7ffffe,
  0xc9fffffe,
  0xc97ffffe,
  0xc8fffffe,
  0xc87ffffe,
  0xc7fffffe,
  0xc77ffffe,
  0xc6fffffe,
  0xc67ffffe,
  0xc5fffffe,
  0xc57ffffe,
  0xc4fffffe,
  0xc47ffffe,
  0xc3fffffe,
  0xc37ffffe,
  0xc2fffffe,
  0xc27ffffe,
  0xc1fffffe,
  0xc17ffffe,
  0xc0fffffe,
  0xc07ffffe,
  0xbffffffe,
  0xbf7ffffe,
  0xbefffffe,
  0xc3800000,
  0xc3000000,
  0xc2800000,
  0xc2000000,
  0xc1800000,
  0xc1000000,
  0xc0800000,
  0xc0000000,
  0xbf800000,
  0xbf000000,
  0xbe800000,
  0xbe000000,
  0xbd800000,
  0xbd000000,
  0xbc800000,
  0xbc000000,
  0xbb800000,
  0xbb000000,
  0xba800000,
  0xba000000,
  0xb9800000,
  0xb9000000,
  0xb8800000,
  0xb8000000,
  0xb7800000,
  0xb7000000,
  0xb6800000,
  0xb6000000,
  0xb5800000,
  0xb5000000,
  0xb4800000,
  0xb4000000,
  0xb3800000,
};
const unsigned kExpectedCount_NEON_scvtf_S_2OPIMM = 1815;

#endif  // VIXL_SIM_SCVTF_S_2OPIMM_TRACE_A64_H_