// 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_UADDL_8H_TRACE_A64_H_
#define VIXL_SIM_UADDL_8H_TRACE_A64_H_
const uint16_t kExpected_NEON_uaddl_8H[] = {
0x0066, 0x00aa, 0x00fa, 0x00fc, 0x00fe, 0x0100, 0x0102, 0x0104,
0x0088, 0x00d2, 0x00fb, 0x00fd, 0x00ff, 0x0101, 0x0103, 0x0105,
0x00b0, 0x00d3, 0x00fc, 0x00fe, 0x0100, 0x0102, 0x0104, 0x012c,
0x00b1, 0x00d4, 0x00fd, 0x00ff, 0x0101, 0x0103, 0x012b, 0x014e,
0x00b2, 0x00d5, 0x00fe, 0x0100, 0x0102, 0x012a, 0x014d, 0x017a,
0x00b3, 0x00d6, 0x00ff, 0x0101, 0x0129, 0x014c, 0x0179, 0x017f,
0x00b4, 0x00d7, 0x0100, 0x0128, 0x014b, 0x0178, 0x017e, 0x0180,
0x00b5, 0x00d8, 0x0127, 0x014a, 0x0177, 0x017d, 0x017f, 0x0181,
0x00b6, 0x00ff, 0x0149, 0x0176, 0x017c, 0x017e, 0x0180, 0x0082,
0x00dd, 0x0121, 0x0175, 0x017b, 0x017d, 0x017f, 0x0081, 0x0083,
0x00ff, 0x014d, 0x017a, 0x017c, 0x017e, 0x0080, 0x0082, 0x0084,
0x012b, 0x0152, 0x017b, 0x017d, 0x007f, 0x0081, 0x0083, 0x008a,
0x0130, 0x0153, 0x017c, 0x007e, 0x0080, 0x0082, 0x0089, 0x00b5,
0x0131, 0x0154, 0x007d, 0x007f, 0x0081, 0x0088, 0x00b4, 0x00d7,
0x0132, 0x0055, 0x007e, 0x0080, 0x0087, 0x00b3, 0x00d6, 0x00ff,
0x0033, 0x0056, 0x007f, 0x0086, 0x00b2, 0x00d5, 0x00fe, 0x0100,
0x0034, 0x0057, 0x0085, 0x00b1, 0x00d4, 0x00fd, 0x00ff, 0x0101,
0x0035, 0x005d, 0x00b0, 0x00d3, 0x00fc, 0x00fe, 0x0100, 0x0102,
0x003b, 0x0088, 0x00d2, 0x00fb, 0x00fd, 0x00ff, 0x0101, 0x0103,
0x0088, 0x00d2, 0x00fb, 0x00fd, 0x00ff, 0x0101, 0x0103, 0x0105,
0x00aa, 0x00fa, 0x00fc, 0x00fe, 0x0100, 0x0102, 0x0104, 0x0106,
0x00d2, 0x00fb, 0x00fd, 0x00ff, 0x0101, 0x0103, 0x0105, 0x012d,
0x00d3, 0x00fc, 0x00fe, 0x0100, 0x0102, 0x0104, 0x012c, 0x014f,
0x00d4, 0x00fd, 0x00ff, 0x0101, 0x0103, 0x012b, 0x014e, 0x017b,
0x00d5, 0x00fe, 0x0100, 0x0102, 0x012a, 0x014d, 0x017a, 0x0180,
0x00d6, 0x00ff, 0x0101, 0x0129, 0x014c, 0x0179, 0x017f, 0x0181,
0x00d7, 0x0100, 0x0128, 0x014b, 0x0178, 0x017e, 0x0180, 0x0182,
0x00d8, 0x0127, 0x014a, 0x0177, 0x017d, 0x017f, 0x0181, 0x0083,
0x00ff, 0x0149, 0x0176, 0x017c, 0x017e, 0x0180, 0x0082, 0x0084,
0x0121, 0x0175, 0x017b, 0x017d, 0x017f, 0x0081, 0x0083, 0x0085,
0x014d, 0x017a, 0x017c, 0x017e, 0x0080, 0x0082, 0x0084, 0x008b,
0x0152, 0x017b, 0x017d, 0x007f, 0x0081, 0x0083, 0x008a, 0x00b6,
0x0153, 0x017c, 0x007e, 0x0080, 0x0082, 0x0089, 0x00b5, 0x00d8,
0x0154, 0x007d, 0x007f, 0x0081, 0x0088, 0x00b4, 0x00d7, 0x0100,
0x0055, 0x007e, 0x0080, 0x0087, 0x00b3, 0x00d6, 0x00ff, 0x0101,
0x0056, 0x007f, 0x0086, 0x00b2, 0x00d5, 0x00fe, 0x0100, 0x0102,
0x0057, 0x0085, 0x00b1, 0x00d4, 0x00fd, 0x00ff, 0x0101, 0x0103,
0x005d, 0x00b0, 0x00d3, 0x00fc, 0x00fe, 0x0100, 0x0102, 0x0104,
0x00b0, 0x00d3, 0x00fc, 0x00fe, 0x0100, 0x0102, 0x0104, 0x012c,
0x00d2, 0x00fb, 0x00fd, 0x00ff, 0x0101, 0x0103, 0x0105, 0x012d,
0x00fa, 0x00fc, 0x00fe, 0x0100, 0x0102, 0x0104, 0x0106, 0x0154,
0x00fb, 0x00fd, 0x00ff, 0x0101, 0x0103, 0x0105, 0x012d, 0x0176,
0x00fc, 0x00fe, 0x0100, 0x0102, 0x0104, 0x012c, 0x014f, 0x01a2,
0x00fd, 0x00ff, 0x0101, 0x0103, 0x012b, 0x014e, 0x017b, 0x01a7,
0x00fe, 0x0100, 0x0102, 0x012a, 0x014d, 0x017a, 0x0180, 0x01a8,
0x00ff, 0x0101, 0x0129, 0x014c, 0x0179, 0x017f, 0x0181, 0x01a9,
0x0100, 0x0128, 0x014b, 0x0178, 0x017e, 0x0180, 0x0182, 0x00aa,
0x0127, 0x014a, 0x0177, 0x017d, 0x017f, 0x0181, 0x0083, 0x00ab,
0x0149, 0x0176, 0x017c, 0x017e, 0x0180, 0x0082, 0x0084, 0x00ac,
0x0175, 0x017b, 0x017d, 0x017f, 0x0081, 0x0083, 0x0085, 0x00b2,
0x017a, 0x017c, 0x017e, 0x0080, 0x0082, 0x0084, 0x008b, 0x00dd,
0x017b, 0x017d, 0x007f, 0x0081, 0x0083, 0x008a, 0x00b6, 0x00ff,
0x017c, 0x007e, 0x0080, 0x0082, 0x0089, 0x00b5, 0x00d8, 0x0127,
0x007d, 0x007f, 0x0081, 0x0088, 0x00b4, 0x00d7, 0x0100, 0x0128,
0x007e, 0x0080, 0x0087, 0x00b3, 0x00d6, 0x00ff, 0x0101, 0x0129,
0x007f, 0x0086, 0x00b2, 0x00d5, 0x00fe, 0x0100, 0x0102, 0x012a,
0x0085, 0x00b1, 0x00d4, 0x00fd, 0x00ff, 0x0101, 0x0103, 0x012b,
0x00b1, 0x00d4, 0x00fd, 0x00ff, 0x0101, 0x0103, 0x012b, 0x014e,
0x00d3, 0x00fc, 0x00fe, 0x0100, 0x0102, 0x0104, 0x012c, 0x014f,
0x00fb, 0x00fd, 0x00ff, 0x0101, 0x0103, 0x0105, 0x012d, 0x0176,
0x00fc, 0x00fe, 0x0100, 0x0102, 0x0104, 0x0106, 0x0154, 0x0198,
0x00fd, 0x00ff, 0x0101, 0x0103, 0x0105, 0x012d, 0x0176, 0x01c4,
0x00fe, 0x0100, 0x0102, 0x0104, 0x012c, 0x014f, 0x01a2, 0x01c9,
0x00ff, 0x0101, 0x0103, 0x012b, 0x014e, 0x017b, 0x01a7, 0x01ca,
0x0100, 0x0102, 0x012a, 0x014d, 0x017a, 0x0180, 0x01a8, 0x01cb,
0x0101, 0x0129, 0x014c, 0x0179, 0x017f, 0x0181, 0x01a9, 0x00cc,
0x0128, 0x014b, 0x0178, 0x017e, 0x0180, 0x0182, 0x00aa, 0x00cd,
0x014a, 0x0177, 0x017d, 0x017f, 0x0181, 0x0083, 0x00ab, 0x00ce,
0x0176, 0x017c, 0x017e, 0x0180, 0x0082, 0x0084, 0x00ac, 0x00d4,
0x017b, 0x017d, 0x017f, 0x0081, 0x0083, 0x0085, 0x00b2, 0x00ff,
0x017c, 0x017e, 0x0080, 0x0082, 0x0084, 0x008b, 0x00dd, 0x0121,
0x017d, 0x007f, 0x0081, 0x0083, 0x008a, 0x00b6, 0x00ff, 0x0149,
0x007e, 0x0080, 0x0082, 0x0089, 0x00b5, 0x00d8, 0x0127, 0x014a,
0x007f, 0x0081, 0x0088, 0x00b4, 0x00d7, 0x0100, 0x0128, 0x014b,
0x0080, 0x0087, 0x00b3, 0x00d6, 0x00ff, 0x0101, 0x0129, 0x014c,
0x0086, 0x00b2, 0x00d5, 0x00fe, 0x0100, 0x0102, 0x012a, 0x014d,
0x00b2, 0x00d5, 0x00fe, 0x0100, 0x0102, 0x012a, 0x014d, 0x017a,
0x00d4, 0x00fd, 0x00ff, 0x0101, 0x0103, 0x012b, 0x014e, 0x017b,
0x00fc, 0x00fe, 0x0100, 0x0102, 0x0104, 0x012c, 0x014f, 0x01a2,
0x00fd, 0x00ff, 0x0101, 0x0103, 0x0105, 0x012d, 0x0176, 0x01c4,
0x00fe, 0x0100, 0x0102, 0x0104, 0x0106, 0x0154, 0x0198, 0x01f0,
0x00ff, 0x0101, 0x0103, 0x0105, 0x012d, 0x0176, 0x01c4, 0x01f5,
0x0100, 0x0102, 0x0104, 0x012c, 0x014f, 0x01a2, 0x01c9, 0x01f6,
0x0101, 0x0103, 0x012b, 0x014e, 0x017b, 0x01a7, 0x01ca, 0x01f7,
0x0102, 0x012a, 0x014d, 0x017a, 0x0180, 0x01a8, 0x01cb, 0x00f8,
0x0129, 0x014c, 0x0179, 0x017f, 0x0181, 0x01a9, 0x00cc, 0x00f9,
0x014b, 0x0178, 0x017e, 0x0180, 0x0182, 0x00aa, 0x00cd, 0x00fa,
0x0177, 0x017d, 0x017f, 0x0181, 0x0083, 0x00ab, 0x00ce, 0x0100,
0x017c, 0x017e, 0x0180, 0x0082, 0x0084, 0x00ac, 0x00d4, 0x012b,
0x017d, 0x017f, 0x0081, 0x0083, 0x0085, 0x00b2, 0x00ff, 0x014d,
0x017e, 0x0080, 0x0082, 0x0084, 0x008b, 0x00dd, 0x0121, 0x0175,
0x007f, 0x0081, 0x0083, 0x008a, 0x00b6, 0x00ff, 0x0149, 0x0176,
0x0080, 0x0082, 0x0089, 0x00b5, 0x00d8, 0x0127, 0x014a, 0x0177,
0x0081, 0x0088, 0x00b4, 0x00d7, 0x0100, 0x0128, 0x014b, 0x0178,
0x0087, 0x00b3, 0x00d6, 0x00ff, 0x0101, 0x0129, 0x014c, 0x0179,
0x00b3, 0x00d6, 0x00ff, 0x0101, 0x0129, 0x014c, 0x0179, 0x017f,
0x00d5, 0x00fe, 0x0100, 0x0102, 0x012a, 0x014d, 0x017a, 0x0180,
0x00fd, 0x00ff, 0x0101, 0x0103, 0x012b, 0x014e, 0x017b, 0x01a7,
0x00fe, 0x0100, 0x0102, 0x0104, 0x012c, 0x014f, 0x01a2, 0x01c9,
0x00ff, 0x0101, 0x0103, 0x0105, 0x012d, 0x0176, 0x01c4, 0x01f5,
0x0100, 0x0102, 0x0104, 0x0106, 0x0154, 0x0198, 0x01f0, 0x01fa,
0x0101, 0x0103, 0x0105, 0x012d, 0x0176, 0x01c4, 0x01f5, 0x01fb,
0x0102, 0x0104, 0x012c, 0x014f, 0x01a2, 0x01c9, 0x01f6, 0x01fc,
0x0103, 0x012b, 0x014e, 0x017b, 0x01a7, 0x01ca, 0x01f7, 0x00fd,
0x012a, 0x014d, 0x017a, 0x0180, 0x01a8, 0x01cb, 0x00f8, 0x00fe,
0x014c, 0x0179, 0x017f, 0x0181, 0x01a9, 0x00cc, 0x00f9, 0x00ff,
0x0178, 0x017e, 0x0180, 0x0182, 0x00aa, 0x00cd, 0x00fa, 0x0105,
0x017d, 0x017f, 0x0181, 0x0083, 0x00ab, 0x00ce, 0x0100, 0x0130,
0x017e, 0x0180, 0x0082, 0x0084, 0x00ac, 0x00d4, 0x012b, 0x0152,
0x017f, 0x0081, 0x0083, 0x0085, 0x00b2, 0x00ff, 0x014d, 0x017a,
0x0080, 0x0082, 0x0084, 0x008b, 0x00dd, 0x0121, 0x0175, 0x017b,
0x0081, 0x0083, 0x008a, 0x00b6, 0x00ff, 0x0149, 0x0176, 0x017c,
0x0082, 0x0089, 0x00b5, 0x00d8, 0x0127, 0x014a, 0x0177, 0x017d,
0x0088, 0x00b4, 0x00d7, 0x0100, 0x0128, 0x014b, 0x0178, 0x017e,
0x00b4, 0x00d7, 0x0100, 0x0128, 0x014b, 0x0178, 0x017e, 0x0180,
0x00d6, 0x00ff, 0x0101, 0x0129, 0x014c, 0x0179, 0x017f, 0x0181,
0x00fe, 0x0100, 0x0102, 0x012a, 0x014d, 0x017a, 0x0180, 0x01a8,
0x00ff, 0x0101, 0x0103, 0x012b, 0x014e, 0x017b, 0x01a7, 0x01ca,
0x0100, 0x0102, 0x0104, 0x012c, 0x014f, 0x01a2, 0x01c9, 0x01f6,
0x0101, 0x0103, 0x0105, 0x012d, 0x0176, 0x01c4, 0x01f5, 0x01fb,
0x0102, 0x0104, 0x0106, 0x0154, 0x0198, 0x01f0, 0x01fa, 0x01fc,
0x0103, 0x0105, 0x012d, 0x0176, 0x01c4, 0x01f5, 0x01fb, 0x01fd,
0x0104, 0x012c, 0x014f, 0x01a2, 0x01c9, 0x01f6, 0x01fc, 0x00fe,
0x012b, 0x014e, 0x017b, 0x01a7, 0x01ca, 0x01f7, 0x00fd, 0x00ff,
0x014d, 0x017a, 0x0180, 0x01a8, 0x01cb, 0x00f8, 0x00fe, 0x0100,
0x0179, 0x017f, 0x0181, 0x01a9, 0x00cc, 0x00f9, 0x00ff, 0x0106,
0x017e, 0x0180, 0x0182, 0x00aa, 0x00cd, 0x00fa, 0x0105, 0x0131,
0x017f, 0x0181, 0x0083, 0x00ab, 0x00ce, 0x0100, 0x0130, 0x0153,
0x0180, 0x0082, 0x0084, 0x00ac, 0x00d4, 0x012b, 0x0152, 0x017b,
0x0081, 0x0083, 0x0085, 0x00b2, 0x00ff, 0x014d, 0x017a, 0x017c,
0x0082, 0x0084, 0x008b, 0x00dd, 0x0121, 0x0175, 0x017b, 0x017d,
0x0083, 0x008a, 0x00b6, 0x00ff, 0x0149, 0x0176, 0x017c, 0x017e,
0x0089, 0x00b5, 0x00d8, 0x0127, 0x014a, 0x0177, 0x017d, 0x017f,
0x00b5, 0x00d8, 0x0127, 0x014a, 0x0177, 0x017d, 0x017f, 0x0181,
0x00d7, 0x0100, 0x0128, 0x014b, 0x0178, 0x017e, 0x0180, 0x0182,
0x00ff, 0x0101, 0x0129, 0x014c, 0x0179, 0x017f, 0x0181, 0x01a9,
0x0100, 0x0102, 0x012a, 0x014d, 0x017a, 0x0180, 0x01a8, 0x01cb,
0x0101, 0x0103, 0x012b, 0x014e, 0x017b, 0x01a7, 0x01ca, 0x01f7,
0x0102, 0x0104, 0x012c, 0x014f, 0x01a2, 0x01c9, 0x01f6, 0x01fc,
0x0103, 0x0105, 0x012d, 0x0176, 0x01c4, 0x01f5, 0x01fb, 0x01fd,
0x0104, 0x0106, 0x0154, 0x0198, 0x01f0, 0x01fa, 0x01fc, 0x01fe,
0x0105, 0x012d, 0x0176, 0x01c4, 0x01f5, 0x01fb, 0x01fd, 0x00ff,
0x012c, 0x014f, 0x01a2, 0x01c9, 0x01f6, 0x01fc, 0x00fe, 0x0100,
0x014e, 0x017b, 0x01a7, 0x01ca, 0x01f7, 0x00fd, 0x00ff, 0x0101,
0x017a, 0x0180, 0x01a8, 0x01cb, 0x00f8, 0x00fe, 0x0100, 0x0107,
0x017f, 0x0181, 0x01a9, 0x00cc, 0x00f9, 0x00ff, 0x0106, 0x0132,
0x0180, 0x0182, 0x00aa, 0x00cd, 0x00fa, 0x0105, 0x0131, 0x0154,
0x0181, 0x0083, 0x00ab, 0x00ce, 0x0100, 0x0130, 0x0153, 0x017c,
0x0082, 0x0084, 0x00ac, 0x00d4, 0x012b, 0x0152, 0x017b, 0x017d,
0x0083, 0x0085, 0x00b2, 0x00ff, 0x014d, 0x017a, 0x017c, 0x017e,
0x0084, 0x008b, 0x00dd, 0x0121, 0x0175, 0x017b, 0x017d, 0x017f,
0x008a, 0x00b6, 0x00ff, 0x0149, 0x0176, 0x017c, 0x017e, 0x0180,
0x00b6, 0x00ff, 0x0149, 0x0176, 0x017c, 0x017e, 0x0180, 0x0082,
0x00d8, 0x0127, 0x014a, 0x0177, 0x017d, 0x017f, 0x0181, 0x0083,
0x0100, 0x0128, 0x014b, 0x0178, 0x017e, 0x0180, 0x0182, 0x00aa,
0x0101, 0x0129, 0x014c, 0x0179, 0x017f, 0x0181, 0x01a9, 0x00cc,
0x0102, 0x012a, 0x014d, 0x017a, 0x0180, 0x01a8, 0x01cb, 0x00f8,
0x0103, 0x012b, 0x014e, 0x017b, 0x01a7, 0x01ca, 0x01f7, 0x00fd,
0x0104, 0x012c, 0x014f, 0x01a2, 0x01c9, 0x01f6, 0x01fc, 0x00fe,
0x0105, 0x012d, 0x0176, 0x01c4, 0x01f5, 0x01fb, 0x01fd, 0x00ff,
0x0106, 0x0154, 0x0198, 0x01f0, 0x01fa, 0x01fc, 0x01fe, 0x0000,
0x012d, 0x0176, 0x01c4, 0x01f5, 0x01fb, 0x01fd, 0x00ff, 0x0001,
0x014f, 0x01a2, 0x01c9, 0x01f6, 0x01fc, 0x00fe, 0x0100, 0x0002,
0x017b, 0x01a7, 0x01ca, 0x01f7, 0x00fd, 0x00ff, 0x0101, 0x0008,
0x0180, 0x01a8, 0x01cb, 0x00f8, 0x00fe, 0x0100, 0x0107, 0x0033,
0x0181, 0x01a9, 0x00cc, 0x00f9, 0x00ff, 0x0106, 0x0132, 0x0055,
0x0182, 0x00aa, 0x00cd, 0x00fa, 0x0105, 0x0131, 0x0154, 0x007d,
0x0083, 0x00ab, 0x00ce, 0x0100, 0x0130, 0x0153, 0x017c, 0x007e,
0x0084, 0x00ac, 0x00d4, 0x012b, 0x0152, 0x017b, 0x017d, 0x007f,
0x0085, 0x00b2, 0x00ff, 0x014d, 0x017a, 0x017c, 0x017e, 0x0080,
0x008b, 0x00dd, 0x0121, 0x0175, 0x017b, 0x017d, 0x017f, 0x0081,
0x00dd, 0x0121, 0x0175, 0x017b, 0x017d, 0x017f, 0x0081, 0x0083,
0x00ff, 0x0149, 0x0176, 0x017c, 0x017e, 0x0180, 0x0082, 0x0084,
0x0127, 0x014a, 0x0177, 0x017d, 0x017f, 0x0181, 0x0083, 0x00ab,
0x0128, 0x014b, 0x0178, 0x017e, 0x0180, 0x0182, 0x00aa, 0x00cd,
0x0129, 0x014c, 0x0179, 0x017f, 0x0181, 0x01a9, 0x00cc, 0x00f9,
0x012a, 0x014d, 0x017a, 0x0180, 0x01a8, 0x01cb, 0x00f8, 0x00fe,
0x012b, 0x014e, 0x017b, 0x01a7, 0x01ca, 0x01f7, 0x00fd, 0x00ff,
0x012c, 0x014f, 0x01a2, 0x01c9, 0x01f6, 0x01fc, 0x00fe, 0x0100,
0x012d, 0x0176, 0x01c4, 0x01f5, 0x01fb, 0x01fd, 0x00ff, 0x0001,
0x0154, 0x0198, 0x01f0, 0x01fa, 0x01fc, 0x01fe, 0x0000, 0x0002,
0x0176, 0x01c4, 0x01f5, 0x01fb, 0x01fd, 0x00ff, 0x0001, 0x0003,
0x01a2, 0x01c9, 0x01f6, 0x01fc, 0x00fe, 0x0100, 0x0002, 0x0009,
0x01a7, 0x01ca, 0x01f7, 0x00fd, 0x00ff, 0x0101, 0x0008, 0x0034,
0x01a8, 0x01cb, 0x00f8, 0x00fe, 0x0100, 0x0107, 0x0033, 0x0056,
0x01a9, 0x00cc, 0x00f9, 0x00ff, 0x0106, 0x0132, 0x0055, 0x007e,
0x00aa, 0x00cd, 0x00fa, 0x0105, 0x0131, 0x0154, 0x007d, 0x007f,
0x00ab, 0x00ce, 0x0100, 0x0130, 0x0153, 0x017c, 0x007e, 0x0080,
0x00ac, 0x00d4, 0x012b, 0x0152, 0x017b, 0x017d, 0x007f, 0x0081,
0x00b2, 0x00ff, 0x014d, 0x017a, 0x017c, 0x017e, 0x0080, 0x0082,
0x00ff, 0x014d, 0x017a, 0x017c, 0x017e, 0x0080, 0x0082, 0x0084,
0x0121, 0x0175, 0x017b, 0x017d, 0x017f, 0x0081, 0x0083, 0x0085,
0x0149, 0x0176, 0x017c, 0x017e, 0x0180, 0x0082, 0x0084, 0x00ac,
0x014a, 0x0177, 0x017d, 0x017f, 0x0181, 0x0083, 0x00ab, 0x00ce,
0x014b, 0x0178, 0x017e, 0x0180, 0x0182, 0x00aa, 0x00cd, 0x00fa,
0x014c, 0x0179, 0x017f, 0x0181, 0x01a9, 0x00cc, 0x00f9, 0x00ff,
0x014d, 0x017a, 0x0180, 0x01a8, 0x01cb, 0x00f8, 0x00fe, 0x0100,
0x014e, 0x017b, 0x01a7, 0x01ca, 0x01f7, 0x00fd, 0x00ff, 0x0101,
0x014f, 0x01a2, 0x01c9, 0x01f6, 0x01fc, 0x00fe, 0x0100, 0x0002,
0x0176, 0x01c4, 0x01f5, 0x01fb, 0x01fd, 0x00ff, 0x0001, 0x0003,
0x0198, 0x01f0, 0x01fa, 0x01fc, 0x01fe, 0x0000, 0x0002, 0x0004,
0x01c4, 0x01f5, 0x01fb, 0x01fd, 0x00ff, 0x0001, 0x0003, 0x000a,
0x01c9, 0x01f6, 0x01fc, 0x00fe, 0x0100, 0x0002, 0x0009, 0x0035,
0x01ca, 0x01f7, 0x00fd, 0x00ff, 0x0101, 0x0008, 0x0034, 0x0057,
0x01cb, 0x00f8, 0x00fe, 0x0100, 0x0107, 0x0033, 0x0056, 0x007f,
0x00cc, 0x00f9, 0x00ff, 0x0106, 0x0132, 0x0055, 0x007e, 0x0080,
0x00cd, 0x00fa, 0x0105, 0x0131, 0x0154, 0x007d, 0x007f, 0x0081,
0x00ce, 0x0100, 0x0130, 0x0153, 0x017c, 0x007e, 0x0080, 0x0082,
0x00d4, 0x012b, 0x0152, 0x017b, 0x017d, 0x007f, 0x0081, 0x0083,
0x012b, 0x0152, 0x017b, 0x017d, 0x007f, 0x0081, 0x0083, 0x008a,
0x014d, 0x017a, 0x017c, 0x017e, 0x0080, 0x0082, 0x0084, 0x008b,
0x0175, 0x017b, 0x017d, 0x017f, 0x0081, 0x0083, 0x0085, 0x00b2,
0x0176, 0x017c, 0x017e, 0x0180, 0x0082, 0x0084, 0x00ac, 0x00d4,
0x0177, 0x017d, 0x017f, 0x0181, 0x0083, 0x00ab, 0x00ce, 0x0100,
0x0178, 0x017e, 0x0180, 0x0182, 0x00aa, 0x00cd, 0x00fa, 0x0105,
0x0179, 0x017f, 0x0181, 0x01a9, 0x00cc, 0x00f9, 0x00ff, 0x0106,
0x017a, 0x0180, 0x01a8, 0x01cb, 0x00f8, 0x00fe, 0x0100, 0x0107,
0x017b, 0x01a7, 0x01ca, 0x01f7, 0x00fd, 0x00ff, 0x0101, 0x0008,
0x01a2, 0x01c9, 0x01f6, 0x01fc, 0x00fe, 0x0100, 0x0002, 0x0009,
0x01c4, 0x01f5, 0x01fb, 0x01fd, 0x00ff, 0x0001, 0x0003, 0x000a,
0x01f0, 0x01fa, 0x01fc, 0x01fe, 0x0000, 0x0002, 0x0004, 0x0010,
0x01f5, 0x01fb, 0x01fd, 0x00ff, 0x0001, 0x0003, 0x000a, 0x003b,
0x01f6, 0x01fc, 0x00fe, 0x0100, 0x0002, 0x0009, 0x0035, 0x005d,
0x01f7, 0x00fd, 0x00ff, 0x0101, 0x0008, 0x0034, 0x0057, 0x0085,
0x00f8, 0x00fe, 0x0100, 0x0107, 0x0033, 0x0056, 0x007f, 0x0086,
0x00f9, 0x00ff, 0x0106, 0x0132, 0x0055, 0x007e, 0x0080, 0x0087,
0x00fa, 0x0105, 0x0131, 0x0154, 0x007d, 0x007f, 0x0081, 0x0088,
0x0100, 0x0130, 0x0153, 0x017c, 0x007e, 0x0080, 0x0082, 0x0089,
0x0130, 0x0153, 0x017c, 0x007e, 0x0080, 0x0082, 0x0089, 0x00b5,
0x0152, 0x017b, 0x017d, 0x007f, 0x0081, 0x0083, 0x008a, 0x00b6,
0x017a, 0x017c, 0x017e, 0x0080, 0x0082, 0x0084, 0x008b, 0x00dd,
0x017b, 0x017d, 0x017f, 0x0081, 0x0083, 0x0085, 0x00b2, 0x00ff,
0x017c, 0x017e, 0x0180, 0x0082, 0x0084, 0x00ac, 0x00d4, 0x012b,
0x017d, 0x017f, 0x0181, 0x0083, 0x00ab, 0x00ce, 0x0100, 0x0130,
0x017e, 0x0180, 0x0182, 0x00aa, 0x00cd, 0x00fa, 0x0105, 0x0131,
0x017f, 0x0181, 0x01a9, 0x00cc, 0x00f9, 0x00ff, 0x0106, 0x0132,
0x0180, 0x01a8, 0x01cb, 0x00f8, 0x00fe, 0x0100, 0x0107, 0x0033,
0x01a7, 0x01ca, 0x01f7, 0x00fd, 0x00ff, 0x0101, 0x0008, 0x0034,
0x01c9, 0x01f6, 0x01fc, 0x00fe, 0x0100, 0x0002, 0x0009, 0x0035,
0x01f5, 0x01fb, 0x01fd, 0x00ff, 0x0001, 0x0003, 0x000a, 0x003b,
0x01fa, 0x01fc, 0x01fe, 0x0000, 0x0002, 0x0004, 0x0010, 0x0066,
0x01fb, 0x01fd, 0x00ff, 0x0001, 0x0003, 0x000a, 0x003b, 0x0088,
0x01fc, 0x00fe, 0x0100, 0x0002, 0x0009, 0x0035, 0x005d, 0x00b0,
0x00fd, 0x00ff, 0x0101, 0x0008, 0x0034, 0x0057, 0x0085, 0x00b1,
0x00fe, 0x0100, 0x0107, 0x0033, 0x0056, 0x007f, 0x0086, 0x00b2,
0x00ff, 0x0106, 0x0132, 0x0055, 0x007e, 0x0080, 0x0087, 0x00b3,
0x0105, 0x0131, 0x0154, 0x007d, 0x007f, 0x0081, 0x0088, 0x00b4,
0x0131, 0x0154, 0x007d, 0x007f, 0x0081, 0x0088, 0x00b4, 0x00d7,
0x0153, 0x017c, 0x007e, 0x0080, 0x0082, 0x0089, 0x00b5, 0x00d8,
0x017b, 0x017d, 0x007f, 0x0081, 0x0083, 0x008a, 0x00b6, 0x00ff,
0x017c, 0x017e, 0x0080, 0x0082, 0x0084, 0x008b, 0x00dd, 0x0121,
0x017d, 0x017f, 0x0081, 0x0083, 0x0085, 0x00b2, 0x00ff, 0x014d,
0x017e, 0x0180, 0x0082, 0x0084, 0x00ac, 0x00d4, 0x012b, 0x0152,
0x017f, 0x0181, 0x0083, 0x00ab, 0x00ce, 0x0100, 0x0130, 0x0153,
0x0180, 0x0182, 0x00aa, 0x00cd, 0x00fa, 0x0105, 0x0131, 0x0154,
0x0181, 0x01a9, 0x00cc, 0x00f9, 0x00ff, 0x0106, 0x0132, 0x0055,
0x01a8, 0x01cb, 0x00f8, 0x00fe, 0x0100, 0x0107, 0x0033, 0x0056,
0x01ca, 0x01f7, 0x00fd, 0x00ff, 0x0101, 0x0008, 0x0034, 0x0057,
0x01f6, 0x01fc, 0x00fe, 0x0100, 0x0002, 0x0009, 0x0035, 0x005d,
0x01fb, 0x01fd, 0x00ff, 0x0001, 0x0003, 0x000a, 0x003b, 0x0088,
0x01fc, 0x01fe, 0x0000, 0x0002, 0x0004, 0x0010, 0x0066, 0x00aa,
0x01fd, 0x00ff, 0x0001, 0x0003, 0x000a, 0x003b, 0x0088, 0x00d2,
0x00fe, 0x0100, 0x0002, 0x0009, 0x0035, 0x005d, 0x00b0, 0x00d3,
0x00ff, 0x0101, 0x0008, 0x0034, 0x0057, 0x0085, 0x00b1, 0x00d4,
0x0100, 0x0107, 0x0033, 0x0056, 0x007f, 0x0086, 0x00b2, 0x00d5,
0x0106, 0x0132, 0x0055, 0x007e, 0x0080, 0x0087, 0x00b3, 0x00d6,
0x0132, 0x0055, 0x007e, 0x0080, 0x0087, 0x00b3, 0x00d6, 0x00ff,
0x0154, 0x007d, 0x007f, 0x0081, 0x0088, 0x00b4, 0x00d7, 0x0100,
0x017c, 0x007e, 0x0080, 0x0082, 0x0089, 0x00b5, 0x00d8, 0x0127,
0x017d, 0x007f, 0x0081, 0x0083, 0x008a, 0x00b6, 0x00ff, 0x0149,
0x017e, 0x0080, 0x0082, 0x0084, 0x008b, 0x00dd, 0x0121, 0x0175,
0x017f, 0x0081, 0x0083, 0x0085, 0x00b2, 0x00ff, 0x014d, 0x017a,
0x0180, 0x0082, 0x0084, 0x00ac, 0x00d4, 0x012b, 0x0152, 0x017b,
0x0181, 0x0083, 0x00ab, 0x00ce, 0x0100, 0x0130, 0x0153, 0x017c,
0x0182, 0x00aa, 0x00cd, 0x00fa, 0x0105, 0x0131, 0x0154, 0x007d,
0x01a9, 0x00cc, 0x00f9, 0x00ff, 0x0106, 0x0132, 0x0055, 0x007e,
0x01cb, 0x00f8, 0x00fe, 0x0100, 0x0107, 0x0033, 0x0056, 0x007f,
0x01f7, 0x00fd, 0x00ff, 0x0101, 0x0008, 0x0034, 0x0057, 0x0085,
0x01fc, 0x00fe, 0x0100, 0x0002, 0x0009, 0x0035, 0x005d, 0x00b0,
0x01fd, 0x00ff, 0x0001, 0x0003, 0x000a, 0x003b, 0x0088, 0x00d2,
0x01fe, 0x0000, 0x0002, 0x0004, 0x0010, 0x0066, 0x00aa, 0x00fa,
0x00ff, 0x0001, 0x0003, 0x000a, 0x003b, 0x0088, 0x00d2, 0x00fb,
0x0100, 0x0002, 0x0009, 0x0035, 0x005d, 0x00b0, 0x00d3, 0x00fc,
0x0101, 0x0008, 0x0034, 0x0057, 0x0085, 0x00b1, 0x00d4, 0x00fd,
0x0107, 0x0033, 0x0056, 0x007f, 0x0086, 0x00b2, 0x00d5, 0x00fe,
0x0033, 0x0056, 0x007f, 0x0086, 0x00b2, 0x00d5, 0x00fe, 0x0100,
0x0055, 0x007e, 0x0080, 0x0087, 0x00b3, 0x00d6, 0x00ff, 0x0101,
0x007d, 0x007f, 0x0081, 0x0088, 0x00b4, 0x00d7, 0x0100, 0x0128,
0x007e, 0x0080, 0x0082, 0x0089, 0x00b5, 0x00d8, 0x0127, 0x014a,
0x007f, 0x0081, 0x0083, 0x008a, 0x00b6, 0x00ff, 0x0149, 0x0176,
0x0080, 0x0082, 0x0084, 0x008b, 0x00dd, 0x0121, 0x0175, 0x017b,
0x0081, 0x0083, 0x0085, 0x00b2, 0x00ff, 0x014d, 0x017a, 0x017c,
0x0082, 0x0084, 0x00ac, 0x00d4, 0x012b, 0x0152, 0x017b, 0x017d,
0x0083, 0x00ab, 0x00ce, 0x0100, 0x0130, 0x0153, 0x017c, 0x007e,
0x00aa, 0x00cd, 0x00fa, 0x0105, 0x0131, 0x0154, 0x007d, 0x007f,
0x00cc, 0x00f9, 0x00ff, 0x0106, 0x0132, 0x0055, 0x007e, 0x0080,
0x00f8, 0x00fe, 0x0100, 0x0107, 0x0033, 0x0056, 0x007f, 0x0086,
0x00fd, 0x00ff, 0x0101, 0x0008, 0x0034, 0x0057, 0x0085, 0x00b1,
0x00fe, 0x0100, 0x0002, 0x0009, 0x0035, 0x005d, 0x00b0, 0x00d3,
0x00ff, 0x0001, 0x0003, 0x000a, 0x003b, 0x0088, 0x00d2, 0x00fb,
0x0000, 0x0002, 0x0004, 0x0010, 0x0066, 0x00aa, 0x00fa, 0x00fc,
0x0001, 0x0003, 0x000a, 0x003b, 0x0088, 0x00d2, 0x00fb, 0x00fd,
0x0002, 0x0009, 0x0035, 0x005d, 0x00b0, 0x00d3, 0x00fc, 0x00fe,
0x0008, 0x0034, 0x0057, 0x0085, 0x00b1, 0x00d4, 0x00fd, 0x00ff,
0x0034, 0x0057, 0x0085, 0x00b1, 0x00d4, 0x00fd, 0x00ff, 0x0101,
0x0056, 0x007f, 0x0086, 0x00b2, 0x00d5, 0x00fe, 0x0100, 0x0102,
0x007e, 0x0080, 0x0087, 0x00b3, 0x00d6, 0x00ff, 0x0101, 0x0129,
0x007f, 0x0081, 0x0088, 0x00b4, 0x00d7, 0x0100, 0x0128, 0x014b,
0x0080, 0x0082, 0x0089, 0x00b5, 0x00d8, 0x0127, 0x014a, 0x0177,
0x0081, 0x0083, 0x008a, 0x00b6, 0x00ff, 0x0149, 0x0176, 0x017c,
0x0082, 0x0084, 0x008b, 0x00dd, 0x0121, 0x0175, 0x017b, 0x017d,
0x0083, 0x0085, 0x00b2, 0x00ff, 0x014d, 0x017a, 0x017c, 0x017e,
0x0084, 0x00ac, 0x00d4, 0x012b, 0x0152, 0x017b, 0x017d, 0x007f,
0x00ab, 0x00ce, 0x0100, 0x0130, 0x0153, 0x017c, 0x007e, 0x0080,
0x00cd, 0x00fa, 0x0105, 0x0131, 0x0154, 0x007d, 0x007f, 0x0081,
0x00f9, 0x00ff, 0x0106, 0x0132, 0x0055, 0x007e, 0x0080, 0x0087,
0x00fe, 0x0100, 0x0107, 0x0033, 0x0056, 0x007f, 0x0086, 0x00b2,
0x00ff, 0x0101, 0x0008, 0x0034, 0x0057, 0x0085, 0x00b1, 0x00d4,
0x0100, 0x0002, 0x0009, 0x0035, 0x005d, 0x00b0, 0x00d3, 0x00fc,
0x0001, 0x0003, 0x000a, 0x003b, 0x0088, 0x00d2, 0x00fb, 0x00fd,
0x0002, 0x0004, 0x0010, 0x0066, 0x00aa, 0x00fa, 0x00fc, 0x00fe,
0x0003, 0x000a, 0x003b, 0x0088, 0x00d2, 0x00fb, 0x00fd, 0x00ff,
0x0009, 0x0035, 0x005d, 0x00b0, 0x00d3, 0x00fc, 0x00fe, 0x0100,
0x0035, 0x005d, 0x00b0, 0x00d3, 0x00fc, 0x00fe, 0x0100, 0x0102,
0x0057, 0x0085, 0x00b1, 0x00d4, 0x00fd, 0x00ff, 0x0101, 0x0103,
0x007f, 0x0086, 0x00b2, 0x00d5, 0x00fe, 0x0100, 0x0102, 0x012a,
0x0080, 0x0087, 0x00b3, 0x00d6, 0x00ff, 0x0101, 0x0129, 0x014c,
0x0081, 0x0088, 0x00b4, 0x00d7, 0x0100, 0x0128, 0x014b, 0x0178,
0x0082, 0x0089, 0x00b5, 0x00d8, 0x0127, 0x014a, 0x0177, 0x017d,
0x0083, 0x008a, 0x00b6, 0x00ff, 0x0149, 0x0176, 0x017c, 0x017e,
0x0084, 0x008b, 0x00dd, 0x0121, 0x0175, 0x017b, 0x017d, 0x017f,
0x0085, 0x00b2, 0x00ff, 0x014d, 0x017a, 0x017c, 0x017e, 0x0080,
0x00ac, 0x00d4, 0x012b, 0x0152, 0x017b, 0x017d, 0x007f, 0x0081,
0x00ce, 0x0100, 0x0130, 0x0153, 0x017c, 0x007e, 0x0080, 0x0082,
0x00fa, 0x0105, 0x0131, 0x0154, 0x007d, 0x007f, 0x0081, 0x0088,
0x00ff, 0x0106, 0x0132, 0x0055, 0x007e, 0x0080, 0x0087, 0x00b3,
0x0100, 0x0107, 0x0033, 0x0056, 0x007f, 0x0086, 0x00b2, 0x00d5,
0x0101, 0x0008, 0x0034, 0x0057, 0x0085, 0x00b1, 0x00d4, 0x00fd,
0x0002, 0x0009, 0x0035, 0x005d, 0x00b0, 0x00d3, 0x00fc, 0x00fe,
0x0003, 0x000a, 0x003b, 0x0088, 0x00d2, 0x00fb, 0x00fd, 0x00ff,
0x0004, 0x0010, 0x0066, 0x00aa, 0x00fa, 0x00fc, 0x00fe, 0x0100,
0x000a, 0x003b, 0x0088, 0x00d2, 0x00fb, 0x00fd, 0x00ff, 0x0101,
0x003b, 0x0088, 0x00d2, 0x00fb, 0x00fd, 0x00ff, 0x0101, 0x0103,
0x005d, 0x00b0, 0x00d3, 0x00fc, 0x00fe, 0x0100, 0x0102, 0x0104,
0x0085, 0x00b1, 0x00d4, 0x00fd, 0x00ff, 0x0101, 0x0103, 0x012b,
0x0086, 0x00b2, 0x00d5, 0x00fe, 0x0100, 0x0102, 0x012a, 0x014d,
0x0087, 0x00b3, 0x00d6, 0x00ff, 0x0101, 0x0129, 0x014c, 0x0179,
0x0088, 0x00b4, 0x00d7, 0x0100, 0x0128, 0x014b, 0x0178, 0x017e,
0x0089, 0x00b5, 0x00d8, 0x0127, 0x014a, 0x0177, 0x017d, 0x017f,
0x008a, 0x00b6, 0x00ff, 0x0149, 0x0176, 0x017c, 0x017e, 0x0180,
0x008b, 0x00dd, 0x0121, 0x0175, 0x017b, 0x017d, 0x017f, 0x0081,
0x00b2, 0x00ff, 0x014d, 0x017a, 0x017c, 0x017e, 0x0080, 0x0082,
0x00d4, 0x012b, 0x0152, 0x017b, 0x017d, 0x007f, 0x0081, 0x0083,
0x0100, 0x0130, 0x0153, 0x017c, 0x007e, 0x0080, 0x0082, 0x0089,
0x0105, 0x0131, 0x0154, 0x007d, 0x007f, 0x0081, 0x0088, 0x00b4,
0x0106, 0x0132, 0x0055, 0x007e, 0x0080, 0x0087, 0x00b3, 0x00d6,
0x0107, 0x0033, 0x0056, 0x007f, 0x0086, 0x00b2, 0x00d5, 0x00fe,
0x0008, 0x0034, 0x0057, 0x0085, 0x00b1, 0x00d4, 0x00fd, 0x00ff,
0x0009, 0x0035, 0x005d, 0x00b0, 0x00d3, 0x00fc, 0x00fe, 0x0100,
0x000a, 0x003b, 0x0088, 0x00d2, 0x00fb, 0x00fd, 0x00ff, 0x0101,
0x0010, 0x0066, 0x00aa, 0x00fa, 0x00fc, 0x00fe, 0x0100, 0x0102,
};
const unsigned kExpectedCount_NEON_uaddl_8H = 361;
#endif // VIXL_SIM_UADDL_8H_TRACE_A64_H_