text: // 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_FMOV_S_TRACE_AARCH64_H_
  #define VIXL_SIM_FMOV_S_TRACE_AARCH64_H_
  
  const uint32_t kExpected_fmov_s[] = {
    0x00000000,
    0x00800000,
    0x3effffff,
    0x3f000000,
    0x3f000001,
    0x3f7fffff,
    0x3f800000,
    0x3f800001,
    0x3fc00000,
    0x41200000,
    0x7f8fffff,
    0x7f800000,
    0x7fd23456,
    0x7fc00000,
    0x7f923456,
    0x7f800001,
    0x00123456,
    0x007fffff,
    0x00000001,
    0x80000000,
    0x80800000,
    0xbeffffff,
    0xbf000000,
    0xbf000001,
    0xbf7fffff,
    0xbf800000,
    0xbf800001,
    0xbfc00000,
    0xc1200000,
    0xff8fffff,
    0xff800000,
    0xffd23456,
    0xffc00000,
    0xff923456,
    0xff800001,
    0x80123456,
    0x807fffff,
    0x80000001,
  };
  const unsigned kExpectedCount_fmov_s = 38;
  
  #endif  // VIXL_SIM_FMOV_S_TRACE_AARCH64_H_
  