blob: e66135593f233f811a39b3aadc65a07f353c5a72 [file] [log] [blame]
// 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_SRSRA_2S_2OPIMM_TRACE_AARCH64_H_
#define VIXL_SIM_SRSRA_2S_2OPIMM_TRACE_AARCH64_H_
const uint32_t kExpected_NEON_srsra_2S_2OPIMM[] = {
0xffffffff, 0xffffffff,
0xfffffffe, 0xffffffff,
0xfffffffe, 0xffffffff,
0xfffffffe, 0xffffffff,
0xfffffffe, 0xffffffff,
0xfffffffe, 0xffffffff,
0xfffffffe, 0xffffffff,
0xfffffffe, 0xffffffff,
0xfffffffe, 0xffffffff,
0xfffffffe, 0xffffffff,
0xfffffffe, 0xffffffff,
0xfffffffe, 0xffffffff,
0xfffffffe, 0xffffffff,
0xfffffffe, 0xffffffff,
0xfffffffe, 0xffffffff,
0xfffffffe, 0xffffffff,
0xfffffffe, 0xffffffff,
0xfffffffe, 0xffffffff,
0xfffffffe, 0xffffffff,
0xfffffffe, 0xffffffff,
0xfffffffe, 0xffffffff,
0xfffffffe, 0xffffffff,
0xfffffffe, 0xffffffff,
0xfffffffe, 0xffffffff,
0xfffffffe, 0xffffffff,
0xfffffffe, 0xffffffff,
0xfffffffe, 0xffffffff,
0xfffffffe, 0xffffffff,
0xfffffffe, 0xffffffff,
0xfffffffe, 0xffffffff,
0xfffffffe, 0xffffffff,
0xfffffffe, 0xffffffff,
0xffffffff, 0x00000000,
0xffffffff, 0x00000000,
0xffffffff, 0x00000000,
0xffffffff, 0x00000000,
0xffffffff, 0x00000000,
0xffffffff, 0x00000000,
0xffffffff, 0x00000000,
0xffffffff, 0x00000000,
0xffffffff, 0x00000000,
0xffffffff, 0x00000000,
0xffffffff, 0x00000000,
0xffffffff, 0x00000000,
0xffffffff, 0x00000000,
0xffffffff, 0x00000000,
0xffffffff, 0x00000000,
0xffffffff, 0x00000000,
0xffffffff, 0x00000000,
0xffffffff, 0x00000000,
0xffffffff, 0x00000000,
0xffffffff, 0x00000000,
0xffffffff, 0x00000000,
0xffffffff, 0x00000000,
0xffffffff, 0x00000000,
0xffffffff, 0x00000000,
0xffffffff, 0x00000000,
0xffffffff, 0x00000000,
0xffffffff, 0x00000000,
0xffffffff, 0x00000000,
0xffffffff, 0x00000000,
0xffffffff, 0x00000000,
0xffffffff, 0x00000000,
0xffffffff, 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, 0x00000001,
0x00000001, 0x00000002,
0x00000001, 0x00000002,
0x00000001, 0x00000002,
0x00000001, 0x00000002,
0x00000001, 0x00000002,
0x00000001, 0x00000002,
0x00000001, 0x00000002,
0x00000001, 0x00000002,
0x00000001, 0x00000002,
0x00000001, 0x00000002,
0x00000001, 0x00000002,
0x00000001, 0x00000002,
0x00000001, 0x00000002,
0x00000001, 0x00000002,
0x00000001, 0x00000002,
0x00000001, 0x00000002,
0x00000001, 0x00000002,
0x00000001, 0x00000002,
0x00000001, 0x00000002,
0x00000001, 0x00000002,
0x00000001, 0x00000002,
0x00000001, 0x00000002,
0x00000001, 0x00000002,
0x00000001, 0x00000002,
0x00000001, 0x00000002,
0x00000001, 0x00000002,
0x00000001, 0x00000002,
0x00000001, 0x00000002,
0x00000001, 0x00000002,
0x00000001, 0x00000002,
0x00000001, 0x00000002,
0x00000001, 0x00000010,
0x00000002, 0x00000018,
0x00000002, 0x0000001c,
0x00000002, 0x0000001e,
0x00000002, 0x0000001f,
0x00000002, 0x00000020,
0x00000002, 0x00000020,
0x00000002, 0x00000020,
0x00000002, 0x00000020,
0x00000002, 0x00000020,
0x00000002, 0x00000020,
0x00000002, 0x00000020,
0x00000002, 0x00000020,
0x00000002, 0x00000020,
0x00000002, 0x00000020,
0x00000002, 0x00000020,
0x00000002, 0x00000020,
0x00000002, 0x00000020,
0x00000002, 0x00000020,
0x00000002, 0x00000020,
0x00000002, 0x00000020,
0x00000002, 0x00000020,
0x00000002, 0x00000020,
0x00000002, 0x00000020,
0x00000002, 0x00000020,
0x00000002, 0x00000020,
0x00000002, 0x00000020,
0x00000002, 0x00000020,
0x00000002, 0x00000020,
0x00000002, 0x00000020,
0x00000002, 0x00000020,
0x00000002, 0x00000020,
0x00000010, 0x0000003f,
0x00000018, 0x0000005e,
0x0000001c, 0x0000006e,
0x0000001e, 0x00000076,
0x0000001f, 0x0000007a,
0x00000020, 0x0000007c,
0x00000020, 0x0000007d,
0x00000020, 0x0000007d,
0x00000020, 0x0000007d,
0x00000020, 0x0000007d,
0x00000020, 0x0000007d,
0x00000020, 0x0000007d,
0x00000020, 0x0000007d,
0x00000020, 0x0000007d,
0x00000020, 0x0000007d,
0x00000020, 0x0000007d,
0x00000020, 0x0000007d,
0x00000020, 0x0000007d,
0x00000020, 0x0000007d,
0x00000020, 0x0000007d,
0x00000020, 0x0000007d,
0x00000020, 0x0000007d,
0x00000020, 0x0000007d,
0x00000020, 0x0000007d,
0x00000020, 0x0000007d,
0x00000020, 0x0000007d,
0x00000020, 0x0000007d,
0x00000020, 0x0000007d,
0x00000020, 0x0000007d,
0x00000020, 0x0000007d,
0x00000020, 0x0000007d,
0x00000020, 0x0000007d,
0x0000003f, 0x0000003f,
0x0000005e, 0x0000005f,
0x0000006e, 0x0000006f,
0x00000076, 0x00000077,
0x0000007a, 0x0000007b,
0x0000007c, 0x0000007d,
0x0000007d, 0x0000007e,
0x0000007d, 0x0000007e,
0x0000007d, 0x0000007e,
0x0000007d, 0x0000007e,
0x0000007d, 0x0000007e,
0x0000007d, 0x0000007e,
0x0000007d, 0x0000007e,
0x0000007d, 0x0000007e,
0x0000007d, 0x0000007e,
0x0000007d, 0x0000007e,
0x0000007d, 0x0000007e,
0x0000007d, 0x0000007e,
0x0000007d, 0x0000007e,
0x0000007d, 0x0000007e,
0x0000007d, 0x0000007e,
0x0000007d, 0x0000007e,
0x0000007d, 0x0000007e,
0x0000007d, 0x0000007e,
0x0000007d, 0x0000007e,
0x0000007d, 0x0000007e,
0x0000007d, 0x0000007e,
0x0000007d, 0x0000007e,
0x0000007d, 0x0000007e,
0x0000007d, 0x0000007e,
0x0000007d, 0x0000007e,
0x0000007d, 0x0000007e,
0x0000003f, 0x00000040,
0x0000005f, 0x00000060,
0x0000006f, 0x00000070,
0x00000077, 0x00000078,
0x0000007b, 0x0000007c,
0x0000007d, 0x0000007e,
0x0000007e, 0x0000007f,
0x0000007e, 0x0000007f,
0x0000007e, 0x0000007f,
0x0000007e, 0x0000007f,
0x0000007e, 0x0000007f,
0x0000007e, 0x0000007f,
0x0000007e, 0x0000007f,
0x0000007e, 0x0000007f,
0x0000007e, 0x0000007f,
0x0000007e, 0x0000007f,
0x0000007e, 0x0000007f,
0x0000007e, 0x0000007f,
0x0000007e, 0x0000007f,
0x0000007e, 0x0000007f,
0x0000007e, 0x0000007f,
0x0000007e, 0x0000007f,
0x0000007e, 0x0000007f,
0x0000007e, 0x0000007f,
0x0000007e, 0x0000007f,
0x0000007e, 0x0000007f,
0x0000007e, 0x0000007f,
0x0000007e, 0x0000007f,
0x0000007e, 0x0000007f,
0x0000007e, 0x0000007f,
0x0000007e, 0x0000007f,
0x0000007e, 0x0000007f,
0x00000040, 0x00003fff,
0x00000060, 0x00005ffe,
0x00000070, 0x00006ffe,
0x00000078, 0x000077fe,
0x0000007c, 0x00007bfe,
0x0000007e, 0x00007dfe,
0x0000007f, 0x00007efe,
0x0000007f, 0x00007f7e,
0x0000007f, 0x00007fbe,
0x0000007f, 0x00007fde,
0x0000007f, 0x00007fee,
0x0000007f, 0x00007ff6,
0x0000007f, 0x00007ffa,
0x0000007f, 0x00007ffc,
0x0000007f, 0x00007ffd,
0x0000007f, 0x00007ffd,
0x0000007f, 0x00007ffd,
0x0000007f, 0x00007ffd,
0x0000007f, 0x00007ffd,
0x0000007f, 0x00007ffd,
0x0000007f, 0x00007ffd,
0x0000007f, 0x00007ffd,
0x0000007f, 0x00007ffd,
0x0000007f, 0x00007ffd,
0x0000007f, 0x00007ffd,
0x0000007f, 0x00007ffd,
0x0000007f, 0x00007ffd,
0x0000007f, 0x00007ffd,
0x0000007f, 0x00007ffd,
0x0000007f, 0x00007ffd,
0x0000007f, 0x00007ffd,
0x0000007f, 0x00007ffd,
0x00003fff, 0x00003fff,
0x00005ffe, 0x00005fff,
0x00006ffe, 0x00006fff,
0x000077fe, 0x000077ff,
0x00007bfe, 0x00007bff,
0x00007dfe, 0x00007dff,
0x00007efe, 0x00007eff,
0x00007f7e, 0x00007f7f,
0x00007fbe, 0x00007fbf,
0x00007fde, 0x00007fdf,
0x00007fee, 0x00007fef,
0x00007ff6, 0x00007ff7,
0x00007ffa, 0x00007ffb,
0x00007ffc, 0x00007ffd,
0x00007ffd, 0x00007ffe,
0x00007ffd, 0x00007ffe,
0x00007ffd, 0x00007ffe,
0x00007ffd, 0x00007ffe,
0x00007ffd, 0x00007ffe,
0x00007ffd, 0x00007ffe,
0x00007ffd, 0x00007ffe,
0x00007ffd, 0x00007ffe,
0x00007ffd, 0x00007ffe,
0x00007ffd, 0x00007ffe,
0x00007ffd, 0x00007ffe,
0x00007ffd, 0x00007ffe,
0x00007ffd, 0x00007ffe,
0x00007ffd, 0x00007ffe,
0x00007ffd, 0x00007ffe,
0x00007ffd, 0x00007ffe,
0x00007ffd, 0x00007ffe,
0x00007ffd, 0x00007ffe,
0x00003fff, 0x00004000,
0x00005fff, 0x00006000,
0x00006fff, 0x00007000,
0x000077ff, 0x00007800,
0x00007bff, 0x00007c00,
0x00007dff, 0x00007e00,
0x00007eff, 0x00007f00,
0x00007f7f, 0x00007f80,
0x00007fbf, 0x00007fc0,
0x00007fdf, 0x00007fe0,
0x00007fef, 0x00007ff0,
0x00007ff7, 0x00007ff8,
0x00007ffb, 0x00007ffc,
0x00007ffd, 0x00007ffe,
0x00007ffe, 0x00007fff,
0x00007ffe, 0x00007fff,
0x00007ffe, 0x00007fff,
0x00007ffe, 0x00007fff,
0x00007ffe, 0x00007fff,
0x00007ffe, 0x00007fff,
0x00007ffe, 0x00007fff,
0x00007ffe, 0x00007fff,
0x00007ffe, 0x00007fff,
0x00007ffe, 0x00007fff,
0x00007ffe, 0x00007fff,
0x00007ffe, 0x00007fff,
0x00007ffe, 0x00007fff,
0x00007ffe, 0x00007fff,
0x00007ffe, 0x00007fff,
0x00007ffe, 0x00007fff,
0x00007ffe, 0x00007fff,
0x00007ffe, 0x00007fff,
0x00004000, 0x1999999a,
0x00006000, 0x26666667,
0x00007000, 0x2ccccccd,
0x00007800, 0x30000000,
0x00007c00, 0x3199999a,
0x00007e00, 0x32666667,
0x00007f00, 0x32cccccd,
0x00007f80, 0x33000000,
0x00007fc0, 0x3319999a,
0x00007fe0, 0x33266667,
0x00007ff0, 0x332ccccd,
0x00007ff8, 0x33300000,
0x00007ffc, 0x3331999a,
0x00007ffe, 0x33326667,
0x00007fff, 0x3332cccd,
0x00007fff, 0x33330000,
0x00007fff, 0x3333199a,
0x00007fff, 0x33332667,
0x00007fff, 0x33332ccd,
0x00007fff, 0x33333000,
0x00007fff, 0x3333319a,
0x00007fff, 0x33333267,
0x00007fff, 0x333332cd,
0x00007fff, 0x33333300,
0x00007fff, 0x3333331a,
0x00007fff, 0x33333327,
0x00007fff, 0x3333332d,
0x00007fff, 0x33333330,
0x00007fff, 0x33333332,
0x00007fff, 0x33333333,
0x00007fff, 0x33333333,
0x00007fff, 0x33333333,
0x1999999a, 0x2aaaaaab,
0x26666667, 0x40000000,
0x2ccccccd, 0x4aaaaaab,
0x30000000, 0x50000000,
0x3199999a, 0x52aaaaab,
0x32666667, 0x54000000,
0x32cccccd, 0x54aaaaab,
0x33000000, 0x55000000,
0x3319999a, 0x552aaaab,
0x33266667, 0x55400000,
0x332ccccd, 0x554aaaab,
0x33300000, 0x55500000,
0x3331999a, 0x5552aaab,
0x33326667, 0x55540000,
0x3332cccd, 0x5554aaab,
0x33330000, 0x55550000,
0x3333199a, 0x55552aab,
0x33332667, 0x55554000,
0x33332ccd, 0x55554aab,
0x33333000, 0x55555000,
0x3333319a, 0x555552ab,
0x33333267, 0x55555400,
0x333332cd, 0x555554ab,
0x33333300, 0x55555500,
0x3333331a, 0x5555552b,
0x33333327, 0x55555540,
0x3333332d, 0x5555554b,
0x33333330, 0x55555550,
0x33333332, 0x55555553,
0x33333333, 0x55555554,
0x33333333, 0x55555555,
0x33333333, 0x55555555,
0x2aaaaaab, 0x3fffffff,
0x40000000, 0x5ffffffe,
0x4aaaaaab, 0x6ffffffe,
0x50000000, 0x77fffffe,
0x52aaaaab, 0x7bfffffe,
0x54000000, 0x7dfffffe,
0x54aaaaab, 0x7efffffe,
0x55000000, 0x7f7ffffe,
0x552aaaab, 0x7fbffffe,
0x55400000, 0x7fdffffe,
0x554aaaab, 0x7feffffe,
0x55500000, 0x7ff7fffe,
0x5552aaab, 0x7ffbfffe,
0x55540000, 0x7ffdfffe,
0x5554aaab, 0x7ffefffe,
0x55550000, 0x7fff7ffe,
0x55552aab, 0x7fffbffe,
0x55554000, 0x7fffdffe,
0x55554aab, 0x7fffeffe,
0x55555000, 0x7ffff7fe,
0x555552ab, 0x7ffffbfe,
0x55555400, 0x7ffffdfe,
0x555554ab, 0x7ffffefe,
0x55555500, 0x7fffff7e,
0x5555552b, 0x7fffffbe,
0x55555540, 0x7fffffde,
0x5555554b, 0x7fffffee,
0x55555550, 0x7ffffff6,
0x55555553, 0x7ffffffa,
0x55555554, 0x7ffffffc,
0x55555555, 0x7ffffffd,
0x55555555, 0x7ffffffd,
0x3fffffff, 0x3fffffff,
0x5ffffffe, 0x5fffffff,
0x6ffffffe, 0x6fffffff,
0x77fffffe, 0x77ffffff,
0x7bfffffe, 0x7bffffff,
0x7dfffffe, 0x7dffffff,
0x7efffffe, 0x7effffff,
0x7f7ffffe, 0x7f7fffff,
0x7fbffffe, 0x7fbfffff,
0x7fdffffe, 0x7fdfffff,
0x7feffffe, 0x7fefffff,
0x7ff7fffe, 0x7ff7ffff,
0x7ffbfffe, 0x7ffbffff,
0x7ffdfffe, 0x7ffdffff,
0x7ffefffe, 0x7ffeffff,
0x7fff7ffe, 0x7fff7fff,
0x7fffbffe, 0x7fffbfff,
0x7fffdffe, 0x7fffdfff,
0x7fffeffe, 0x7fffefff,
0x7ffff7fe, 0x7ffff7ff,
0x7ffffbfe, 0x7ffffbff,
0x7ffffdfe, 0x7ffffdff,
0x7ffffefe, 0x7ffffeff,
0x7fffff7e, 0x7fffff7f,
0x7fffffbe, 0x7fffffbf,
0x7fffffde, 0x7fffffdf,
0x7fffffee, 0x7fffffef,
0x7ffffff6, 0x7ffffff7,
0x7ffffffa, 0x7ffffffb,
0x7ffffffc, 0x7ffffffd,
0x7ffffffd, 0x7ffffffe,
0x7ffffffd, 0x7ffffffe,
0x3fffffff, 0x40000000,
0x5fffffff, 0x60000000,
0x6fffffff, 0x70000000,
0x77ffffff, 0x78000000,
0x7bffffff, 0x7c000000,
0x7dffffff, 0x7e000000,
0x7effffff, 0x7f000000,
0x7f7fffff, 0x7f800000,
0x7fbfffff, 0x7fc00000,
0x7fdfffff, 0x7fe00000,
0x7fefffff, 0x7ff00000,
0x7ff7ffff, 0x7ff80000,
0x7ffbffff, 0x7ffc0000,
0x7ffdffff, 0x7ffe0000,
0x7ffeffff, 0x7fff0000,
0x7fff7fff, 0x7fff8000,
0x7fffbfff, 0x7fffc000,
0x7fffdfff, 0x7fffe000,
0x7fffefff, 0x7ffff000,
0x7ffff7ff, 0x7ffff800,
0x7ffffbff, 0x7ffffc00,
0x7ffffdff, 0x7ffffe00,
0x7ffffeff, 0x7fffff00,
0x7fffff7f, 0x7fffff80,
0x7fffffbf, 0x7fffffc0,
0x7fffffdf, 0x7fffffe0,
0x7fffffef, 0x7ffffff0,
0x7ffffff7, 0x7ffffff8,
0x7ffffffb, 0x7ffffffc,
0x7ffffffd, 0x7ffffffe,
0x7ffffffe, 0x7fffffff,
0x7ffffffe, 0x7fffffff,
0x40000000, 0xc0000000,
0x60000000, 0xa0000000,
0x70000000, 0x90000000,
0x78000000, 0x88000000,
0x7c000000, 0x84000000,
0x7e000000, 0x82000000,
0x7f000000, 0x81000000,
0x7f800000, 0x80800000,
0x7fc00000, 0x80400000,
0x7fe00000, 0x80200000,
0x7ff00000, 0x80100000,
0x7ff80000, 0x80080000,
0x7ffc0000, 0x80040000,
0x7ffe0000, 0x80020000,
0x7fff0000, 0x80010000,
0x7fff8000, 0x80008000,
0x7fffc000, 0x80004000,
0x7fffe000, 0x80002000,
0x7ffff000, 0x80001000,
0x7ffff800, 0x80000800,
0x7ffffc00, 0x80000400,
0x7ffffe00, 0x80000200,
0x7fffff00, 0x80000100,
0x7fffff80, 0x80000080,
0x7fffffc0, 0x80000040,
0x7fffffe0, 0x80000020,
0x7ffffff0, 0x80000010,
0x7ffffff8, 0x80000008,
0x7ffffffc, 0x80000004,
0x7ffffffe, 0x80000002,
0x7fffffff, 0x80000001,
0x7fffffff, 0x80000001,
0xc0000000, 0xc0000001,
0xa0000000, 0xa0000001,
0x90000000, 0x90000001,
0x88000000, 0x88000001,
0x84000000, 0x84000001,
0x82000000, 0x82000001,
0x81000000, 0x81000001,
0x80800000, 0x80800001,
0x80400000, 0x80400001,
0x80200000, 0x80200001,
0x80100000, 0x80100001,
0x80080000, 0x80080001,
0x80040000, 0x80040001,
0x80020000, 0x80020001,
0x80010000, 0x80010001,
0x80008000, 0x80008001,
0x80004000, 0x80004001,
0x80002000, 0x80002001,
0x80001000, 0x80001001,
0x80000800, 0x80000801,
0x80000400, 0x80000401,
0x80000200, 0x80000201,
0x80000100, 0x80000101,
0x80000080, 0x80000081,
0x80000040, 0x80000041,
0x80000020, 0x80000021,
0x80000010, 0x80000011,
0x80000008, 0x80000009,
0x80000004, 0x80000005,
0x80000002, 0x80000003,
0x80000001, 0x80000002,
0x80000001, 0x80000002,
0xc0000001, 0xd5555555,
0xa0000001, 0xc0000000,
0x90000001, 0xb5555555,
0x88000001, 0xb0000000,
0x84000001, 0xad555555,
0x82000001, 0xac000000,
0x81000001, 0xab555555,
0x80800001, 0xab000000,
0x80400001, 0xaad55555,
0x80200001, 0xaac00000,
0x80100001, 0xaab55555,
0x80080001, 0xaab00000,
0x80040001, 0xaaad5555,
0x80020001, 0xaaac0000,
0x80010001, 0xaaab5555,
0x80008001, 0xaaab0000,
0x80004001, 0xaaaad555,
0x80002001, 0xaaaac000,
0x80001001, 0xaaaab555,
0x80000801, 0xaaaab000,
0x80000401, 0xaaaaad55,
0x80000201, 0xaaaaac00,
0x80000101, 0xaaaaab55,
0x80000081, 0xaaaaab00,
0x80000041, 0xaaaaaad5,
0x80000021, 0xaaaaaac0,
0x80000011, 0xaaaaaab5,
0x80000009, 0xaaaaaab0,
0x80000005, 0xaaaaaaad,
0x80000003, 0xaaaaaaac,
0x80000002, 0xaaaaaaab,
0x80000002, 0xaaaaaaab,
0xd5555555, 0xe6666666,
0xc0000000, 0xd9999999,
0xb5555555, 0xd3333333,
0xb0000000, 0xd0000000,
0xad555555, 0xce666666,
0xac000000, 0xcd999999,
0xab555555, 0xcd333333,
0xab000000, 0xcd000000,
0xaad55555, 0xcce66666,
0xaac00000, 0xccd99999,
0xaab55555, 0xccd33333,
0xaab00000, 0xccd00000,
0xaaad5555, 0xccce6666,
0xaaac0000, 0xcccd9999,
0xaaab5555, 0xcccd3333,
0xaaab0000, 0xcccd0000,
0xaaaad555, 0xcccce666,
0xaaaac000, 0xccccd999,
0xaaaab555, 0xccccd333,
0xaaaab000, 0xccccd000,
0xaaaaad55, 0xccccce66,
0xaaaaac00, 0xcccccd99,
0xaaaaab55, 0xcccccd33,
0xaaaaab00, 0xcccccd00,
0xaaaaaad5, 0xcccccce6,
0xaaaaaac0, 0xccccccd9,
0xaaaaaab5, 0xccccccd3,
0xaaaaaab0, 0xccccccd0,
0xaaaaaaad, 0xccccccce,
0xaaaaaaac, 0xcccccccd,
0xaaaaaaab, 0xcccccccd,
0xaaaaaaab, 0xcccccccd,
0xe6666666, 0xffffc000,
0xd9999999, 0xffffa000,
0xd3333333, 0xffff9000,
0xd0000000, 0xffff8800,
0xce666666, 0xffff8400,
0xcd999999, 0xffff8200,
0xcd333333, 0xffff8100,
0xcd000000, 0xffff8080,
0xcce66666, 0xffff8040,
0xccd99999, 0xffff8020,
0xccd33333, 0xffff8010,
0xccd00000, 0xffff8008,
0xccce6666, 0xffff8004,
0xcccd9999, 0xffff8002,
0xcccd3333, 0xffff8001,
0xcccd0000, 0xffff8001,
0xcccce666, 0xffff8001,
0xccccd999, 0xffff8001,
0xccccd333, 0xffff8001,
0xccccd000, 0xffff8001,
0xccccce66, 0xffff8001,
0xcccccd99, 0xffff8001,
0xcccccd33, 0xffff8001,
0xcccccd00, 0xffff8001,
0xcccccce6, 0xffff8001,
0xccccccd9, 0xffff8001,
0xccccccd3, 0xffff8001,
0xccccccd0, 0xffff8001,
0xccccccce, 0xffff8001,
0xcccccccd, 0xffff8001,
0xcccccccd, 0xffff8001,
0xcccccccd, 0xffff8001,
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,
0xffff8001, 0xffff8002,
0xffff8001, 0xffff8002,
0xffff8001, 0xffff8002,
0xffff8001, 0xffff8002,
0xffff8001, 0xffff8002,
0xffff8001, 0xffff8002,
0xffff8001, 0xffff8002,
0xffff8001, 0xffff8002,
0xffff8001, 0xffff8002,
0xffff8001, 0xffff8002,
0xffff8001, 0xffff8002,
0xffff8001, 0xffff8002,
0xffff8001, 0xffff8002,
0xffff8001, 0xffff8002,
0xffff8001, 0xffff8002,
0xffff8001, 0xffff8002,
0xffff8001, 0xffff8002,
0xffffc001, 0xffffc001,
0xffffa001, 0xffffa002,
0xffff9001, 0xffff9002,
0xffff8801, 0xffff8802,
0xffff8401, 0xffff8402,
0xffff8201, 0xffff8202,
0xffff8101, 0xffff8102,
0xffff8081, 0xffff8082,
0xffff8041, 0xffff8042,
0xffff8021, 0xffff8022,
0xffff8011, 0xffff8012,
0xffff8009, 0xffff800a,
0xffff8005, 0xffff8006,
0xffff8003, 0xffff8004,
0xffff8002, 0xffff8003,
0xffff8002, 0xffff8003,
0xffff8002, 0xffff8003,
0xffff8002, 0xffff8003,
0xffff8002, 0xffff8003,
0xffff8002, 0xffff8003,
0xffff8002, 0xffff8003,
0xffff8002, 0xffff8003,
0xffff8002, 0xffff8003,
0xffff8002, 0xffff8003,
0xffff8002, 0xffff8003,
0xffff8002, 0xffff8003,
0xffff8002, 0xffff8003,
0xffff8002, 0xffff8003,
0xffff8002, 0xffff8003,
0xffff8002, 0xffff8003,
0xffff8002, 0xffff8003,
0xffff8002, 0xffff8003,
0xffffc001, 0xffffc002,
0xffffa002, 0xffffa003,
0xffff9002, 0xffff9003,
0xffff8802, 0xffff8803,
0xffff8402, 0xffff8403,
0xffff8202, 0xffff8203,
0xffff8102, 0xffff8103,
0xffff8082, 0xffff8083,
0xffff8042, 0xffff8043,
0xffff8022, 0xffff8023,
0xffff8012, 0xffff8013,
0xffff800a, 0xffff800b,
0xffff8006, 0xffff8007,
0xffff8004, 0xffff8005,
0xffff8003, 0xffff8004,
0xffff8003, 0xffff8004,
0xffff8003, 0xffff8004,
0xffff8003, 0xffff8004,
0xffff8003, 0xffff8004,
0xffff8003, 0xffff8004,
0xffff8003, 0xffff8004,
0xffff8003, 0xffff8004,
0xffff8003, 0xffff8004,
0xffff8003, 0xffff8004,
0xffff8003, 0xffff8004,
0xffff8003, 0xffff8004,
0xffff8003, 0xffff8004,
0xffff8003, 0xffff8004,
0xffff8003, 0xffff8004,
0xffff8003, 0xffff8004,
0xffff8003, 0xffff8004,
0xffff8003, 0xffff8004,
0xffffc002, 0xffffffc0,
0xffffa003, 0xffffffa0,
0xffff9003, 0xffffff90,
0xffff8803, 0xffffff88,
0xffff8403, 0xffffff84,
0xffff8203, 0xffffff82,
0xffff8103, 0xffffff81,
0xffff8083, 0xffffff81,
0xffff8043, 0xffffff81,
0xffff8023, 0xffffff81,
0xffff8013, 0xffffff81,
0xffff800b, 0xffffff81,
0xffff8007, 0xffffff81,
0xffff8005, 0xffffff81,
0xffff8004, 0xffffff81,
0xffff8004, 0xffffff81,
0xffff8004, 0xffffff81,
0xffff8004, 0xffffff81,
0xffff8004, 0xffffff81,
0xffff8004, 0xffffff81,
0xffff8004, 0xffffff81,
0xffff8004, 0xffffff81,
0xffff8004, 0xffffff81,
0xffff8004, 0xffffff81,
0xffff8004, 0xffffff81,
0xffff8004, 0xffffff81,
0xffff8004, 0xffffff81,
0xffff8004, 0xffffff81,
0xffff8004, 0xffffff81,
0xffff8004, 0xffffff81,
0xffff8004, 0xffffff81,
0xffff8004, 0xffffff81,
0xffffffc0, 0xffffffc1,
0xffffffa0, 0xffffffa1,
0xffffff90, 0xffffff91,
0xffffff88, 0xffffff89,
0xffffff84, 0xffffff85,
0xffffff82, 0xffffff83,
0xffffff81, 0xffffff82,
0xffffff81, 0xffffff82,
0xffffff81, 0xffffff82,
0xffffff81, 0xffffff82,
0xffffff81, 0xffffff82,
0xffffff81, 0xffffff82,
0xffffff81, 0xffffff82,
0xffffff81, 0xffffff82,
0xffffff81, 0xffffff82,
0xffffff81, 0xffffff82,
0xffffff81, 0xffffff82,
0xffffff81, 0xffffff82,
0xffffff81, 0xffffff82,
0xffffff81, 0xffffff82,
0xffffff81, 0xffffff82,
0xffffff81, 0xffffff82,
0xffffff81, 0xffffff82,
0xffffff81, 0xffffff82,
0xffffff81, 0xffffff82,
0xffffff81, 0xffffff82,
0xffffff81, 0xffffff82,
0xffffff81, 0xffffff82,
0xffffff81, 0xffffff82,
0xffffff81, 0xffffff82,
0xffffff81, 0xffffff82,
0xffffff81, 0xffffff82,
0xffffffc1, 0xffffffc1,
0xffffffa1, 0xffffffa2,
0xffffff91, 0xffffff92,
0xffffff89, 0xffffff8a,
0xffffff85, 0xffffff86,
0xffffff83, 0xffffff84,
0xffffff82, 0xffffff83,
0xffffff82, 0xffffff83,
0xffffff82, 0xffffff83,
0xffffff82, 0xffffff83,
0xffffff82, 0xffffff83,
0xffffff82, 0xffffff83,
0xffffff82, 0xffffff83,
0xffffff82, 0xffffff83,
0xffffff82, 0xffffff83,
0xffffff82, 0xffffff83,
0xffffff82, 0xffffff83,
0xffffff82, 0xffffff83,
0xffffff82, 0xffffff83,
0xffffff82, 0xffffff83,
0xffffff82, 0xffffff83,
0xffffff82, 0xffffff83,
0xffffff82, 0xffffff83,
0xffffff82, 0xffffff83,
0xffffff82, 0xffffff83,
0xffffff82, 0xffffff83,
0xffffff82, 0xffffff83,
0xffffff82, 0xffffff83,
0xffffff82, 0xffffff83,
0xffffff82, 0xffffff83,
0xffffff82, 0xffffff83,
0xffffff82, 0xffffff83,
0xffffffc1, 0xffffffc2,
0xffffffa2, 0xffffffa3,
0xffffff92, 0xffffff93,
0xffffff8a, 0xffffff8b,
0xffffff86, 0xffffff87,
0xffffff84, 0xffffff85,
0xffffff83, 0xffffff84,
0xffffff83, 0xffffff84,
0xffffff83, 0xffffff84,
0xffffff83, 0xffffff84,
0xffffff83, 0xffffff84,
0xffffff83, 0xffffff84,
0xffffff83, 0xffffff84,
0xffffff83, 0xffffff84,
0xffffff83, 0xffffff84,
0xffffff83, 0xffffff84,
0xffffff83, 0xffffff84,
0xffffff83, 0xffffff84,
0xffffff83, 0xffffff84,
0xffffff83, 0xffffff84,
0xffffff83, 0xffffff84,
0xffffff83, 0xffffff84,
0xffffff83, 0xffffff84,
0xffffff83, 0xffffff84,
0xffffff83, 0xffffff84,
0xffffff83, 0xffffff84,
0xffffff83, 0xffffff84,
0xffffff83, 0xffffff84,
0xffffff83, 0xffffff84,
0xffffff83, 0xffffff84,
0xffffff83, 0xffffff84,
0xffffff83, 0xffffff84,
0xffffffc2, 0xfffffff0,
0xffffffa3, 0xffffffe8,
0xffffff93, 0xffffffe4,
0xffffff8b, 0xffffffe2,
0xffffff87, 0xffffffe1,
0xffffff85, 0xffffffe1,
0xffffff84, 0xffffffe1,
0xffffff84, 0xffffffe1,
0xffffff84, 0xffffffe1,
0xffffff84, 0xffffffe1,
0xffffff84, 0xffffffe1,
0xffffff84, 0xffffffe1,
0xffffff84, 0xffffffe1,
0xffffff84, 0xffffffe1,
0xffffff84, 0xffffffe1,
0xffffff84, 0xffffffe1,
0xffffff84, 0xffffffe1,
0xffffff84, 0xffffffe1,
0xffffff84, 0xffffffe1,
0xffffff84, 0xffffffe1,
0xffffff84, 0xffffffe1,
0xffffff84, 0xffffffe1,
0xffffff84, 0xffffffe1,
0xffffff84, 0xffffffe1,
0xffffff84, 0xffffffe1,
0xffffff84, 0xffffffe1,
0xffffff84, 0xffffffe1,
0xffffff84, 0xffffffe1,
0xffffff84, 0xffffffe1,
0xffffff84, 0xffffffe1,
0xffffff84, 0xffffffe1,
0xffffff84, 0xffffffe1,
0xfffffff0, 0xffffffff,
0xffffffe8, 0xfffffffe,
0xffffffe4, 0xfffffffe,
0xffffffe2, 0xfffffffe,
0xffffffe1, 0xfffffffe,
0xffffffe1, 0xfffffffe,
0xffffffe1, 0xfffffffe,
0xffffffe1, 0xfffffffe,
0xffffffe1, 0xfffffffe,
0xffffffe1, 0xfffffffe,
0xffffffe1, 0xfffffffe,
0xffffffe1, 0xfffffffe,
0xffffffe1, 0xfffffffe,
0xffffffe1, 0xfffffffe,
0xffffffe1, 0xfffffffe,
0xffffffe1, 0xfffffffe,
0xffffffe1, 0xfffffffe,
0xffffffe1, 0xfffffffe,
0xffffffe1, 0xfffffffe,
0xffffffe1, 0xfffffffe,
0xffffffe1, 0xfffffffe,
0xffffffe1, 0xfffffffe,
0xffffffe1, 0xfffffffe,
0xffffffe1, 0xfffffffe,
0xffffffe1, 0xfffffffe,
0xffffffe1, 0xfffffffe,
0xffffffe1, 0xfffffffe,
0xffffffe1, 0xfffffffe,
0xffffffe1, 0xfffffffe,
0xffffffe1, 0xfffffffe,
0xffffffe1, 0xfffffffe,
0xffffffe1, 0xfffffffe,
};
const unsigned kExpectedCount_NEON_srsra_2S_2OPIMM = 992;
#endif // VIXL_SIM_SRSRA_2S_2OPIMM_TRACE_AARCH64_H_