arm.isa revision 7203
16019SN/A// -*- mode:c++ -*- 26019SN/A 37102SN/A// Copyright (c) 2010 ARM Limited 47102SN/A// All rights reserved 57102SN/A// 67102SN/A// The license below extends only to copyright in the software and shall 77102SN/A// not be construed as granting a license to any other intellectual 87102SN/A// property including but not limited to intellectual property relating 97102SN/A// to a hardware implementation of the functionality of the software 107102SN/A// licensed hereunder. You may use the software subject to the license 117102SN/A// terms below provided that you ensure that this notice is replicated 127102SN/A// unmodified and in its entirety in all distributions of the software, 137102SN/A// modified or unmodified, in source code or in binary form. 147102SN/A// 156019SN/A// Copyright (c) 2007-2008 The Florida State University 166019SN/A// All rights reserved. 176019SN/A// 186019SN/A// Redistribution and use in source and binary forms, with or without 196019SN/A// modification, are permitted provided that the following conditions are 206019SN/A// met: redistributions of source code must retain the above copyright 216019SN/A// notice, this list of conditions and the following disclaimer; 226019SN/A// redistributions in binary form must reproduce the above copyright 236019SN/A// notice, this list of conditions and the following disclaimer in the 246019SN/A// documentation and/or other materials provided with the distribution; 256019SN/A// neither the name of the copyright holders nor the names of its 266019SN/A// contributors may be used to endorse or promote products derived from 276019SN/A// this software without specific prior written permission. 286019SN/A// 296019SN/A// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 306019SN/A// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 316019SN/A// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 326019SN/A// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 336019SN/A// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 346019SN/A// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 356019SN/A// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 366019SN/A// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 376019SN/A// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 386019SN/A// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 396019SN/A// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 406019SN/A// 416019SN/A// Authors: Stephen Hines 426019SN/A 436019SN/A//////////////////////////////////////////////////////////////////// 446019SN/A// 456019SN/A// The actual ARM ISA decoder 466019SN/A// -------------------------- 476019SN/A// The following instructions are specified in the ARM ISA 486019SN/A// Specification. Decoding closely follows the style specified 496019SN/A// in the ARM ISA specification document starting with Table B.1 or 3-1 506019SN/A// 516019SN/A// 526310SN/A 537191Sgblack@eecs.umich.edu0: decode COND_CODE { 547191Sgblack@eecs.umich.edu0xF: ArmUnconditional::armUnconditional(); 557191Sgblack@eecs.umich.edudefault: decode ENCODING { 566268SN/Aformat DataOp { 576268SN/A 0x0: decode SEVEN_AND_FOUR { 586268SN/A 1: decode MISC_OPCODE { 596268SN/A 0x9: decode PREPOST { 607161Sgblack@eecs.umich.edu 0: ArmMultAndMultAcc::armMultAndMultAcc(); 616268SN/A 1: decode PUBWL { 626268SN/A 0x10: WarnUnimpl::swp(); 636268SN/A 0x14: WarnUnimpl::swpb(); 646268SN/A 0x18: WarnUnimpl::strex(); 656268SN/A 0x19: WarnUnimpl::ldrex(); 666019SN/A } 676019SN/A } 687129Sgblack@eecs.umich.edu 0xb, 0xd, 0xf: AddrMode3::addrMode3(); 696019SN/A } 706268SN/A 0: decode IS_MISC { 717139Sgblack@eecs.umich.edu 0: ArmDataProcReg::armDataProcReg(); 727161Sgblack@eecs.umich.edu 1: decode OPCODE_7 { 737161Sgblack@eecs.umich.edu 0x0: decode MISC_OPCODE { 747203Sgblack@eecs.umich.edu 0x0: ArmMsrMrs::armMsrMrs(); 757161Sgblack@eecs.umich.edu 0x1: decode OPCODE { 767161Sgblack@eecs.umich.edu 0x9: ArmBx::armBx(); 777161Sgblack@eecs.umich.edu 0xb: PredOp::clz({{ 787161Sgblack@eecs.umich.edu Rd = ((Rm == 0) ? 32 : (31 - findMsbSet(Rm))); 796751SN/A }}); 806751SN/A } 817161Sgblack@eecs.umich.edu 0x2: decode OPCODE { 827161Sgblack@eecs.umich.edu 0x9: WarnUnimpl::bxj(); 837161Sgblack@eecs.umich.edu } 847161Sgblack@eecs.umich.edu 0x3: decode OPCODE { 857161Sgblack@eecs.umich.edu 0x9: ArmBlxReg::armBlxReg(); 867161Sgblack@eecs.umich.edu } 877195Sgblack@eecs.umich.edu 0x5: ArmSatAddSub::armSatAddSub(); 886268SN/A } 897161Sgblack@eecs.umich.edu 0x1: ArmHalfWordMultAndMultAcc::armHalfWordMultAndMultAcc(); 906268SN/A } 916268SN/A } 926268SN/A } 936268SN/A 0x1: decode IS_MISC { 947139Sgblack@eecs.umich.edu 0: ArmDataProcImm::armDataProcImm(); 956268SN/A 1: decode OPCODE { 966268SN/A // The following two instructions aren't supposed to be defined 976741SN/A 0x8: DataOp::movw({{ Rd = IMMED_11_0 | (RN << 12) ; }}); 986756SN/A 0x9: decode RN { 996756SN/A 0: decode IMM { 1006756SN/A 0: PredImmOp::nop({{ ; }}); 1016756SN/A 1: WarnUnimpl::yield(); 1026756SN/A 2: WarnUnimpl::wfe(); 1036756SN/A 3: WarnUnimpl::wfi(); 1046756SN/A 4: WarnUnimpl::sev(); 1056756SN/A } 1066756SN/A default: PredImmOp::msr_i_cpsr({{ 1076756SN/A uint32_t newCpsr = 1086756SN/A cpsrWriteByInstr(Cpsr | CondCodes, 1096756SN/A rotated_imm, RN, false); 1106756SN/A Cpsr = ~CondCodesMask & newCpsr; 1116756SN/A CondCodes = CondCodesMask & newCpsr; 1126756SN/A }}); 1136756SN/A } 1146756SN/A 0xa: PredOp::movt({{ Rd = IMMED_11_0 << 16 | RN << 28 | Rd<15:0>; }}); 1156756SN/A 0xb: PredImmOp::msr_i_spsr({{ 1167102SN/A Spsr = spsrWriteByInstr(Spsr, rotated_imm, RN, false); 1176741SN/A }}); 1186019SN/A } 1196268SN/A } 1207120Sgblack@eecs.umich.edu 0x2: AddrMode2::addrMode2(True); 1216268SN/A 0x3: decode OPCODE_4 { 1227120Sgblack@eecs.umich.edu 0: AddrMode2::addrMode2(False); 1237161Sgblack@eecs.umich.edu 1: decode OPCODE_24_23 { 1247194Sgblack@eecs.umich.edu 0x0: ArmParallelAddSubtract::armParallelAddSubtract(); 1257161Sgblack@eecs.umich.edu 0x1: decode MEDIA_OPCODE { 1267161Sgblack@eecs.umich.edu 0x8: decode MISC_OPCODE { 1277161Sgblack@eecs.umich.edu 0x1, 0x9: WarnUnimpl::pkhbt(); 1287161Sgblack@eecs.umich.edu 0x7: WarnUnimpl::sxtab16(); 1297161Sgblack@eecs.umich.edu 0xb: WarnUnimpl::sel(); 1307161Sgblack@eecs.umich.edu 0x5, 0xd: WarnUnimpl::pkhtb(); 1317161Sgblack@eecs.umich.edu 0x3: WarnUnimpl::sign_zero_extend_add(); 1326269SN/A } 1337161Sgblack@eecs.umich.edu 0xa, 0xb: decode SHIFT { 1347161Sgblack@eecs.umich.edu 0x0, 0x2: WarnUnimpl::ssat(); 1357161Sgblack@eecs.umich.edu 0x1: WarnUnimpl::ssat16(); 1367161Sgblack@eecs.umich.edu } 1377161Sgblack@eecs.umich.edu 0xe, 0xf: decode SHIFT { 1387161Sgblack@eecs.umich.edu 0x0, 0x2: WarnUnimpl::usat(); 1397161Sgblack@eecs.umich.edu 0x1: WarnUnimpl::usat16(); 1406269SN/A } 1416269SN/A } 1427161Sgblack@eecs.umich.edu 0x2: ArmSignedMultiplies::armSignedMultiplies(); 1437161Sgblack@eecs.umich.edu 0x3: decode MEDIA_OPCODE { 1447161Sgblack@eecs.umich.edu 0x18: decode RN { 1457161Sgblack@eecs.umich.edu 0xf: WarnUnimpl::usada8(); 1467161Sgblack@eecs.umich.edu default: WarnUnimpl::usad8(); 1476269SN/A } 1486269SN/A } 1496269SN/A } 1506268SN/A } 1517134Sgblack@eecs.umich.edu 0x4: ArmMacroMem::armMacroMem(); 1526268SN/A 0x5: decode OPCODE_24 { 1537152Sgblack@eecs.umich.edu 0: ArmBBlxImm::armBBlxImm(); 1547152Sgblack@eecs.umich.edu 1: ArmBlBlxImm::armBlBlxImm(); 1556268SN/A } 1566268SN/A 0x6: decode CPNUM { 1577179Sgblack@eecs.umich.edu 0xb: ExtensionRegLoadStore::extensionRegLoadStore(); 1586268SN/A } 1596268SN/A 0x7: decode OPCODE_24 { 1606743SN/A 0: decode OPCODE_4 { 1616743SN/A 0: decode CPNUM { 1627105SN/A 0xa, 0xb: decode OPCODE_23_20 { 1637117Sgblack@eecs.umich.edu##include "vfp.isa" 1647105SN/A } 1656743SN/A } // CPNUM 1666743SN/A 1: decode CPNUM { // 27-24=1110,4 ==1 1676743SN/A 1: decode OPCODE_15_12 { 1686743SN/A format FloatOp { 1696268SN/A 0xf: decode OPCODE_23_21 { 1706268SN/A format FloatCmp { 1716268SN/A 0x4: cmf({{ Fn.df }}, {{ Fm.df }}); 1726268SN/A 0x5: cnf({{ Fn.df }}, {{ -Fm.df }}); 1736268SN/A 0x6: cmfe({{ Fn.df }}, {{ Fm.df}}); 1746268SN/A 0x7: cnfe({{ Fn.df }}, {{ -Fm.df}}); 1756019SN/A } 1766019SN/A } 1776268SN/A default: decode OPCODE_23_20 { 1786268SN/A 0x0: decode OPCODE_7 { 1796268SN/A 0: flts({{ Fn.sf = (float) Rd.sw; }}); 1806268SN/A 1: fltd({{ Fn.df = (double) Rd.sw; }}); 1816019SN/A } 1826268SN/A 0x1: decode OPCODE_7 { 1836268SN/A 0: fixs({{ Rd = (uint32_t) Fm.sf; }}); 1846268SN/A 1: fixd({{ Rd = (uint32_t) Fm.df; }}); 1856019SN/A } 1866268SN/A 0x2: wfs({{ Fpsr = Rd; }}); 1876268SN/A 0x3: rfs({{ Rd = Fpsr; }}); 1886268SN/A 0x4: FailUnimpl::wfc(); 1896268SN/A 0x5: FailUnimpl::rfc(); 1906019SN/A } 1916743SN/A } // format FloatOp 1926019SN/A } 1936743SN/A 0xa: decode MISC_OPCODE { 1946743SN/A 0x1: decode MEDIA_OPCODE { 1956743SN/A 0xf: decode RN { 1966743SN/A 0x0: FloatOp::fmrx_fpsid({{ Rd = Fpsid; }}); 1976743SN/A 0x1: FloatOp::fmrx_fpscr({{ Rd = Fpscr; }}); 1986743SN/A 0x8: FloatOp::fmrx_fpexc({{ Rd = Fpexc; }}); 1996743SN/A } 2006743SN/A 0xe: decode RN { 2016743SN/A 0x0: FloatOp::fmxr_fpsid({{ Fpsid = Rd; }}); 2026743SN/A 0x1: FloatOp::fmxr_fpscr({{ Fpscr = Rd; }}); 2036743SN/A 0x8: FloatOp::fmxr_fpexc({{ Fpexc = Rd; }}); 2046743SN/A } 2056743SN/A } // MEDIA_OPCODE (MISC_OPCODE 0x1) 2066743SN/A } // MISC_OPCODE (CPNUM 0xA) 2076759SN/A 0xf: decode RN { 2086759SN/A // Barrriers, Cache Maintence, NOPS 2096759SN/A 7: decode OPCODE_23_21 { 2106759SN/A 0: decode RM { 2116759SN/A 0: decode OPC2 { 2126759SN/A 4: decode OPCODE_20 { 2136759SN/A 0: PredOp::mcr_cp15_nop1({{ }}); // was wfi 2146759SN/A } 2156759SN/A } 2166759SN/A 1: WarnUnimpl::cp15_cache_maint(); 2176759SN/A 4: WarnUnimpl::cp15_par(); 2186759SN/A 5: decode OPC2 { 2196759SN/A 0,1: WarnUnimpl::cp15_cache_maint2(); 2206759SN/A 4: PredOp::cp15_isb({{ ; }}, IsMemBarrier, IsSerializeBefore); 2216759SN/A 6,7: WarnUnimpl::cp15_bp_maint(); 2226759SN/A } 2236759SN/A 6: WarnUnimpl::cp15_cache_maint3(); 2246759SN/A 8: WarnUnimpl::cp15_va_to_pa(); 2256759SN/A 10: decode OPC2 { 2266759SN/A 1,2: WarnUnimpl::cp15_cache_maint3(); 2276759SN/A 4: PredOp::cp15_dsb({{ ; }}, IsMemBarrier, IsSerializeBefore); 2286759SN/A 5: PredOp::cp15_dmb({{ ; }}, IsMemBarrier, IsSerializeBefore); 2296759SN/A } 2306759SN/A 11: WarnUnimpl::cp15_cache_maint4(); 2316759SN/A 13: decode OPC2 { 2326759SN/A 1: decode OPCODE_20 { 2336759SN/A 0: PredOp::mcr_cp15_nop2({{ }}); // was prefetch 2346759SN/A } 2356759SN/A } 2366759SN/A 14: WarnUnimpl::cp15_cache_maint5(); 2376759SN/A } // RM 2386759SN/A } // OPCODE_23_21 CR 2397102SN/A 2406759SN/A // Thread ID and context ID registers 2416759SN/A // Thread ID register needs cheaper access than miscreg 2427102SN/A 13: WarnUnimpl::mcr_mrc_cp15_c7(); 2436759SN/A 2446759SN/A // All the rest 2456759SN/A default: decode OPCODE_20 { 2467102SN/A 0: PredOp::mcr_cp15({{ 2477102SN/A fault = setCp15Register(Rd, RN, OPCODE_23_21, RM, OPC2); 2486759SN/A }}); 2497102SN/A 1: PredOp::mrc_cp15({{ 2507102SN/A fault = readCp15Register(Rd, RN, OPCODE_23_21, RM, OPC2); 2516759SN/A }}); 2526759SN/A } 2537102SN/A } // RN 2546743SN/A } // CPNUM (OP4 == 1) 2556743SN/A } //OPCODE_4 2566743SN/A 2577199Sgblack@eecs.umich.edu 1: Svc::svc(); 2586743SN/A } // OPCODE_24 2596743SN/A 2606268SN/A} 2616268SN/A} 2627191Sgblack@eecs.umich.edu} 2636019SN/A 264