branch.isa revision 7188
16019Shines@cs.fsu.edu// -*- mode:c++ -*- 26019Shines@cs.fsu.edu 37152Sgblack@eecs.umich.edu// Copyright (c) 2010 ARM Limited 47152Sgblack@eecs.umich.edu// All rights reserved 57152Sgblack@eecs.umich.edu// 67152Sgblack@eecs.umich.edu// The license below extends only to copyright in the software and shall 77152Sgblack@eecs.umich.edu// not be construed as granting a license to any other intellectual 87152Sgblack@eecs.umich.edu// property including but not limited to intellectual property relating 97152Sgblack@eecs.umich.edu// to a hardware implementation of the functionality of the software 107152Sgblack@eecs.umich.edu// licensed hereunder. You may use the software subject to the license 117152Sgblack@eecs.umich.edu// terms below provided that you ensure that this notice is replicated 127152Sgblack@eecs.umich.edu// unmodified and in its entirety in all distributions of the software, 137152Sgblack@eecs.umich.edu// modified or unmodified, in source code or in binary form. 147152Sgblack@eecs.umich.edu// 156019Shines@cs.fsu.edu// Copyright (c) 2007-2008 The Florida State University 166019Shines@cs.fsu.edu// All rights reserved. 176019Shines@cs.fsu.edu// 186019Shines@cs.fsu.edu// Redistribution and use in source and binary forms, with or without 196019Shines@cs.fsu.edu// modification, are permitted provided that the following conditions are 206019Shines@cs.fsu.edu// met: redistributions of source code must retain the above copyright 216019Shines@cs.fsu.edu// notice, this list of conditions and the following disclaimer; 226019Shines@cs.fsu.edu// redistributions in binary form must reproduce the above copyright 236019Shines@cs.fsu.edu// notice, this list of conditions and the following disclaimer in the 246019Shines@cs.fsu.edu// documentation and/or other materials provided with the distribution; 256019Shines@cs.fsu.edu// neither the name of the copyright holders nor the names of its 266019Shines@cs.fsu.edu// contributors may be used to endorse or promote products derived from 276019Shines@cs.fsu.edu// this software without specific prior written permission. 286019Shines@cs.fsu.edu// 296019Shines@cs.fsu.edu// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 306019Shines@cs.fsu.edu// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 316019Shines@cs.fsu.edu// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 326019Shines@cs.fsu.edu// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 336019Shines@cs.fsu.edu// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 346019Shines@cs.fsu.edu// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 356019Shines@cs.fsu.edu// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 366019Shines@cs.fsu.edu// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 376019Shines@cs.fsu.edu// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 386019Shines@cs.fsu.edu// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 396019Shines@cs.fsu.edu// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 406019Shines@cs.fsu.edu// 416019Shines@cs.fsu.edu// Authors: Stephen Hines 426019Shines@cs.fsu.edu 436019Shines@cs.fsu.edu//////////////////////////////////////////////////////////////////// 446019Shines@cs.fsu.edu// 456019Shines@cs.fsu.edu// Control transfer instructions 466019Shines@cs.fsu.edu// 476019Shines@cs.fsu.edu 487152Sgblack@eecs.umich.edudef format ArmBBlxImm() {{ 497152Sgblack@eecs.umich.edu decode_block = ''' 507152Sgblack@eecs.umich.edu if (machInst.condCode == 0xF) { 517152Sgblack@eecs.umich.edu int32_t imm = (sext<26>(bits(machInst, 23, 0) << 2)) | 527152Sgblack@eecs.umich.edu (bits(machInst, 24) << 1); 537152Sgblack@eecs.umich.edu return new BlxImm(machInst, imm); 547152Sgblack@eecs.umich.edu } else { 557152Sgblack@eecs.umich.edu return new B(machInst, sext<26>(bits(machInst, 23, 0) << 2), 567152Sgblack@eecs.umich.edu (ConditionCode)(uint32_t)machInst.condCode); 577152Sgblack@eecs.umich.edu } 587152Sgblack@eecs.umich.edu ''' 597152Sgblack@eecs.umich.edu}}; 607152Sgblack@eecs.umich.edu 617152Sgblack@eecs.umich.edudef format ArmBlBlxImm() {{ 627152Sgblack@eecs.umich.edu decode_block = ''' 637152Sgblack@eecs.umich.edu if (machInst.condCode == 0xF) { 647152Sgblack@eecs.umich.edu int32_t imm = (sext<26>(bits(machInst, 23, 0) << 2)) | 657152Sgblack@eecs.umich.edu (bits(machInst, 24) << 1); 667152Sgblack@eecs.umich.edu return new BlxImm(machInst, imm); 677152Sgblack@eecs.umich.edu } else { 687152Sgblack@eecs.umich.edu return new Bl(machInst, sext<26>(bits(machInst, 23, 0) << 2), 697152Sgblack@eecs.umich.edu (ConditionCode)(uint32_t)machInst.condCode); 707152Sgblack@eecs.umich.edu } 717152Sgblack@eecs.umich.edu ''' 727152Sgblack@eecs.umich.edu}}; 737152Sgblack@eecs.umich.edu 747152Sgblack@eecs.umich.edudef format ArmBx() {{ 757152Sgblack@eecs.umich.edu decode_block = ''' 767152Sgblack@eecs.umich.edu return new BxReg(machInst, (IntRegIndex)(uint32_t)bits(machInst, 3, 0), 777152Sgblack@eecs.umich.edu (ConditionCode)(uint32_t)machInst.condCode); 787152Sgblack@eecs.umich.edu ''' 797152Sgblack@eecs.umich.edu}}; 807152Sgblack@eecs.umich.edu 817152Sgblack@eecs.umich.edudef format ArmBlxReg() {{ 827152Sgblack@eecs.umich.edu decode_block = ''' 837152Sgblack@eecs.umich.edu return new BlxReg(machInst, (IntRegIndex)(uint32_t)bits(machInst, 3, 0), 847152Sgblack@eecs.umich.edu (ConditionCode)(uint32_t)machInst.condCode); 857152Sgblack@eecs.umich.edu ''' 867152Sgblack@eecs.umich.edu}}; 877154Sgblack@eecs.umich.edu 887154Sgblack@eecs.umich.edudef format Thumb16CondBranchAndSvc() {{ 897154Sgblack@eecs.umich.edu decode_block = ''' 907154Sgblack@eecs.umich.edu if (bits(machInst, 11, 9) != 0x7) { 917154Sgblack@eecs.umich.edu return new B(machInst, sext<9>(bits(machInst, 7, 0) << 1), 927154Sgblack@eecs.umich.edu (ConditionCode)(uint32_t)bits(machInst, 11, 8)); 937154Sgblack@eecs.umich.edu } else if (bits(machInst, 8)) { 947154Sgblack@eecs.umich.edu return new WarnUnimplemented("svc", machInst); 957154Sgblack@eecs.umich.edu } else { 967154Sgblack@eecs.umich.edu // This space will not be allocated in the future. 977154Sgblack@eecs.umich.edu return new WarnUnimplemented("unimplemented", machInst); 987154Sgblack@eecs.umich.edu } 997154Sgblack@eecs.umich.edu ''' 1007154Sgblack@eecs.umich.edu}}; 1017154Sgblack@eecs.umich.edu 1027154Sgblack@eecs.umich.edudef format Thumb16UncondBranch() {{ 1037154Sgblack@eecs.umich.edu decode_block = ''' 1047154Sgblack@eecs.umich.edu return new B(machInst, sext<12>(bits(machInst, 10, 0) << 1), COND_UC); 1057154Sgblack@eecs.umich.edu ''' 1067154Sgblack@eecs.umich.edu}}; 1077154Sgblack@eecs.umich.edu 1087155Sgblack@eecs.umich.edudef format Thumb32BranchesAndMiscCtrl() {{ 1097154Sgblack@eecs.umich.edu decode_block = ''' 1107155Sgblack@eecs.umich.edu { 1117155Sgblack@eecs.umich.edu const uint32_t op = bits(machInst, 26, 20); 1127155Sgblack@eecs.umich.edu const uint32_t op1 = bits(machInst, 14, 12); 1137155Sgblack@eecs.umich.edu const uint32_t op2 = bits(machInst, 11, 8); 1147155Sgblack@eecs.umich.edu switch (op1 & 0x5) { 1157155Sgblack@eecs.umich.edu case 0x0: 1167155Sgblack@eecs.umich.edu if (op == 127) { 1177155Sgblack@eecs.umich.edu if (op1 & 0x2) { 1187155Sgblack@eecs.umich.edu // Permanentl undefined. 1197155Sgblack@eecs.umich.edu return new WarnUnimplemented("undefined", machInst); 1207155Sgblack@eecs.umich.edu } else { 1217155Sgblack@eecs.umich.edu return new WarnUnimplemented("smc", machInst); 1227155Sgblack@eecs.umich.edu } 1237155Sgblack@eecs.umich.edu } else if ((op & 0x38) != 0x38) { 1247155Sgblack@eecs.umich.edu const uint32_t s = bits(machInst, 26); 1257155Sgblack@eecs.umich.edu const uint32_t j1 = bits(machInst, 13); 1267155Sgblack@eecs.umich.edu const uint32_t j2 = bits(machInst, 11); 1277155Sgblack@eecs.umich.edu const uint32_t imm6 = bits(machInst, 21, 16); 1287155Sgblack@eecs.umich.edu const uint32_t imm11 = bits(machInst, 10, 0); 1297155Sgblack@eecs.umich.edu const int32_t imm = sext<21>((s << 20) | 1307155Sgblack@eecs.umich.edu (j2 << 19) | (j1 << 18) | 1317155Sgblack@eecs.umich.edu (imm6 << 12) | (imm11 << 1)); 1327155Sgblack@eecs.umich.edu return new B(machInst, imm, 1337155Sgblack@eecs.umich.edu (ConditionCode)(uint32_t)bits(machInst, 25, 22)); 1347155Sgblack@eecs.umich.edu } else { 1357155Sgblack@eecs.umich.edu switch (op) { 1367155Sgblack@eecs.umich.edu case 0x38: 1377155Sgblack@eecs.umich.edu if ((op2 & 0x3) == 0) { 1387155Sgblack@eecs.umich.edu // Application level 1397155Sgblack@eecs.umich.edu return new WarnUnimplemented("msr", machInst); 1407155Sgblack@eecs.umich.edu } 1417155Sgblack@eecs.umich.edu // Fall through on purpose... 1427155Sgblack@eecs.umich.edu case 0x39: 1437155Sgblack@eecs.umich.edu // System level 1447155Sgblack@eecs.umich.edu return new WarnUnimplemented("msr", machInst); 1457155Sgblack@eecs.umich.edu case 0x3a: 1467155Sgblack@eecs.umich.edu { 1477155Sgblack@eecs.umich.edu const uint32_t op1 = bits(machInst, 10, 8); 1487155Sgblack@eecs.umich.edu const uint32_t op2 = bits(machInst, 7, 0); 1497155Sgblack@eecs.umich.edu if (op1 != 0) { 1507155Sgblack@eecs.umich.edu return new WarnUnimplemented("cps", machInst); 1517155Sgblack@eecs.umich.edu } else if ((op2 & 0xf0) == 0xf0) { 1527155Sgblack@eecs.umich.edu return new WarnUnimplemented("dbg", machInst); 1537155Sgblack@eecs.umich.edu } else { 1547155Sgblack@eecs.umich.edu switch (op2) { 1557155Sgblack@eecs.umich.edu case 0x0: 1567155Sgblack@eecs.umich.edu return new WarnUnimplemented("nop", machInst); 1577155Sgblack@eecs.umich.edu case 0x1: 1587155Sgblack@eecs.umich.edu return new WarnUnimplemented("yield", machInst); 1597155Sgblack@eecs.umich.edu case 0x2: 1607155Sgblack@eecs.umich.edu return new WarnUnimplemented("wfe", machInst); 1617155Sgblack@eecs.umich.edu case 0x3: 1627155Sgblack@eecs.umich.edu return new WarnUnimplemented("wfi", machInst); 1637155Sgblack@eecs.umich.edu case 0x4: 1647155Sgblack@eecs.umich.edu return new WarnUnimplemented("sev", machInst); 1657155Sgblack@eecs.umich.edu default: 1667155Sgblack@eecs.umich.edu break; 1677155Sgblack@eecs.umich.edu } 1687155Sgblack@eecs.umich.edu } 1697155Sgblack@eecs.umich.edu break; 1707155Sgblack@eecs.umich.edu } 1717155Sgblack@eecs.umich.edu case 0x3b: 1727155Sgblack@eecs.umich.edu { 1737155Sgblack@eecs.umich.edu const uint32_t op = bits(machInst, 7, 4); 1747155Sgblack@eecs.umich.edu switch (op) { 1757155Sgblack@eecs.umich.edu case 0x0: 1767155Sgblack@eecs.umich.edu return new WarnUnimplemented("leavex", machInst); 1777155Sgblack@eecs.umich.edu case 0x1: 1787155Sgblack@eecs.umich.edu return new WarnUnimplemented("enterx", machInst); 1797155Sgblack@eecs.umich.edu case 0x2: 1807155Sgblack@eecs.umich.edu return new WarnUnimplemented("clrex", machInst); 1817155Sgblack@eecs.umich.edu case 0x4: 1827155Sgblack@eecs.umich.edu return new WarnUnimplemented("dsb", machInst); 1837155Sgblack@eecs.umich.edu case 0x5: 1847155Sgblack@eecs.umich.edu return new WarnUnimplemented("dmb", machInst); 1857155Sgblack@eecs.umich.edu case 0x6: 1867155Sgblack@eecs.umich.edu return new WarnUnimplemented("isb", machInst); 1877155Sgblack@eecs.umich.edu default: 1887155Sgblack@eecs.umich.edu break; 1897155Sgblack@eecs.umich.edu } 1907155Sgblack@eecs.umich.edu break; 1917155Sgblack@eecs.umich.edu } 1927155Sgblack@eecs.umich.edu case 0x3c: 1937155Sgblack@eecs.umich.edu return new WarnUnimplemented("bxj", machInst); 1947155Sgblack@eecs.umich.edu case 0x3d: 1957188Sgblack@eecs.umich.edu { 1967188Sgblack@eecs.umich.edu const uint32_t imm32 = bits(machInst, 7, 0); 1977188Sgblack@eecs.umich.edu return new SubsImmPclr(machInst, INTREG_PC, INTREG_LR, 1987188Sgblack@eecs.umich.edu imm32, false); 1997188Sgblack@eecs.umich.edu } 2007155Sgblack@eecs.umich.edu case 0x3e: 2017155Sgblack@eecs.umich.edu case 0x3f: 2027155Sgblack@eecs.umich.edu return new WarnUnimplemented("mrs", machInst); 2037155Sgblack@eecs.umich.edu } 2047155Sgblack@eecs.umich.edu break; 2057155Sgblack@eecs.umich.edu } 2067155Sgblack@eecs.umich.edu case 0x1: 2077155Sgblack@eecs.umich.edu { 2087155Sgblack@eecs.umich.edu const uint32_t s = bits(machInst, 26); 2097155Sgblack@eecs.umich.edu const uint32_t i1 = !(bits(machInst, 13) ^ s); 2107155Sgblack@eecs.umich.edu const uint32_t i2 = !(bits(machInst, 11) ^ s); 2117155Sgblack@eecs.umich.edu const uint32_t imm10 = bits(machInst, 25, 16); 2127155Sgblack@eecs.umich.edu const uint32_t imm11 = bits(machInst, 10, 0); 2137155Sgblack@eecs.umich.edu const int32_t imm = sext<25>((s << 24) | 2147155Sgblack@eecs.umich.edu (i1 << 23) | (i2 << 22) | 2157155Sgblack@eecs.umich.edu (imm10 << 12) | (imm11 << 1)); 2167155Sgblack@eecs.umich.edu return new B(machInst, imm, COND_UC); 2177155Sgblack@eecs.umich.edu } 2187155Sgblack@eecs.umich.edu case 0x4: 2197155Sgblack@eecs.umich.edu { 2207155Sgblack@eecs.umich.edu const uint32_t s = bits(machInst, 26); 2217155Sgblack@eecs.umich.edu const uint32_t i1 = !(bits(machInst, 13) ^ s); 2227155Sgblack@eecs.umich.edu const uint32_t i2 = !(bits(machInst, 11) ^ s); 2237155Sgblack@eecs.umich.edu const uint32_t imm10h = bits(machInst, 25, 16); 2247155Sgblack@eecs.umich.edu const uint32_t imm10l = bits(machInst, 10, 1); 2257155Sgblack@eecs.umich.edu const int32_t imm = sext<25>((s << 24) | 2267155Sgblack@eecs.umich.edu (i1 << 23) | (i2 << 22) | 2277155Sgblack@eecs.umich.edu (imm10h << 12) | (imm10l << 2)); 2287155Sgblack@eecs.umich.edu return new BlxImm(machInst, imm); 2297155Sgblack@eecs.umich.edu } 2307155Sgblack@eecs.umich.edu case 0x5: 2317155Sgblack@eecs.umich.edu { 2327155Sgblack@eecs.umich.edu const uint32_t s = bits(machInst, 26); 2337155Sgblack@eecs.umich.edu const uint32_t i1 = !(bits(machInst, 13) ^ s); 2347155Sgblack@eecs.umich.edu const uint32_t i2 = !(bits(machInst, 11) ^ s); 2357155Sgblack@eecs.umich.edu const uint32_t imm10 = bits(machInst, 25, 16); 2367155Sgblack@eecs.umich.edu const uint32_t imm11 = bits(machInst, 10, 0); 2377155Sgblack@eecs.umich.edu const int32_t imm = sext<25>((s << 24) | 2387155Sgblack@eecs.umich.edu (i1 << 23) | (i2 << 22) | 2397155Sgblack@eecs.umich.edu (imm10 << 12) | (imm11 << 1)); 2407155Sgblack@eecs.umich.edu return new Bl(machInst, imm, COND_UC); 2417155Sgblack@eecs.umich.edu } 2427155Sgblack@eecs.umich.edu default: 2437155Sgblack@eecs.umich.edu break; 2447155Sgblack@eecs.umich.edu } 2457155Sgblack@eecs.umich.edu return new Unknown(machInst); 2467155Sgblack@eecs.umich.edu } 2477154Sgblack@eecs.umich.edu ''' 2487154Sgblack@eecs.umich.edu}}; 249