// 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_SQDMULL2_4S_TRACE_AARCH64_H_
#define VIXL_SIM_SQDMULL2_4S_TRACE_AARCH64_H_
const uint32_t kExpected_NEON_sqdmull2_4S[] = {
0x7ffa0012, 0x7ffc0008, 0x7ffe0002, 0x00000000,
0x7ffb000c, 0x7ffd0004, 0x00000000, 0x00000000,
0x7ffc0006, 0x00000000, 0x0000fffe, 0x00000000,
0x00000000, 0x0000fffc, 0x0001fffc, 0x00000000,
0x0000fffa, 0x0001fff8, 0x000fffe0, 0x00000000,
0x0001fff4, 0x000fffc0, 0x007cff06, 0x00000000,
0x000fffa0, 0x007cfe0c, 0x007dff04, 0x00000000,
0x007cfd12, 0x007dfe08, 0x007eff02, 0x00000000,
0x007dfd0c, 0x007efe04, 0x3332999a, 0x00000000,
0x007efd06, 0x33323334, 0x55545556, 0x00000000,
0x3331ccce, 0x5553aaac, 0x7ffc0006, 0x00000000,
0x55530002, 0x7ffb000c, 0x7ffd0004, 0x00000000,
0x7ffa0012, 0x7ffc0008, 0x7ffe0002, 0x00000000,
0x7ffb000c, 0x7ffd0004, 0x80010000, 0x00000000,
0x7ffc0006, 0x80020000, 0x8001fffe, 0x00000000,
0x80030000, 0x8002fffc, 0xaaaaaaac, 0x00000000,
0x8003fffa, 0xaaab5558, 0xcccc6668, 0x00000000,
0xaaac0004, 0xccccccd0, 0xff800100, 0x00000000,
0xcccd3338, 0xff800200, 0xff8100fe, 0x00000000,
0xff800300, 0xff8101fc, 0xff8200fc, 0x00000000,
0xff8102fa, 0xff8201f8, 0xff8300fa, 0x00000000,
0xff8202f4, 0xff8301f4, 0xfff00020, 0x00000000,
0xff8302ee, 0xfff00040, 0xfffd0006, 0x00000000,
0xfff00060, 0xfffd000c, 0xfffe0004, 0x00000000,
0xfffd000c, 0xfffe0004, 0x00000000, 0x00000000,
0xfffe0008, 0xffff0002, 0x00000000, 0x00000002,
0xffff0004, 0x00000000, 0x00000000, 0x00000004,
0x00000000, 0x0000fffe, 0x00000000, 0x00000020,
0x0000fffc, 0x0001fffc, 0x00000000, 0x000000fa,
0x0001fff8, 0x000fffe0, 0x00000000, 0x000000fc,
0x000fffc0, 0x007cff06, 0x00000000, 0x000000fe,
0x007cfe0c, 0x007dff04, 0x00000000, 0x00006666,
0x007dfe08, 0x007eff02, 0x00000000, 0x0000aaaa,
0x007efe04, 0x3332999a, 0x00000000, 0x0000fffa,
0x33323334, 0x55545556, 0x00000000, 0x0000fffc,
0x5553aaac, 0x7ffc0006, 0x00000000, 0x0000fffe,
0x7ffb000c, 0x7ffd0004, 0x00000000, 0xffff0000,
0x7ffc0008, 0x7ffe0002, 0x00000000, 0xffff0002,
0x7ffd0004, 0x80010000, 0x00000000, 0xffff5554,
0x80020000, 0x8001fffe, 0x00000000, 0xffff9998,
0x8002fffc, 0xaaaaaaac, 0x00000000, 0xffffff00,
0xaaab5558, 0xcccc6668, 0x00000000, 0xffffff02,
0xccccccd0, 0xff800100, 0x00000000, 0xffffff04,
0xff800200, 0xff8100fe, 0x00000000, 0xffffff06,
0xff8101fc, 0xff8200fc, 0x00000000, 0xffffffe0,
0xff8201f8, 0xff8300fa, 0x00000000, 0xfffffffa,
0xff8301f4, 0xfff00020, 0x00000000, 0xfffffffc,
0xfff00040, 0xfffd0006, 0x00000000, 0xfffffffe,
0xfffd0006, 0x00000000, 0xfffffffe, 0x00000000,
0xfffe0004, 0x00000000, 0x00000000, 0x00000004,
0xffff0002, 0x00000000, 0x00000002, 0x00000008,
0x00000000, 0x00000000, 0x00000004, 0x00000040,
0x0000fffe, 0x00000000, 0x00000020, 0x000001f4,
0x0001fffc, 0x00000000, 0x000000fa, 0x000001f8,
0x000fffe0, 0x00000000, 0x000000fc, 0x000001fc,
0x007cff06, 0x00000000, 0x000000fe, 0x0000cccc,
0x007dff04, 0x00000000, 0x00006666, 0x00015554,
0x007eff02, 0x00000000, 0x0000aaaa, 0x0001fff4,
0x3332999a, 0x00000000, 0x0000fffa, 0x0001fff8,
0x55545556, 0x00000000, 0x0000fffc, 0x0001fffc,
0x7ffc0006, 0x00000000, 0x0000fffe, 0xfffe0000,
0x7ffd0004, 0x00000000, 0xffff0000, 0xfffe0004,
0x7ffe0002, 0x00000000, 0xffff0002, 0xfffeaaa8,
0x80010000, 0x00000000, 0xffff5554, 0xffff3330,
0x8001fffe, 0x00000000, 0xffff9998, 0xfffffe00,
0xaaaaaaac, 0x00000000, 0xffffff00, 0xfffffe04,
0xcccc6668, 0x00000000, 0xffffff02, 0xfffffe08,
0xff800100, 0x00000000, 0xffffff04, 0xfffffe0c,
0xff8100fe, 0x00000000, 0xffffff06, 0xffffffc0,
0xff8200fc, 0x00000000, 0xffffffe0, 0xfffffff4,
0xff8300fa, 0x00000000, 0xfffffffa, 0xfffffff8,
0xfff00020, 0x00000000, 0xfffffffc, 0xfffffffc,
0x00000000, 0xfffffffc, 0xfffffffc, 0x00000000,
0x00000000, 0xfffffffe, 0x00000000, 0x00000020,
0x00000000, 0x00000000, 0x00000004, 0x00000040,
0x00000000, 0x00000002, 0x00000008, 0x00000200,
0x00000000, 0x00000004, 0x00000040, 0x00000fa0,
0x00000000, 0x00000020, 0x000001f4, 0x00000fc0,
0x00000000, 0x000000fa, 0x000001f8, 0x00000fe0,
0x00000000, 0x000000fc, 0x000001fc, 0x00066660,
0x00000000, 0x000000fe, 0x0000cccc, 0x000aaaa0,
0x00000000, 0x00006666, 0x00015554, 0x000fffa0,
0x00000000, 0x0000aaaa, 0x0001fff4, 0x000fffc0,
0x00000000, 0x0000fffa, 0x0001fff8, 0x000fffe0,
0x00000000, 0x0000fffc, 0x0001fffc, 0xfff00000,
0x00000000, 0x0000fffe, 0xfffe0000, 0xfff00020,
0x00000000, 0xffff0000, 0xfffe0004, 0xfff55540,
0x00000000, 0xffff0002, 0xfffeaaa8, 0xfff99980,
0x00000000, 0xffff5554, 0xffff3330, 0xfffff000,
0x00000000, 0xffff9998, 0xfffffe00, 0xfffff020,
0x00000000, 0xffffff00, 0xfffffe04, 0xfffff040,
0x00000000, 0xffffff02, 0xfffffe08, 0xfffff060,
0x00000000, 0xffffff04, 0xfffffe0c, 0xfffffe00,
0x00000000, 0xffffff06, 0xffffffc0, 0xffffffa0,
0x00000000, 0xffffffe0, 0xfffffff4, 0xffffffc0,
0x00000000, 0xfffffffa, 0xfffffff8, 0xffffffe0,
0xfffffffa, 0xfffffff8, 0xffffffe0, 0x00000000,
0xfffffffc, 0xfffffffc, 0x00000000, 0x000000fa,
0xfffffffe, 0x00000000, 0x00000020, 0x000001f4,
0x00000000, 0x00000004, 0x00000040, 0x00000fa0,
0x00000002, 0x00000008, 0x00000200, 0x00007a12,
0x00000004, 0x00000040, 0x00000fa0, 0x00007b0c,
0x00000020, 0x000001f4, 0x00000fc0, 0x00007c06,
0x000000fa, 0x000001f8, 0x00000fe0, 0x0031ffce,
0x000000fc, 0x000001fc, 0x00066660, 0x00535502,
0x000000fe, 0x0000cccc, 0x000aaaa0, 0x007cfd12,
0x00006666, 0x00015554, 0x000fffa0, 0x007cfe0c,
0x0000aaaa, 0x0001fff4, 0x000fffc0, 0x007cff06,
0x0000fffa, 0x0001fff8, 0x000fffe0, 0xff830000,
0x0000fffc, 0x0001fffc, 0xfff00000, 0xff8300fa,
0x0000fffe, 0xfffe0000, 0xfff00020, 0xffacaa04,
0xffff0000, 0xfffe0004, 0xfff55540, 0xffcdff38,
0xffff0002, 0xfffeaaa8, 0xfff99980, 0xffff8300,
0xffff5554, 0xffff3330, 0xfffff000, 0xffff83fa,
0xffff9998, 0xfffffe00, 0xfffff020, 0xffff84f4,
0xffffff00, 0xfffffe04, 0xfffff040, 0xffff85ee,
0xffffff02, 0xfffffe08, 0xfffff060, 0xfffff060,
0xffffff04, 0xfffffe0c, 0xfffffe00, 0xfffffd12,
0xffffff06, 0xffffffc0, 0xffffffa0, 0xfffffe0c,
0xffffffe0, 0xfffffff4, 0xffffffc0, 0xffffff06,
0xfffffff4, 0xffffffc0, 0xffffff06, 0x00000000,
0xfffffff8, 0xffffffe0, 0x00000000, 0x000000fc,
0xfffffffc, 0x00000000, 0x000000fa, 0x000001f8,
0x00000000, 0x00000020, 0x000001f4, 0x00000fc0,
0x00000004, 0x00000040, 0x00000fa0, 0x00007b0c,
0x00000008, 0x00000200, 0x00007a12, 0x00007c08,
0x00000040, 0x00000fa0, 0x00007b0c, 0x00007d04,
0x000001f4, 0x00000fc0, 0x00007c06, 0x00326634,
0x000001f8, 0x00000fe0, 0x0031ffce, 0x0053ffac,
0x000001fc, 0x00066660, 0x00535502, 0x007dfd0c,
0x0000cccc, 0x000aaaa0, 0x007cfd12, 0x007dfe08,
0x00015554, 0x000fffa0, 0x007cfe0c, 0x007dff04,
0x0001fff4, 0x000fffc0, 0x007cff06, 0xff820000,
0x0001fff8, 0x000fffe0, 0xff830000, 0xff8200fc,
0x0001fffc, 0xfff00000, 0xff8300fa, 0xffabff58,
0xfffe0000, 0xfff00020, 0xffacaa04, 0xffcd98d0,
0xfffe0004, 0xfff55540, 0xffcdff38, 0xffff8200,
0xfffeaaa8, 0xfff99980, 0xffff8300, 0xffff82fc,
0xffff3330, 0xfffff000, 0xffff83fa, 0xffff83f8,
0xfffffe00, 0xfffff020, 0xffff84f4, 0xffff84f4,
0xfffffe04, 0xfffff040, 0xffff85ee, 0xfffff040,
0xfffffe08, 0xfffff060, 0xfffff060, 0xfffffd0c,
0xfffffe0c, 0xfffffe00, 0xfffffd12, 0xfffffe08,
0xffffffc0, 0xffffffa0, 0xfffffe0c, 0xffffff04,
0xffffffa0, 0xfffffe0c, 0xffffff04, 0x00000000,
0xffffffc0, 0xffffff06, 0x00000000, 0x000000fe,
0xffffffe0, 0x00000000, 0x000000fc, 0x000001fc,
0x00000000, 0x000000fa, 0x000001f8, 0x00000fe0,
0x00000020, 0x000001f4, 0x00000fc0, 0x00007c06,
0x00000040, 0x00000fa0, 0x00007b0c, 0x00007d04,
0x00000200, 0x00007a12, 0x00007c08, 0x00007e02,
0x00000fa0, 0x00007b0c, 0x00007d04, 0x0032cc9a,
0x00000fc0, 0x00007c06, 0x00326634, 0x0054aa56,
0x00000fe0, 0x0031ffce, 0x0053ffac, 0x007efd06,
0x00066660, 0x00535502, 0x007dfd0c, 0x007efe04,
0x000aaaa0, 0x007cfd12, 0x007dfe08, 0x007eff02,
0x000fffa0, 0x007cfe0c, 0x007dff04, 0xff810000,
0x000fffc0, 0x007cff06, 0xff820000, 0xff8100fe,
0x000fffe0, 0xff830000, 0xff8200fc, 0xffab54ac,
0xfff00000, 0xff8300fa, 0xffabff58, 0xffcd3268,
0xfff00020, 0xffacaa04, 0xffcd98d0, 0xffff8100,
0xfff55540, 0xffcdff38, 0xffff8200, 0xffff81fe,
0xfff99980, 0xffff8300, 0xffff82fc, 0xffff82fc,
0xfffff000, 0xffff83fa, 0xffff83f8, 0xffff83fa,
0xfffff020, 0xffff84f4, 0xffff84f4, 0xfffff020,
0xfffff040, 0xffff85ee, 0xfffff040, 0xfffffd06,
0xfffff060, 0xfffff060, 0xfffffd0c, 0xfffffe04,
0xfffffe00, 0xfffffd12, 0xfffffe08, 0xffffff02,
0xfffffd12, 0xfffffe08, 0xffffff02, 0x00000000,
0xfffffe0c, 0xffffff04, 0x00000000, 0x00006666,
0xffffff06, 0x00000000, 0x000000fe, 0x0000cccc,
0x00000000, 0x000000fc, 0x000001fc, 0x00066660,
0x000000fa, 0x000001f8, 0x00000fe0, 0x0031ffce,
0x000001f4, 0x00000fc0, 0x00007c06, 0x00326634,
0x00000fa0, 0x00007b0c, 0x00007d04, 0x0032cc9a,
0x00007a12, 0x00007c08, 0x00007e02, 0x147ab852,
0x00007b0c, 0x00007d04, 0x0032cc9a, 0x2221ddde,
0x00007c06, 0x00326634, 0x0054aa56, 0x3331ccce,
0x0031ffce, 0x0053ffac, 0x007efd06, 0x33323334,
0x00535502, 0x007dfd0c, 0x007efe04, 0x3332999a,
0x007cfd12, 0x007dfe08, 0x007eff02, 0xcccd0000,
0x007cfe0c, 0x007dff04, 0xff810000, 0xcccd6666,
0x007cff06, 0xff820000, 0xff8100fe, 0xddddbbbc,
0xff830000, 0xff8200fc, 0xffab54ac, 0xeb84e148,
0xff8300fa, 0xffabff58, 0xffcd3268, 0xffcccd00,
0xffacaa04, 0xffcd98d0, 0xffff8100, 0xffcd3366,
0xffcdff38, 0xffff8200, 0xffff81fe, 0xffcd99cc,
0xffff8300, 0xffff82fc, 0xffff82fc, 0xffce0032,
0xffff83fa, 0xffff83f8, 0xffff83fa, 0xfff999a0,
0xffff84f4, 0xffff84f4, 0xfffff020, 0xfffeccce,
0xffff85ee, 0xfffff040, 0xfffffd06, 0xffff3334,
0xfffff060, 0xfffffd0c, 0xfffffe04, 0xffff999a,
0xfffffd0c, 0xfffffe04, 0xffff999a, 0x00000000,
0xfffffe08, 0xffffff02, 0x00000000, 0x0000aaaa,
0xffffff04, 0x00000000, 0x00006666, 0x00015554,
0x00000000, 0x000000fe, 0x0000cccc, 0x000aaaa0,
0x000000fc, 0x000001fc, 0x00066660, 0x00535502,
0x000001f8, 0x00000fe0, 0x0031ffce, 0x0053ffac,
0x00000fc0, 0x00007c06, 0x00326634, 0x0054aa56,
0x00007b0c, 0x00007d04, 0x0032cc9a, 0x2221ddde,
0x00007c08, 0x00007e02, 0x147ab852, 0x38e31c72,
0x00007d04, 0x0032cc9a, 0x2221ddde, 0x55530002,
0x00326634, 0x0054aa56, 0x3331ccce, 0x5553aaac,
0x0053ffac, 0x007efd06, 0x33323334, 0x55545556,
0x007dfd0c, 0x007efe04, 0x3332999a, 0xaaab0000,
0x007dfe08, 0x007eff02, 0xcccd0000, 0xaaabaaaa,
0x007dff04, 0xff810000, 0xcccd6666, 0xc71c38e4,
0xff820000, 0xff8100fe, 0xddddbbbc, 0xdddd7778,
0xff8200fc, 0xffab54ac, 0xeb84e148, 0xffaaab00,
0xffabff58, 0xffcd3268, 0xffcccd00, 0xffab55aa,
0xffcd98d0, 0xffff8100, 0xffcd3366, 0xffac0054,
0xffff8200, 0xffff81fe, 0xffcd99cc, 0xffacaafe,
0xffff82fc, 0xffff82fc, 0xffce0032, 0xfff55560,
0xffff83f8, 0xffff83fa, 0xfff999a0, 0xfffe0002,
0xffff84f4, 0xfffff020, 0xfffeccce, 0xfffeaaac,
0xfffff040, 0xfffffd06, 0xffff3334, 0xffff5556,
0xfffffd06, 0xffff3334, 0xffff5556, 0x00000000,
0xfffffe04, 0xffff999a, 0x00000000, 0x0000fffa,
0xffffff02, 0x00000000, 0x0000aaaa, 0x0001fff4,
0x00000000, 0x00006666, 0x00015554, 0x000fffa0,
0x000000fe, 0x0000cccc, 0x000aaaa0, 0x007cfd12,
0x000001fc, 0x00066660, 0x00535502, 0x007dfd0c,
0x00000fe0, 0x0031ffce, 0x0053ffac, 0x007efd06,
0x00007c06, 0x00326634, 0x0054aa56, 0x3331ccce,
0x00007d04, 0x0032cc9a, 0x2221ddde, 0x55530002,
0x00007e02, 0x147ab852, 0x38e31c72, 0x7ffa0012,
0x0032cc9a, 0x2221ddde, 0x55530002, 0x7ffb000c,
0x0054aa56, 0x3331ccce, 0x5553aaac, 0x7ffc0006,
0x007efd06, 0x33323334, 0x55545556, 0x80030000,
0x007efe04, 0x3332999a, 0xaaab0000, 0x8003fffa,
0x007eff02, 0xcccd0000, 0xaaabaaaa, 0xaaac0004,
0xff810000, 0xcccd6666, 0xc71c38e4, 0xcccd3338,
0xff8100fe, 0xddddbbbc, 0xdddd7778, 0xff800300,
0xffab54ac, 0xeb84e148, 0xffaaab00, 0xff8102fa,
0xffcd3268, 0xffcccd00, 0xffab55aa, 0xff8202f4,
0xffff8100, 0xffcd3366, 0xffac0054, 0xff8302ee,
0xffff81fe, 0xffcd99cc, 0xffacaafe, 0xfff00060,
0xffff82fc, 0xffce0032, 0xfff55560, 0xfffd0012,
0xffff83fa, 0xfff999a0, 0xfffe0002, 0xfffe000c,
0xfffff020, 0xfffeccce, 0xfffeaaac, 0xffff0006,
0xfffeccce, 0xfffeaaac, 0xffff0006, 0x00000000,
0xffff3334, 0xffff5556, 0x00000000, 0x0000fffc,
0xffff999a, 0x00000000, 0x0000fffa, 0x0001fff8,
0x00000000, 0x0000aaaa, 0x0001fff4, 0x000fffc0,
0x00006666, 0x00015554, 0x000fffa0, 0x007cfe0c,
0x0000cccc, 0x000aaaa0, 0x007cfd12, 0x007dfe08,
0x00066660, 0x00535502, 0x007dfd0c, 0x007efe04,
0x0031ffce, 0x0053ffac, 0x007efd06, 0x33323334,
0x00326634, 0x0054aa56, 0x3331ccce, 0x5553aaac,
0x0032cc9a, 0x2221ddde, 0x55530002, 0x7ffb000c,
0x147ab852, 0x38e31c72, 0x7ffa0012, 0x7ffc0008,
0x2221ddde, 0x55530002, 0x7ffb000c, 0x7ffd0004,
0x3331ccce, 0x5553aaac, 0x7ffc0006, 0x80020000,
0x33323334, 0x55545556, 0x80030000, 0x8002fffc,
0x3332999a, 0xaaab0000, 0x8003fffa, 0xaaab5558,
0xcccd0000, 0xaaabaaaa, 0xaaac0004, 0xccccccd0,
0xcccd6666, 0xc71c38e4, 0xcccd3338, 0xff800200,
0xddddbbbc, 0xdddd7778, 0xff800300, 0xff8101fc,
0xeb84e148, 0xffaaab00, 0xff8102fa, 0xff8201f8,
0xffcccd00, 0xffab55aa, 0xff8202f4, 0xff8301f4,
0xffcd3366, 0xffac0054, 0xff8302ee, 0xfff00040,
0xffcd99cc, 0xffacaafe, 0xfff00060, 0xfffd000c,
0xffce0032, 0xfff55560, 0xfffd0012, 0xfffe0008,
0xfff999a0, 0xfffe0002, 0xfffe000c, 0xffff0004,
0xfffe0002, 0xfffe000c, 0xffff0004, 0x00000000,
0xfffeaaac, 0xffff0006, 0x00000000, 0x0000fffe,
0xffff5556, 0x00000000, 0x0000fffc, 0x0001fffc,
0x00000000, 0x0000fffa, 0x0001fff8, 0x000fffe0,
0x0000aaaa, 0x0001fff4, 0x000fffc0, 0x007cff06,
0x00015554, 0x000fffa0, 0x007cfe0c, 0x007dff04,
0x000aaaa0, 0x007cfd12, 0x007dfe08, 0x007eff02,
0x00535502, 0x007dfd0c, 0x007efe04, 0x3332999a,
0x0053ffac, 0x007efd06, 0x33323334, 0x55545556,
0x0054aa56, 0x3331ccce, 0x5553aaac, 0x7ffc0006,
0x2221ddde, 0x55530002, 0x7ffb000c, 0x7ffd0004,
0x38e31c72, 0x7ffa0012, 0x7ffc0008, 0x7ffe0002,
0x55530002, 0x7ffb000c, 0x7ffd0004, 0x80010000,
0x5553aaac, 0x7ffc0006, 0x80020000, 0x8001fffe,
0x55545556, 0x80030000, 0x8002fffc, 0xaaaaaaac,
0xaaab0000, 0x8003fffa, 0xaaab5558, 0xcccc6668,
0xaaabaaaa, 0xaaac0004, 0xccccccd0, 0xff800100,
0xc71c38e4, 0xcccd3338, 0xff800200, 0xff8100fe,
0xdddd7778, 0xff800300, 0xff8101fc, 0xff8200fc,
0xffaaab00, 0xff8102fa, 0xff8201f8, 0xff8300fa,
0xffab55aa, 0xff8202f4, 0xff8301f4, 0xfff00020,
0xffac0054, 0xff8302ee, 0xfff00040, 0xfffd0006,
0xffacaafe, 0xfff00060, 0xfffd000c, 0xfffe0004,
0xfff55560, 0xfffd0012, 0xfffe0008, 0xffff0002,
0xfffd0012, 0xfffe0008, 0xffff0002, 0x00000000,
0xfffe000c, 0xffff0004, 0x00000000, 0xffff0000,
0xffff0006, 0x00000000, 0x0000fffe, 0xfffe0000,
0x00000000, 0x0000fffc, 0x0001fffc, 0xfff00000,
0x0000fffa, 0x0001fff8, 0x000fffe0, 0xff830000,
0x0001fff4, 0x000fffc0, 0x007cff06, 0xff820000,
0x000fffa0, 0x007cfe0c, 0x007dff04, 0xff810000,
0x007cfd12, 0x007dfe08, 0x007eff02, 0xcccd0000,
0x007dfd0c, 0x007efe04, 0x3332999a, 0xaaab0000,
0x007efd06, 0x33323334, 0x55545556, 0x80030000,
0x3331ccce, 0x5553aaac, 0x7ffc0006, 0x80020000,
0x55530002, 0x7ffb000c, 0x7ffd0004, 0x80010000,
0x7ffa0012, 0x7ffc0008, 0x7ffe0002, 0x7fffffff,
0x7ffb000c, 0x7ffd0004, 0x80010000, 0x7fff0000,
0x7ffc0006, 0x80020000, 0x8001fffe, 0x55560000,
0x80030000, 0x8002fffc, 0xaaaaaaac, 0x33340000,
0x8003fffa, 0xaaab5558, 0xcccc6668, 0x00800000,
0xaaac0004, 0xccccccd0, 0xff800100, 0x007f0000,
0xcccd3338, 0xff800200, 0xff8100fe, 0x007e0000,
0xff800300, 0xff8101fc, 0xff8200fc, 0x007d0000,
0xff8102fa, 0xff8201f8, 0xff8300fa, 0x00100000,
0xff8202f4, 0xff8301f4, 0xfff00020, 0x00030000,
0xff8302ee, 0xfff00040, 0xfffd0006, 0x00020000,
0xfff00060, 0xfffd000c, 0xfffe0004, 0x00010000,
0xfffd000c, 0xfffe0004, 0x00010000, 0x00000000,
0xfffe0008, 0xffff0002, 0x00000000, 0xffff0002,
0xffff0004, 0x00000000, 0xffff0000, 0xfffe0004,
0x00000000, 0x0000fffe, 0xfffe0000, 0xfff00020,
0x0000fffc, 0x0001fffc, 0xfff00000, 0xff8300fa,
0x0001fff8, 0x000fffe0, 0xff830000, 0xff8200fc,
0x000fffc0, 0x007cff06, 0xff820000, 0xff8100fe,
0x007cfe0c, 0x007dff04, 0xff810000, 0xcccd6666,
0x007dfe08, 0x007eff02, 0xcccd0000, 0xaaabaaaa,
0x007efe04, 0x3332999a, 0xaaab0000, 0x8003fffa,
0x33323334, 0x55545556, 0x80030000, 0x8002fffc,
0x5553aaac, 0x7ffc0006, 0x80020000, 0x8001fffe,
0x7ffb000c, 0x7ffd0004, 0x80010000, 0x7fff0000,
0x7ffc0008, 0x7ffe0002, 0x7fffffff, 0x7ffe0002,
0x7ffd0004, 0x80010000, 0x7fff0000, 0x55555554,
0x80020000, 0x8001fffe, 0x55560000, 0x33339998,
0x8002fffc, 0xaaaaaaac, 0x33340000, 0x007fff00,
0xaaab5558, 0xcccc6668, 0x00800000, 0x007eff02,
0xccccccd0, 0xff800100, 0x007f0000, 0x007dff04,
0xff800200, 0xff8100fe, 0x007e0000, 0x007cff06,
0xff8101fc, 0xff8200fc, 0x007d0000, 0x000fffe0,
0xff8201f8, 0xff8300fa, 0x00100000, 0x0002fffa,
0xff8301f4, 0xfff00020, 0x00030000, 0x0001fffc,
0xfff00040, 0xfffd0006, 0x00020000, 0x0000fffe,
0xfffd0006, 0x00020000, 0x0000fffe, 0x00000000,
0xfffe0004, 0x00010000, 0x00000000, 0xffff5554,
0xffff0002, 0x00000000, 0xffff0002, 0xfffeaaa8,
0x00000000, 0xffff0000, 0xfffe0004, 0xfff55540,
0x0000fffe, 0xfffe0000, 0xfff00020, 0xffacaa04,
0x0001fffc, 0xfff00000, 0xff8300fa, 0xffabff58,
0x000fffe0, 0xff830000, 0xff8200fc, 0xffab54ac,
0x007cff06, 0xff820000, 0xff8100fe, 0xddddbbbc,
0x007dff04, 0xff810000, 0xcccd6666, 0xc71c38e4,
0x007eff02, 0xcccd0000, 0xaaabaaaa, 0xaaac0004,
0x3332999a, 0xaaab0000, 0x8003fffa, 0xaaab5558,
0x55545556, 0x80030000, 0x8002fffc, 0xaaaaaaac,
0x7ffc0006, 0x80020000, 0x8001fffe, 0x55560000,
0x7ffd0004, 0x80010000, 0x7fff0000, 0x55555554,
0x7ffe0002, 0x7fffffff, 0x7ffe0002, 0x38e471c8,
0x80010000, 0x7fff0000, 0x55555554, 0x2222eef0,
0x8001fffe, 0x55560000, 0x33339998, 0x00555600,
0xaaaaaaac, 0x33340000, 0x007fff00, 0x0054ab54,
0xcccc6668, 0x00800000, 0x007eff02, 0x005400a8,
0xff800100, 0x007f0000, 0x007dff04, 0x005355fc,
0xff8100fe, 0x007e0000, 0x007cff06, 0x000aaac0,
0xff8200fc, 0x007d0000, 0x000fffe0, 0x00020004,
0xff8300fa, 0x00100000, 0x0002fffa, 0x00015558,
0xfff00020, 0x00030000, 0x0001fffc, 0x0000aaac,
0x00030000, 0x0001fffc, 0x0000aaac, 0x00000000,
0x00020000, 0x0000fffe, 0x00000000, 0xffff9998,
0x00010000, 0x00000000, 0xffff5554, 0xffff3330,
0x00000000, 0xffff0002, 0xfffeaaa8, 0xfff99980,
0xffff0000, 0xfffe0004, 0xfff55540, 0xffcdff38,
0xfffe0000, 0xfff00020, 0xffacaa04, 0xffcd98d0,
0xfff00000, 0xff8300fa, 0xffabff58, 0xffcd3268,
0xff830000, 0xff8200fc, 0xffab54ac, 0xeb84e148,
0xff820000, 0xff8100fe, 0xddddbbbc, 0xdddd7778,
0xff810000, 0xcccd6666, 0xc71c38e4, 0xcccd3338,
0xcccd0000, 0xaaabaaaa, 0xaaac0004, 0xccccccd0,
0xaaab0000, 0x8003fffa, 0xaaab5558, 0xcccc6668,
0x80030000, 0x8002fffc, 0xaaaaaaac, 0x33340000,
0x80020000, 0x8001fffe, 0x55560000, 0x33339998,
0x80010000, 0x7fff0000, 0x55555554, 0x2222eef0,
0x7fffffff, 0x7ffe0002, 0x38e471c8, 0x147b8520,
0x7fff0000, 0x55555554, 0x2222eef0, 0x00333400,
0x55560000, 0x33339998, 0x00555600, 0x0032cd98,
0x33340000, 0x007fff00, 0x0054ab54, 0x00326730,
0x00800000, 0x007eff02, 0x005400a8, 0x003200c8,
0x007f0000, 0x007dff04, 0x005355fc, 0x00066680,
0x007e0000, 0x007cff06, 0x000aaac0, 0x00013338,
0x007d0000, 0x000fffe0, 0x00020004, 0x0000ccd0,
0x00100000, 0x0002fffa, 0x00015558, 0x00006668,
0x0002fffa, 0x00015558, 0x00006668, 0x00000000,
0x0001fffc, 0x0000aaac, 0x00000000, 0xffffff00,
0x0000fffe, 0x00000000, 0xffff9998, 0xfffffe00,
0x00000000, 0xffff5554, 0xffff3330, 0xfffff000,
0xffff0002, 0xfffeaaa8, 0xfff99980, 0xffff8300,
0xfffe0004, 0xfff55540, 0xffcdff38, 0xffff8200,
0xfff00020, 0xffacaa04, 0xffcd98d0, 0xffff8100,
0xff8300fa, 0xffabff58, 0xffcd3268, 0xffcccd00,
0xff8200fc, 0xffab54ac, 0xeb84e148, 0xffaaab00,
0xff8100fe, 0xddddbbbc, 0xdddd7778, 0xff800300,
0xcccd6666, 0xc71c38e4, 0xcccd3338, 0xff800200,
0xaaabaaaa, 0xaaac0004, 0xccccccd0, 0xff800100,
0x8003fffa, 0xaaab5558, 0xcccc6668, 0x00800000,
0x8002fffc, 0xaaaaaaac, 0x33340000, 0x007fff00,
0x8001fffe, 0x55560000, 0x33339998, 0x00555600,
0x7fff0000, 0x55555554, 0x2222eef0, 0x00333400,
0x7ffe0002, 0x38e471c8, 0x147b8520, 0x00008000,
0x55555554, 0x2222eef0, 0x00333400, 0x00007f00,
0x33339998, 0x00555600, 0x0032cd98, 0x00007e00,
0x007fff00, 0x0054ab54, 0x00326730, 0x00007d00,
0x007eff02, 0x005400a8, 0x003200c8, 0x00001000,
0x007dff04, 0x005355fc, 0x00066680, 0x00000300,
0x007cff06, 0x000aaac0, 0x00013338, 0x00000200,
0x000fffe0, 0x00020004, 0x0000ccd0, 0x00000100,
0x00020004, 0x0000ccd0, 0x00000100, 0x00000000,
0x00015558, 0x00006668, 0x00000000, 0xffffff02,
0x0000aaac, 0x00000000, 0xffffff00, 0xfffffe04,
0x00000000, 0xffff9998, 0xfffffe00, 0xfffff020,
0xffff5554, 0xffff3330, 0xfffff000, 0xffff83fa,
0xfffeaaa8, 0xfff99980, 0xffff8300, 0xffff82fc,
0xfff55540, 0xffcdff38, 0xffff8200, 0xffff81fe,
0xffacaa04, 0xffcd98d0, 0xffff8100, 0xffcd3366,
0xffabff58, 0xffcd3268, 0xffcccd00, 0xffab55aa,
0xffab54ac, 0xeb84e148, 0xffaaab00, 0xff8102fa,
0xddddbbbc, 0xdddd7778, 0xff800300, 0xff8101fc,
0xc71c38e4, 0xcccd3338, 0xff800200, 0xff8100fe,
0xaaac0004, 0xccccccd0, 0xff800100, 0x007f0000,
0xaaab5558, 0xcccc6668, 0x00800000, 0x007eff02,
0xaaaaaaac, 0x33340000, 0x007fff00, 0x0054ab54,
0x55560000, 0x33339998, 0x00555600, 0x0032cd98,
0x55555554, 0x2222eef0, 0x00333400, 0x00007f00,
0x38e471c8, 0x147b8520, 0x00008000, 0x00007e02,
0x2222eef0, 0x00333400, 0x00007f00, 0x00007d04,
0x00555600, 0x0032cd98, 0x00007e00, 0x00007c06,
0x0054ab54, 0x00326730, 0x00007d00, 0x00000fe0,
0x005400a8, 0x003200c8, 0x00001000, 0x000002fa,
0x005355fc, 0x00066680, 0x00000300, 0x000001fc,
0x000aaac0, 0x00013338, 0x00000200, 0x000000fe,
0x00013338, 0x00000200, 0x000000fe, 0x00000000,
0x0000ccd0, 0x00000100, 0x00000000, 0xffffff04,
0x00006668, 0x00000000, 0xffffff02, 0xfffffe08,
0x00000000, 0xffffff00, 0xfffffe04, 0xfffff040,
0xffff9998, 0xfffffe00, 0xfffff020, 0xffff84f4,
0xffff3330, 0xfffff000, 0xffff83fa, 0xffff83f8,
0xfff99980, 0xffff8300, 0xffff82fc, 0xffff82fc,
0xffcdff38, 0xffff8200, 0xffff81fe, 0xffcd99cc,
0xffcd98d0, 0xffff8100, 0xffcd3366, 0xffac0054,
0xffcd3268, 0xffcccd00, 0xffab55aa, 0xff8202f4,
0xeb84e148, 0xffaaab00, 0xff8102fa, 0xff8201f8,
0xdddd7778, 0xff800300, 0xff8101fc, 0xff8200fc,
0xcccd3338, 0xff800200, 0xff8100fe, 0x007e0000,
0xccccccd0, 0xff800100, 0x007f0000, 0x007dff04,
0xcccc6668, 0x00800000, 0x007eff02, 0x005400a8,
0x33340000, 0x007fff00, 0x0054ab54, 0x00326730,
0x33339998, 0x00555600, 0x0032cd98, 0x00007e00,
0x2222eef0, 0x00333400, 0x00007f00, 0x00007d04,
0x147b8520, 0x00008000, 0x00007e02, 0x00007c08,
0x00333400, 0x00007f00, 0x00007d04, 0x00007b0c,
0x0032cd98, 0x00007e00, 0x00007c06, 0x00000fc0,
0x00326730, 0x00007d00, 0x00000fe0, 0x000002f4,
0x003200c8, 0x00001000, 0x000002fa, 0x000001f8,
0x00066680, 0x00000300, 0x000001fc, 0x000000fc,
0x00000300, 0x000001fc, 0x000000fc, 0x00000000,
0x00000200, 0x000000fe, 0x00000000, 0xffffff06,
0x00000100, 0x00000000, 0xffffff04, 0xfffffe0c,
0x00000000, 0xffffff02, 0xfffffe08, 0xfffff060,
0xffffff00, 0xfffffe04, 0xfffff040, 0xffff85ee,
0xfffffe00, 0xfffff020, 0xffff84f4, 0xffff84f4,
0xfffff000, 0xffff83fa, 0xffff83f8, 0xffff83fa,
0xffff8300, 0xffff82fc, 0xffff82fc, 0xffce0032,
0xffff8200, 0xffff81fe, 0xffcd99cc, 0xffacaafe,
0xffff8100, 0xffcd3366, 0xffac0054, 0xff8302ee,
0xffcccd00, 0xffab55aa, 0xff8202f4, 0xff8301f4,
0xffaaab00, 0xff8102fa, 0xff8201f8, 0xff8300fa,
0xff800300, 0xff8101fc, 0xff8200fc, 0x007d0000,
0xff800200, 0xff8100fe, 0x007e0000, 0x007cff06,
0xff800100, 0x007f0000, 0x007dff04, 0x005355fc,
0x00800000, 0x007eff02, 0x005400a8, 0x003200c8,
0x007fff00, 0x0054ab54, 0x00326730, 0x00007d00,
0x00555600, 0x0032cd98, 0x00007e00, 0x00007c06,
0x00333400, 0x00007f00, 0x00007d04, 0x00007b0c,
0x00008000, 0x00007e02, 0x00007c08, 0x00007a12,
0x00007f00, 0x00007d04, 0x00007b0c, 0x00000fa0,
0x00007e00, 0x00007c06, 0x00000fc0, 0x000002ee,
0x00007d00, 0x00000fe0, 0x000002f4, 0x000001f4,
0x00001000, 0x000002fa, 0x000001f8, 0x000000fa,
0x000002fa, 0x000001f8, 0x000000fa, 0x00000000,
0x000001fc, 0x000000fc, 0x00000000, 0xffffffe0,
0x000000fe, 0x00000000, 0xffffff06, 0xffffffc0,
0x00000000, 0xffffff04, 0xfffffe0c, 0xfffffe00,
0xffffff02, 0xfffffe08, 0xfffff060, 0xfffff060,
0xfffffe04, 0xfffff040, 0xffff85ee, 0xfffff040,
0xfffff020, 0xffff84f4, 0xffff84f4, 0xfffff020,
0xffff83fa, 0xffff83f8, 0xffff83fa, 0xfff999a0,
0xffff82fc, 0xffff82fc, 0xffce0032, 0xfff55560,
0xffff81fe, 0xffcd99cc, 0xffacaafe, 0xfff00060,
0xffcd3366, 0xffac0054, 0xff8302ee, 0xfff00040,
0xffab55aa, 0xff8202f4, 0xff8301f4, 0xfff00020,
0xff8102fa, 0xff8201f8, 0xff8300fa, 0x00100000,
0xff8101fc, 0xff8200fc, 0x007d0000, 0x000fffe0,
0xff8100fe, 0x007e0000, 0x007cff06, 0x000aaac0,
0x007f0000, 0x007dff04, 0x005355fc, 0x00066680,
0x007eff02, 0x005400a8, 0x003200c8, 0x00001000,
0x0054ab54, 0x00326730, 0x00007d00, 0x00000fe0,
0x0032cd98, 0x00007e00, 0x00007c06, 0x00000fc0,
0x00007f00, 0x00007d04, 0x00007b0c, 0x00000fa0,
0x00007e02, 0x00007c08, 0x00007a12, 0x00000200,
0x00007d04, 0x00007b0c, 0x00000fa0, 0x00000060,
0x00007c06, 0x00000fc0, 0x000002ee, 0x00000040,
0x00000fe0, 0x000002f4, 0x000001f4, 0x00000020,
0x000002f4, 0x000001f4, 0x00000020, 0x00000000,
0x000001f8, 0x000000fa, 0x00000000, 0xfffffffa,
0x000000fc, 0x00000000, 0xffffffe0, 0xfffffff4,
0x00000000, 0xffffff06, 0xffffffc0, 0xffffffa0,
0xffffff04, 0xfffffe0c, 0xfffffe00, 0xfffffd12,
0xfffffe08, 0xfffff060, 0xfffff060, 0xfffffd0c,
0xfffff040, 0xffff85ee, 0xfffff040, 0xfffffd06,
0xffff84f4, 0xffff84f4, 0xfffff020, 0xfffeccce,
0xffff83f8, 0xffff83fa, 0xfff999a0, 0xfffe0002,
0xffff82fc, 0xffce0032, 0xfff55560, 0xfffd0012,
0xffcd99cc, 0xffacaafe, 0xfff00060, 0xfffd000c,
0xffac0054, 0xff8302ee, 0xfff00040, 0xfffd0006,
0xff8202f4, 0xff8301f4, 0xfff00020, 0x00030000,
0xff8201f8, 0xff8300fa, 0x00100000, 0x0002fffa,
0xff8200fc, 0x007d0000, 0x000fffe0, 0x00020004,
0x007e0000, 0x007cff06, 0x000aaac0, 0x00013338,
0x007dff04, 0x005355fc, 0x00066680, 0x00000300,
0x005400a8, 0x003200c8, 0x00001000, 0x000002fa,
0x00326730, 0x00007d00, 0x00000fe0, 0x000002f4,
0x00007e00, 0x00007c06, 0x00000fc0, 0x000002ee,
0x00007d04, 0x00007b0c, 0x00000fa0, 0x00000060,
0x00007c08, 0x00007a12, 0x00000200, 0x00000012,
0x00007b0c, 0x00000fa0, 0x00000060, 0x0000000c,
0x00000fc0, 0x000002ee, 0x00000040, 0x00000006,
0x000002ee, 0x00000040, 0x00000006, 0x00000000,
0x000001f4, 0x00000020, 0x00000000, 0xfffffffc,
0x000000fa, 0x00000000, 0xfffffffa, 0xfffffff8,
0x00000000, 0xffffffe0, 0xfffffff4, 0xffffffc0,
0xffffff06, 0xffffffc0, 0xffffffa0, 0xfffffe0c,
0xfffffe0c, 0xfffffe00, 0xfffffd12, 0xfffffe08,
0xfffff060, 0xfffff060, 0xfffffd0c, 0xfffffe04,
0xffff85ee, 0xfffff040, 0xfffffd06, 0xffff3334,
0xffff84f4, 0xfffff020, 0xfffeccce, 0xfffeaaac,
0xffff83fa, 0xfff999a0, 0xfffe0002, 0xfffe000c,
0xffce0032, 0xfff55560, 0xfffd0012, 0xfffe0008,
0xffacaafe, 0xfff00060, 0xfffd000c, 0xfffe0004,
0xff8302ee, 0xfff00040, 0xfffd0006, 0x00020000,
0xff8301f4, 0xfff00020, 0x00030000, 0x0001fffc,
0xff8300fa, 0x00100000, 0x0002fffa, 0x00015558,
0x007d0000, 0x000fffe0, 0x00020004, 0x0000ccd0,
0x007cff06, 0x000aaac0, 0x00013338, 0x00000200,
0x005355fc, 0x00066680, 0x00000300, 0x000001fc,
0x003200c8, 0x00001000, 0x000002fa, 0x000001f8,
0x00007d00, 0x00000fe0, 0x000002f4, 0x000001f4,
0x00007c06, 0x00000fc0, 0x000002ee, 0x00000040,
0x00007b0c, 0x00000fa0, 0x00000060, 0x0000000c,
0x00007a12, 0x00000200, 0x00000012, 0x00000008,
0x00000fa0, 0x00000060, 0x0000000c, 0x00000004,
0x00000060, 0x0000000c, 0x00000004, 0x00000000,
0x00000040, 0x00000006, 0x00000000, 0xfffffffe,
0x00000020, 0x00000000, 0xfffffffc, 0xfffffffc,
0x00000000, 0xfffffffa, 0xfffffff8, 0xffffffe0,
0xffffffe0, 0xfffffff4, 0xffffffc0, 0xffffff06,
0xffffffc0, 0xffffffa0, 0xfffffe0c, 0xffffff04,
0xfffffe00, 0xfffffd12, 0xfffffe08, 0xffffff02,
0xfffff060, 0xfffffd0c, 0xfffffe04, 0xffff999a,
0xfffff040, 0xfffffd06, 0xffff3334, 0xffff5556,
0xfffff020, 0xfffeccce, 0xfffeaaac, 0xffff0006,
0xfff999a0, 0xfffe0002, 0xfffe000c, 0xffff0004,
0xfff55560, 0xfffd0012, 0xfffe0008, 0xffff0002,
0xfff00060, 0xfffd000c, 0xfffe0004, 0x00010000,
0xfff00040, 0xfffd0006, 0x00020000, 0x0000fffe,
0xfff00020, 0x00030000, 0x0001fffc, 0x0000aaac,
0x00100000, 0x0002fffa, 0x00015558, 0x00006668,
0x000fffe0, 0x00020004, 0x0000ccd0, 0x00000100,
0x000aaac0, 0x00013338, 0x00000200, 0x000000fe,
0x00066680, 0x00000300, 0x000001fc, 0x000000fc,
0x00001000, 0x000002fa, 0x000001f8, 0x000000fa,
0x00000fe0, 0x000002f4, 0x000001f4, 0x00000020,
0x00000fc0, 0x000002ee, 0x00000040, 0x00000006,
0x00000fa0, 0x00000060, 0x0000000c, 0x00000004,
0x00000200, 0x00000012, 0x00000008, 0x00000002,
};
const unsigned kExpectedCount_NEON_sqdmull2_4S = 576;
#endif // VIXL_SIM_SQDMULL2_4S_TRACE_AARCH64_H_