1b78f13911bfe6eda303e91ef215c87a165aae8aeAlexandre Rames// Copyright 2016, VIXL authors 288c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// All rights reserved. 388c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// 488c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// Redistribution and use in source and binary forms, with or without 588c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// modification, are permitted provided that the following conditions are met: 688c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// 788c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// * Redistributions of source code must retain the above copyright notice, 888c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// this list of conditions and the following disclaimer. 988c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// * Redistributions in binary form must reproduce the above copyright notice, 1088c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// this list of conditions and the following disclaimer in the documentation 1188c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// and/or other materials provided with the distribution. 1288c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// * Neither the name of ARM Limited nor the names of its contributors may be 1388c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// used to endorse or promote products derived from this software without 1488c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// specific prior written permission. 1588c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// 1688c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND 1788c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED 1888c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE 1988c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE 2088c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 2188c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR 2288c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER 2388c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, 2488c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 2588c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 2688c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 2719c0535d3c9c0bec6eeecce0ae704a7fd527a9d8Pierre Langlois 2888c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// ----------------------------------------------------------------------------- 2988c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// This file is auto generated from the 30d3832965c62a8ad461b9ea9eb0994ca6b0a3da2cAlexandre Rames// test/aarch32/config/template-simulator-aarch32.cc.in template file using 3188c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// tools/generate_tests.py. 3288c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// 3388c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// PLEASE DO NOT EDIT. 3488c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// ----------------------------------------------------------------------------- 3588c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 3619c0535d3c9c0bec6eeecce0ae704a7fd527a9d8Pierre Langlois 3788c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois#include "test-runner.h" 3888c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 3988c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois#include "test-utils.h" 40d3832965c62a8ad461b9ea9eb0994ca6b0a3da2cAlexandre Rames#include "test-utils-aarch32.h" 4188c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 42d3832965c62a8ad461b9ea9eb0994ca6b0a3da2cAlexandre Rames#include "aarch32/assembler-aarch32.h" 43d3832965c62a8ad461b9ea9eb0994ca6b0a3da2cAlexandre Rames#include "aarch32/macro-assembler-aarch32.h" 44d3832965c62a8ad461b9ea9eb0994ca6b0a3da2cAlexandre Rames#include "aarch32/disasm-aarch32.h" 4588c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 4688c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois#define __ masm. 4788c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois#define BUF_SIZE (4096) 4888c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 491e85b7f2e8ad2bfb233de29405aade635ed207cePierre Langlois#ifdef VIXL_INCLUDE_SIMULATOR_AARCH32 5088c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// Run tests with the simulator. 5188c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 5288c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois#define SETUP() MacroAssembler masm(BUF_SIZE) 5388c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 54919e3fe28a5024c53ede42922092bbc32e89dcb8Alexandre Rames#define START() masm.GetBuffer()->Reset() 5588c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 5688c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois#define END() \ 5788c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois __ Hlt(0); \ 5888c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois __ FinalizeCode(); 5988c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 6088c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// TODO: Run the tests in the simulator. 6188c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois#define RUN() 6288c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 6388c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois#define TEARDOWN() 6488c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 651e85b7f2e8ad2bfb233de29405aade635ed207cePierre Langlois#else // ifdef VIXL_INCLUDE_SIMULATOR_AARCH32. 6688c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 674cb13e841305b38acbd8195b1c511d59c91ec8d9Georgia Kouveli#define SETUP() \ 684cb13e841305b38acbd8195b1c511d59c91ec8d9Georgia Kouveli MacroAssembler masm(BUF_SIZE); \ 694cb13e841305b38acbd8195b1c511d59c91ec8d9Georgia Kouveli UseScratchRegisterScope harness_scratch(&masm); \ 704cb13e841305b38acbd8195b1c511d59c91ec8d9Georgia Kouveli harness_scratch.ExcludeAll(); 7188c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 72919e3fe28a5024c53ede42922092bbc32e89dcb8Alexandre Rames#define START() \ 73919e3fe28a5024c53ede42922092bbc32e89dcb8Alexandre Rames masm.GetBuffer()->Reset(); \ 74919e3fe28a5024c53ede42922092bbc32e89dcb8Alexandre Rames __ Push(r4); \ 75919e3fe28a5024c53ede42922092bbc32e89dcb8Alexandre Rames __ Push(r5); \ 76919e3fe28a5024c53ede42922092bbc32e89dcb8Alexandre Rames __ Push(r6); \ 77919e3fe28a5024c53ede42922092bbc32e89dcb8Alexandre Rames __ Push(r7); \ 78919e3fe28a5024c53ede42922092bbc32e89dcb8Alexandre Rames __ Push(r8); \ 79919e3fe28a5024c53ede42922092bbc32e89dcb8Alexandre Rames __ Push(r9); \ 80919e3fe28a5024c53ede42922092bbc32e89dcb8Alexandre Rames __ Push(r10); \ 81919e3fe28a5024c53ede42922092bbc32e89dcb8Alexandre Rames __ Push(r11); \ 824cb13e841305b38acbd8195b1c511d59c91ec8d9Georgia Kouveli __ Push(lr); \ 834cb13e841305b38acbd8195b1c511d59c91ec8d9Georgia Kouveli harness_scratch.Include(ip); 844cb13e841305b38acbd8195b1c511d59c91ec8d9Georgia Kouveli 854cb13e841305b38acbd8195b1c511d59c91ec8d9Georgia Kouveli#define END() \ 864cb13e841305b38acbd8195b1c511d59c91ec8d9Georgia Kouveli harness_scratch.Exclude(ip); \ 874cb13e841305b38acbd8195b1c511d59c91ec8d9Georgia Kouveli __ Pop(lr); \ 884cb13e841305b38acbd8195b1c511d59c91ec8d9Georgia Kouveli __ Pop(r11); \ 894cb13e841305b38acbd8195b1c511d59c91ec8d9Georgia Kouveli __ Pop(r10); \ 904cb13e841305b38acbd8195b1c511d59c91ec8d9Georgia Kouveli __ Pop(r9); \ 914cb13e841305b38acbd8195b1c511d59c91ec8d9Georgia Kouveli __ Pop(r8); \ 924cb13e841305b38acbd8195b1c511d59c91ec8d9Georgia Kouveli __ Pop(r7); \ 934cb13e841305b38acbd8195b1c511d59c91ec8d9Georgia Kouveli __ Pop(r6); \ 944cb13e841305b38acbd8195b1c511d59c91ec8d9Georgia Kouveli __ Pop(r5); \ 954cb13e841305b38acbd8195b1c511d59c91ec8d9Georgia Kouveli __ Pop(r4); \ 964cb13e841305b38acbd8195b1c511d59c91ec8d9Georgia Kouveli __ Bx(lr); \ 97cb6592f4b00347a84f9d7638473f0af8f1b6b1ddGeorgia Kouveli __ FinalizeCode(); 9888c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 99919e3fe28a5024c53ede42922092bbc32e89dcb8Alexandre Rames#define RUN() \ 100919e3fe28a5024c53ede42922092bbc32e89dcb8Alexandre Rames { \ 101919e3fe28a5024c53ede42922092bbc32e89dcb8Alexandre Rames int pcs_offset = masm.IsUsingT32() ? 1 : 0; \ 1026a049f97861bd71c69d81f643e42308d28c5de31Alexandre Rames masm.GetBuffer()->SetExecutable(); \ 103919e3fe28a5024c53ede42922092bbc32e89dcb8Alexandre Rames ExecuteMemory(masm.GetBuffer()->GetStartAddress<byte*>(), \ 104919e3fe28a5024c53ede42922092bbc32e89dcb8Alexandre Rames masm.GetSizeOfCodeGenerated(), \ 105919e3fe28a5024c53ede42922092bbc32e89dcb8Alexandre Rames pcs_offset); \ 1066a049f97861bd71c69d81f643e42308d28c5de31Alexandre Rames masm.GetBuffer()->SetWritable(); \ 10788c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois } 10888c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 109cb6592f4b00347a84f9d7638473f0af8f1b6b1ddGeorgia Kouveli#define TEARDOWN() harness_scratch.Close(); 11088c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 1111e85b7f2e8ad2bfb233de29405aade635ed207cePierre Langlois#endif // ifdef VIXL_INCLUDE_SIMULATOR_AARCH32 11288c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 11388c46b84df005638546de5e4e965bdcc31352f48Pierre Langloisnamespace vixl { 11488c46b84df005638546de5e4e965bdcc31352f48Pierre Langloisnamespace aarch32 { 11588c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 11688c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// List of instruction encodings: 11788c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois#define FOREACH_INSTRUCTION(M) \ 11888c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois M(Mov) \ 1194634a88b6db240a13adc66f26ff3437806f08aecPierre Langlois M(Movt) 12088c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 12119c0535d3c9c0bec6eeecce0ae704a7fd527a9d8Pierre Langlois 1221d451fce2580f360ef249893135526156985a85cPierre Langlois// The following definitions are defined again in each generated test, therefore 1231d451fce2580f360ef249893135526156985a85cPierre Langlois// we need to place them in an anomymous namespace. It expresses that they are 1241d451fce2580f360ef249893135526156985a85cPierre Langlois// local to this file only, and the compiler is not allowed to share these types 1251d451fce2580f360ef249893135526156985a85cPierre Langlois// across test files during template instantiation. Specifically, `Operands` and 1261d451fce2580f360ef249893135526156985a85cPierre Langlois// `Inputs` have various layouts across generated tests so they absolutely 1271d451fce2580f360ef249893135526156985a85cPierre Langlois// cannot be shared. 1281d451fce2580f360ef249893135526156985a85cPierre Langlois 1299a9331faeba996d6c85e6e2a6355ccfc22c6cab6Rodolph Perfetta#ifdef VIXL_INCLUDE_TARGET_T32 1301d451fce2580f360ef249893135526156985a85cPierre Langloisnamespace { 1311d451fce2580f360ef249893135526156985a85cPierre Langlois 13288c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// Values to be passed to the assembler to produce the instruction under test. 13388c46b84df005638546de5e4e965bdcc31352f48Pierre Langloisstruct Operands { 13488c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois Condition cond; 13588c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois Register rd; 13688c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois uint32_t immediate; 13788c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois}; 13888c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 13988c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// Input data to feed to the instruction. 14088c46b84df005638546de5e4e965bdcc31352f48Pierre Langloisstruct Inputs { 14188c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois uint32_t apsr; 14288c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois uint32_t rd; 14388c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois}; 14488c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 14588c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// This structure contains all input data needed to test one specific encoding. 14688c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// It used to generate a loop over an instruction. 14788c46b84df005638546de5e4e965bdcc31352f48Pierre Langloisstruct TestLoopData { 14888c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois // The `operands` fields represents the values to pass to the assembler to 14988c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois // produce the instruction. 15088c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois Operands operands; 15188c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois // Description of the operands, used for error reporting. 15288c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois const char* operands_description; 15388c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois // Unique identifier, used for generating traces. 15488c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois const char* identifier; 15588c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois // Array of values to be fed to the instruction. 15688c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois size_t input_size; 15788c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois const Inputs* inputs; 15888c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois}; 15988c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 16088c46b84df005638546de5e4e965bdcc31352f48Pierre Langloisstatic const Inputs kCondition[] = {{NFlag, 0xabababab}, 16188c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {ZFlag, 0xabababab}, 16288c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {CFlag, 0xabababab}, 16388c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {VFlag, 0xabababab}, 16488c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {NZFlag, 0xabababab}, 16588c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {NCFlag, 0xabababab}, 16688c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {NVFlag, 0xabababab}, 16788c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {ZCFlag, 0xabababab}, 16888c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {ZVFlag, 0xabababab}, 16988c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {CVFlag, 0xabababab}, 17088c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {NZCFlag, 0xabababab}, 17188c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {NZVFlag, 0xabababab}, 17288c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {NCVFlag, 0xabababab}, 17388c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {ZCVFlag, 0xabababab}, 17488c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {NZCVFlag, 0xabababab}}; 17588c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 17688c46b84df005638546de5e4e965bdcc31352f48Pierre Langloisstatic const Inputs kModifiedImmediate[] = {{NoFlag, 0x00000000}, 17788c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {NoFlag, 0x00000001}, 17888c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {NoFlag, 0x00000002}, 17988c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {NoFlag, 0x00000020}, 18088c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {NoFlag, 0x0000007d}, 18188c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {NoFlag, 0x0000007e}, 18288c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {NoFlag, 0x0000007f}, 18388c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {NoFlag, 0x00007ffd}, 18488c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {NoFlag, 0x00007ffe}, 18588c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {NoFlag, 0x00007fff}, 18688c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {NoFlag, 0x33333333}, 18788c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {NoFlag, 0x55555555}, 18888c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {NoFlag, 0x7ffffffd}, 18988c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {NoFlag, 0x7ffffffe}, 19088c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {NoFlag, 0x7fffffff}, 19188c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {NoFlag, 0x80000000}, 19288c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {NoFlag, 0x80000001}, 19388c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {NoFlag, 0xaaaaaaaa}, 19488c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {NoFlag, 0xcccccccc}, 19588c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {NoFlag, 0xffff8000}, 19688c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {NoFlag, 0xffff8001}, 19788c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {NoFlag, 0xffff8002}, 19888c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {NoFlag, 0xffff8003}, 19988c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {NoFlag, 0xffffff80}, 20088c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {NoFlag, 0xffffff81}, 20188c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {NoFlag, 0xffffff82}, 20288c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {NoFlag, 0xffffff83}, 20388c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {NoFlag, 0xffffffe0}, 20488c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {NoFlag, 0xfffffffd}, 20588c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {NoFlag, 0xfffffffe}, 20688c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois {NoFlag, 0xffffffff}}; 20788c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 20819c0535d3c9c0bec6eeecce0ae704a7fd527a9d8Pierre Langlois 20988c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// A loop will be generated for each element of this array. 2101d451fce2580f360ef249893135526156985a85cPierre Langloisconst TestLoopData kTests[] = {{{eq, r0, 0x0}, 2111d451fce2580f360ef249893135526156985a85cPierre Langlois "eq r0 0x0", 2121d451fce2580f360ef249893135526156985a85cPierre Langlois "Condition_eq_r0_0x0", 2131d451fce2580f360ef249893135526156985a85cPierre Langlois ARRAY_SIZE(kCondition), 2141d451fce2580f360ef249893135526156985a85cPierre Langlois kCondition}, 2151d451fce2580f360ef249893135526156985a85cPierre Langlois {{ne, r0, 0x0}, 2161d451fce2580f360ef249893135526156985a85cPierre Langlois "ne r0 0x0", 2171d451fce2580f360ef249893135526156985a85cPierre Langlois "Condition_ne_r0_0x0", 2181d451fce2580f360ef249893135526156985a85cPierre Langlois ARRAY_SIZE(kCondition), 2191d451fce2580f360ef249893135526156985a85cPierre Langlois kCondition}, 2201d451fce2580f360ef249893135526156985a85cPierre Langlois {{cs, r0, 0x0}, 2211d451fce2580f360ef249893135526156985a85cPierre Langlois "cs r0 0x0", 2221d451fce2580f360ef249893135526156985a85cPierre Langlois "Condition_cs_r0_0x0", 2231d451fce2580f360ef249893135526156985a85cPierre Langlois ARRAY_SIZE(kCondition), 2241d451fce2580f360ef249893135526156985a85cPierre Langlois kCondition}, 2251d451fce2580f360ef249893135526156985a85cPierre Langlois {{cc, r0, 0x0}, 2261d451fce2580f360ef249893135526156985a85cPierre Langlois "cc r0 0x0", 2271d451fce2580f360ef249893135526156985a85cPierre Langlois "Condition_cc_r0_0x0", 2281d451fce2580f360ef249893135526156985a85cPierre Langlois ARRAY_SIZE(kCondition), 2291d451fce2580f360ef249893135526156985a85cPierre Langlois kCondition}, 2301d451fce2580f360ef249893135526156985a85cPierre Langlois {{mi, r0, 0x0}, 2311d451fce2580f360ef249893135526156985a85cPierre Langlois "mi r0 0x0", 2321d451fce2580f360ef249893135526156985a85cPierre Langlois "Condition_mi_r0_0x0", 2331d451fce2580f360ef249893135526156985a85cPierre Langlois ARRAY_SIZE(kCondition), 2341d451fce2580f360ef249893135526156985a85cPierre Langlois kCondition}, 2351d451fce2580f360ef249893135526156985a85cPierre Langlois {{pl, r0, 0x0}, 2361d451fce2580f360ef249893135526156985a85cPierre Langlois "pl r0 0x0", 2371d451fce2580f360ef249893135526156985a85cPierre Langlois "Condition_pl_r0_0x0", 2381d451fce2580f360ef249893135526156985a85cPierre Langlois ARRAY_SIZE(kCondition), 2391d451fce2580f360ef249893135526156985a85cPierre Langlois kCondition}, 2401d451fce2580f360ef249893135526156985a85cPierre Langlois {{vs, r0, 0x0}, 2411d451fce2580f360ef249893135526156985a85cPierre Langlois "vs r0 0x0", 2421d451fce2580f360ef249893135526156985a85cPierre Langlois "Condition_vs_r0_0x0", 2431d451fce2580f360ef249893135526156985a85cPierre Langlois ARRAY_SIZE(kCondition), 2441d451fce2580f360ef249893135526156985a85cPierre Langlois kCondition}, 2451d451fce2580f360ef249893135526156985a85cPierre Langlois {{vc, r0, 0x0}, 2461d451fce2580f360ef249893135526156985a85cPierre Langlois "vc r0 0x0", 2471d451fce2580f360ef249893135526156985a85cPierre Langlois "Condition_vc_r0_0x0", 2481d451fce2580f360ef249893135526156985a85cPierre Langlois ARRAY_SIZE(kCondition), 2491d451fce2580f360ef249893135526156985a85cPierre Langlois kCondition}, 2501d451fce2580f360ef249893135526156985a85cPierre Langlois {{hi, r0, 0x0}, 2511d451fce2580f360ef249893135526156985a85cPierre Langlois "hi r0 0x0", 2521d451fce2580f360ef249893135526156985a85cPierre Langlois "Condition_hi_r0_0x0", 2531d451fce2580f360ef249893135526156985a85cPierre Langlois ARRAY_SIZE(kCondition), 2541d451fce2580f360ef249893135526156985a85cPierre Langlois kCondition}, 2551d451fce2580f360ef249893135526156985a85cPierre Langlois {{ls, r0, 0x0}, 2561d451fce2580f360ef249893135526156985a85cPierre Langlois "ls r0 0x0", 2571d451fce2580f360ef249893135526156985a85cPierre Langlois "Condition_ls_r0_0x0", 2581d451fce2580f360ef249893135526156985a85cPierre Langlois ARRAY_SIZE(kCondition), 2591d451fce2580f360ef249893135526156985a85cPierre Langlois kCondition}, 2601d451fce2580f360ef249893135526156985a85cPierre Langlois {{ge, r0, 0x0}, 2611d451fce2580f360ef249893135526156985a85cPierre Langlois "ge r0 0x0", 2621d451fce2580f360ef249893135526156985a85cPierre Langlois "Condition_ge_r0_0x0", 2631d451fce2580f360ef249893135526156985a85cPierre Langlois ARRAY_SIZE(kCondition), 2641d451fce2580f360ef249893135526156985a85cPierre Langlois kCondition}, 2651d451fce2580f360ef249893135526156985a85cPierre Langlois {{lt, r0, 0x0}, 2661d451fce2580f360ef249893135526156985a85cPierre Langlois "lt r0 0x0", 2671d451fce2580f360ef249893135526156985a85cPierre Langlois "Condition_lt_r0_0x0", 2681d451fce2580f360ef249893135526156985a85cPierre Langlois ARRAY_SIZE(kCondition), 2691d451fce2580f360ef249893135526156985a85cPierre Langlois kCondition}, 2701d451fce2580f360ef249893135526156985a85cPierre Langlois {{gt, r0, 0x0}, 2711d451fce2580f360ef249893135526156985a85cPierre Langlois "gt r0 0x0", 2721d451fce2580f360ef249893135526156985a85cPierre Langlois "Condition_gt_r0_0x0", 2731d451fce2580f360ef249893135526156985a85cPierre Langlois ARRAY_SIZE(kCondition), 2741d451fce2580f360ef249893135526156985a85cPierre Langlois kCondition}, 2751d451fce2580f360ef249893135526156985a85cPierre Langlois {{le, r0, 0x0}, 2761d451fce2580f360ef249893135526156985a85cPierre Langlois "le r0 0x0", 2771d451fce2580f360ef249893135526156985a85cPierre Langlois "Condition_le_r0_0x0", 2781d451fce2580f360ef249893135526156985a85cPierre Langlois ARRAY_SIZE(kCondition), 2791d451fce2580f360ef249893135526156985a85cPierre Langlois kCondition}, 2801d451fce2580f360ef249893135526156985a85cPierre Langlois {{al, r0, 0x0}, 2811d451fce2580f360ef249893135526156985a85cPierre Langlois "al r0 0x0", 2821d451fce2580f360ef249893135526156985a85cPierre Langlois "Condition_al_r0_0x0", 2831d451fce2580f360ef249893135526156985a85cPierre Langlois ARRAY_SIZE(kCondition), 2841d451fce2580f360ef249893135526156985a85cPierre Langlois kCondition}, 2851d451fce2580f360ef249893135526156985a85cPierre Langlois {{al, r0, 0x0000}, 2861d451fce2580f360ef249893135526156985a85cPierre Langlois "al r0 0x0000", 2871d451fce2580f360ef249893135526156985a85cPierre Langlois "ModifiedImmediate_al_r0_0x0000", 2881d451fce2580f360ef249893135526156985a85cPierre Langlois ARRAY_SIZE(kModifiedImmediate), 2891d451fce2580f360ef249893135526156985a85cPierre Langlois kModifiedImmediate}, 2901d451fce2580f360ef249893135526156985a85cPierre Langlois {{al, r0, 0x0001}, 2911d451fce2580f360ef249893135526156985a85cPierre Langlois "al r0 0x0001", 2921d451fce2580f360ef249893135526156985a85cPierre Langlois "ModifiedImmediate_al_r0_0x0001", 2931d451fce2580f360ef249893135526156985a85cPierre Langlois ARRAY_SIZE(kModifiedImmediate), 2941d451fce2580f360ef249893135526156985a85cPierre Langlois kModifiedImmediate}, 2951d451fce2580f360ef249893135526156985a85cPierre Langlois {{al, r0, 0x0002}, 2961d451fce2580f360ef249893135526156985a85cPierre Langlois "al r0 0x0002", 2971d451fce2580f360ef249893135526156985a85cPierre Langlois "ModifiedImmediate_al_r0_0x0002", 2981d451fce2580f360ef249893135526156985a85cPierre Langlois ARRAY_SIZE(kModifiedImmediate), 2991d451fce2580f360ef249893135526156985a85cPierre Langlois kModifiedImmediate}, 3001d451fce2580f360ef249893135526156985a85cPierre Langlois {{al, r0, 0x0020}, 3011d451fce2580f360ef249893135526156985a85cPierre Langlois "al r0 0x0020", 3021d451fce2580f360ef249893135526156985a85cPierre Langlois "ModifiedImmediate_al_r0_0x0020", 3031d451fce2580f360ef249893135526156985a85cPierre Langlois ARRAY_SIZE(kModifiedImmediate), 3041d451fce2580f360ef249893135526156985a85cPierre Langlois kModifiedImmediate}, 3051d451fce2580f360ef249893135526156985a85cPierre Langlois {{al, r0, 0x007d}, 3061d451fce2580f360ef249893135526156985a85cPierre Langlois "al r0 0x007d", 3071d451fce2580f360ef249893135526156985a85cPierre Langlois "ModifiedImmediate_al_r0_0x007d", 3081d451fce2580f360ef249893135526156985a85cPierre Langlois ARRAY_SIZE(kModifiedImmediate), 3091d451fce2580f360ef249893135526156985a85cPierre Langlois kModifiedImmediate}, 3101d451fce2580f360ef249893135526156985a85cPierre Langlois {{al, r0, 0x007e}, 3111d451fce2580f360ef249893135526156985a85cPierre Langlois "al r0 0x007e", 3121d451fce2580f360ef249893135526156985a85cPierre Langlois "ModifiedImmediate_al_r0_0x007e", 3131d451fce2580f360ef249893135526156985a85cPierre Langlois ARRAY_SIZE(kModifiedImmediate), 3141d451fce2580f360ef249893135526156985a85cPierre Langlois kModifiedImmediate}, 3151d451fce2580f360ef249893135526156985a85cPierre Langlois {{al, r0, 0x007f}, 3161d451fce2580f360ef249893135526156985a85cPierre Langlois "al r0 0x007f", 3171d451fce2580f360ef249893135526156985a85cPierre Langlois "ModifiedImmediate_al_r0_0x007f", 3181d451fce2580f360ef249893135526156985a85cPierre Langlois ARRAY_SIZE(kModifiedImmediate), 3191d451fce2580f360ef249893135526156985a85cPierre Langlois kModifiedImmediate}, 3201d451fce2580f360ef249893135526156985a85cPierre Langlois {{al, r0, 0x7ffd}, 3211d451fce2580f360ef249893135526156985a85cPierre Langlois "al r0 0x7ffd", 3221d451fce2580f360ef249893135526156985a85cPierre Langlois "ModifiedImmediate_al_r0_0x7ffd", 3231d451fce2580f360ef249893135526156985a85cPierre Langlois ARRAY_SIZE(kModifiedImmediate), 3241d451fce2580f360ef249893135526156985a85cPierre Langlois kModifiedImmediate}, 3251d451fce2580f360ef249893135526156985a85cPierre Langlois {{al, r0, 0x7ffe}, 3261d451fce2580f360ef249893135526156985a85cPierre Langlois "al r0 0x7ffe", 3271d451fce2580f360ef249893135526156985a85cPierre Langlois "ModifiedImmediate_al_r0_0x7ffe", 3281d451fce2580f360ef249893135526156985a85cPierre Langlois ARRAY_SIZE(kModifiedImmediate), 3291d451fce2580f360ef249893135526156985a85cPierre Langlois kModifiedImmediate}, 3301d451fce2580f360ef249893135526156985a85cPierre Langlois {{al, r0, 0x7fff}, 3311d451fce2580f360ef249893135526156985a85cPierre Langlois "al r0 0x7fff", 3321d451fce2580f360ef249893135526156985a85cPierre Langlois "ModifiedImmediate_al_r0_0x7fff", 3331d451fce2580f360ef249893135526156985a85cPierre Langlois ARRAY_SIZE(kModifiedImmediate), 3341d451fce2580f360ef249893135526156985a85cPierre Langlois kModifiedImmediate}, 3351d451fce2580f360ef249893135526156985a85cPierre Langlois {{al, r0, 0x3333}, 3361d451fce2580f360ef249893135526156985a85cPierre Langlois "al r0 0x3333", 3371d451fce2580f360ef249893135526156985a85cPierre Langlois "ModifiedImmediate_al_r0_0x3333", 3381d451fce2580f360ef249893135526156985a85cPierre Langlois ARRAY_SIZE(kModifiedImmediate), 3391d451fce2580f360ef249893135526156985a85cPierre Langlois kModifiedImmediate}, 3401d451fce2580f360ef249893135526156985a85cPierre Langlois {{al, r0, 0x5555}, 3411d451fce2580f360ef249893135526156985a85cPierre Langlois "al r0 0x5555", 3421d451fce2580f360ef249893135526156985a85cPierre Langlois "ModifiedImmediate_al_r0_0x5555", 3431d451fce2580f360ef249893135526156985a85cPierre Langlois ARRAY_SIZE(kModifiedImmediate), 3441d451fce2580f360ef249893135526156985a85cPierre Langlois kModifiedImmediate}, 3451d451fce2580f360ef249893135526156985a85cPierre Langlois {{al, r0, 0xaaaa}, 3461d451fce2580f360ef249893135526156985a85cPierre Langlois "al r0 0xaaaa", 3471d451fce2580f360ef249893135526156985a85cPierre Langlois "ModifiedImmediate_al_r0_0xaaaa", 3481d451fce2580f360ef249893135526156985a85cPierre Langlois ARRAY_SIZE(kModifiedImmediate), 3491d451fce2580f360ef249893135526156985a85cPierre Langlois kModifiedImmediate}, 3501d451fce2580f360ef249893135526156985a85cPierre Langlois {{al, r0, 0xcccc}, 3511d451fce2580f360ef249893135526156985a85cPierre Langlois "al r0 0xcccc", 3521d451fce2580f360ef249893135526156985a85cPierre Langlois "ModifiedImmediate_al_r0_0xcccc", 3531d451fce2580f360ef249893135526156985a85cPierre Langlois ARRAY_SIZE(kModifiedImmediate), 3541d451fce2580f360ef249893135526156985a85cPierre Langlois kModifiedImmediate}, 3551d451fce2580f360ef249893135526156985a85cPierre Langlois {{al, r0, 0x8000}, 3561d451fce2580f360ef249893135526156985a85cPierre Langlois "al r0 0x8000", 3571d451fce2580f360ef249893135526156985a85cPierre Langlois "ModifiedImmediate_al_r0_0x8000", 3581d451fce2580f360ef249893135526156985a85cPierre Langlois ARRAY_SIZE(kModifiedImmediate), 3591d451fce2580f360ef249893135526156985a85cPierre Langlois kModifiedImmediate}, 3601d451fce2580f360ef249893135526156985a85cPierre Langlois {{al, r0, 0x8001}, 3611d451fce2580f360ef249893135526156985a85cPierre Langlois "al r0 0x8001", 3621d451fce2580f360ef249893135526156985a85cPierre Langlois "ModifiedImmediate_al_r0_0x8001", 3631d451fce2580f360ef249893135526156985a85cPierre Langlois ARRAY_SIZE(kModifiedImmediate), 3641d451fce2580f360ef249893135526156985a85cPierre Langlois kModifiedImmediate}, 3651d451fce2580f360ef249893135526156985a85cPierre Langlois {{al, r0, 0x8002}, 3661d451fce2580f360ef249893135526156985a85cPierre Langlois "al r0 0x8002", 3671d451fce2580f360ef249893135526156985a85cPierre Langlois "ModifiedImmediate_al_r0_0x8002", 3681d451fce2580f360ef249893135526156985a85cPierre Langlois ARRAY_SIZE(kModifiedImmediate), 3691d451fce2580f360ef249893135526156985a85cPierre Langlois kModifiedImmediate}, 3701d451fce2580f360ef249893135526156985a85cPierre Langlois {{al, r0, 0x8003}, 3711d451fce2580f360ef249893135526156985a85cPierre Langlois "al r0 0x8003", 3721d451fce2580f360ef249893135526156985a85cPierre Langlois "ModifiedImmediate_al_r0_0x8003", 3731d451fce2580f360ef249893135526156985a85cPierre Langlois ARRAY_SIZE(kModifiedImmediate), 3741d451fce2580f360ef249893135526156985a85cPierre Langlois kModifiedImmediate}, 3751d451fce2580f360ef249893135526156985a85cPierre Langlois {{al, r0, 0xff80}, 3761d451fce2580f360ef249893135526156985a85cPierre Langlois "al r0 0xff80", 3771d451fce2580f360ef249893135526156985a85cPierre Langlois "ModifiedImmediate_al_r0_0xff80", 3781d451fce2580f360ef249893135526156985a85cPierre Langlois ARRAY_SIZE(kModifiedImmediate), 3791d451fce2580f360ef249893135526156985a85cPierre Langlois kModifiedImmediate}, 3801d451fce2580f360ef249893135526156985a85cPierre Langlois {{al, r0, 0xff81}, 3811d451fce2580f360ef249893135526156985a85cPierre Langlois "al r0 0xff81", 3821d451fce2580f360ef249893135526156985a85cPierre Langlois "ModifiedImmediate_al_r0_0xff81", 3831d451fce2580f360ef249893135526156985a85cPierre Langlois ARRAY_SIZE(kModifiedImmediate), 3841d451fce2580f360ef249893135526156985a85cPierre Langlois kModifiedImmediate}, 3851d451fce2580f360ef249893135526156985a85cPierre Langlois {{al, r0, 0xff82}, 3861d451fce2580f360ef249893135526156985a85cPierre Langlois "al r0 0xff82", 3871d451fce2580f360ef249893135526156985a85cPierre Langlois "ModifiedImmediate_al_r0_0xff82", 3881d451fce2580f360ef249893135526156985a85cPierre Langlois ARRAY_SIZE(kModifiedImmediate), 3891d451fce2580f360ef249893135526156985a85cPierre Langlois kModifiedImmediate}, 3901d451fce2580f360ef249893135526156985a85cPierre Langlois {{al, r0, 0xff83}, 3911d451fce2580f360ef249893135526156985a85cPierre Langlois "al r0 0xff83", 3921d451fce2580f360ef249893135526156985a85cPierre Langlois "ModifiedImmediate_al_r0_0xff83", 3931d451fce2580f360ef249893135526156985a85cPierre Langlois ARRAY_SIZE(kModifiedImmediate), 3941d451fce2580f360ef249893135526156985a85cPierre Langlois kModifiedImmediate}, 3951d451fce2580f360ef249893135526156985a85cPierre Langlois {{al, r0, 0xffe0}, 3961d451fce2580f360ef249893135526156985a85cPierre Langlois "al r0 0xffe0", 3971d451fce2580f360ef249893135526156985a85cPierre Langlois "ModifiedImmediate_al_r0_0xffe0", 3981d451fce2580f360ef249893135526156985a85cPierre Langlois ARRAY_SIZE(kModifiedImmediate), 3991d451fce2580f360ef249893135526156985a85cPierre Langlois kModifiedImmediate}, 4001d451fce2580f360ef249893135526156985a85cPierre Langlois {{al, r0, 0xfffd}, 4011d451fce2580f360ef249893135526156985a85cPierre Langlois "al r0 0xfffd", 4021d451fce2580f360ef249893135526156985a85cPierre Langlois "ModifiedImmediate_al_r0_0xfffd", 4031d451fce2580f360ef249893135526156985a85cPierre Langlois ARRAY_SIZE(kModifiedImmediate), 4041d451fce2580f360ef249893135526156985a85cPierre Langlois kModifiedImmediate}, 4051d451fce2580f360ef249893135526156985a85cPierre Langlois {{al, r0, 0xfffe}, 4061d451fce2580f360ef249893135526156985a85cPierre Langlois "al r0 0xfffe", 4071d451fce2580f360ef249893135526156985a85cPierre Langlois "ModifiedImmediate_al_r0_0xfffe", 4081d451fce2580f360ef249893135526156985a85cPierre Langlois ARRAY_SIZE(kModifiedImmediate), 4091d451fce2580f360ef249893135526156985a85cPierre Langlois kModifiedImmediate}, 4101d451fce2580f360ef249893135526156985a85cPierre Langlois {{al, r0, 0xffff}, 4111d451fce2580f360ef249893135526156985a85cPierre Langlois "al r0 0xffff", 4121d451fce2580f360ef249893135526156985a85cPierre Langlois "ModifiedImmediate_al_r0_0xffff", 4131d451fce2580f360ef249893135526156985a85cPierre Langlois ARRAY_SIZE(kModifiedImmediate), 4141d451fce2580f360ef249893135526156985a85cPierre Langlois kModifiedImmediate}}; 41588c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 41688c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// We record all inputs to the instructions as outputs. This way, we also check 41788c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// that what shouldn't change didn't change. 41888c46b84df005638546de5e4e965bdcc31352f48Pierre Langloisstruct TestResult { 41988c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois size_t output_size; 42088c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois const Inputs* outputs; 42188c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois}; 42288c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 42388c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// These headers each contain an array of `TestResult` with the reference output 42488c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// values. The reference arrays are names `kReference{mnemonic}`. 425d3832965c62a8ad461b9ea9eb0994ca6b0a3da2cAlexandre Rames#include "aarch32/traces/simulator-cond-rd-operand-imm16-t32-mov.h" 426d3832965c62a8ad461b9ea9eb0994ca6b0a3da2cAlexandre Rames#include "aarch32/traces/simulator-cond-rd-operand-imm16-t32-movt.h" 42788c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 42819c0535d3c9c0bec6eeecce0ae704a7fd527a9d8Pierre Langlois 42988c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// The maximum number of errors to report in detail for each test. 4301d451fce2580f360ef249893135526156985a85cPierre Langloisconst unsigned kErrorReportLimit = 8; 43188c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 43219c0535d3c9c0bec6eeecce0ae704a7fd527a9d8Pierre Langloistypedef void (MacroAssembler::*Fn)(Condition cond, 43319c0535d3c9c0bec6eeecce0ae704a7fd527a9d8Pierre Langlois Register rd, 43488c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois const Operand& op); 43588c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 43628ee02e59261f0aaa4824953fa3db5dd8f7f8dcfPierre Langloisvoid TestHelper(Fn instruction, 43728ee02e59261f0aaa4824953fa3db5dd8f7f8dcfPierre Langlois const char* mnemonic, 43828ee02e59261f0aaa4824953fa3db5dd8f7f8dcfPierre Langlois const TestResult reference[]) { 43988c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois SETUP(); 44010dae1a549308bddc1931f29754d6a4459f70c9bJacob Bramley masm.UseT32(); 44188c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois START(); 44288c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 44388c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois // Data to compare to `reference`. 44488c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois TestResult* results[ARRAY_SIZE(kTests)]; 44588c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 44688c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois // Test cases for memory bound instructions may allocate a buffer and save its 44788c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois // address in this array. 44888c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois byte* scratch_memory_buffers[ARRAY_SIZE(kTests)]; 44988c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 45088c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois // Generate a loop for each element in `kTests`. Each loop tests one specific 45188c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois // instruction. 45288c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois for (unsigned i = 0; i < ARRAY_SIZE(kTests); i++) { 45388c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois // Allocate results on the heap for this test. 45488c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois results[i] = new TestResult; 45588c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois results[i]->outputs = new Inputs[kTests[i].input_size]; 45688c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois results[i]->output_size = kTests[i].input_size; 45788c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 458f5348cedd702124c90fc75e75d0195e2e485c620Pierre Langlois size_t input_stride = sizeof(kTests[i].inputs[0]) * kTests[i].input_size; 459f5348cedd702124c90fc75e75d0195e2e485c620Pierre Langlois VIXL_ASSERT(IsUint32(input_stride)); 46088c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 46188c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois scratch_memory_buffers[i] = NULL; 46288c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 46388c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois Label loop; 46488c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois UseScratchRegisterScope scratch_registers(&masm); 46588c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois // Include all registers from r0 ro r12. 46688c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois scratch_registers.Include(RegisterList(0x1fff)); 46788c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 46888c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois // Values to pass to the macro-assembler. 46988c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois Condition cond = kTests[i].operands.cond; 47088c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois Register rd = kTests[i].operands.rd; 47188c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois uint32_t immediate = kTests[i].operands.immediate; 47288c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois Operand op(immediate); 47388c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois scratch_registers.Exclude(rd); 47488c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 47588c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois // Allocate reserved registers for our own use. 47688c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois Register input_ptr = scratch_registers.Acquire(); 47788c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois Register input_end = scratch_registers.Acquire(); 47888c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois Register result_ptr = scratch_registers.Acquire(); 47988c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 48088c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois // Initialize `input_ptr` to the first element and `input_end` the address 48188c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois // after the array. 482f5348cedd702124c90fc75e75d0195e2e485c620Pierre Langlois __ Mov(input_ptr, Operand::From(kTests[i].inputs)); 483f5348cedd702124c90fc75e75d0195e2e485c620Pierre Langlois __ Add(input_end, input_ptr, static_cast<uint32_t>(input_stride)); 484f5348cedd702124c90fc75e75d0195e2e485c620Pierre Langlois __ Mov(result_ptr, Operand::From(results[i]->outputs)); 48588c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois __ Bind(&loop); 48688c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 48788c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois { 48888c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois UseScratchRegisterScope temp_registers(&masm); 48988c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois Register nzcv_bits = temp_registers.Acquire(); 49088c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois Register saved_q_bit = temp_registers.Acquire(); 49188c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois // Save the `Q` bit flag. 49288c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois __ Mrs(saved_q_bit, APSR); 49388c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois __ And(saved_q_bit, saved_q_bit, QFlag); 49488c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois // Set the `NZCV` and `Q` flags together. 49588c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois __ Ldr(nzcv_bits, MemOperand(input_ptr, offsetof(Inputs, apsr))); 49688c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois __ Orr(nzcv_bits, nzcv_bits, saved_q_bit); 49788c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois __ Msr(APSR_nzcvq, nzcv_bits); 49888c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois } 49988c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois __ Ldr(rd, MemOperand(input_ptr, offsetof(Inputs, rd))); 50088c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 50188c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois (masm.*instruction)(cond, rd, op); 50288c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 50388c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois { 50488c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois UseScratchRegisterScope temp_registers(&masm); 50588c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois Register nzcv_bits = temp_registers.Acquire(); 50688c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois __ Mrs(nzcv_bits, APSR); 50788c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois // Only record the NZCV bits. 50888c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois __ And(nzcv_bits, nzcv_bits, NZCVFlag); 50988c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois __ Str(nzcv_bits, MemOperand(result_ptr, offsetof(Inputs, apsr))); 51088c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois } 51188c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois __ Str(rd, MemOperand(result_ptr, offsetof(Inputs, rd))); 51288c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 51388c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois // Advance the result pointer. 514f5348cedd702124c90fc75e75d0195e2e485c620Pierre Langlois __ Add(result_ptr, result_ptr, Operand::From(sizeof(kTests[i].inputs[0]))); 51588c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois // Loop back until `input_ptr` is lower than `input_base`. 516f5348cedd702124c90fc75e75d0195e2e485c620Pierre Langlois __ Add(input_ptr, input_ptr, Operand::From(sizeof(kTests[i].inputs[0]))); 51788c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois __ Cmp(input_ptr, input_end); 51888c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois __ B(ne, &loop); 51988c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois } 52088c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 52188c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois END(); 52288c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 52388c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois RUN(); 52488c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 52588c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois if (Test::generate_test_trace()) { 52688c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois // Print the results. 52788c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois for (size_t i = 0; i < ARRAY_SIZE(kTests); i++) { 5281d451fce2580f360ef249893135526156985a85cPierre Langlois printf("const Inputs kOutputs_%s_%s[] = {\n", 52919c0535d3c9c0bec6eeecce0ae704a7fd527a9d8Pierre Langlois mnemonic, 53088c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois kTests[i].identifier); 53188c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois for (size_t j = 0; j < results[i]->output_size; j++) { 53288c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois printf(" { "); 53388c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois printf("0x%08" PRIx32, results[i]->outputs[j].apsr); 53488c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois printf(", "); 53588c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois printf("0x%08" PRIx32, results[i]->outputs[j].rd); 53688c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois printf(" },\n"); 53788c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois } 53888c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois printf("};\n"); 53988c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois } 5401d451fce2580f360ef249893135526156985a85cPierre Langlois printf("const TestResult kReference%s[] = {\n", mnemonic); 54188c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois for (size_t i = 0; i < ARRAY_SIZE(kTests); i++) { 54288c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois printf(" {\n"); 54319c0535d3c9c0bec6eeecce0ae704a7fd527a9d8Pierre Langlois printf(" ARRAY_SIZE(kOutputs_%s_%s),\n", 54419c0535d3c9c0bec6eeecce0ae704a7fd527a9d8Pierre Langlois mnemonic, 54588c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois kTests[i].identifier); 54688c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois printf(" kOutputs_%s_%s,\n", mnemonic, kTests[i].identifier); 54788c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois printf(" },\n"); 54888c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois } 54988c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois printf("};\n"); 55054fce717d9371fa2e8fc46e1d811bdb4ab74f279Alexandre Rames } else if (kCheckSimulatorTestResults) { 55188c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois // Check the results. 55288c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois unsigned total_error_count = 0; 55388c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois for (size_t i = 0; i < ARRAY_SIZE(kTests); i++) { 55488c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois bool instruction_has_errors = false; 55588c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois for (size_t j = 0; j < kTests[i].input_size; j++) { 55688c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois uint32_t apsr = results[i]->outputs[j].apsr; 55788c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois uint32_t rd = results[i]->outputs[j].rd; 55888c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois uint32_t apsr_input = kTests[i].inputs[j].apsr; 55988c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois uint32_t rd_input = kTests[i].inputs[j].rd; 56088c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois uint32_t apsr_ref = reference[i].outputs[j].apsr; 56188c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois uint32_t rd_ref = reference[i].outputs[j].rd; 56288c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 56388c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois if (((apsr != apsr_ref) || (rd != rd_ref)) && 56488c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois (++total_error_count <= kErrorReportLimit)) { 56588c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois // Print the instruction once even if it triggered multiple failures. 56688c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois if (!instruction_has_errors) { 56719c0535d3c9c0bec6eeecce0ae704a7fd527a9d8Pierre Langlois printf("Error(s) when testing \"%s %s\":\n", 56819c0535d3c9c0bec6eeecce0ae704a7fd527a9d8Pierre Langlois mnemonic, 56988c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois kTests[i].operands_description); 57088c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois instruction_has_errors = true; 57188c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois } 57288c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois // Print subsequent errors. 57388c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois printf(" Input: "); 57488c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois printf("0x%08" PRIx32, apsr_input); 57588c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois printf(", "); 57688c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois printf("0x%08" PRIx32, rd_input); 57788c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois printf("\n"); 57888c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois printf(" Expected: "); 57988c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois printf("0x%08" PRIx32, apsr_ref); 58088c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois printf(", "); 58188c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois printf("0x%08" PRIx32, rd_ref); 58288c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois printf("\n"); 58388c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois printf(" Found: "); 58488c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois printf("0x%08" PRIx32, apsr); 58588c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois printf(", "); 58688c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois printf("0x%08" PRIx32, rd); 58788c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois printf("\n\n"); 58888c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois } 58988c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois } 59088c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois } 59188c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 59288c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois if (total_error_count > kErrorReportLimit) { 59388c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois printf("%u other errors follow.\n", 59488c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois total_error_count - kErrorReportLimit); 59588c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois } 59688c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois VIXL_CHECK(total_error_count == 0); 59754fce717d9371fa2e8fc46e1d811bdb4ab74f279Alexandre Rames } else { 59854fce717d9371fa2e8fc46e1d811bdb4ab74f279Alexandre Rames VIXL_WARNING("Assembled the code, but did not run anything.\n"); 59988c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois } 60088c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 60188c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois for (size_t i = 0; i < ARRAY_SIZE(kTests); i++) { 60288c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois delete[] results[i]->outputs; 60388c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois delete results[i]; 604ec4fdd22abecf1b8f52ee9dbff596ebdded9b5d6Serban Constantinescu delete[] scratch_memory_buffers[i]; 60588c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois } 60688c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 60788c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois TEARDOWN(); 60888c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois} 60988c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 61088c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois// Instantiate tests for each instruction in the list. 61128ee02e59261f0aaa4824953fa3db5dd8f7f8dcfPierre Langlois// TODO: Remove this limitation by having a sandboxing mechanism. 61228ee02e59261f0aaa4824953fa3db5dd8f7f8dcfPierre Langlois#if defined(VIXL_HOST_POINTER_32) 61388c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois#define TEST(mnemonic) \ 6141d451fce2580f360ef249893135526156985a85cPierre Langlois void Test_##mnemonic() { \ 61588c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois TestHelper(&MacroAssembler::mnemonic, #mnemonic, kReference##mnemonic); \ 61688c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois } \ 6171d451fce2580f360ef249893135526156985a85cPierre Langlois Test test_##mnemonic( \ 61888c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois "AARCH32_SIMULATOR_COND_RD_OPERAND_IMM16_T32_" #mnemonic, \ 61988c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois &Test_##mnemonic); 62028ee02e59261f0aaa4824953fa3db5dd8f7f8dcfPierre Langlois#else 62128ee02e59261f0aaa4824953fa3db5dd8f7f8dcfPierre Langlois#define TEST(mnemonic) \ 62228ee02e59261f0aaa4824953fa3db5dd8f7f8dcfPierre Langlois void Test_##mnemonic() { \ 62328ee02e59261f0aaa4824953fa3db5dd8f7f8dcfPierre Langlois VIXL_WARNING("This test can only run on a 32-bit host.\n"); \ 62428ee02e59261f0aaa4824953fa3db5dd8f7f8dcfPierre Langlois USE(TestHelper); \ 62528ee02e59261f0aaa4824953fa3db5dd8f7f8dcfPierre Langlois } \ 62628ee02e59261f0aaa4824953fa3db5dd8f7f8dcfPierre Langlois Test test_##mnemonic( \ 62728ee02e59261f0aaa4824953fa3db5dd8f7f8dcfPierre Langlois "AARCH32_SIMULATOR_COND_RD_OPERAND_IMM16_T32_" #mnemonic, \ 62828ee02e59261f0aaa4824953fa3db5dd8f7f8dcfPierre Langlois &Test_##mnemonic); 62928ee02e59261f0aaa4824953fa3db5dd8f7f8dcfPierre Langlois#endif 63028ee02e59261f0aaa4824953fa3db5dd8f7f8dcfPierre Langlois 63188c46b84df005638546de5e4e965bdcc31352f48Pierre LangloisFOREACH_INSTRUCTION(TEST) 63288c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois#undef TEST 63388c46b84df005638546de5e4e965bdcc31352f48Pierre Langlois 6341d451fce2580f360ef249893135526156985a85cPierre Langlois} // namespace 6359a9331faeba996d6c85e6e2a6355ccfc22c6cab6Rodolph Perfetta#endif 6361d451fce2580f360ef249893135526156985a85cPierre Langlois 6371d451fce2580f360ef249893135526156985a85cPierre Langlois} // namespace aarch32 6381d451fce2580f360ef249893135526156985a85cPierre Langlois} // namespace vixl 639