// 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_SLI_2S_2OPIMM_TRACE_A64_H_
#define VIXL_SIM_SLI_2S_2OPIMM_TRACE_A64_H_
const uint32_t kExpected_NEON_sli_2S_2OPIMM[] = {
0xfffffffd, 0xfffffffe,
0xfffffffb, 0xfffffffc,
0xfffffff7, 0xfffffff8,
0xffffffef, 0xfffffff0,
0xffffffdf, 0xffffffe0,
0xffffffbf, 0xffffffc0,
0xffffff7f, 0xffffff80,
0xfffffeff, 0xffffff00,
0xfffffdff, 0xfffffe00,
0xfffffbff, 0xfffffc00,
0xfffff7ff, 0xfffff800,
0xffffefff, 0xfffff000,
0xffffdfff, 0xffffe000,
0xffffbfff, 0xffffc000,
0xffff7fff, 0xffff8000,
0xfffeffff, 0xffff0000,
0xfffdffff, 0xfffe0000,
0xfffbffff, 0xfffc0000,
0xfff7ffff, 0xfff80000,
0xffefffff, 0xfff00000,
0xffdfffff, 0xffe00000,
0xffbfffff, 0xffc00000,
0xff7fffff, 0xff800000,
0xfeffffff, 0xff000000,
0xfdffffff, 0xfe000000,
0xfbffffff, 0xfc000000,
0xf7ffffff, 0xf8000000,
0xefffffff, 0xf0000000,
0xdfffffff, 0xe0000000,
0xbfffffff, 0xc0000000,
0x7fffffff, 0x80000000,
0xffffffff, 0x00000000,
0xfffffffe, 0xffffffff,
0xfffffffc, 0xffffffff,
0xfffffff8, 0xffffffff,
0xfffffff0, 0xffffffff,
0xffffffe0, 0xffffffff,
0xffffffc0, 0xffffffff,
0xffffff80, 0xffffffff,
0xffffff00, 0xffffffff,
0xfffffe00, 0xffffffff,
0xfffffc00, 0xffffffff,
0xfffff800, 0xffffffff,
0xfffff000, 0xffffffff,
0xffffe000, 0xffffffff,
0xffffc000, 0xffffffff,
0xffff8000, 0xffffffff,
0xffff0000, 0xffffffff,
0xfffe0000, 0xffffffff,
0xfffc0000, 0xffffffff,
0xfff80000, 0xffffffff,
0xfff00000, 0xffffffff,
0xffe00000, 0xffffffff,
0xffc00000, 0xffffffff,
0xff800000, 0xffffffff,
0xff000000, 0xffffffff,
0xfe000000, 0xffffffff,
0xfc000000, 0xffffffff,
0xf8000000, 0xffffffff,
0xf0000000, 0xffffffff,
0xe0000000, 0xffffffff,
0xc0000000, 0xffffffff,
0x80000000, 0xffffffff,
0x00000000, 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, 0x00000001,
0x00000000, 0x00000003,
0x00000000, 0x00000007,
0x00000000, 0x0000000f,
0x00000000, 0x0000001f,
0x00000000, 0x0000003f,
0x00000000, 0x0000007f,
0x00000000, 0x000000ff,
0x00000000, 0x000001ff,
0x00000000, 0x000003ff,
0x00000000, 0x000007ff,
0x00000000, 0x00000fff,
0x00000000, 0x00001fff,
0x00000000, 0x00003fff,
0x00000000, 0x00007fff,
0x00000000, 0x0000ffff,
0x00000000, 0x0001ffff,
0x00000000, 0x0003ffff,
0x00000000, 0x0007ffff,
0x00000000, 0x000fffff,
0x00000000, 0x001fffff,
0x00000000, 0x003fffff,
0x00000000, 0x007fffff,
0x00000000, 0x00ffffff,
0x00000000, 0x01ffffff,
0x00000000, 0x03ffffff,
0x00000000, 0x07ffffff,
0x00000000, 0x0fffffff,
0x00000000, 0x1fffffff,
0x00000000, 0x3fffffff,
0x00000000, 0x7fffffff,
0x00000000, 0xffffffff,
0x00000001, 0x00000002,
0x00000003, 0x00000004,
0x00000007, 0x00000008,
0x0000000f, 0x00000010,
0x0000001f, 0x00000020,
0x0000003f, 0x00000040,
0x0000007f, 0x00000080,
0x000000ff, 0x00000100,
0x000001ff, 0x00000200,
0x000003ff, 0x00000400,
0x000007ff, 0x00000800,
0x00000fff, 0x00001000,
0x00001fff, 0x00002000,
0x00003fff, 0x00004000,
0x00007fff, 0x00008000,
0x0000ffff, 0x00010000,
0x0001ffff, 0x00020000,
0x0003ffff, 0x00040000,
0x0007ffff, 0x00080000,
0x000fffff, 0x00100000,
0x001fffff, 0x00200000,
0x003fffff, 0x00400000,
0x007fffff, 0x00800000,
0x00ffffff, 0x01000000,
0x01ffffff, 0x02000000,
0x03ffffff, 0x04000000,
0x07ffffff, 0x08000000,
0x0fffffff, 0x10000000,
0x1fffffff, 0x20000000,
0x3fffffff, 0x40000000,
0x7fffffff, 0x80000000,
0xffffffff, 0x00000000,
0x00000002, 0x00000020,
0x00000004, 0x00000040,
0x00000008, 0x00000080,
0x00000010, 0x00000100,
0x00000020, 0x00000200,
0x00000040, 0x00000400,
0x00000080, 0x00000800,
0x00000100, 0x00001000,
0x00000200, 0x00002000,
0x00000400, 0x00004000,
0x00000800, 0x00008000,
0x00001000, 0x00010000,
0x00002000, 0x00020000,
0x00004000, 0x00040000,
0x00008000, 0x00080000,
0x00010000, 0x00100000,
0x00020000, 0x00200000,
0x00040000, 0x00400000,
0x00080000, 0x00800000,
0x00100000, 0x01000000,
0x00200000, 0x02000000,
0x00400000, 0x04000000,
0x00800000, 0x08000000,
0x01000000, 0x10000000,
0x02000000, 0x20000000,
0x04000000, 0x40000000,
0x08000000, 0x80000000,
0x10000000, 0x00000000,
0x20000000, 0x00000000,
0x40000000, 0x00000000,
0x80000000, 0x00000000,
0x00000000, 0x00000000,
0x00000020, 0x0000007d,
0x00000040, 0x000000fb,
0x00000080, 0x000001f7,
0x00000100, 0x000003ef,
0x00000200, 0x000007df,
0x00000400, 0x00000fbf,
0x00000800, 0x00001f7f,
0x00001000, 0x00003eff,
0x00002000, 0x00007dff,
0x00004000, 0x0000fbff,
0x00008000, 0x0001f7ff,
0x00010000, 0x0003efff,
0x00020000, 0x0007dfff,
0x00040000, 0x000fbfff,
0x00080000, 0x001f7fff,
0x00100000, 0x003effff,
0x00200000, 0x007dffff,
0x00400000, 0x00fbffff,
0x00800000, 0x01f7ffff,
0x01000000, 0x03efffff,
0x02000000, 0x07dfffff,
0x04000000, 0x0fbfffff,
0x08000000, 0x1f7fffff,
0x10000000, 0x3effffff,
0x20000000, 0x7dffffff,
0x40000000, 0xfbffffff,
0x80000000, 0xf7ffffff,
0x00000000, 0xefffffff,
0x00000000, 0xdfffffff,
0x00000000, 0xbfffffff,
0x00000000, 0x7fffffff,
0x00000000, 0xffffffff,
0x0000007d, 0x0000007e,
0x000000fb, 0x000000fc,
0x000001f7, 0x000001f8,
0x000003ef, 0x000003f0,
0x000007df, 0x000007e0,
0x00000fbf, 0x00000fc0,
0x00001f7f, 0x00001f80,
0x00003eff, 0x00003f00,
0x00007dff, 0x00007e00,
0x0000fbff, 0x0000fc00,
0x0001f7ff, 0x0001f800,
0x0003efff, 0x0003f000,
0x0007dfff, 0x0007e000,
0x000fbfff, 0x000fc000,
0x001f7fff, 0x001f8000,
0x003effff, 0x003f0000,
0x007dffff, 0x007e0000,
0x00fbffff, 0x00fc0000,
0x01f7ffff, 0x01f80000,
0x03efffff, 0x03f00000,
0x07dfffff, 0x07e00000,
0x0fbfffff, 0x0fc00000,
0x1f7fffff, 0x1f800000,
0x3effffff, 0x3f000000,
0x7dffffff, 0x7e000000,
0xfbffffff, 0xfc000000,
0xf7ffffff, 0xf8000000,
0xefffffff, 0xf0000000,
0xdfffffff, 0xe0000000,
0xbfffffff, 0xc0000000,
0x7fffffff, 0x80000000,
0xffffffff, 0x00000000,
0x0000007e, 0x0000007f,
0x000000fc, 0x000000ff,
0x000001f8, 0x000001ff,
0x000003f0, 0x000003ff,
0x000007e0, 0x000007ff,
0x00000fc0, 0x00000fff,
0x00001f80, 0x00001fff,
0x00003f00, 0x00003fff,
0x00007e00, 0x00007fff,
0x0000fc00, 0x0000ffff,
0x0001f800, 0x0001ffff,
0x0003f000, 0x0003ffff,
0x0007e000, 0x0007ffff,
0x000fc000, 0x000fffff,
0x001f8000, 0x001fffff,
0x003f0000, 0x003fffff,
0x007e0000, 0x007fffff,
0x00fc0000, 0x00ffffff,
0x01f80000, 0x01ffffff,
0x03f00000, 0x03ffffff,
0x07e00000, 0x07ffffff,
0x0fc00000, 0x0fffffff,
0x1f800000, 0x1fffffff,
0x3f000000, 0x3fffffff,
0x7e000000, 0x7fffffff,
0xfc000000, 0xffffffff,
0xf8000000, 0xffffffff,
0xf0000000, 0xffffffff,
0xe0000000, 0xffffffff,
0xc0000000, 0xffffffff,
0x80000000, 0xffffffff,
0x00000000, 0xffffffff,
0x0000007f, 0x00007ffd,
0x000000ff, 0x0000fffb,
0x000001ff, 0x0001fff7,
0x000003ff, 0x0003ffef,
0x000007ff, 0x0007ffdf,
0x00000fff, 0x000fffbf,
0x00001fff, 0x001fff7f,
0x00003fff, 0x003ffeff,
0x00007fff, 0x007ffdff,
0x0000ffff, 0x00fffbff,
0x0001ffff, 0x01fff7ff,
0x0003ffff, 0x03ffefff,
0x0007ffff, 0x07ffdfff,
0x000fffff, 0x0fffbfff,
0x001fffff, 0x1fff7fff,
0x003fffff, 0x3ffeffff,
0x007fffff, 0x7ffdffff,
0x00ffffff, 0xfffbffff,
0x01ffffff, 0xfff7ffff,
0x03ffffff, 0xffefffff,
0x07ffffff, 0xffdfffff,
0x0fffffff, 0xffbfffff,
0x1fffffff, 0xff7fffff,
0x3fffffff, 0xfeffffff,
0x7fffffff, 0xfdffffff,
0xffffffff, 0xfbffffff,
0xffffffff, 0xf7ffffff,
0xffffffff, 0xefffffff,
0xffffffff, 0xdfffffff,
0xffffffff, 0xbfffffff,
0xffffffff, 0x7fffffff,
0xffffffff, 0xffffffff,
0x00007ffd, 0x00007ffe,
0x0000fffb, 0x0000fffc,
0x0001fff7, 0x0001fff8,
0x0003ffef, 0x0003fff0,
0x0007ffdf, 0x0007ffe0,
0x000fffbf, 0x000fffc0,
0x001fff7f, 0x001fff80,
0x003ffeff, 0x003fff00,
0x007ffdff, 0x007ffe00,
0x00fffbff, 0x00fffc00,
0x01fff7ff, 0x01fff800,
0x03ffefff, 0x03fff000,
0x07ffdfff, 0x07ffe000,
0x0fffbfff, 0x0fffc000,
0x1fff7fff, 0x1fff8000,
0x3ffeffff, 0x3fff0000,
0x7ffdffff, 0x7ffe0000,
0xfffbffff, 0xfffc0000,
0xfff7ffff, 0xfff80000,
0xffefffff, 0xfff00000,
0xffdfffff, 0xffe00000,
0xffbfffff, 0xffc00000,
0xff7fffff, 0xff800000,
0xfeffffff, 0xff000000,
0xfdffffff, 0xfe000000,
0xfbffffff, 0xfc000000,
0xf7ffffff, 0xf8000000,
0xefffffff, 0xf0000000,
0xdfffffff, 0xe0000000,
0xbfffffff, 0xc0000000,
0x7fffffff, 0x80000000,
0xffffffff, 0x00000000,
0x00007ffe, 0x00007fff,
0x0000fffc, 0x0000ffff,
0x0001fff8, 0x0001ffff,
0x0003fff0, 0x0003ffff,
0x0007ffe0, 0x0007ffff,
0x000fffc0, 0x000fffff,
0x001fff80, 0x001fffff,
0x003fff00, 0x003fffff,
0x007ffe00, 0x007fffff,
0x00fffc00, 0x00ffffff,
0x01fff800, 0x01ffffff,
0x03fff000, 0x03ffffff,
0x07ffe000, 0x07ffffff,
0x0fffc000, 0x0fffffff,
0x1fff8000, 0x1fffffff,
0x3fff0000, 0x3fffffff,
0x7ffe0000, 0x7fffffff,
0xfffc0000, 0xffffffff,
0xfff80000, 0xffffffff,
0xfff00000, 0xffffffff,
0xffe00000, 0xffffffff,
0xffc00000, 0xffffffff,
0xff800000, 0xffffffff,
0xff000000, 0xffffffff,
0xfe000000, 0xffffffff,
0xfc000000, 0xffffffff,
0xf8000000, 0xffffffff,
0xf0000000, 0xffffffff,
0xe0000000, 0xffffffff,
0xc0000000, 0xffffffff,
0x80000000, 0xffffffff,
0x00000000, 0xffffffff,
0x00007fff, 0x33333333,
0x0000ffff, 0x66666667,
0x0001ffff, 0xcccccccf,
0x0003ffff, 0x9999999f,
0x0007ffff, 0x3333333f,
0x000fffff, 0x6666667f,
0x001fffff, 0xccccccff,
0x003fffff, 0x999999ff,
0x007fffff, 0x333333ff,
0x00ffffff, 0x666667ff,
0x01ffffff, 0xcccccfff,
0x03ffffff, 0x99999fff,
0x07ffffff, 0x33333fff,
0x0fffffff, 0x66667fff,
0x1fffffff, 0xccccffff,
0x3fffffff, 0x9999ffff,
0x7fffffff, 0x3333ffff,
0xffffffff, 0x6667ffff,
0xffffffff, 0xcccfffff,
0xffffffff, 0x999fffff,
0xffffffff, 0x333fffff,
0xffffffff, 0x667fffff,
0xffffffff, 0xccffffff,
0xffffffff, 0x99ffffff,
0xffffffff, 0x33ffffff,
0xffffffff, 0x67ffffff,
0xffffffff, 0xcfffffff,
0xffffffff, 0x9fffffff,
0xffffffff, 0x3fffffff,
0xffffffff, 0x7fffffff,
0xffffffff, 0xffffffff,
0xffffffff, 0xffffffff,
0x33333333, 0x55555555,
0x66666667, 0xaaaaaaab,
0xcccccccf, 0x55555557,
0x9999999f, 0xaaaaaaaf,
0x3333333f, 0x5555555f,
0x6666667f, 0xaaaaaabf,
0xccccccff, 0x5555557f,
0x999999ff, 0xaaaaaaff,
0x333333ff, 0x555555ff,
0x666667ff, 0xaaaaabff,
0xcccccfff, 0x555557ff,
0x99999fff, 0xaaaaafff,
0x33333fff, 0x55555fff,
0x66667fff, 0xaaaabfff,
0xccccffff, 0x55557fff,
0x9999ffff, 0xaaaaffff,
0x3333ffff, 0x5555ffff,
0x6667ffff, 0xaaabffff,
0xcccfffff, 0x5557ffff,
0x999fffff, 0xaaafffff,
0x333fffff, 0x555fffff,
0x667fffff, 0xaabfffff,
0xccffffff, 0x557fffff,
0x99ffffff, 0xaaffffff,
0x33ffffff, 0x55ffffff,
0x67ffffff, 0xabffffff,
0xcfffffff, 0x57ffffff,
0x9fffffff, 0xafffffff,
0x3fffffff, 0x5fffffff,
0x7fffffff, 0xbfffffff,
0xffffffff, 0x7fffffff,
0xffffffff, 0xffffffff,
0x55555555, 0x7ffffffd,
0xaaaaaaab, 0xfffffffb,
0x55555557, 0xfffffff7,
0xaaaaaaaf, 0xffffffef,
0x5555555f, 0xffffffdf,
0xaaaaaabf, 0xffffffbf,
0x5555557f, 0xffffff7f,
0xaaaaaaff, 0xfffffeff,
0x555555ff, 0xfffffdff,
0xaaaaabff, 0xfffffbff,
0x555557ff, 0xfffff7ff,
0xaaaaafff, 0xffffefff,
0x55555fff, 0xffffdfff,
0xaaaabfff, 0xffffbfff,
0x55557fff, 0xffff7fff,
0xaaaaffff, 0xfffeffff,
0x5555ffff, 0xfffdffff,
0xaaabffff, 0xfffbffff,
0x5557ffff, 0xfff7ffff,
0xaaafffff, 0xffefffff,
0x555fffff, 0xffdfffff,
0xaabfffff, 0xffbfffff,
0x557fffff, 0xff7fffff,
0xaaffffff, 0xfeffffff,
0x55ffffff, 0xfdffffff,
0xabffffff, 0xfbffffff,
0x57ffffff, 0xf7ffffff,
0xafffffff, 0xefffffff,
0x5fffffff, 0xdfffffff,
0xbfffffff, 0xbfffffff,
0x7fffffff, 0x7fffffff,
0xffffffff, 0xffffffff,
0x7ffffffd, 0x7ffffffe,
0xfffffffb, 0xfffffffc,
0xfffffff7, 0xfffffff8,
0xffffffef, 0xfffffff0,
0xffffffdf, 0xffffffe0,
0xffffffbf, 0xffffffc0,
0xffffff7f, 0xffffff80,
0xfffffeff, 0xffffff00,
0xfffffdff, 0xfffffe00,
0xfffffbff, 0xfffffc00,
0xfffff7ff, 0xfffff800,
0xffffefff, 0xfffff000,
0xffffdfff, 0xffffe000,
0xffffbfff, 0xffffc000,
0xffff7fff, 0xffff8000,
0xfffeffff, 0xffff0000,
0xfffdffff, 0xfffe0000,
0xfffbffff, 0xfffc0000,
0xfff7ffff, 0xfff80000,
0xffefffff, 0xfff00000,
0xffdfffff, 0xffe00000,
0xffbfffff, 0xffc00000,
0xff7fffff, 0xff800000,
0xfeffffff, 0xff000000,
0xfdffffff, 0xfe000000,
0xfbffffff, 0xfc000000,
0xf7ffffff, 0xf8000000,
0xefffffff, 0xf0000000,
0xdfffffff, 0xe0000000,
0xbfffffff, 0xc0000000,
0x7fffffff, 0x80000000,
0xffffffff, 0x00000000,
0x7ffffffe, 0x7fffffff,
0xfffffffc, 0xffffffff,
0xfffffff8, 0xffffffff,
0xfffffff0, 0xffffffff,
0xffffffe0, 0xffffffff,
0xffffffc0, 0xffffffff,
0xffffff80, 0xffffffff,
0xffffff00, 0xffffffff,
0xfffffe00, 0xffffffff,
0xfffffc00, 0xffffffff,
0xfffff800, 0xffffffff,
0xfffff000, 0xffffffff,
0xffffe000, 0xffffffff,
0xffffc000, 0xffffffff,
0xffff8000, 0xffffffff,
0xffff0000, 0xffffffff,
0xfffe0000, 0xffffffff,
0xfffc0000, 0xffffffff,
0xfff80000, 0xffffffff,
0xfff00000, 0xffffffff,
0xffe00000, 0xffffffff,
0xffc00000, 0xffffffff,
0xff800000, 0xffffffff,
0xff000000, 0xffffffff,
0xfe000000, 0xffffffff,
0xfc000000, 0xffffffff,
0xf8000000, 0xffffffff,
0xf0000000, 0xffffffff,
0xe0000000, 0xffffffff,
0xc0000000, 0xffffffff,
0x80000000, 0xffffffff,
0x00000000, 0xffffffff,
0x7fffffff, 0x80000000,
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,
0x80000000, 0x80000001,
0x00000000, 0x00000003,
0x00000000, 0x00000007,
0x00000000, 0x0000000f,
0x00000000, 0x0000001f,
0x00000000, 0x0000003f,
0x00000000, 0x0000007f,
0x00000000, 0x000000ff,
0x00000000, 0x000001ff,
0x00000000, 0x000003ff,
0x00000000, 0x000007ff,
0x00000000, 0x00000fff,
0x00000000, 0x00001fff,
0x00000000, 0x00003fff,
0x00000000, 0x00007fff,
0x00000000, 0x0000ffff,
0x00000000, 0x0001ffff,
0x00000000, 0x0003ffff,
0x00000000, 0x0007ffff,
0x00000000, 0x000fffff,
0x00000000, 0x001fffff,
0x00000000, 0x003fffff,
0x00000000, 0x007fffff,
0x00000000, 0x00ffffff,
0x00000000, 0x01ffffff,
0x00000000, 0x03ffffff,
0x00000000, 0x07ffffff,
0x00000000, 0x0fffffff,
0x00000000, 0x1fffffff,
0x00000000, 0x3fffffff,
0x00000000, 0x7fffffff,
0x00000000, 0xffffffff,
0x80000001, 0xaaaaaaaa,
0x00000003, 0x55555554,
0x00000007, 0xaaaaaaa8,
0x0000000f, 0x55555550,
0x0000001f, 0xaaaaaaa0,
0x0000003f, 0x55555540,
0x0000007f, 0xaaaaaa80,
0x000000ff, 0x55555500,
0x000001ff, 0xaaaaaa00,
0x000003ff, 0x55555400,
0x000007ff, 0xaaaaa800,
0x00000fff, 0x55555000,
0x00001fff, 0xaaaaa000,
0x00003fff, 0x55554000,
0x00007fff, 0xaaaa8000,
0x0000ffff, 0x55550000,
0x0001ffff, 0xaaaa0000,
0x0003ffff, 0x55540000,
0x0007ffff, 0xaaa80000,
0x000fffff, 0x55500000,
0x001fffff, 0xaaa00000,
0x003fffff, 0x55400000,
0x007fffff, 0xaa800000,
0x00ffffff, 0x55000000,
0x01ffffff, 0xaa000000,
0x03ffffff, 0x54000000,
0x07ffffff, 0xa8000000,
0x0fffffff, 0x50000000,
0x1fffffff, 0xa0000000,
0x3fffffff, 0x40000000,
0x7fffffff, 0x80000000,
0xffffffff, 0x00000000,
0xaaaaaaaa, 0xcccccccc,
0x55555554, 0x99999998,
0xaaaaaaa8, 0x33333330,
0x55555550, 0x66666660,
0xaaaaaaa0, 0xccccccc0,
0x55555540, 0x99999980,
0xaaaaaa80, 0x33333300,
0x55555500, 0x66666600,
0xaaaaaa00, 0xcccccc00,
0x55555400, 0x99999800,
0xaaaaa800, 0x33333000,
0x55555000, 0x66666000,
0xaaaaa000, 0xccccc000,
0x55554000, 0x99998000,
0xaaaa8000, 0x33330000,
0x55550000, 0x66660000,
0xaaaa0000, 0xcccc0000,
0x55540000, 0x99980000,
0xaaa80000, 0x33300000,
0x55500000, 0x66600000,
0xaaa00000, 0xccc00000,
0x55400000, 0x99800000,
0xaa800000, 0x33000000,
0x55000000, 0x66000000,
0xaa000000, 0xcc000000,
0x54000000, 0x98000000,
0xa8000000, 0x30000000,
0x50000000, 0x60000000,
0xa0000000, 0xc0000000,
0x40000000, 0x80000000,
0x80000000, 0x00000000,
0x00000000, 0x00000000,
0xcccccccc, 0xffff8000,
0x99999998, 0xffff0000,
0x33333330, 0xfffe0000,
0x66666660, 0xfffc0000,
0xccccccc0, 0xfff80000,
0x99999980, 0xfff00000,
0x33333300, 0xffe00000,
0x66666600, 0xffc00000,
0xcccccc00, 0xff800000,
0x99999800, 0xff000000,
0x33333000, 0xfe000000,
0x66666000, 0xfc000000,
0xccccc000, 0xf8000000,
0x99998000, 0xf0000000,
0x33330000, 0xe0000000,
0x66660000, 0xc0000000,
0xcccc0000, 0x80000000,
0x99980000, 0x00000000,
0x33300000, 0x00000000,
0x66600000, 0x00000000,
0xccc00000, 0x00000000,
0x99800000, 0x00000000,
0x33000000, 0x00000000,
0x66000000, 0x00000000,
0xcc000000, 0x00000000,
0x98000000, 0x00000000,
0x30000000, 0x00000000,
0x60000000, 0x00000000,
0xc0000000, 0x00000000,
0x80000000, 0x00000000,
0x00000000, 0x00000000,
0x00000000, 0x00000000,
0xffff8000, 0xffff8001,
0xffff0000, 0xffff0003,
0xfffe0000, 0xfffe0007,
0xfffc0000, 0xfffc000f,
0xfff80000, 0xfff8001f,
0xfff00000, 0xfff0003f,
0xffe00000, 0xffe0007f,
0xffc00000, 0xffc000ff,
0xff800000, 0xff8001ff,
0xff000000, 0xff0003ff,
0xfe000000, 0xfe0007ff,
0xfc000000, 0xfc000fff,
0xf8000000, 0xf8001fff,
0xf0000000, 0xf0003fff,
0xe0000000, 0xe0007fff,
0xc0000000, 0xc000ffff,
0x80000000, 0x8001ffff,
0x00000000, 0x0003ffff,
0x00000000, 0x0007ffff,
0x00000000, 0x000fffff,
0x00000000, 0x001fffff,
0x00000000, 0x003fffff,
0x00000000, 0x007fffff,
0x00000000, 0x00ffffff,
0x00000000, 0x01ffffff,
0x00000000, 0x03ffffff,
0x00000000, 0x07ffffff,
0x00000000, 0x0fffffff,
0x00000000, 0x1fffffff,
0x00000000, 0x3fffffff,
0x00000000, 0x7fffffff,
0x00000000, 0xffffffff,
0xffff8001, 0xffff8002,
0xffff0003, 0xffff0004,
0xfffe0007, 0xfffe0008,
0xfffc000f, 0xfffc0010,
0xfff8001f, 0xfff80020,
0xfff0003f, 0xfff00040,
0xffe0007f, 0xffe00080,
0xffc000ff, 0xffc00100,
0xff8001ff, 0xff800200,
0xff0003ff, 0xff000400,
0xfe0007ff, 0xfe000800,
0xfc000fff, 0xfc001000,
0xf8001fff, 0xf8002000,
0xf0003fff, 0xf0004000,
0xe0007fff, 0xe0008000,
0xc000ffff, 0xc0010000,
0x8001ffff, 0x80020000,
0x0003ffff, 0x00040000,
0x0007ffff, 0x00080000,
0x000fffff, 0x00100000,
0x001fffff, 0x00200000,
0x003fffff, 0x00400000,
0x007fffff, 0x00800000,
0x00ffffff, 0x01000000,
0x01ffffff, 0x02000000,
0x03ffffff, 0x04000000,
0x07ffffff, 0x08000000,
0x0fffffff, 0x10000000,
0x1fffffff, 0x20000000,
0x3fffffff, 0x40000000,
0x7fffffff, 0x80000000,
0xffffffff, 0x00000000,
0xffff8002, 0xffff8003,
0xffff0004, 0xffff0007,
0xfffe0008, 0xfffe000f,
0xfffc0010, 0xfffc001f,
0xfff80020, 0xfff8003f,
0xfff00040, 0xfff0007f,
0xffe00080, 0xffe000ff,
0xffc00100, 0xffc001ff,
0xff800200, 0xff8003ff,
0xff000400, 0xff0007ff,
0xfe000800, 0xfe000fff,
0xfc001000, 0xfc001fff,
0xf8002000, 0xf8003fff,
0xf0004000, 0xf0007fff,
0xe0008000, 0xe000ffff,
0xc0010000, 0xc001ffff,
0x80020000, 0x8003ffff,
0x00040000, 0x0007ffff,
0x00080000, 0x000fffff,
0x00100000, 0x001fffff,
0x00200000, 0x003fffff,
0x00400000, 0x007fffff,
0x00800000, 0x00ffffff,
0x01000000, 0x01ffffff,
0x02000000, 0x03ffffff,
0x04000000, 0x07ffffff,
0x08000000, 0x0fffffff,
0x10000000, 0x1fffffff,
0x20000000, 0x3fffffff,
0x40000000, 0x7fffffff,
0x80000000, 0xffffffff,
0x00000000, 0xffffffff,
0xffff8003, 0xffffff80,
0xffff0007, 0xffffff00,
0xfffe000f, 0xfffffe00,
0xfffc001f, 0xfffffc00,
0xfff8003f, 0xfffff800,
0xfff0007f, 0xfffff000,
0xffe000ff, 0xffffe000,
0xffc001ff, 0xffffc000,
0xff8003ff, 0xffff8000,
0xff0007ff, 0xffff0000,
0xfe000fff, 0xfffe0000,
0xfc001fff, 0xfffc0000,
0xf8003fff, 0xfff80000,
0xf0007fff, 0xfff00000,
0xe000ffff, 0xffe00000,
0xc001ffff, 0xffc00000,
0x8003ffff, 0xff800000,
0x0007ffff, 0xff000000,
0x000fffff, 0xfe000000,
0x001fffff, 0xfc000000,
0x003fffff, 0xf8000000,
0x007fffff, 0xf0000000,
0x00ffffff, 0xe0000000,
0x01ffffff, 0xc0000000,
0x03ffffff, 0x80000000,
0x07ffffff, 0x00000000,
0x0fffffff, 0x00000000,
0x1fffffff, 0x00000000,
0x3fffffff, 0x00000000,
0x7fffffff, 0x00000000,
0xffffffff, 0x00000000,
0xffffffff, 0x00000000,
0xffffff80, 0xffffff81,
0xffffff00, 0xffffff03,
0xfffffe00, 0xfffffe07,
0xfffffc00, 0xfffffc0f,
0xfffff800, 0xfffff81f,
0xfffff000, 0xfffff03f,
0xffffe000, 0xffffe07f,
0xffffc000, 0xffffc0ff,
0xffff8000, 0xffff81ff,
0xffff0000, 0xffff03ff,
0xfffe0000, 0xfffe07ff,
0xfffc0000, 0xfffc0fff,
0xfff80000, 0xfff81fff,
0xfff00000, 0xfff03fff,
0xffe00000, 0xffe07fff,
0xffc00000, 0xffc0ffff,
0xff800000, 0xff81ffff,
0xff000000, 0xff03ffff,
0xfe000000, 0xfe07ffff,
0xfc000000, 0xfc0fffff,
0xf8000000, 0xf81fffff,
0xf0000000, 0xf03fffff,
0xe0000000, 0xe07fffff,
0xc0000000, 0xc0ffffff,
0x80000000, 0x81ffffff,
0x00000000, 0x03ffffff,
0x00000000, 0x07ffffff,
0x00000000, 0x0fffffff,
0x00000000, 0x1fffffff,
0x00000000, 0x3fffffff,
0x00000000, 0x7fffffff,
0x00000000, 0xffffffff,
0xffffff81, 0xffffff82,
0xffffff03, 0xffffff04,
0xfffffe07, 0xfffffe08,
0xfffffc0f, 0xfffffc10,
0xfffff81f, 0xfffff820,
0xfffff03f, 0xfffff040,
0xffffe07f, 0xffffe080,
0xffffc0ff, 0xffffc100,
0xffff81ff, 0xffff8200,
0xffff03ff, 0xffff0400,
0xfffe07ff, 0xfffe0800,
0xfffc0fff, 0xfffc1000,
0xfff81fff, 0xfff82000,
0xfff03fff, 0xfff04000,
0xffe07fff, 0xffe08000,
0xffc0ffff, 0xffc10000,
0xff81ffff, 0xff820000,
0xff03ffff, 0xff040000,
0xfe07ffff, 0xfe080000,
0xfc0fffff, 0xfc100000,
0xf81fffff, 0xf8200000,
0xf03fffff, 0xf0400000,
0xe07fffff, 0xe0800000,
0xc0ffffff, 0xc1000000,
0x81ffffff, 0x82000000,
0x03ffffff, 0x04000000,
0x07ffffff, 0x08000000,
0x0fffffff, 0x10000000,
0x1fffffff, 0x20000000,
0x3fffffff, 0x40000000,
0x7fffffff, 0x80000000,
0xffffffff, 0x00000000,
0xffffff82, 0xffffff83,
0xffffff04, 0xffffff07,
0xfffffe08, 0xfffffe0f,
0xfffffc10, 0xfffffc1f,
0xfffff820, 0xfffff83f,
0xfffff040, 0xfffff07f,
0xffffe080, 0xffffe0ff,
0xffffc100, 0xffffc1ff,
0xffff8200, 0xffff83ff,
0xffff0400, 0xffff07ff,
0xfffe0800, 0xfffe0fff,
0xfffc1000, 0xfffc1fff,
0xfff82000, 0xfff83fff,
0xfff04000, 0xfff07fff,
0xffe08000, 0xffe0ffff,
0xffc10000, 0xffc1ffff,
0xff820000, 0xff83ffff,
0xff040000, 0xff07ffff,
0xfe080000, 0xfe0fffff,
0xfc100000, 0xfc1fffff,
0xf8200000, 0xf83fffff,
0xf0400000, 0xf07fffff,
0xe0800000, 0xe0ffffff,
0xc1000000, 0xc1ffffff,
0x82000000, 0x83ffffff,
0x04000000, 0x07ffffff,
0x08000000, 0x0fffffff,
0x10000000, 0x1fffffff,
0x20000000, 0x3fffffff,
0x40000000, 0x7fffffff,
0x80000000, 0xffffffff,
0x00000000, 0xffffffff,
0xffffff83, 0xffffffe0,
0xffffff07, 0xffffffc0,
0xfffffe0f, 0xffffff80,
0xfffffc1f, 0xffffff00,
0xfffff83f, 0xfffffe00,
0xfffff07f, 0xfffffc00,
0xffffe0ff, 0xfffff800,
0xffffc1ff, 0xfffff000,
0xffff83ff, 0xffffe000,
0xffff07ff, 0xffffc000,
0xfffe0fff, 0xffff8000,
0xfffc1fff, 0xffff0000,
0xfff83fff, 0xfffe0000,
0xfff07fff, 0xfffc0000,
0xffe0ffff, 0xfff80000,
0xffc1ffff, 0xfff00000,
0xff83ffff, 0xffe00000,
0xff07ffff, 0xffc00000,
0xfe0fffff, 0xff800000,
0xfc1fffff, 0xff000000,
0xf83fffff, 0xfe000000,
0xf07fffff, 0xfc000000,
0xe0ffffff, 0xf8000000,
0xc1ffffff, 0xf0000000,
0x83ffffff, 0xe0000000,
0x07ffffff, 0xc0000000,
0x0fffffff, 0x80000000,
0x1fffffff, 0x00000000,
0x3fffffff, 0x00000000,
0x7fffffff, 0x00000000,
0xffffffff, 0x00000000,
0xffffffff, 0x00000000,
0xffffffe0, 0xfffffffd,
0xffffffc0, 0xfffffffb,
0xffffff80, 0xfffffff7,
0xffffff00, 0xffffffef,
0xfffffe00, 0xffffffdf,
0xfffffc00, 0xffffffbf,
0xfffff800, 0xffffff7f,
0xfffff000, 0xfffffeff,
0xffffe000, 0xfffffdff,
0xffffc000, 0xfffffbff,
0xffff8000, 0xfffff7ff,
0xffff0000, 0xffffefff,
0xfffe0000, 0xffffdfff,
0xfffc0000, 0xffffbfff,
0xfff80000, 0xffff7fff,
0xfff00000, 0xfffeffff,
0xffe00000, 0xfffdffff,
0xffc00000, 0xfffbffff,
0xff800000, 0xfff7ffff,
0xff000000, 0xffefffff,
0xfe000000, 0xffdfffff,
0xfc000000, 0xffbfffff,
0xf8000000, 0xff7fffff,
0xf0000000, 0xfeffffff,
0xe0000000, 0xfdffffff,
0xc0000000, 0xfbffffff,
0x80000000, 0xf7ffffff,
0x00000000, 0xefffffff,
0x00000000, 0xdfffffff,
0x00000000, 0xbfffffff,
0x00000000, 0x7fffffff,
0x00000000, 0xffffffff,
};
const unsigned kExpectedCount_NEON_sli_2S_2OPIMM = 992;
#endif // VIXL_SIM_SLI_2S_2OPIMM_TRACE_A64_H_