// 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_SSRA_2S_2OPIMM_TRACE_A64_H_
#define VIXL_SIM_SSRA_2S_2OPIMM_TRACE_A64_H_
const uint32_t kExpected_NEON_ssra_2S_2OPIMM[] = {
0xfffffffe, 0xffffffff,
0xfffffffd, 0xfffffffe,
0xfffffffc, 0xfffffffd,
0xfffffffb, 0xfffffffc,
0xfffffffa, 0xfffffffb,
0xfffffff9, 0xfffffffa,
0xfffffff8, 0xfffffff9,
0xfffffff7, 0xfffffff8,
0xfffffff6, 0xfffffff7,
0xfffffff5, 0xfffffff6,
0xfffffff4, 0xfffffff5,
0xfffffff3, 0xfffffff4,
0xfffffff2, 0xfffffff3,
0xfffffff1, 0xfffffff2,
0xfffffff0, 0xfffffff1,
0xffffffef, 0xfffffff0,
0xffffffee, 0xffffffef,
0xffffffed, 0xffffffee,
0xffffffec, 0xffffffed,
0xffffffeb, 0xffffffec,
0xffffffea, 0xffffffeb,
0xffffffe9, 0xffffffea,
0xffffffe8, 0xffffffe9,
0xffffffe7, 0xffffffe8,
0xffffffe6, 0xffffffe7,
0xffffffe5, 0xffffffe6,
0xffffffe4, 0xffffffe5,
0xffffffe3, 0xffffffe4,
0xffffffe2, 0xffffffe3,
0xffffffe1, 0xffffffe2,
0xffffffe0, 0xffffffe1,
0xffffffdf, 0xffffffe0,
0xffffffff, 0xffffffff,
0xfffffffe, 0xfffffffe,
0xfffffffd, 0xfffffffd,
0xfffffffc, 0xfffffffc,
0xfffffffb, 0xfffffffb,
0xfffffffa, 0xfffffffa,
0xfffffff9, 0xfffffff9,
0xfffffff8, 0xfffffff8,
0xfffffff7, 0xfffffff7,
0xfffffff6, 0xfffffff6,
0xfffffff5, 0xfffffff5,
0xfffffff4, 0xfffffff4,
0xfffffff3, 0xfffffff3,
0xfffffff2, 0xfffffff2,
0xfffffff1, 0xfffffff1,
0xfffffff0, 0xfffffff0,
0xffffffef, 0xffffffef,
0xffffffee, 0xffffffee,
0xffffffed, 0xffffffed,
0xffffffec, 0xffffffec,
0xffffffeb, 0xffffffeb,
0xffffffea, 0xffffffea,
0xffffffe9, 0xffffffe9,
0xffffffe8, 0xffffffe8,
0xffffffe7, 0xffffffe7,
0xffffffe6, 0xffffffe6,
0xffffffe5, 0xffffffe5,
0xffffffe4, 0xffffffe4,
0xffffffe3, 0xffffffe3,
0xffffffe2, 0xffffffe2,
0xffffffe1, 0xffffffe1,
0xffffffe0, 0xffffffe0,
0xffffffff, 0x00000000,
0xfffffffe, 0x00000000,
0xfffffffd, 0x00000000,
0xfffffffc, 0x00000000,
0xfffffffb, 0x00000000,
0xfffffffa, 0x00000000,
0xfffffff9, 0x00000000,
0xfffffff8, 0x00000000,
0xfffffff7, 0x00000000,
0xfffffff6, 0x00000000,
0xfffffff5, 0x00000000,
0xfffffff4, 0x00000000,
0xfffffff3, 0x00000000,
0xfffffff2, 0x00000000,
0xfffffff1, 0x00000000,
0xfffffff0, 0x00000000,
0xffffffef, 0x00000000,
0xffffffee, 0x00000000,
0xffffffed, 0x00000000,
0xffffffec, 0x00000000,
0xffffffeb, 0x00000000,
0xffffffea, 0x00000000,
0xffffffe9, 0x00000000,
0xffffffe8, 0x00000000,
0xffffffe7, 0x00000000,
0xffffffe6, 0x00000000,
0xffffffe5, 0x00000000,
0xffffffe4, 0x00000000,
0xffffffe3, 0x00000000,
0xffffffe2, 0x00000000,
0xffffffe1, 0x00000000,
0xffffffe0, 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,
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, 0x00000001,
0x00000000, 0x00000001,
0x00000000, 0x00000001,
0x00000000, 0x00000001,
0x00000000, 0x00000001,
0x00000000, 0x00000001,
0x00000000, 0x00000001,
0x00000000, 0x00000001,
0x00000000, 0x00000001,
0x00000000, 0x00000001,
0x00000000, 0x00000001,
0x00000000, 0x00000001,
0x00000000, 0x00000001,
0x00000000, 0x00000001,
0x00000000, 0x00000001,
0x00000000, 0x00000001,
0x00000000, 0x00000001,
0x00000000, 0x00000001,
0x00000000, 0x00000001,
0x00000000, 0x00000001,
0x00000000, 0x00000001,
0x00000000, 0x00000001,
0x00000000, 0x00000001,
0x00000000, 0x00000001,
0x00000000, 0x00000001,
0x00000000, 0x00000001,
0x00000000, 0x00000001,
0x00000000, 0x00000001,
0x00000000, 0x00000001,
0x00000000, 0x00000001,
0x00000000, 0x00000001,
0x00000000, 0x00000001,
0x00000001, 0x00000010,
0x00000001, 0x00000018,
0x00000001, 0x0000001c,
0x00000001, 0x0000001e,
0x00000001, 0x0000001f,
0x00000001, 0x0000001f,
0x00000001, 0x0000001f,
0x00000001, 0x0000001f,
0x00000001, 0x0000001f,
0x00000001, 0x0000001f,
0x00000001, 0x0000001f,
0x00000001, 0x0000001f,
0x00000001, 0x0000001f,
0x00000001, 0x0000001f,
0x00000001, 0x0000001f,
0x00000001, 0x0000001f,
0x00000001, 0x0000001f,
0x00000001, 0x0000001f,
0x00000001, 0x0000001f,
0x00000001, 0x0000001f,
0x00000001, 0x0000001f,
0x00000001, 0x0000001f,
0x00000001, 0x0000001f,
0x00000001, 0x0000001f,
0x00000001, 0x0000001f,
0x00000001, 0x0000001f,
0x00000001, 0x0000001f,
0x00000001, 0x0000001f,
0x00000001, 0x0000001f,
0x00000001, 0x0000001f,
0x00000001, 0x0000001f,
0x00000001, 0x0000001f,
0x00000010, 0x0000003e,
0x00000018, 0x0000005d,
0x0000001c, 0x0000006c,
0x0000001e, 0x00000073,
0x0000001f, 0x00000076,
0x0000001f, 0x00000077,
0x0000001f, 0x00000077,
0x0000001f, 0x00000077,
0x0000001f, 0x00000077,
0x0000001f, 0x00000077,
0x0000001f, 0x00000077,
0x0000001f, 0x00000077,
0x0000001f, 0x00000077,
0x0000001f, 0x00000077,
0x0000001f, 0x00000077,
0x0000001f, 0x00000077,
0x0000001f, 0x00000077,
0x0000001f, 0x00000077,
0x0000001f, 0x00000077,
0x0000001f, 0x00000077,
0x0000001f, 0x00000077,
0x0000001f, 0x00000077,
0x0000001f, 0x00000077,
0x0000001f, 0x00000077,
0x0000001f, 0x00000077,
0x0000001f, 0x00000077,
0x0000001f, 0x00000077,
0x0000001f, 0x00000077,
0x0000001f, 0x00000077,
0x0000001f, 0x00000077,
0x0000001f, 0x00000077,
0x0000001f, 0x00000077,
0x0000003e, 0x0000003f,
0x0000005d, 0x0000005e,
0x0000006c, 0x0000006d,
0x00000073, 0x00000074,
0x00000076, 0x00000077,
0x00000077, 0x00000078,
0x00000077, 0x00000078,
0x00000077, 0x00000078,
0x00000077, 0x00000078,
0x00000077, 0x00000078,
0x00000077, 0x00000078,
0x00000077, 0x00000078,
0x00000077, 0x00000078,
0x00000077, 0x00000078,
0x00000077, 0x00000078,
0x00000077, 0x00000078,
0x00000077, 0x00000078,
0x00000077, 0x00000078,
0x00000077, 0x00000078,
0x00000077, 0x00000078,
0x00000077, 0x00000078,
0x00000077, 0x00000078,
0x00000077, 0x00000078,
0x00000077, 0x00000078,
0x00000077, 0x00000078,
0x00000077, 0x00000078,
0x00000077, 0x00000078,
0x00000077, 0x00000078,
0x00000077, 0x00000078,
0x00000077, 0x00000078,
0x00000077, 0x00000078,
0x00000077, 0x00000078,
0x0000003f, 0x0000003f,
0x0000005e, 0x0000005e,
0x0000006d, 0x0000006d,
0x00000074, 0x00000074,
0x00000077, 0x00000077,
0x00000078, 0x00000078,
0x00000078, 0x00000078,
0x00000078, 0x00000078,
0x00000078, 0x00000078,
0x00000078, 0x00000078,
0x00000078, 0x00000078,
0x00000078, 0x00000078,
0x00000078, 0x00000078,
0x00000078, 0x00000078,
0x00000078, 0x00000078,
0x00000078, 0x00000078,
0x00000078, 0x00000078,
0x00000078, 0x00000078,
0x00000078, 0x00000078,
0x00000078, 0x00000078,
0x00000078, 0x00000078,
0x00000078, 0x00000078,
0x00000078, 0x00000078,
0x00000078, 0x00000078,
0x00000078, 0x00000078,
0x00000078, 0x00000078,
0x00000078, 0x00000078,
0x00000078, 0x00000078,
0x00000078, 0x00000078,
0x00000078, 0x00000078,
0x00000078, 0x00000078,
0x00000078, 0x00000078,
0x0000003f, 0x00003ffe,
0x0000005e, 0x00005ffd,
0x0000006d, 0x00006ffc,
0x00000074, 0x000077fb,
0x00000077, 0x00007bfa,
0x00000078, 0x00007df9,
0x00000078, 0x00007ef8,
0x00000078, 0x00007f77,
0x00000078, 0x00007fb6,
0x00000078, 0x00007fd5,
0x00000078, 0x00007fe4,
0x00000078, 0x00007feb,
0x00000078, 0x00007fee,
0x00000078, 0x00007fef,
0x00000078, 0x00007fef,
0x00000078, 0x00007fef,
0x00000078, 0x00007fef,
0x00000078, 0x00007fef,
0x00000078, 0x00007fef,
0x00000078, 0x00007fef,
0x00000078, 0x00007fef,
0x00000078, 0x00007fef,
0x00000078, 0x00007fef,
0x00000078, 0x00007fef,
0x00000078, 0x00007fef,
0x00000078, 0x00007fef,
0x00000078, 0x00007fef,
0x00000078, 0x00007fef,
0x00000078, 0x00007fef,
0x00000078, 0x00007fef,
0x00000078, 0x00007fef,
0x00000078, 0x00007fef,
0x00003ffe, 0x00003fff,
0x00005ffd, 0x00005ffe,
0x00006ffc, 0x00006ffd,
0x000077fb, 0x000077fc,
0x00007bfa, 0x00007bfb,
0x00007df9, 0x00007dfa,
0x00007ef8, 0x00007ef9,
0x00007f77, 0x00007f78,
0x00007fb6, 0x00007fb7,
0x00007fd5, 0x00007fd6,
0x00007fe4, 0x00007fe5,
0x00007feb, 0x00007fec,
0x00007fee, 0x00007fef,
0x00007fef, 0x00007ff0,
0x00007fef, 0x00007ff0,
0x00007fef, 0x00007ff0,
0x00007fef, 0x00007ff0,
0x00007fef, 0x00007ff0,
0x00007fef, 0x00007ff0,
0x00007fef, 0x00007ff0,
0x00007fef, 0x00007ff0,
0x00007fef, 0x00007ff0,
0x00007fef, 0x00007ff0,
0x00007fef, 0x00007ff0,
0x00007fef, 0x00007ff0,
0x00007fef, 0x00007ff0,
0x00007fef, 0x00007ff0,
0x00007fef, 0x00007ff0,
0x00007fef, 0x00007ff0,
0x00007fef, 0x00007ff0,
0x00007fef, 0x00007ff0,
0x00007fef, 0x00007ff0,
0x00003fff, 0x00003fff,
0x00005ffe, 0x00005ffe,
0x00006ffd, 0x00006ffd,
0x000077fc, 0x000077fc,
0x00007bfb, 0x00007bfb,
0x00007dfa, 0x00007dfa,
0x00007ef9, 0x00007ef9,
0x00007f78, 0x00007f78,
0x00007fb7, 0x00007fb7,
0x00007fd6, 0x00007fd6,
0x00007fe5, 0x00007fe5,
0x00007fec, 0x00007fec,
0x00007fef, 0x00007fef,
0x00007ff0, 0x00007ff0,
0x00007ff0, 0x00007ff0,
0x00007ff0, 0x00007ff0,
0x00007ff0, 0x00007ff0,
0x00007ff0, 0x00007ff0,
0x00007ff0, 0x00007ff0,
0x00007ff0, 0x00007ff0,
0x00007ff0, 0x00007ff0,
0x00007ff0, 0x00007ff0,
0x00007ff0, 0x00007ff0,
0x00007ff0, 0x00007ff0,
0x00007ff0, 0x00007ff0,
0x00007ff0, 0x00007ff0,
0x00007ff0, 0x00007ff0,
0x00007ff0, 0x00007ff0,
0x00007ff0, 0x00007ff0,
0x00007ff0, 0x00007ff0,
0x00007ff0, 0x00007ff0,
0x00007ff0, 0x00007ff0,
0x00003fff, 0x19999999,
0x00005ffe, 0x26666665,
0x00006ffd, 0x2ccccccb,
0x000077fc, 0x2ffffffe,
0x00007bfb, 0x31999997,
0x00007dfa, 0x32666663,
0x00007ef9, 0x32ccccc9,
0x00007f78, 0x32fffffc,
0x00007fb7, 0x33199995,
0x00007fd6, 0x33266661,
0x00007fe5, 0x332cccc7,
0x00007fec, 0x332ffffa,
0x00007fef, 0x33319993,
0x00007ff0, 0x3332665f,
0x00007ff0, 0x3332ccc5,
0x00007ff0, 0x3332fff8,
0x00007ff0, 0x33331991,
0x00007ff0, 0x3333265d,
0x00007ff0, 0x33332cc3,
0x00007ff0, 0x33332ff6,
0x00007ff0, 0x3333318f,
0x00007ff0, 0x3333325b,
0x00007ff0, 0x333332c1,
0x00007ff0, 0x333332f4,
0x00007ff0, 0x3333330d,
0x00007ff0, 0x33333319,
0x00007ff0, 0x3333331f,
0x00007ff0, 0x33333322,
0x00007ff0, 0x33333323,
0x00007ff0, 0x33333323,
0x00007ff0, 0x33333323,
0x00007ff0, 0x33333323,
0x19999999, 0x2aaaaaaa,
0x26666665, 0x3fffffff,
0x2ccccccb, 0x4aaaaaa9,
0x2ffffffe, 0x4ffffffe,
0x31999997, 0x52aaaaa8,
0x32666663, 0x53fffffd,
0x32ccccc9, 0x54aaaaa7,
0x32fffffc, 0x54fffffc,
0x33199995, 0x552aaaa6,
0x33266661, 0x553ffffb,
0x332cccc7, 0x554aaaa5,
0x332ffffa, 0x554ffffa,
0x33319993, 0x5552aaa4,
0x3332665f, 0x5553fff9,
0x3332ccc5, 0x5554aaa3,
0x3332fff8, 0x5554fff8,
0x33331991, 0x55552aa2,
0x3333265d, 0x55553ff7,
0x33332cc3, 0x55554aa1,
0x33332ff6, 0x55554ff6,
0x3333318f, 0x555552a0,
0x3333325b, 0x555553f5,
0x333332c1, 0x5555549f,
0x333332f4, 0x555554f4,
0x3333330d, 0x5555551e,
0x33333319, 0x55555533,
0x3333331f, 0x5555553d,
0x33333322, 0x55555542,
0x33333323, 0x55555544,
0x33333323, 0x55555545,
0x33333323, 0x55555545,
0x33333323, 0x55555545,
0x2aaaaaaa, 0x3ffffffe,
0x3fffffff, 0x5ffffffd,
0x4aaaaaa9, 0x6ffffffc,
0x4ffffffe, 0x77fffffb,
0x52aaaaa8, 0x7bfffffa,
0x53fffffd, 0x7dfffff9,
0x54aaaaa7, 0x7efffff8,
0x54fffffc, 0x7f7ffff7,
0x552aaaa6, 0x7fbffff6,
0x553ffffb, 0x7fdffff5,
0x554aaaa5, 0x7feffff4,
0x554ffffa, 0x7ff7fff3,
0x5552aaa4, 0x7ffbfff2,
0x5553fff9, 0x7ffdfff1,
0x5554aaa3, 0x7ffefff0,
0x5554fff8, 0x7fff7fef,
0x55552aa2, 0x7fffbfee,
0x55553ff7, 0x7fffdfed,
0x55554aa1, 0x7fffefec,
0x55554ff6, 0x7ffff7eb,
0x555552a0, 0x7ffffbea,
0x555553f5, 0x7ffffde9,
0x5555549f, 0x7ffffee8,
0x555554f4, 0x7fffff67,
0x5555551e, 0x7fffffa6,
0x55555533, 0x7fffffc5,
0x5555553d, 0x7fffffd4,
0x55555542, 0x7fffffdb,
0x55555544, 0x7fffffde,
0x55555545, 0x7fffffdf,
0x55555545, 0x7fffffdf,
0x55555545, 0x7fffffdf,
0x3ffffffe, 0x3fffffff,
0x5ffffffd, 0x5ffffffe,
0x6ffffffc, 0x6ffffffd,
0x77fffffb, 0x77fffffc,
0x7bfffffa, 0x7bfffffb,
0x7dfffff9, 0x7dfffffa,
0x7efffff8, 0x7efffff9,
0x7f7ffff7, 0x7f7ffff8,
0x7fbffff6, 0x7fbffff7,
0x7fdffff5, 0x7fdffff6,
0x7feffff4, 0x7feffff5,
0x7ff7fff3, 0x7ff7fff4,
0x7ffbfff2, 0x7ffbfff3,
0x7ffdfff1, 0x7ffdfff2,
0x7ffefff0, 0x7ffefff1,
0x7fff7fef, 0x7fff7ff0,
0x7fffbfee, 0x7fffbfef,
0x7fffdfed, 0x7fffdfee,
0x7fffefec, 0x7fffefed,
0x7ffff7eb, 0x7ffff7ec,
0x7ffffbea, 0x7ffffbeb,
0x7ffffde9, 0x7ffffdea,
0x7ffffee8, 0x7ffffee9,
0x7fffff67, 0x7fffff68,
0x7fffffa6, 0x7fffffa7,
0x7fffffc5, 0x7fffffc6,
0x7fffffd4, 0x7fffffd5,
0x7fffffdb, 0x7fffffdc,
0x7fffffde, 0x7fffffdf,
0x7fffffdf, 0x7fffffe0,
0x7fffffdf, 0x7fffffe0,
0x7fffffdf, 0x7fffffe0,
0x3fffffff, 0x3fffffff,
0x5ffffffe, 0x5ffffffe,
0x6ffffffd, 0x6ffffffd,
0x77fffffc, 0x77fffffc,
0x7bfffffb, 0x7bfffffb,
0x7dfffffa, 0x7dfffffa,
0x7efffff9, 0x7efffff9,
0x7f7ffff8, 0x7f7ffff8,
0x7fbffff7, 0x7fbffff7,
0x7fdffff6, 0x7fdffff6,
0x7feffff5, 0x7feffff5,
0x7ff7fff4, 0x7ff7fff4,
0x7ffbfff3, 0x7ffbfff3,
0x7ffdfff2, 0x7ffdfff2,
0x7ffefff1, 0x7ffefff1,
0x7fff7ff0, 0x7fff7ff0,
0x7fffbfef, 0x7fffbfef,
0x7fffdfee, 0x7fffdfee,
0x7fffefed, 0x7fffefed,
0x7ffff7ec, 0x7ffff7ec,
0x7ffffbeb, 0x7ffffbeb,
0x7ffffdea, 0x7ffffdea,
0x7ffffee9, 0x7ffffee9,
0x7fffff68, 0x7fffff68,
0x7fffffa7, 0x7fffffa7,
0x7fffffc6, 0x7fffffc6,
0x7fffffd5, 0x7fffffd5,
0x7fffffdc, 0x7fffffdc,
0x7fffffdf, 0x7fffffdf,
0x7fffffe0, 0x7fffffe0,
0x7fffffe0, 0x7fffffe0,
0x7fffffe0, 0x7fffffe0,
0x3fffffff, 0xc0000000,
0x5ffffffe, 0xa0000000,
0x6ffffffd, 0x90000000,
0x77fffffc, 0x88000000,
0x7bfffffb, 0x84000000,
0x7dfffffa, 0x82000000,
0x7efffff9, 0x81000000,
0x7f7ffff8, 0x80800000,
0x7fbffff7, 0x80400000,
0x7fdffff6, 0x80200000,
0x7feffff5, 0x80100000,
0x7ff7fff4, 0x80080000,
0x7ffbfff3, 0x80040000,
0x7ffdfff2, 0x80020000,
0x7ffefff1, 0x80010000,
0x7fff7ff0, 0x80008000,
0x7fffbfef, 0x80004000,
0x7fffdfee, 0x80002000,
0x7fffefed, 0x80001000,
0x7ffff7ec, 0x80000800,
0x7ffffbeb, 0x80000400,
0x7ffffdea, 0x80000200,
0x7ffffee9, 0x80000100,
0x7fffff68, 0x80000080,
0x7fffffa7, 0x80000040,
0x7fffffc6, 0x80000020,
0x7fffffd5, 0x80000010,
0x7fffffdc, 0x80000008,
0x7fffffdf, 0x80000004,
0x7fffffe0, 0x80000002,
0x7fffffe0, 0x80000001,
0x7fffffe0, 0x80000000,
0xc0000000, 0xc0000000,
0xa0000000, 0xa0000000,
0x90000000, 0x90000000,
0x88000000, 0x88000000,
0x84000000, 0x84000000,
0x82000000, 0x82000000,
0x81000000, 0x81000000,
0x80800000, 0x80800000,
0x80400000, 0x80400000,
0x80200000, 0x80200000,
0x80100000, 0x80100000,
0x80080000, 0x80080000,
0x80040000, 0x80040000,
0x80020000, 0x80020000,
0x80010000, 0x80010000,
0x80008000, 0x80008000,
0x80004000, 0x80004000,
0x80002000, 0x80002000,
0x80001000, 0x80001000,
0x80000800, 0x80000800,
0x80000400, 0x80000400,
0x80000200, 0x80000200,
0x80000100, 0x80000100,
0x80000080, 0x80000080,
0x80000040, 0x80000040,
0x80000020, 0x80000020,
0x80000010, 0x80000010,
0x80000008, 0x80000008,
0x80000004, 0x80000004,
0x80000002, 0x80000002,
0x80000001, 0x80000001,
0x80000000, 0x80000000,
0xc0000000, 0xd5555555,
0xa0000000, 0xbfffffff,
0x90000000, 0xb5555554,
0x88000000, 0xaffffffe,
0x84000000, 0xad555553,
0x82000000, 0xabfffffd,
0x81000000, 0xab555552,
0x80800000, 0xaafffffc,
0x80400000, 0xaad55551,
0x80200000, 0xaabffffb,
0x80100000, 0xaab55550,
0x80080000, 0xaaaffffa,
0x80040000, 0xaaad554f,
0x80020000, 0xaaabfff9,
0x80010000, 0xaaab554e,
0x80008000, 0xaaaafff8,
0x80004000, 0xaaaad54d,
0x80002000, 0xaaaabff7,
0x80001000, 0xaaaab54c,
0x80000800, 0xaaaaaff6,
0x80000400, 0xaaaaad4b,
0x80000200, 0xaaaaabf5,
0x80000100, 0xaaaaab4a,
0x80000080, 0xaaaaaaf4,
0x80000040, 0xaaaaaac9,
0x80000020, 0xaaaaaab3,
0x80000010, 0xaaaaaaa8,
0x80000008, 0xaaaaaaa2,
0x80000004, 0xaaaaaa9f,
0x80000002, 0xaaaaaa9d,
0x80000001, 0xaaaaaa9c,
0x80000000, 0xaaaaaa9b,
0xd5555555, 0xe6666666,
0xbfffffff, 0xd9999999,
0xb5555554, 0xd3333332,
0xaffffffe, 0xcffffffe,
0xad555553, 0xce666664,
0xabfffffd, 0xcd999997,
0xab555552, 0xcd333330,
0xaafffffc, 0xccfffffc,
0xaad55551, 0xcce66662,
0xaabffffb, 0xccd99995,
0xaab55550, 0xccd3332e,
0xaaaffffa, 0xcccffffa,
0xaaad554f, 0xccce6660,
0xaaabfff9, 0xcccd9993,
0xaaab554e, 0xcccd332c,
0xaaaafff8, 0xccccfff8,
0xaaaad54d, 0xcccce65e,
0xaaaabff7, 0xccccd991,
0xaaaab54c, 0xccccd32a,
0xaaaaaff6, 0xcccccff6,
0xaaaaad4b, 0xccccce5c,
0xaaaaabf5, 0xcccccd8f,
0xaaaaab4a, 0xcccccd28,
0xaaaaaaf4, 0xccccccf4,
0xaaaaaac9, 0xccccccda,
0xaaaaaab3, 0xcccccccd,
0xaaaaaaa8, 0xccccccc6,
0xaaaaaaa2, 0xccccccc2,
0xaaaaaa9f, 0xccccccc0,
0xaaaaaa9d, 0xccccccbf,
0xaaaaaa9c, 0xccccccbe,
0xaaaaaa9b, 0xccccccbd,
0xe6666666, 0xffffc000,
0xd9999999, 0xffffa000,
0xd3333332, 0xffff9000,
0xcffffffe, 0xffff8800,
0xce666664, 0xffff8400,
0xcd999997, 0xffff8200,
0xcd333330, 0xffff8100,
0xccfffffc, 0xffff8080,
0xcce66662, 0xffff8040,
0xccd99995, 0xffff8020,
0xccd3332e, 0xffff8010,
0xcccffffa, 0xffff8008,
0xccce6660, 0xffff8004,
0xcccd9993, 0xffff8002,
0xcccd332c, 0xffff8001,
0xccccfff8, 0xffff8000,
0xcccce65e, 0xffff7fff,
0xccccd991, 0xffff7ffe,
0xccccd32a, 0xffff7ffd,
0xcccccff6, 0xffff7ffc,
0xccccce5c, 0xffff7ffb,
0xcccccd8f, 0xffff7ffa,
0xcccccd28, 0xffff7ff9,
0xccccccf4, 0xffff7ff8,
0xccccccda, 0xffff7ff7,
0xcccccccd, 0xffff7ff6,
0xccccccc6, 0xffff7ff5,
0xccccccc2, 0xffff7ff4,
0xccccccc0, 0xffff7ff3,
0xccccccbf, 0xffff7ff2,
0xccccccbe, 0xffff7ff1,
0xccccccbd, 0xffff7ff0,
0xffffc000, 0xffffc000,
0xffffa000, 0xffffa000,
0xffff9000, 0xffff9000,
0xffff8800, 0xffff8800,
0xffff8400, 0xffff8400,
0xffff8200, 0xffff8200,
0xffff8100, 0xffff8100,
0xffff8080, 0xffff8080,
0xffff8040, 0xffff8040,
0xffff8020, 0xffff8020,
0xffff8010, 0xffff8010,
0xffff8008, 0xffff8008,
0xffff8004, 0xffff8004,
0xffff8002, 0xffff8002,
0xffff8001, 0xffff8001,
0xffff8000, 0xffff8000,
0xffff7fff, 0xffff7fff,
0xffff7ffe, 0xffff7ffe,
0xffff7ffd, 0xffff7ffd,
0xffff7ffc, 0xffff7ffc,
0xffff7ffb, 0xffff7ffb,
0xffff7ffa, 0xffff7ffa,
0xffff7ff9, 0xffff7ff9,
0xffff7ff8, 0xffff7ff8,
0xffff7ff7, 0xffff7ff7,
0xffff7ff6, 0xffff7ff6,
0xffff7ff5, 0xffff7ff5,
0xffff7ff4, 0xffff7ff4,
0xffff7ff3, 0xffff7ff3,
0xffff7ff2, 0xffff7ff2,
0xffff7ff1, 0xffff7ff1,
0xffff7ff0, 0xffff7ff0,
0xffffc000, 0xffffc001,
0xffffa000, 0xffffa001,
0xffff9000, 0xffff9001,
0xffff8800, 0xffff8801,
0xffff8400, 0xffff8401,
0xffff8200, 0xffff8201,
0xffff8100, 0xffff8101,
0xffff8080, 0xffff8081,
0xffff8040, 0xffff8041,
0xffff8020, 0xffff8021,
0xffff8010, 0xffff8011,
0xffff8008, 0xffff8009,
0xffff8004, 0xffff8005,
0xffff8002, 0xffff8003,
0xffff8001, 0xffff8002,
0xffff8000, 0xffff8001,
0xffff7fff, 0xffff8000,
0xffff7ffe, 0xffff7fff,
0xffff7ffd, 0xffff7ffe,
0xffff7ffc, 0xffff7ffd,
0xffff7ffb, 0xffff7ffc,
0xffff7ffa, 0xffff7ffb,
0xffff7ff9, 0xffff7ffa,
0xffff7ff8, 0xffff7ff9,
0xffff7ff7, 0xffff7ff8,
0xffff7ff6, 0xffff7ff7,
0xffff7ff5, 0xffff7ff6,
0xffff7ff4, 0xffff7ff5,
0xffff7ff3, 0xffff7ff4,
0xffff7ff2, 0xffff7ff3,
0xffff7ff1, 0xffff7ff2,
0xffff7ff0, 0xffff7ff1,
0xffffc001, 0xffffc001,
0xffffa001, 0xffffa001,
0xffff9001, 0xffff9001,
0xffff8801, 0xffff8801,
0xffff8401, 0xffff8401,
0xffff8201, 0xffff8201,
0xffff8101, 0xffff8101,
0xffff8081, 0xffff8081,
0xffff8041, 0xffff8041,
0xffff8021, 0xffff8021,
0xffff8011, 0xffff8011,
0xffff8009, 0xffff8009,
0xffff8005, 0xffff8005,
0xffff8003, 0xffff8003,
0xffff8002, 0xffff8002,
0xffff8001, 0xffff8001,
0xffff8000, 0xffff8000,
0xffff7fff, 0xffff7fff,
0xffff7ffe, 0xffff7ffe,
0xffff7ffd, 0xffff7ffd,
0xffff7ffc, 0xffff7ffc,
0xffff7ffb, 0xffff7ffb,
0xffff7ffa, 0xffff7ffa,
0xffff7ff9, 0xffff7ff9,
0xffff7ff8, 0xffff7ff8,
0xffff7ff7, 0xffff7ff7,
0xffff7ff6, 0xffff7ff6,
0xffff7ff5, 0xffff7ff5,
0xffff7ff4, 0xffff7ff4,
0xffff7ff3, 0xffff7ff3,
0xffff7ff2, 0xffff7ff2,
0xffff7ff1, 0xffff7ff1,
0xffffc001, 0xffffffc0,
0xffffa001, 0xffffffa0,
0xffff9001, 0xffffff90,
0xffff8801, 0xffffff88,
0xffff8401, 0xffffff84,
0xffff8201, 0xffffff82,
0xffff8101, 0xffffff81,
0xffff8081, 0xffffff80,
0xffff8041, 0xffffff7f,
0xffff8021, 0xffffff7e,
0xffff8011, 0xffffff7d,
0xffff8009, 0xffffff7c,
0xffff8005, 0xffffff7b,
0xffff8003, 0xffffff7a,
0xffff8002, 0xffffff79,
0xffff8001, 0xffffff78,
0xffff8000, 0xffffff77,
0xffff7fff, 0xffffff76,
0xffff7ffe, 0xffffff75,
0xffff7ffd, 0xffffff74,
0xffff7ffc, 0xffffff73,
0xffff7ffb, 0xffffff72,
0xffff7ffa, 0xffffff71,
0xffff7ff9, 0xffffff70,
0xffff7ff8, 0xffffff6f,
0xffff7ff7, 0xffffff6e,
0xffff7ff6, 0xffffff6d,
0xffff7ff5, 0xffffff6c,
0xffff7ff4, 0xffffff6b,
0xffff7ff3, 0xffffff6a,
0xffff7ff2, 0xffffff69,
0xffff7ff1, 0xffffff68,
0xffffffc0, 0xffffffc0,
0xffffffa0, 0xffffffa0,
0xffffff90, 0xffffff90,
0xffffff88, 0xffffff88,
0xffffff84, 0xffffff84,
0xffffff82, 0xffffff82,
0xffffff81, 0xffffff81,
0xffffff80, 0xffffff80,
0xffffff7f, 0xffffff7f,
0xffffff7e, 0xffffff7e,
0xffffff7d, 0xffffff7d,
0xffffff7c, 0xffffff7c,
0xffffff7b, 0xffffff7b,
0xffffff7a, 0xffffff7a,
0xffffff79, 0xffffff79,
0xffffff78, 0xffffff78,
0xffffff77, 0xffffff77,
0xffffff76, 0xffffff76,
0xffffff75, 0xffffff75,
0xffffff74, 0xffffff74,
0xffffff73, 0xffffff73,
0xffffff72, 0xffffff72,
0xffffff71, 0xffffff71,
0xffffff70, 0xffffff70,
0xffffff6f, 0xffffff6f,
0xffffff6e, 0xffffff6e,
0xffffff6d, 0xffffff6d,
0xffffff6c, 0xffffff6c,
0xffffff6b, 0xffffff6b,
0xffffff6a, 0xffffff6a,
0xffffff69, 0xffffff69,
0xffffff68, 0xffffff68,
0xffffffc0, 0xffffffc1,
0xffffffa0, 0xffffffa1,
0xffffff90, 0xffffff91,
0xffffff88, 0xffffff89,
0xffffff84, 0xffffff85,
0xffffff82, 0xffffff83,
0xffffff81, 0xffffff82,
0xffffff80, 0xffffff81,
0xffffff7f, 0xffffff80,
0xffffff7e, 0xffffff7f,
0xffffff7d, 0xffffff7e,
0xffffff7c, 0xffffff7d,
0xffffff7b, 0xffffff7c,
0xffffff7a, 0xffffff7b,
0xffffff79, 0xffffff7a,
0xffffff78, 0xffffff79,
0xffffff77, 0xffffff78,
0xffffff76, 0xffffff77,
0xffffff75, 0xffffff76,
0xffffff74, 0xffffff75,
0xffffff73, 0xffffff74,
0xffffff72, 0xffffff73,
0xffffff71, 0xffffff72,
0xffffff70, 0xffffff71,
0xffffff6f, 0xffffff70,
0xffffff6e, 0xffffff6f,
0xffffff6d, 0xffffff6e,
0xffffff6c, 0xffffff6d,
0xffffff6b, 0xffffff6c,
0xffffff6a, 0xffffff6b,
0xffffff69, 0xffffff6a,
0xffffff68, 0xffffff69,
0xffffffc1, 0xffffffc1,
0xffffffa1, 0xffffffa1,
0xffffff91, 0xffffff91,
0xffffff89, 0xffffff89,
0xffffff85, 0xffffff85,
0xffffff83, 0xffffff83,
0xffffff82, 0xffffff82,
0xffffff81, 0xffffff81,
0xffffff80, 0xffffff80,
0xffffff7f, 0xffffff7f,
0xffffff7e, 0xffffff7e,
0xffffff7d, 0xffffff7d,
0xffffff7c, 0xffffff7c,
0xffffff7b, 0xffffff7b,
0xffffff7a, 0xffffff7a,
0xffffff79, 0xffffff79,
0xffffff78, 0xffffff78,
0xffffff77, 0xffffff77,
0xffffff76, 0xffffff76,
0xffffff75, 0xffffff75,
0xffffff74, 0xffffff74,
0xffffff73, 0xffffff73,
0xffffff72, 0xffffff72,
0xffffff71, 0xffffff71,
0xffffff70, 0xffffff70,
0xffffff6f, 0xffffff6f,
0xffffff6e, 0xffffff6e,
0xffffff6d, 0xffffff6d,
0xffffff6c, 0xffffff6c,
0xffffff6b, 0xffffff6b,
0xffffff6a, 0xffffff6a,
0xffffff69, 0xffffff69,
0xffffffc1, 0xfffffff0,
0xffffffa1, 0xffffffe8,
0xffffff91, 0xffffffe4,
0xffffff89, 0xffffffe2,
0xffffff85, 0xffffffe1,
0xffffff83, 0xffffffe0,
0xffffff82, 0xffffffdf,
0xffffff81, 0xffffffde,
0xffffff80, 0xffffffdd,
0xffffff7f, 0xffffffdc,
0xffffff7e, 0xffffffdb,
0xffffff7d, 0xffffffda,
0xffffff7c, 0xffffffd9,
0xffffff7b, 0xffffffd8,
0xffffff7a, 0xffffffd7,
0xffffff79, 0xffffffd6,
0xffffff78, 0xffffffd5,
0xffffff77, 0xffffffd4,
0xffffff76, 0xffffffd3,
0xffffff75, 0xffffffd2,
0xffffff74, 0xffffffd1,
0xffffff73, 0xffffffd0,
0xffffff72, 0xffffffcf,
0xffffff71, 0xffffffce,
0xffffff70, 0xffffffcd,
0xffffff6f, 0xffffffcc,
0xffffff6e, 0xffffffcb,
0xffffff6d, 0xffffffca,
0xffffff6c, 0xffffffc9,
0xffffff6b, 0xffffffc8,
0xffffff6a, 0xffffffc7,
0xffffff69, 0xffffffc6,
0xfffffff0, 0xfffffffe,
0xffffffe8, 0xfffffffd,
0xffffffe4, 0xfffffffc,
0xffffffe2, 0xfffffffb,
0xffffffe1, 0xfffffffa,
0xffffffe0, 0xfffffff9,
0xffffffdf, 0xfffffff8,
0xffffffde, 0xfffffff7,
0xffffffdd, 0xfffffff6,
0xffffffdc, 0xfffffff5,
0xffffffdb, 0xfffffff4,
0xffffffda, 0xfffffff3,
0xffffffd9, 0xfffffff2,
0xffffffd8, 0xfffffff1,
0xffffffd7, 0xfffffff0,
0xffffffd6, 0xffffffef,
0xffffffd5, 0xffffffee,
0xffffffd4, 0xffffffed,
0xffffffd3, 0xffffffec,
0xffffffd2, 0xffffffeb,
0xffffffd1, 0xffffffea,
0xffffffd0, 0xffffffe9,
0xffffffcf, 0xffffffe8,
0xffffffce, 0xffffffe7,
0xffffffcd, 0xffffffe6,
0xffffffcc, 0xffffffe5,
0xffffffcb, 0xffffffe4,
0xffffffca, 0xffffffe3,
0xffffffc9, 0xffffffe2,
0xffffffc8, 0xffffffe1,
0xffffffc7, 0xffffffe0,
0xffffffc6, 0xffffffdf,
};
const unsigned kExpectedCount_NEON_ssra_2S_2OPIMM = 992;
#endif // VIXL_SIM_SSRA_2S_2OPIMM_TRACE_A64_H_