// 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_UDOT_4S_TRACE_AARCH64_H_
#define VIXL_SIM_UDOT_4S_TRACE_AARCH64_H_

const uint32_t kExpected_NEON_udot_4S[] = {
  0x0000a16f, 0x00010207, 0x000246bf, 0x0002f42e,
  0x0000b678, 0x00010409, 0x00029930, 0x0001f828,
  0x0000bfc0, 0x00011957, 0x0002ccc2, 0x0000fd22,
  0x0000c143, 0x00013f41, 0x0002e85c, 0x0000031c,
  0x0000c2c6, 0x00017aba, 0x0001f559, 0x00000b11,
  0x0000c449, 0x0001b7c9, 0x00012c4a, 0x00003cd7,
  0x0000d880, 0x0001e1ae, 0x0000853b, 0x00008f4d,
  0x0000fccf, 0x0001fb05, 0x00000a04, 0x00010360,
  0x00013037, 0x00017d03, 0x000039a1, 0x00014da9,
  0x00015b38, 0x0000fe05, 0x00008154, 0x0001772e,
  0x00017389, 0x00008007, 0x0000e2cc, 0x00017a28,
  0x00017ef1, 0x00000593, 0x00013039, 0x00017d22,
  0x00010340, 0x00001f6e, 0x00015df3, 0x0001801c,
  0x000087c3, 0x000049dc, 0x000174d9, 0x00018316,
  0x00003446, 0x000087c8, 0x000177ca, 0x0001abea,
  0x0000053f, 0x0000c2c7, 0x00017abb, 0x0001f577,
  0x00001ddf, 0x0000e8a8, 0x00017dac, 0x00026992,
  0x000045cb, 0x0000fe03, 0x0001a56d, 0x0002bbcf,
  0x0000798e, 0x00010005, 0x0001e69e, 0x0002ed40,
  0x0000b678, 0x00010409, 0x00029930, 0x0001f828,
  0x0000d647, 0x0001060f, 0x0002fdbf, 0x0001fa26,
  0x0000e509, 0x00011b87, 0x00033d38, 0x0000fd24,
  0x0000e6d8, 0x000141bc, 0x00036061, 0x00000127,
  0x0000e8a7, 0x00017dab, 0x00026974, 0x0000034f,
  0x0000ea76, 0x0001bb34, 0x000174df, 0x00000a69,
  0x0000ff1f, 0x0001e56d, 0x0000ac4a, 0x00003b5a,
  0x00012401, 0x0001fef7, 0x00000aa6, 0x000087e3,
  0x00015df1, 0x00017ffd, 0x00003c6b, 0x0000d178,
  0x000193a1, 0x00010003, 0x00008d1f, 0x0000fa28,
  0x0001b75c, 0x00008109, 0x0000fbd7, 0x0000fc26,
  0x0001c966, 0x0000059e, 0x00015b3a, 0x0000fe24,
  0x00014d89, 0x00001fac, 0x000193a3, 0x00010022,
  0x0000d158, 0x00004a6e, 0x0001b0f4, 0x00010246,
  0x00005627, 0x000088d5, 0x0001b45f, 0x00010465,
  0x00000571, 0x0000c44a, 0x0001b7ca, 0x00012c68,
  0x00001e8c, 0x0000ea77, 0x0001bb35, 0x000174fd,
  0x000047d7, 0x0000fffd, 0x0001e42e, 0x0001c28e,
  0x00008368, 0x00010203, 0x00022d06, 0x0001f332,
  0x0000bfc0, 0x00011957, 0x0002ccc2, 0x0000fd22,
  0x0000e509, 0x00011b87, 0x00033d38, 0x0000fd24,
  0x0000fa0e, 0x000136f3, 0x000388df, 0x0000fe26,
  0x0000fc08, 0x0001627f, 0x0003b2c2, 0x00000032,
  0x0000fe02, 0x0001a56c, 0x0002bbb1, 0x0000018d,
  0x0000fffc, 0x0001e42d, 0x0001c270, 0x000002fb,
  0x000114f6, 0x00020ee0, 0x0000ce2f, 0x00000967,
  0x00013a4a, 0x000228c3, 0x00000ae4, 0x00003466,
  0x000174d7, 0x000182f7, 0x00003d40, 0x00005647,
  0x0001b0f2, 0x00010227, 0x00009017, 0x00007e22,
  0x0001da2f, 0x00008257, 0x000107d1, 0x00007f24,
  0x0001f320, 0x000006d9, 0x0001738b, 0x00008026,
  0x0001770e, 0x0000277c, 0x0001b75e, 0x00008128,
  0x0000fa08, 0x0000579e, 0x0001da31, 0x00008276,
  0x00007e02, 0x00009c70, 0x0001ddf0, 0x000083e0,
  0x0000057c, 0x0000d881, 0x0001e1af, 0x00008559,
  0x00001ef1, 0x0000ff20, 0x0001e56e, 0x0000ac68,
  0x000048b7, 0x000114f7, 0x00020ee1, 0x0000ce4d,
  0x000085ad, 0x00011727, 0x000258ec, 0x0000fa24,
  0x0000c143, 0x00013f41, 0x0002e85c, 0x0000031c,
  0x0000e6d8, 0x000141bc, 0x00036061, 0x00000127,
  0x0000fc08, 0x0001627f, 0x0003b2c2, 0x00000032,
  0x0000fe06, 0x00019882, 0x0003e450, 0x00000065,
  0x00010004, 0x0001e69d, 0x0002ed22, 0x000001ca,
  0x00010202, 0x00022d05, 0x0001f314, 0x00000336,
  0x00011726, 0x000258eb, 0x0000fa06, 0x000004e5,
  0x00013cc5, 0x00027348, 0x00000af3, 0x0000055f,
  0x000177c8, 0x0001abcb, 0x00003db1, 0x00000591,
  0x0001b45d, 0x00010446, 0x0000911f, 0x0000059c,
  0x0001ddee, 0x000083c1, 0x00010b02, 0x000005a7,
  0x0001f712, 0x00000838, 0x00017ef3, 0x000005b2,
  0x00017a08, 0x00002f7d, 0x0001c968, 0x000005bd,
  0x0000fc06, 0x00006ab7, 0x0001f322, 0x000006f8,
  0x00007f04, 0x0000ba38, 0x0001f714, 0x00000857,
  0x00000587, 0x0000fcd0, 0x0001fb06, 0x00000a22,
  0x00001f2f, 0x00012402, 0x0001fef8, 0x00000ac4,
  0x00004949, 0x00013a4b, 0x000228c4, 0x00000b02,
  0x000086ba, 0x00013cc6, 0x00027349, 0x00000b11,
  0x0000c2c6, 0x00017aba, 0x0001f559, 0x00000b11,
  0x0000e8a7, 0x00017dab, 0x00026974, 0x0000034f,
  0x0000fe02, 0x0001a56c, 0x0002bbb1, 0x0000018d,
  0x00010004, 0x0001e69d, 0x0002ed22, 0x000001ca,
  0x00010206, 0x000246be, 0x0002f410, 0x00000a8e,
  0x00010408, 0x0002992f, 0x0001f80a, 0x000012b9,
  0x00011956, 0x0002ccc1, 0x0000fd04, 0x00001c1d,
  0x00013f40, 0x0002e85b, 0x000002fe, 0x00001dff,
  0x00017ab9, 0x0001f558, 0x00000af3, 0x00001eac,
  0x0001b7c8, 0x00012c49, 0x00003cb9, 0x00001f11,
  0x0001e1ad, 0x0000853a, 0x00008f2f, 0x00001f4f,
  0x0001fb04, 0x00000a03, 0x00010342, 0x00001f8d,
  0x00017d02, 0x000039a0, 0x00014d8b, 0x00001fcb,
  0x0000fe04, 0x00008153, 0x00017710, 0x0000279b,
  0x00008006, 0x0000e2cb, 0x00017a0a, 0x00002f9c,
  0x00000592, 0x00013038, 0x00017d04, 0x000039bf,
  0x00001f6d, 0x00015df2, 0x00017ffe, 0x00003c89,
  0x000049db, 0x000174d8, 0x000182f8, 0x00003d5e,
  0x000087c7, 0x000177c9, 0x0001abcc, 0x00003dcf,
  0x0000c449, 0x0001b7c9, 0x00012c4a, 0x00003cd7,
  0x0000ea76, 0x0001bb34, 0x000174df, 0x00000a69,
  0x0000fffc, 0x0001e42d, 0x0001c270, 0x000002fb,
  0x00010202, 0x00022d05, 0x0001f314, 0x00000336,
  0x00010408, 0x0002992f, 0x0001f80a, 0x000012b9,
  0x0001060e, 0x0002fdbe, 0x0001fa08, 0x000026c6,
  0x00011b86, 0x00033d37, 0x0000fd06, 0x00003c38,
  0x000141bb, 0x00036060, 0x00000109, 0x000045eb,
  0x00017daa, 0x00026973, 0x00000331, 0x000047f7,
  0x0001bb33, 0x000174de, 0x00000a4b, 0x000048d7,
  0x0001e56c, 0x0000ac49, 0x00003b3c, 0x00004969,
  0x0001fef6, 0x00000aa5, 0x000087c5, 0x000049fb,
  0x00017ffc, 0x00003c6a, 0x0000d15a, 0x00004a8d,
  0x00010002, 0x00008d1e, 0x0000fa0a, 0x000057bd,
  0x00008108, 0x0000fbd6, 0x0000fc08, 0x00006ad6,
  0x0000059d, 0x00015b39, 0x0000fe06, 0x00008172,
  0x00001fab, 0x000193a2, 0x00010004, 0x00008d3d,
  0x00004a6d, 0x0001b0f3, 0x00010228, 0x00009035,
  0x000088d4, 0x0001b45e, 0x00010447, 0x0000913d,
  0x0000d880, 0x0001e1ae, 0x0000853b, 0x00008f4d,
  0x0000ff1f, 0x0001e56d, 0x0000ac4a, 0x00003b5a,
  0x000114f6, 0x00020ee0, 0x0000ce2f, 0x00000967,
  0x00011726, 0x000258eb, 0x0000fa06, 0x000004e5,
  0x00011956, 0x0002ccc1, 0x0000fd04, 0x00001c1d,
  0x00011b86, 0x00033d37, 0x0000fd06, 0x00003c38,
  0x000136f2, 0x000388de, 0x0000fe08, 0x000063cb,
  0x0001627e, 0x0003b2c1, 0x00000014, 0x000079ae,
  0x0001a56b, 0x0002bbb0, 0x0000016f, 0x00008388,
  0x0001e42c, 0x0001c26f, 0x000002dd, 0x000085cd,
  0x00020edf, 0x0000ce2e, 0x00000949, 0x000086da,
  0x000228c2, 0x00000ae3, 0x00003448, 0x000087e7,
  0x000182f6, 0x00003d3f, 0x00005629, 0x000088f4,
  0x00010226, 0x00009016, 0x00007e04, 0x00009c8f,
  0x00008256, 0x000107d0, 0x00007f06, 0x0000ba57,
  0x000006d8, 0x0001738a, 0x00008008, 0x0000e2ea,
  0x0000277b, 0x0001b75d, 0x0000810a, 0x0000fbf5,
  0x0000579d, 0x0001da30, 0x00008258, 0x000107ef,
  0x00009c6f, 0x0001ddef, 0x000083c2, 0x00010b20,
  0x0000fccf, 0x0001fb05, 0x00000a04, 0x00010360,
  0x00012401, 0x0001fef7, 0x00000aa6, 0x000087e3,
  0x00013a4a, 0x000228c3, 0x00000ae4, 0x00003466,
  0x00013cc5, 0x00027348, 0x00000af3, 0x0000055f,
  0x00013f40, 0x0002e85b, 0x000002fe, 0x00001dff,
  0x000141bb, 0x00036060, 0x00000109, 0x000045eb,
  0x0001627e, 0x0003b2c1, 0x00000014, 0x000079ae,
  0x00019881, 0x0003e44f, 0x00000047, 0x0000a18f,
  0x0001e69c, 0x0002ed21, 0x000001ac, 0x0000b698,
  0x00022d04, 0x0001f313, 0x00000318, 0x0000bfe0,
  0x000258ea, 0x0000fa05, 0x000004c7, 0x0000c163,
  0x00027347, 0x00000af2, 0x00000541, 0x0000c2e6,
  0x0001abca, 0x00003db0, 0x00000573, 0x0000c469,
  0x00010445, 0x0000911e, 0x0000057e, 0x0000d8a0,
  0x000083c0, 0x00010b01, 0x00000589, 0x0000fcef,
  0x00000837, 0x00017ef2, 0x00000594, 0x00013057,
  0x00002f7c, 0x0001c967, 0x0000059f, 0x00015b58,
  0x00006ab6, 0x0001f321, 0x000006da, 0x000173a9,
  0x0000ba37, 0x0001f713, 0x00000839, 0x00017f11,
  0x00013037, 0x00017d03, 0x000039a1, 0x00014da9,
  0x00015df1, 0x00017ffd, 0x00003c6b, 0x0000d178,
  0x000174d7, 0x000182f7, 0x00003d40, 0x00005647,
  0x000177c8, 0x0001abcb, 0x00003db1, 0x00000591,
  0x00017ab9, 0x0001f558, 0x00000af3, 0x00001eac,
  0x00017daa, 0x00026973, 0x00000331, 0x000047f7,
  0x0001a56b, 0x0002bbb0, 0x0000016f, 0x00008388,
  0x0001e69c, 0x0002ed21, 0x000001ac, 0x0000b698,
  0x000246bd, 0x0002f40f, 0x00000a70, 0x0000d667,
  0x0002992e, 0x0001f809, 0x0000129b, 0x0000e529,
  0x0002ccc0, 0x0000fd03, 0x00001bff, 0x0000e6f8,
  0x0002e85a, 0x000002fd, 0x00001de1, 0x0000e8c7,
  0x0001f557, 0x00000af2, 0x00001e8e, 0x0000ea96,
  0x00012c48, 0x00003cb8, 0x00001ef3, 0x0000ff3f,
  0x00008539, 0x00008f2e, 0x00001f31, 0x00012421,
  0x00000a02, 0x00010341, 0x00001f6f, 0x00015e11,
  0x0000399f, 0x00014d8a, 0x00001fad, 0x000193c1,
  0x00008152, 0x0001770f, 0x0000277d, 0x0001b77c,
  0x0000e2ca, 0x00017a09, 0x00002f7e, 0x0001c986,
  0x00015b38, 0x0000fe05, 0x00008154, 0x0001772e,
  0x000193a1, 0x00010003, 0x00008d1f, 0x0000fa28,
  0x0001b0f2, 0x00010227, 0x00009017, 0x00007e22,
  0x0001b45d, 0x00010446, 0x0000911f, 0x0000059c,
  0x0001b7c8, 0x00012c49, 0x00003cb9, 0x00001f11,
  0x0001bb33, 0x000174de, 0x00000a4b, 0x000048d7,
  0x0001e42c, 0x0001c26f, 0x000002dd, 0x000085cd,
  0x00022d04, 0x0001f313, 0x00000318, 0x0000bfe0,
  0x0002992e, 0x0001f809, 0x0000129b, 0x0000e529,
  0x0002fdbd, 0x0001fa07, 0x000026a8, 0x0000fa2e,
  0x00033d36, 0x0000fd05, 0x00003c1a, 0x0000fc28,
  0x0003605f, 0x00000108, 0x000045cd, 0x0000fe22,
  0x00026972, 0x00000330, 0x000047d9, 0x0001001c,
  0x000174dd, 0x00000a4a, 0x000048b9, 0x00011516,
  0x0000ac48, 0x00003b3b, 0x0000494b, 0x00013a6a,
  0x00000aa4, 0x000087c4, 0x000049dd, 0x000174f7,
  0x00003c69, 0x0000d159, 0x00004a6f, 0x0001b112,
  0x00008d1d, 0x0000fa09, 0x0000579f, 0x0001da4f,
  0x0000fbd5, 0x0000fc07, 0x00006ab8, 0x0001f340,
  0x00017389, 0x00008007, 0x0000e2cc, 0x00017a28,
  0x0001b75c, 0x00008109, 0x0000fbd7, 0x0000fc26,
  0x0001da2f, 0x00008257, 0x000107d1, 0x00007f24,
  0x0001ddee, 0x000083c1, 0x00010b02, 0x000005a7,
  0x0001e1ad, 0x0000853a, 0x00008f2f, 0x00001f4f,
  0x0001e56c, 0x0000ac49, 0x00003b3c, 0x00004969,
  0x00020edf, 0x0000ce2e, 0x00000949, 0x000086da,
  0x000258ea, 0x0000fa05, 0x000004c7, 0x0000c163,
  0x0002ccc0, 0x0000fd03, 0x00001bff, 0x0000e6f8,
  0x00033d36, 0x0000fd05, 0x00003c1a, 0x0000fc28,
  0x000388dd, 0x0000fe07, 0x000063ad, 0x0000fe26,
  0x0003b2c0, 0x00000013, 0x00007990, 0x00010024,
  0x0002bbaf, 0x0000016e, 0x0000836a, 0x00010222,
  0x0001c26e, 0x000002dc, 0x000085af, 0x00011746,
  0x0000ce2d, 0x00000948, 0x000086bc, 0x00013ce5,
  0x00000ae2, 0x00003447, 0x000087c9, 0x000177e8,
  0x00003d3e, 0x00005628, 0x000088d6, 0x0001b47d,
  0x00009015, 0x00007e03, 0x00009c71, 0x0001de0e,
  0x000107cf, 0x00007f05, 0x0000ba39, 0x0001f732,
  0x00017ef1, 0x00000593, 0x00013039, 0x00017d22,
  0x0001c966, 0x0000059e, 0x00015b3a, 0x0000fe24,
  0x0001f320, 0x000006d9, 0x0001738b, 0x00008026,
  0x0001f712, 0x00000838, 0x00017ef3, 0x000005b2,
  0x0001fb04, 0x00000a03, 0x00010342, 0x00001f8d,
  0x0001fef6, 0x00000aa5, 0x000087c5, 0x000049fb,
  0x000228c2, 0x00000ae3, 0x00003448, 0x000087e7,
  0x00027347, 0x00000af2, 0x00000541, 0x0000c2e6,
  0x0002e85a, 0x000002fd, 0x00001de1, 0x0000e8c7,
  0x0003605f, 0x00000108, 0x000045cd, 0x0000fe22,
  0x0003b2c0, 0x00000013, 0x00007990, 0x00010024,
  0x0003e44e, 0x00000046, 0x0000a171, 0x00010226,
  0x0002ed20, 0x000001ab, 0x0000b67a, 0x00010428,
  0x0001f312, 0x00000317, 0x0000bfc2, 0x00011976,
  0x0000fa04, 0x000004c6, 0x0000c145, 0x00013f60,
  0x00000af1, 0x00000540, 0x0000c2c8, 0x00017ad9,
  0x00003daf, 0x00000572, 0x0000c44b, 0x0001b7e8,
  0x0000911d, 0x0000057d, 0x0000d882, 0x0001e1cd,
  0x00010b00, 0x00000588, 0x0000fcd1, 0x0001fb24,
  0x00010340, 0x00001f6e, 0x00015df3, 0x0001801c,
  0x00014d89, 0x00001fac, 0x000193a3, 0x00010022,
  0x0001770e, 0x0000277c, 0x0001b75e, 0x00008128,
  0x00017a08, 0x00002f7d, 0x0001c968, 0x000005bd,
  0x00017d02, 0x000039a0, 0x00014d8b, 0x00001fcb,
  0x00017ffc, 0x00003c6a, 0x0000d15a, 0x00004a8d,
  0x000182f6, 0x00003d3f, 0x00005629, 0x000088f4,
  0x0001abca, 0x00003db0, 0x00000573, 0x0000c469,
  0x0001f557, 0x00000af2, 0x00001e8e, 0x0000ea96,
  0x00026972, 0x00000330, 0x000047d9, 0x0001001c,
  0x0002bbaf, 0x0000016e, 0x0000836a, 0x00010222,
  0x0002ed20, 0x000001ab, 0x0000b67a, 0x00010428,
  0x0002f40e, 0x00000a6f, 0x0000d649, 0x0001062e,
  0x0001f808, 0x0000129a, 0x0000e50b, 0x00011ba6,
  0x0000fd02, 0x00001bfe, 0x0000e6da, 0x000141db,
  0x000002fc, 0x00001de0, 0x0000e8a9, 0x00017dca,
  0x00000af1, 0x00001e8d, 0x0000ea78, 0x0001bb53,
  0x00003cb7, 0x00001ef2, 0x0000ff21, 0x0001e58c,
  0x00008f2d, 0x00001f30, 0x00012403, 0x0001ff16,
  0x000087c3, 0x000049dc, 0x000174d9, 0x00018316,
  0x0000d158, 0x00004a6e, 0x0001b0f4, 0x00010246,
  0x0000fa08, 0x0000579e, 0x0001da31, 0x00008276,
  0x0000fc06, 0x00006ab7, 0x0001f322, 0x000006f8,
  0x0000fe04, 0x00008153, 0x00017710, 0x0000279b,
  0x00010002, 0x00008d1e, 0x0000fa0a, 0x000057bd,
  0x00010226, 0x00009016, 0x00007e04, 0x00009c8f,
  0x00010445, 0x0000911e, 0x0000057e, 0x0000d8a0,
  0x00012c48, 0x00003cb8, 0x00001ef3, 0x0000ff3f,
  0x000174dd, 0x00000a4a, 0x000048b9, 0x00011516,
  0x0001c26e, 0x000002dc, 0x000085af, 0x00011746,
  0x0001f312, 0x00000317, 0x0000bfc2, 0x00011976,
  0x0001f808, 0x0000129a, 0x0000e50b, 0x00011ba6,
  0x0001fa06, 0x000026a7, 0x0000fa10, 0x00013712,
  0x0000fd04, 0x00003c19, 0x0000fc0a, 0x0001629e,
  0x00000107, 0x000045cc, 0x0000fe04, 0x0001a58b,
  0x0000032f, 0x000047d8, 0x0000fffe, 0x0001e44c,
  0x00000a49, 0x000048b8, 0x000114f8, 0x00020eff,
  0x00003b3a, 0x0000494a, 0x00013a4c, 0x000228e2,
  0x00003446, 0x000087c8, 0x000177ca, 0x0001abea,
  0x00005627, 0x000088d5, 0x0001b45f, 0x00010465,
  0x00007e02, 0x00009c70, 0x0001ddf0, 0x000083e0,
  0x00007f04, 0x0000ba38, 0x0001f714, 0x00000857,
  0x00008006, 0x0000e2cb, 0x00017a0a, 0x00002f9c,
  0x00008108, 0x0000fbd6, 0x0000fc08, 0x00006ad6,
  0x00008256, 0x000107d0, 0x00007f06, 0x0000ba57,
  0x000083c0, 0x00010b01, 0x00000589, 0x0000fcef,
  0x00008539, 0x00008f2e, 0x00001f31, 0x00012421,
  0x0000ac48, 0x00003b3b, 0x0000494b, 0x00013a6a,
  0x0000ce2d, 0x00000948, 0x000086bc, 0x00013ce5,
  0x0000fa04, 0x000004c6, 0x0000c145, 0x00013f60,
  0x0000fd02, 0x00001bfe, 0x0000e6da, 0x000141db,
  0x0000fd04, 0x00003c19, 0x0000fc0a, 0x0001629e,
  0x0000fe06, 0x000063ac, 0x0000fe08, 0x000198a1,
  0x00000012, 0x0000798f, 0x00010006, 0x0001e6bc,
  0x0000016d, 0x00008369, 0x00010204, 0x00022d24,
  0x000002db, 0x000085ae, 0x00011728, 0x0002590a,
  0x00000947, 0x000086bb, 0x00013cc7, 0x00027367,
  0x0000053f, 0x0000c2c7, 0x00017abb, 0x0001f577,
  0x00000571, 0x0000c44a, 0x0001b7ca, 0x00012c68,
  0x0000057c, 0x0000d881, 0x0001e1af, 0x00008559,
  0x00000587, 0x0000fcd0, 0x0001fb06, 0x00000a22,
  0x00000592, 0x00013038, 0x00017d04, 0x000039bf,
  0x0000059d, 0x00015b39, 0x0000fe06, 0x00008172,
  0x000006d8, 0x0001738a, 0x00008008, 0x0000e2ea,
  0x00000837, 0x00017ef2, 0x00000594, 0x00013057,
  0x00000a02, 0x00010341, 0x00001f6f, 0x00015e11,
  0x00000aa4, 0x000087c4, 0x000049dd, 0x000174f7,
  0x00000ae2, 0x00003447, 0x000087c9, 0x000177e8,
  0x00000af1, 0x00000540, 0x0000c2c8, 0x00017ad9,
  0x000002fc, 0x00001de0, 0x0000e8a9, 0x00017dca,
  0x00000107, 0x000045cc, 0x0000fe04, 0x0001a58b,
  0x00000012, 0x0000798f, 0x00010006, 0x0001e6bc,
  0x00000045, 0x0000a170, 0x00010208, 0x000246dd,
  0x000001aa, 0x0000b679, 0x0001040a, 0x0002994e,
  0x00000316, 0x0000bfc1, 0x00011958, 0x0002cce0,
  0x000004c5, 0x0000c144, 0x00013f42, 0x0002e87a,
  0x00001ddf, 0x0000e8a8, 0x00017dac, 0x00026992,
  0x00001e8c, 0x0000ea77, 0x0001bb35, 0x000174fd,
  0x00001ef1, 0x0000ff20, 0x0001e56e, 0x0000ac68,
  0x00001f2f, 0x00012402, 0x0001fef8, 0x00000ac4,
  0x00001f6d, 0x00015df2, 0x00017ffe, 0x00003c89,
  0x00001fab, 0x000193a2, 0x00010004, 0x00008d3d,
  0x0000277b, 0x0001b75d, 0x0000810a, 0x0000fbf5,
  0x00002f7c, 0x0001c967, 0x0000059f, 0x00015b58,
  0x0000399f, 0x00014d8a, 0x00001fad, 0x000193c1,
  0x00003c69, 0x0000d159, 0x00004a6f, 0x0001b112,
  0x00003d3e, 0x00005628, 0x000088d6, 0x0001b47d,
  0x00003daf, 0x00000572, 0x0000c44b, 0x0001b7e8,
  0x00000af1, 0x00001e8d, 0x0000ea78, 0x0001bb53,
  0x0000032f, 0x000047d8, 0x0000fffe, 0x0001e44c,
  0x0000016d, 0x00008369, 0x00010204, 0x00022d24,
  0x000001aa, 0x0000b679, 0x0001040a, 0x0002994e,
  0x00000a6e, 0x0000d648, 0x00010610, 0x0002fddd,
  0x00001299, 0x0000e50a, 0x00011b88, 0x00033d56,
  0x00001bfd, 0x0000e6d9, 0x000141bd, 0x0003607f,
  0x000045cb, 0x0000fe03, 0x0001a56d, 0x0002bbcf,
  0x000047d7, 0x0000fffd, 0x0001e42e, 0x0001c28e,
  0x000048b7, 0x000114f7, 0x00020ee1, 0x0000ce4d,
  0x00004949, 0x00013a4b, 0x000228c4, 0x00000b02,
  0x000049db, 0x000174d8, 0x000182f8, 0x00003d5e,
  0x00004a6d, 0x0001b0f3, 0x00010228, 0x00009035,
  0x0000579d, 0x0001da30, 0x00008258, 0x000107ef,
  0x00006ab6, 0x0001f321, 0x000006da, 0x000173a9,
  0x00008152, 0x0001770f, 0x0000277d, 0x0001b77c,
  0x00008d1d, 0x0000fa09, 0x0000579f, 0x0001da4f,
  0x00009015, 0x00007e03, 0x00009c71, 0x0001de0e,
  0x0000911d, 0x0000057d, 0x0000d882, 0x0001e1cd,
  0x00003cb7, 0x00001ef2, 0x0000ff21, 0x0001e58c,
  0x00000a49, 0x000048b8, 0x000114f8, 0x00020eff,
  0x000002db, 0x000085ae, 0x00011728, 0x0002590a,
  0x00000316, 0x0000bfc1, 0x00011958, 0x0002cce0,
  0x00001299, 0x0000e50a, 0x00011b88, 0x00033d56,
  0x000026a6, 0x0000fa0f, 0x000136f4, 0x000388fd,
  0x00003c18, 0x0000fc09, 0x00016280, 0x0003b2e0,
  0x0000798e, 0x00010005, 0x0001e69e, 0x0002ed40,
  0x00008368, 0x00010203, 0x00022d06, 0x0001f332,
  0x000085ad, 0x00011727, 0x000258ec, 0x0000fa24,
  0x000086ba, 0x00013cc6, 0x00027349, 0x00000b11,
  0x000087c7, 0x000177c9, 0x0001abcc, 0x00003dcf,
  0x000088d4, 0x0001b45e, 0x00010447, 0x0000913d,
  0x00009c6f, 0x0001ddef, 0x000083c2, 0x00010b20,
  0x0000ba37, 0x0001f713, 0x00000839, 0x00017f11,
  0x0000e2ca, 0x00017a09, 0x00002f7e, 0x0001c986,
  0x0000fbd5, 0x0000fc07, 0x00006ab8, 0x0001f340,
  0x000107cf, 0x00007f05, 0x0000ba39, 0x0001f732,
  0x00010b00, 0x00000588, 0x0000fcd1, 0x0001fb24,
  0x00008f2d, 0x00001f30, 0x00012403, 0x0001ff16,
  0x00003b3a, 0x0000494a, 0x00013a4c, 0x000228e2,
  0x00000947, 0x000086bb, 0x00013cc7, 0x00027367,
  0x000004c5, 0x0000c144, 0x00013f42, 0x0002e87a,
  0x00001bfd, 0x0000e6d9, 0x000141bd, 0x0003607f,
  0x00003c18, 0x0000fc09, 0x00016280, 0x0003b2e0,
  0x000063ab, 0x0000fe07, 0x00019883, 0x0003e46e,
};
const unsigned kExpectedCount_NEON_udot_4S = 361;

#endif  // VIXL_SIM_UDOT_4S_TRACE_AARCH64_H_