// 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_USRA_4H_2OPIMM_TRACE_A64_H_
#define VIXL_SIM_USRA_4H_2OPIMM_TRACE_A64_H_
const uint16_t kExpected_NEON_usra_4H_2OPIMM[] = {
0x7fc0, 0x7fc1, 0x7fc1, 0x7ff8,
0xbfa0, 0xbfa1, 0xbfa1, 0xbff4,
0xdf90, 0xdf91, 0xdf91, 0xdff2,
0xef88, 0xef89, 0xef89, 0xeff1,
0xf784, 0xf785, 0xf785, 0xf7f0,
0xfb82, 0xfb83, 0xfb83, 0xfbef,
0xfd81, 0xfd82, 0xfd82, 0xfdee,
0xfe80, 0xfe81, 0xfe81, 0xfeed,
0xfeff, 0xff00, 0xff00, 0xff6c,
0xff3e, 0xff3f, 0xff3f, 0xffab,
0xff5d, 0xff5e, 0xff5e, 0xffca,
0xff6c, 0xff6d, 0xff6d, 0xffd9,
0xff73, 0xff74, 0xff74, 0xffe0,
0xff76, 0xff77, 0xff77, 0xffe3,
0xff77, 0xff78, 0xff78, 0xffe4,
0xff77, 0xff78, 0xff78, 0xffe4,
0x7fc1, 0x7fc1, 0x7ff8, 0x7ffe,
0xbfa1, 0xbfa1, 0xbff4, 0xbffd,
0xdf91, 0xdf91, 0xdff2, 0xdffc,
0xef89, 0xef89, 0xeff1, 0xeffb,
0xf785, 0xf785, 0xf7f0, 0xf7fa,
0xfb83, 0xfb83, 0xfbef, 0xfbf9,
0xfd82, 0xfd82, 0xfdee, 0xfdf8,
0xfe81, 0xfe81, 0xfeed, 0xfef7,
0xff00, 0xff00, 0xff6c, 0xff76,
0xff3f, 0xff3f, 0xffab, 0xffb5,
0xff5e, 0xff5e, 0xffca, 0xffd4,
0xff6d, 0xff6d, 0xffd9, 0xffe3,
0xff74, 0xff74, 0xffe0, 0xffea,
0xff77, 0xff77, 0xffe3, 0xffed,
0xff78, 0xff78, 0xffe4, 0xffee,
0xff78, 0xff78, 0xffe4, 0xffee,
0x7fc1, 0x7ff8, 0x7ffe, 0x7fff,
0xbfa1, 0xbff4, 0xbffd, 0xbffe,
0xdf91, 0xdff2, 0xdffc, 0xdffd,
0xef89, 0xeff1, 0xeffb, 0xeffc,
0xf785, 0xf7f0, 0xf7fa, 0xf7fb,
0xfb83, 0xfbef, 0xfbf9, 0xfbfa,
0xfd82, 0xfdee, 0xfdf8, 0xfdf9,
0xfe81, 0xfeed, 0xfef7, 0xfef8,
0xff00, 0xff6c, 0xff76, 0xff77,
0xff3f, 0xffab, 0xffb5, 0xffb6,
0xff5e, 0xffca, 0xffd4, 0xffd5,
0xff6d, 0xffd9, 0xffe3, 0xffe4,
0xff74, 0xffe0, 0xffea, 0xffeb,
0xff77, 0xffe3, 0xffed, 0xffee,
0xff78, 0xffe4, 0xffee, 0xffef,
0xff78, 0xffe4, 0xffee, 0xffef,
0x7ff8, 0x7ffe, 0x7fff, 0x7fff,
0xbff4, 0xbffd, 0xbffe, 0xbffe,
0xdff2, 0xdffc, 0xdffd, 0xdffd,
0xeff1, 0xeffb, 0xeffc, 0xeffc,
0xf7f0, 0xf7fa, 0xf7fb, 0xf7fb,
0xfbef, 0xfbf9, 0xfbfa, 0xfbfa,
0xfdee, 0xfdf8, 0xfdf9, 0xfdf9,
0xfeed, 0xfef7, 0xfef8, 0xfef8,
0xff6c, 0xff76, 0xff77, 0xff77,
0xffab, 0xffb5, 0xffb6, 0xffb6,
0xffca, 0xffd4, 0xffd5, 0xffd5,
0xffd9, 0xffe3, 0xffe4, 0xffe4,
0xffe0, 0xffea, 0xffeb, 0xffeb,
0xffe3, 0xffed, 0xffee, 0xffee,
0xffe4, 0xffee, 0xffef, 0xffef,
0xffe4, 0xffee, 0xffef, 0xffef,
0x7ffe, 0x7fff, 0x7fff, 0x0000,
0xbffd, 0xbffe, 0xbffe, 0x0000,
0xdffc, 0xdffd, 0xdffd, 0x0000,
0xeffb, 0xeffc, 0xeffc, 0x0000,
0xf7fa, 0xf7fb, 0xf7fb, 0x0000,
0xfbf9, 0xfbfa, 0xfbfa, 0x0000,
0xfdf8, 0xfdf9, 0xfdf9, 0x0000,
0xfef7, 0xfef8, 0xfef8, 0x0000,
0xff76, 0xff77, 0xff77, 0x0000,
0xffb5, 0xffb6, 0xffb6, 0x0000,
0xffd4, 0xffd5, 0xffd5, 0x0000,
0xffe3, 0xffe4, 0xffe4, 0x0000,
0xffea, 0xffeb, 0xffeb, 0x0000,
0xffed, 0xffee, 0xffee, 0x0000,
0xffee, 0xffef, 0xffef, 0x0000,
0xffee, 0xffef, 0xffef, 0x0000,
0x7fff, 0x7fff, 0x0000, 0x0000,
0xbffe, 0xbffe, 0x0000, 0x0000,
0xdffd, 0xdffd, 0x0000, 0x0000,
0xeffc, 0xeffc, 0x0000, 0x0000,
0xf7fb, 0xf7fb, 0x0000, 0x0000,
0xfbfa, 0xfbfa, 0x0000, 0x0000,
0xfdf9, 0xfdf9, 0x0000, 0x0000,
0xfef8, 0xfef8, 0x0000, 0x0000,
0xff77, 0xff77, 0x0000, 0x0000,
0xffb6, 0xffb6, 0x0000, 0x0000,
0xffd5, 0xffd5, 0x0000, 0x0000,
0xffe4, 0xffe4, 0x0000, 0x0000,
0xffeb, 0xffeb, 0x0000, 0x0000,
0xffee, 0xffee, 0x0000, 0x0000,
0xffef, 0xffef, 0x0000, 0x0000,
0xffef, 0xffef, 0x0000, 0x0000,
0x7fff, 0x0000, 0x0000, 0x0001,
0xbffe, 0x0000, 0x0000, 0x0001,
0xdffd, 0x0000, 0x0000, 0x0001,
0xeffc, 0x0000, 0x0000, 0x0001,
0xf7fb, 0x0000, 0x0000, 0x0001,
0xfbfa, 0x0000, 0x0000, 0x0001,
0xfdf9, 0x0000, 0x0000, 0x0001,
0xfef8, 0x0000, 0x0000, 0x0001,
0xff77, 0x0000, 0x0000, 0x0001,
0xffb6, 0x0000, 0x0000, 0x0001,
0xffd5, 0x0000, 0x0000, 0x0001,
0xffe4, 0x0000, 0x0000, 0x0001,
0xffeb, 0x0000, 0x0000, 0x0001,
0xffee, 0x0000, 0x0000, 0x0001,
0xffef, 0x0000, 0x0000, 0x0001,
0xffef, 0x0000, 0x0000, 0x0001,
0x0000, 0x0000, 0x0001, 0x0008,
0x0000, 0x0000, 0x0001, 0x000c,
0x0000, 0x0000, 0x0001, 0x000e,
0x0000, 0x0000, 0x0001, 0x000f,
0x0000, 0x0000, 0x0001, 0x000f,
0x0000, 0x0000, 0x0001, 0x000f,
0x0000, 0x0000, 0x0001, 0x000f,
0x0000, 0x0000, 0x0001, 0x000f,
0x0000, 0x0000, 0x0001, 0x000f,
0x0000, 0x0000, 0x0001, 0x000f,
0x0000, 0x0000, 0x0001, 0x000f,
0x0000, 0x0000, 0x0001, 0x000f,
0x0000, 0x0000, 0x0001, 0x000f,
0x0000, 0x0000, 0x0001, 0x000f,
0x0000, 0x0000, 0x0001, 0x000f,
0x0000, 0x0000, 0x0001, 0x000f,
0x0000, 0x0001, 0x0008, 0x003e,
0x0000, 0x0001, 0x000c, 0x005d,
0x0000, 0x0001, 0x000e, 0x006c,
0x0000, 0x0001, 0x000f, 0x0073,
0x0000, 0x0001, 0x000f, 0x0076,
0x0000, 0x0001, 0x000f, 0x0077,
0x0000, 0x0001, 0x000f, 0x0077,
0x0000, 0x0001, 0x000f, 0x0077,
0x0000, 0x0001, 0x000f, 0x0077,
0x0000, 0x0001, 0x000f, 0x0077,
0x0000, 0x0001, 0x000f, 0x0077,
0x0000, 0x0001, 0x000f, 0x0077,
0x0000, 0x0001, 0x000f, 0x0077,
0x0000, 0x0001, 0x000f, 0x0077,
0x0000, 0x0001, 0x000f, 0x0077,
0x0000, 0x0001, 0x000f, 0x0077,
0x0001, 0x0008, 0x003e, 0x003f,
0x0001, 0x000c, 0x005d, 0x005e,
0x0001, 0x000e, 0x006c, 0x006d,
0x0001, 0x000f, 0x0073, 0x0074,
0x0001, 0x000f, 0x0076, 0x0077,
0x0001, 0x000f, 0x0077, 0x0078,
0x0001, 0x000f, 0x0077, 0x0078,
0x0001, 0x000f, 0x0077, 0x0078,
0x0001, 0x000f, 0x0077, 0x0078,
0x0001, 0x000f, 0x0077, 0x0078,
0x0001, 0x000f, 0x0077, 0x0078,
0x0001, 0x000f, 0x0077, 0x0078,
0x0001, 0x000f, 0x0077, 0x0078,
0x0001, 0x000f, 0x0077, 0x0078,
0x0001, 0x000f, 0x0077, 0x0078,
0x0001, 0x000f, 0x0077, 0x0078,
0x0008, 0x003e, 0x003f, 0x003f,
0x000c, 0x005d, 0x005e, 0x005e,
0x000e, 0x006c, 0x006d, 0x006d,
0x000f, 0x0073, 0x0074, 0x0074,
0x000f, 0x0076, 0x0077, 0x0077,
0x000f, 0x0077, 0x0078, 0x0078,
0x000f, 0x0077, 0x0078, 0x0078,
0x000f, 0x0077, 0x0078, 0x0078,
0x000f, 0x0077, 0x0078, 0x0078,
0x000f, 0x0077, 0x0078, 0x0078,
0x000f, 0x0077, 0x0078, 0x0078,
0x000f, 0x0077, 0x0078, 0x0078,
0x000f, 0x0077, 0x0078, 0x0078,
0x000f, 0x0077, 0x0078, 0x0078,
0x000f, 0x0077, 0x0078, 0x0078,
0x000f, 0x0077, 0x0078, 0x0078,
0x003e, 0x003f, 0x003f, 0x1999,
0x005d, 0x005e, 0x005e, 0x2665,
0x006c, 0x006d, 0x006d, 0x2ccb,
0x0073, 0x0074, 0x0074, 0x2ffe,
0x0076, 0x0077, 0x0077, 0x3197,
0x0077, 0x0078, 0x0078, 0x3263,
0x0077, 0x0078, 0x0078, 0x32c9,
0x0077, 0x0078, 0x0078, 0x32fc,
0x0077, 0x0078, 0x0078, 0x3315,
0x0077, 0x0078, 0x0078, 0x3321,
0x0077, 0x0078, 0x0078, 0x3327,
0x0077, 0x0078, 0x0078, 0x332a,
0x0077, 0x0078, 0x0078, 0x332b,
0x0077, 0x0078, 0x0078, 0x332b,
0x0077, 0x0078, 0x0078, 0x332b,
0x0077, 0x0078, 0x0078, 0x332b,
0x003f, 0x003f, 0x1999, 0x2aaa,
0x005e, 0x005e, 0x2665, 0x3fff,
0x006d, 0x006d, 0x2ccb, 0x4aa9,
0x0074, 0x0074, 0x2ffe, 0x4ffe,
0x0077, 0x0077, 0x3197, 0x52a8,
0x0078, 0x0078, 0x3263, 0x53fd,
0x0078, 0x0078, 0x32c9, 0x54a7,
0x0078, 0x0078, 0x32fc, 0x54fc,
0x0078, 0x0078, 0x3315, 0x5526,
0x0078, 0x0078, 0x3321, 0x553b,
0x0078, 0x0078, 0x3327, 0x5545,
0x0078, 0x0078, 0x332a, 0x554a,
0x0078, 0x0078, 0x332b, 0x554c,
0x0078, 0x0078, 0x332b, 0x554d,
0x0078, 0x0078, 0x332b, 0x554d,
0x0078, 0x0078, 0x332b, 0x554d,
0x003f, 0x1999, 0x2aaa, 0x3ffe,
0x005e, 0x2665, 0x3fff, 0x5ffd,
0x006d, 0x2ccb, 0x4aa9, 0x6ffc,
0x0074, 0x2ffe, 0x4ffe, 0x77fb,
0x0077, 0x3197, 0x52a8, 0x7bfa,
0x0078, 0x3263, 0x53fd, 0x7df9,
0x0078, 0x32c9, 0x54a7, 0x7ef8,
0x0078, 0x32fc, 0x54fc, 0x7f77,
0x0078, 0x3315, 0x5526, 0x7fb6,
0x0078, 0x3321, 0x553b, 0x7fd5,
0x0078, 0x3327, 0x5545, 0x7fe4,
0x0078, 0x332a, 0x554a, 0x7feb,
0x0078, 0x332b, 0x554c, 0x7fee,
0x0078, 0x332b, 0x554d, 0x7fef,
0x0078, 0x332b, 0x554d, 0x7fef,
0x0078, 0x332b, 0x554d, 0x7fef,
0x1999, 0x2aaa, 0x3ffe, 0x3fff,
0x2665, 0x3fff, 0x5ffd, 0x5ffe,
0x2ccb, 0x4aa9, 0x6ffc, 0x6ffd,
0x2ffe, 0x4ffe, 0x77fb, 0x77fc,
0x3197, 0x52a8, 0x7bfa, 0x7bfb,
0x3263, 0x53fd, 0x7df9, 0x7dfa,
0x32c9, 0x54a7, 0x7ef8, 0x7ef9,
0x32fc, 0x54fc, 0x7f77, 0x7f78,
0x3315, 0x5526, 0x7fb6, 0x7fb7,
0x3321, 0x553b, 0x7fd5, 0x7fd6,
0x3327, 0x5545, 0x7fe4, 0x7fe5,
0x332a, 0x554a, 0x7feb, 0x7fec,
0x332b, 0x554c, 0x7fee, 0x7fef,
0x332b, 0x554d, 0x7fef, 0x7ff0,
0x332b, 0x554d, 0x7fef, 0x7ff0,
0x332b, 0x554d, 0x7fef, 0x7ff0,
0x2aaa, 0x3ffe, 0x3fff, 0x3fff,
0x3fff, 0x5ffd, 0x5ffe, 0x5ffe,
0x4aa9, 0x6ffc, 0x6ffd, 0x6ffd,
0x4ffe, 0x77fb, 0x77fc, 0x77fc,
0x52a8, 0x7bfa, 0x7bfb, 0x7bfb,
0x53fd, 0x7df9, 0x7dfa, 0x7dfa,
0x54a7, 0x7ef8, 0x7ef9, 0x7ef9,
0x54fc, 0x7f77, 0x7f78, 0x7f78,
0x5526, 0x7fb6, 0x7fb7, 0x7fb7,
0x553b, 0x7fd5, 0x7fd6, 0x7fd6,
0x5545, 0x7fe4, 0x7fe5, 0x7fe5,
0x554a, 0x7feb, 0x7fec, 0x7fec,
0x554c, 0x7fee, 0x7fef, 0x7fef,
0x554d, 0x7fef, 0x7ff0, 0x7ff0,
0x554d, 0x7fef, 0x7ff0, 0x7ff0,
0x554d, 0x7fef, 0x7ff0, 0x7ff0,
0x3ffe, 0x3fff, 0x3fff, 0x4000,
0x5ffd, 0x5ffe, 0x5ffe, 0x6000,
0x6ffc, 0x6ffd, 0x6ffd, 0x7000,
0x77fb, 0x77fc, 0x77fc, 0x7800,
0x7bfa, 0x7bfb, 0x7bfb, 0x7c00,
0x7df9, 0x7dfa, 0x7dfa, 0x7e00,
0x7ef8, 0x7ef9, 0x7ef9, 0x7f00,
0x7f77, 0x7f78, 0x7f78, 0x7f80,
0x7fb6, 0x7fb7, 0x7fb7, 0x7fc0,
0x7fd5, 0x7fd6, 0x7fd6, 0x7fe0,
0x7fe4, 0x7fe5, 0x7fe5, 0x7ff0,
0x7feb, 0x7fec, 0x7fec, 0x7ff8,
0x7fee, 0x7fef, 0x7fef, 0x7ffc,
0x7fef, 0x7ff0, 0x7ff0, 0x7ffe,
0x7fef, 0x7ff0, 0x7ff0, 0x7fff,
0x7fef, 0x7ff0, 0x7ff0, 0x7fff,
0x3fff, 0x3fff, 0x4000, 0x4000,
0x5ffe, 0x5ffe, 0x6000, 0x6000,
0x6ffd, 0x6ffd, 0x7000, 0x7000,
0x77fc, 0x77fc, 0x7800, 0x7800,
0x7bfb, 0x7bfb, 0x7c00, 0x7c00,
0x7dfa, 0x7dfa, 0x7e00, 0x7e00,
0x7ef9, 0x7ef9, 0x7f00, 0x7f00,
0x7f78, 0x7f78, 0x7f80, 0x7f80,
0x7fb7, 0x7fb7, 0x7fc0, 0x7fc0,
0x7fd6, 0x7fd6, 0x7fe0, 0x7fe0,
0x7fe5, 0x7fe5, 0x7ff0, 0x7ff0,
0x7fec, 0x7fec, 0x7ff8, 0x7ff8,
0x7fef, 0x7fef, 0x7ffc, 0x7ffc,
0x7ff0, 0x7ff0, 0x7ffe, 0x7ffe,
0x7ff0, 0x7ff0, 0x7fff, 0x7fff,
0x7ff0, 0x7ff0, 0x7fff, 0x7fff,
0x3fff, 0x4000, 0x4000, 0x5555,
0x5ffe, 0x6000, 0x6000, 0x7fff,
0x6ffd, 0x7000, 0x7000, 0x9554,
0x77fc, 0x7800, 0x7800, 0x9ffe,
0x7bfb, 0x7c00, 0x7c00, 0xa553,
0x7dfa, 0x7e00, 0x7e00, 0xa7fd,
0x7ef9, 0x7f00, 0x7f00, 0xa952,
0x7f78, 0x7f80, 0x7f80, 0xa9fc,
0x7fb7, 0x7fc0, 0x7fc0, 0xaa51,
0x7fd6, 0x7fe0, 0x7fe0, 0xaa7b,
0x7fe5, 0x7ff0, 0x7ff0, 0xaa90,
0x7fec, 0x7ff8, 0x7ff8, 0xaa9a,
0x7fef, 0x7ffc, 0x7ffc, 0xaa9f,
0x7ff0, 0x7ffe, 0x7ffe, 0xaaa1,
0x7ff0, 0x7fff, 0x7fff, 0xaaa2,
0x7ff0, 0x7fff, 0x7fff, 0xaaa2,
0x4000, 0x4000, 0x5555, 0x6666,
0x6000, 0x6000, 0x7fff, 0x9999,
0x7000, 0x7000, 0x9554, 0xb332,
0x7800, 0x7800, 0x9ffe, 0xbffe,
0x7c00, 0x7c00, 0xa553, 0xc664,
0x7e00, 0x7e00, 0xa7fd, 0xc997,
0x7f00, 0x7f00, 0xa952, 0xcb30,
0x7f80, 0x7f80, 0xa9fc, 0xcbfc,
0x7fc0, 0x7fc0, 0xaa51, 0xcc62,
0x7fe0, 0x7fe0, 0xaa7b, 0xcc95,
0x7ff0, 0x7ff0, 0xaa90, 0xccae,
0x7ff8, 0x7ff8, 0xaa9a, 0xccba,
0x7ffc, 0x7ffc, 0xaa9f, 0xccc0,
0x7ffe, 0x7ffe, 0xaaa1, 0xccc3,
0x7fff, 0x7fff, 0xaaa2, 0xccc4,
0x7fff, 0x7fff, 0xaaa2, 0xccc4,
0x4000, 0x5555, 0x6666, 0x7fc0,
0x6000, 0x7fff, 0x9999, 0xbfa0,
0x7000, 0x9554, 0xb332, 0xdf90,
0x7800, 0x9ffe, 0xbffe, 0xef88,
0x7c00, 0xa553, 0xc664, 0xf784,
0x7e00, 0xa7fd, 0xc997, 0xfb82,
0x7f00, 0xa952, 0xcb30, 0xfd81,
0x7f80, 0xa9fc, 0xcbfc, 0xfe80,
0x7fc0, 0xaa51, 0xcc62, 0xfeff,
0x7fe0, 0xaa7b, 0xcc95, 0xff3e,
0x7ff0, 0xaa90, 0xccae, 0xff5d,
0x7ff8, 0xaa9a, 0xccba, 0xff6c,
0x7ffc, 0xaa9f, 0xccc0, 0xff73,
0x7ffe, 0xaaa1, 0xccc3, 0xff76,
0x7fff, 0xaaa2, 0xccc4, 0xff77,
0x7fff, 0xaaa2, 0xccc4, 0xff77,
0x5555, 0x6666, 0x7fc0, 0x7fc0,
0x7fff, 0x9999, 0xbfa0, 0xbfa0,
0x9554, 0xb332, 0xdf90, 0xdf90,
0x9ffe, 0xbffe, 0xef88, 0xef88,
0xa553, 0xc664, 0xf784, 0xf784,
0xa7fd, 0xc997, 0xfb82, 0xfb82,
0xa952, 0xcb30, 0xfd81, 0xfd81,
0xa9fc, 0xcbfc, 0xfe80, 0xfe80,
0xaa51, 0xcc62, 0xfeff, 0xfeff,
0xaa7b, 0xcc95, 0xff3e, 0xff3e,
0xaa90, 0xccae, 0xff5d, 0xff5d,
0xaa9a, 0xccba, 0xff6c, 0xff6c,
0xaa9f, 0xccc0, 0xff73, 0xff73,
0xaaa1, 0xccc3, 0xff76, 0xff76,
0xaaa2, 0xccc4, 0xff77, 0xff77,
0xaaa2, 0xccc4, 0xff77, 0xff77,
0x6666, 0x7fc0, 0x7fc0, 0x7fc1,
0x9999, 0xbfa0, 0xbfa0, 0xbfa1,
0xb332, 0xdf90, 0xdf90, 0xdf91,
0xbffe, 0xef88, 0xef88, 0xef89,
0xc664, 0xf784, 0xf784, 0xf785,
0xc997, 0xfb82, 0xfb82, 0xfb83,
0xcb30, 0xfd81, 0xfd81, 0xfd82,
0xcbfc, 0xfe80, 0xfe80, 0xfe81,
0xcc62, 0xfeff, 0xfeff, 0xff00,
0xcc95, 0xff3e, 0xff3e, 0xff3f,
0xccae, 0xff5d, 0xff5d, 0xff5e,
0xccba, 0xff6c, 0xff6c, 0xff6d,
0xccc0, 0xff73, 0xff73, 0xff74,
0xccc3, 0xff76, 0xff76, 0xff77,
0xccc4, 0xff77, 0xff77, 0xff78,
0xccc4, 0xff77, 0xff77, 0xff78,
0x7fc0, 0x7fc0, 0x7fc1, 0x7fc1,
0xbfa0, 0xbfa0, 0xbfa1, 0xbfa1,
0xdf90, 0xdf90, 0xdf91, 0xdf91,
0xef88, 0xef88, 0xef89, 0xef89,
0xf784, 0xf784, 0xf785, 0xf785,
0xfb82, 0xfb82, 0xfb83, 0xfb83,
0xfd81, 0xfd81, 0xfd82, 0xfd82,
0xfe80, 0xfe80, 0xfe81, 0xfe81,
0xfeff, 0xfeff, 0xff00, 0xff00,
0xff3e, 0xff3e, 0xff3f, 0xff3f,
0xff5d, 0xff5d, 0xff5e, 0xff5e,
0xff6c, 0xff6c, 0xff6d, 0xff6d,
0xff73, 0xff73, 0xff74, 0xff74,
0xff76, 0xff76, 0xff77, 0xff77,
0xff77, 0xff77, 0xff78, 0xff78,
0xff77, 0xff77, 0xff78, 0xff78,
};
const unsigned kExpectedCount_NEON_usra_4H_2OPIMM = 384;
#endif // VIXL_SIM_USRA_4H_2OPIMM_TRACE_A64_H_