// Copyright 2015, VIXL authors
// 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_AARCH64_H_
#define VIXL_SIM_SCVTF_S_2OPIMM_TRACE_AARCH64_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_AARCH64_H_