thumb.isa revision 7124
1// -*- mode:c++ -*- 2 3// Copyright (c) 2010 ARM Limited 4// All rights reserved 5// 6// The license below extends only to copyright in the software and shall 7// not be construed as granting a license to any other intellectual 8// property including but not limited to intellectual property relating 9// to a hardware implementation of the functionality of the software 10// licensed hereunder. You may use the software subject to the license 11// terms below provided that you ensure that this notice is replicated 12// unmodified and in its entirety in all distributions of the software, 13// modified or unmodified, in source code or in binary form. 14// 15// Copyright (c) 2009 The Regents of The University of Michigan 16// All rights reserved. 17// 18// Redistribution and use in source and binary forms, with or without 19// modification, are permitted provided that the following conditions are 20// met: redistributions of source code must retain the above copyright 21// notice, this list of conditions and the following disclaimer; 22// redistributions in binary form must reproduce the above copyright 23// notice, this list of conditions and the following disclaimer in the 24// documentation and/or other materials provided with the distribution; 25// neither the name of the copyright holders nor the names of its 26// contributors may be used to endorse or promote products derived from 27// this software without specific prior written permission. 28// 29// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 30// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 31// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 32// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 33// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 34// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 35// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 36// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 37// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 38// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 39// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 40// 41// Authors: Gabe Black 42 431: decode BIGTHUMB { 44 // 16 bit thumb instructions. 45 0: decode TOPCODE_15_13 { 46 0x0, 0x1: decode TOPCODE_13_11 { 47 0x0: WarnUnimpl::lsl(); //immediate 48 0x1: WarnUnimpl::lsr(); //immediate 49 0x2: WarnUnimpl::asr(); //immediate 50 0x3: decode TOPCODE_10_9 { 51 0x0: WarnUnimpl::add(); //register 52 0x1: WarnUnimpl::sub(); //register 53 0x2: WarnUnimpl::add(); //3 bit immediate 54 0x3: WarnUnimpl::sub(); //3 bit immediate 55 } 56 0x4: WarnUnimpl::mov(); //immediate 57 0x5: WarnUnimpl::cmp(); //immediate 58 0x6: WarnUnimpl::add(); //8 bit immediate, thumb 59 0x7: WarnUnimpl::sub(); //8 bit immediate, thumb 60 } 61 0x2: decode TOPCODE_12_10 { 62 // Data processing 63 0x0: decode TOPCODE_9_6 { 64 0x0: WarnUnimpl::and(); //register 65 0x1: WarnUnimpl::eor(); //register 66 0x2: WarnUnimpl::lsl(); //register 67 0x3: WarnUnimpl::lsr(); //register 68 0x4: WarnUnimpl::asr(); //register 69 0x5: WarnUnimpl::adc(); //register 70 0x6: WarnUnimpl::sbc(); //register 71 0x7: WarnUnimpl::ror(); //register 72 0x8: WarnUnimpl::tst(); //register 73 0x9: WarnUnimpl::rsb(); //immediate 74 0xa: WarnUnimpl::cmp(); //register (high registers) 75 0xb: WarnUnimpl::cmn(); //register 76 0xc: WarnUnimpl::orr(); //register 77 0xd: WarnUnimpl::mul(); 78 0xe: WarnUnimpl::bic(); //register 79 0xf: WarnUnimpl::mvn(); //register 80 } 81 // Special data instructions and branch and exchange 82 0x1: decode TOPCODE_9_6 { 83 0x0: WarnUnimpl::add(); //register (low registers) 84 0x1, 0x2, 0x3: WarnUnimpl::add(); //register (high registers) 85 0x4: WarnUnimpl::unpredictable(); //? 86 0x5, 0x6, 0x7: WarnUnimpl::cmp(); //register 87 0x8: WarnUnimpl::mov(); //register (low registers) 88 0x9, 0xa, 0xb: WarnUnimpl::mov(); //register (high registers) 89 0xc, 0xd: WarnUnimpl::bx(); 90 0xe, 0xf: WarnUnimpl::blx(); //register 91 } 92 0x2, 0x3: WarnUnimpl::ldr(); 93 default: Thumb16MemReg::thumb16MemReg(); 94 } 95 0x3: decode TOPCODE_12_11 { 96 0x0: WarnUnimpl::str(); //immediate, thumb 97 0x1: WarnUnimpl::ldr(); //immediate, thumb 98 0x2: WarnUnimpl::strb(); //immediate, thumb 99 0x3: WarnUnimpl::ldrb(); //immediate, thumb 100 } 101 0x4: decode TOPCODE_12_11 { 102 0x0: WarnUnimpl::strh(); //immediate, thumb 103 0x1: WarnUnimpl::ldrh(); //immediate, thumb 104 0x2: WarnUnimpl::str(); //immediate, thumb 105 0x3: WarnUnimpl::ldr(); //immediate, thumb 106 } 107 0x5: decode TOPCODE_12_11 { 108 0x0: WarnUnimpl::adr(); 109 0x1: WarnUnimpl::add(); //sp, immediate 110 0x2: decode TOPCODE_10_8 { 111 0x0: decode TOPCODE_7 { 112 0x0: WarnUnimpl::add(); //sp, immediate 113 0x1: WarnUnimpl::sub(); //sp, immediate 114 } 115 0x1, 0x3: WarnUnimpl::cbz(); //cbnz too... 116 0x2: decode TOPCODE_7_6 { 117 0x0: WarnUnimpl::sxth(); 118 0x1: WarnUnimpl::sxtb(); 119 0x2: WarnUnimpl::uxth(); 120 0x3: WarnUnimpl::uxtb(); 121 } 122 0x4, 0x5: WarnUnimpl::pop(); 123 0x6: decode TOPCODE_7_5 { 124 0x2: WarnUnimpl::setend(); 125 0x3: WarnUnimpl::cps(); 126 } 127 } 128 0x3: decode TOPCODE_10_8 { 129 0x1, 0x3: WarnUnimpl::cbz(); //cbnz too... 130 0x2: decode TOPCODE_7_6 { 131 0x0: WarnUnimpl::rev(); 132 0x1: WarnUnimpl::rev16(); 133 0x3: WarnUnimpl::revsh(); 134 } 135 0x4, 0x5: WarnUnimpl::pop(); 136 0x6: WarnUnimpl::bkpt(); 137 0x7: decode TOPCODE_3_0 { 138 0x0: WarnUnimpl::it(); 139 default: decode TOPCODE_7_4 { 140 0x0: WarnUnimpl::nop(); 141 0x1: WarnUnimpl::yield(); 142 0x2: WarnUnimpl::wfe(); 143 0x3: WarnUnimpl::wfi(); 144 0x4: WarnUnimpl::sev(); 145 default: WarnUnimpl::unallocated_hint(); 146 } 147 } 148 } 149 } 150 0x6: decode TOPCODE_12_11 { 151 0x0: WarnUnimpl::stm(); // also stmia, stmea 152 0x1: WarnUnimpl::ldm(); // also ldmia, ldmea 153 default: decode TOPCODE_11_8 { 154 0xe: WarnUnimpl::undefined(); // permanently undefined 155 0xf: WarnUnimpl::svc(); // formerly swi 156 default: WarnUnimpl::b(); // conditional 157 } 158 } 159 0x7: decode TOPCODE_12_11 { 160 0x0: WarnUnimpl::b(); // unconditional 161 } 162 } 163 164 // 32 bit thumb instructions. 165 1: decode HTOPCODE_12_11 { 166 0x1: decode HTOPCODE_10_9 { 167 0x0: decode HTOPCODE_8_6 { 168 0x0, 0x6: decode HTOPCODE_4 { 169 0x0: WarnUnimpl::srs(); 170 0x1: WarnUnimpl::rfe(); 171 } 172 0x1: decode HTOPCODE_5_4 { 173 0x0: WarnUnimpl::strex(); 174 0x1: WarnUnimpl::ldrex(); 175 0x2: WarnUnimpl::strd(); // immediate 176 0x3: decode HTRN { 177 0xf: WarnUnimpl::ldrd(); // literal 178 default: WarnUnimpl::ldrd(); // immediate 179 } 180 } 181 0x2: decode HTOPCODE_4 { 182 0x0: WarnUnimpl::stm(); // stmia, stmea 183 0x1: decode HTRN { 184 0xd: WarnUnimpl::pop(); 185 default: WarnUnimpl::ldm(); // ldmia, ldmfd 186 } 187 } 188 0x3: decode HTOPCODE_5_4 { 189 0x0: decode LTOPCODE_7_4 { 190 0x4: WarnUnimpl::strexb(); 191 0x5: WarnUnimpl::strexh(); 192 0x7: WarnUnimpl::strexd(); 193 } 194 0x1: decode LTOPCODE_7_4 { 195 0x0: WarnUnimpl::tbb(); 196 0x1: WarnUnimpl::tbh(); 197 0x4: WarnUnimpl::ldrexb(); 198 0x5: WarnUnimpl::ldrexh(); 199 0x7: WarnUnimpl::ldrexd(); 200 } 201 0x2: WarnUnimpl::strd(); // immediate 202 0x3: decode HTRN { 203 0xf: WarnUnimpl::ldrd(); // literal 204 default: WarnUnimpl::ldrd(); // immediate 205 } 206 } 207 0x4: decode HTOPCODE_4 { 208 0x0: decode HTRN { 209 0xd: WarnUnimpl::push(); 210 default: WarnUnimpl::stmdb(); // stmfd 211 } 212 0x1: WarnUnimpl::ldmdb(); // ldmea 213 } 214 0x5, 0x7: decode HTOPCODE_4 { 215 0x0: WarnUnimpl::strd(); // immediate 216 0x1: decode HTRN { 217 0xf: WarnUnimpl::ldrd(); // literal 218 default: WarnUnimpl::ldrd(); // immediate 219 } 220 } 221 } 222 0x1: decode HTOPCODE_8_5 { 223 0x0: decode LTRD { 224 0xf: decode HTS { 225 0x1: WarnUnimpl::tst(); // register 226 } 227 default: WarnUnimpl::and(); // register 228 } 229 0x1: WarnUnimpl::bic(); // register 230 0x2: decode HTRN { 231 0xf: WarnUnimpl::mov(); // register 232 default: WarnUnimpl::orr(); // register 233 } 234 0x3: decode HTRN { 235 0xf: WarnUnimpl::mvn(); // register 236 default: WarnUnimpl::orn(); // register 237 } 238 0x4: decode LTRD { 239 0xf: decode HTS { 240 0x1: WarnUnimpl::teq(); // register 241 } 242 default: WarnUnimpl::eor(); // register 243 } 244 0x6: WarnUnimpl::pkh(); 245 0x8: decode LTRD { 246 0xf: decode HTS { 247 0x1: WarnUnimpl::cmn(); // register 248 } 249 default: WarnUnimpl::add(); // register 250 } 251 0xa: WarnUnimpl::adc(); // register 252 0xb: WarnUnimpl::sbc(); // register 253 0xd: decode LTRD { 254 0xf: decode HTS { 255 0x1: WarnUnimpl::cmp(); // register 256 } 257 default: WarnUnimpl::sub(); // register 258 } 259 0xe: WarnUnimpl::rsb(); // register 260 } 261 default: decode HTOPCODE_9_8 { 262 0x2: decode LTOPCODE_4 { 263 0x0: decode LTCOPROC { 264 0xa, 0xb: decode OPCODE_23_20 { 265##include "vfp.isa" 266 } 267 default: WarnUnimpl::cdp(); // cdp2 268 } 269 0x1: decode LTCOPROC { 270 0xa, 0xb: WarnUnimpl::Core_to_extension_transfer(); 271 default: decode HTOPCODE_4 { 272 0x0: WarnUnimpl::mcr(); // mcr2 273 0x1: WarnUnimpl::mrc(); // mrc2 274 } 275 } 276 } 277 0x3: WarnUnimpl::Advanced_SIMD(); 278 default: decode LTCOPROC { 279 0xa, 0xb: decode HTOPCODE_9_4 { 280 0x00: WarnUnimpl::undefined(); 281 0x04: WarnUnimpl::mcrr(); // mcrr2 282 0x05: WarnUnimpl::mrrc(); // mrrc2 283 0x02, 0x06, 0x08, 0x0a, 0x0c, 0x0e, 0x10, 284 0x12, 0x14, 0x16, 0x18, 0x1a, 0x1c, 0x1e: 285 WarnUnimpl::stc(); // stc2 286 0x03, 0x07, 0x09, 0x0b, 0x0d, 0x0f, 0x11, 287 0x13, 0x15, 0x17, 0x19, 0x1b, 0x1d, 0x1f: 288 decode HTRN { 289 0xf: WarnUnimpl::ldc(); // ldc2 (literal) 290 default: WarnUnimpl::ldc(); // ldc2 (immediate) 291 } 292 } 293 default: decode HTOPCODE_9_5 { 294 0x00: WarnUnimpl::undefined(); 295 0x02: WarnUnimpl::SIMD_VFP_64_bit_core_extension_transfer(); 296 0x01, 0x03, 0x04, 0x05, 0x06, 0x07, 0x08, 297 0x09, 0x0a, 0x0b, 0x0c, 0x0d, 0x0e, 0x0f: 298 WarnUnimpl::Extension_register_load_store_instruction(); 299 } 300 } 301 } 302 } 303 0x2: decode LTOPCODE_15 { 304 0x0: decode HTOPCODE_9 { 305 0x0: decode HTOPCODE_8_5 { 306 0x0: decode LTRD { 307 0xf: decode HTS { 308 0x1: DataModImmOp::tst({{ 309 resTemp = Rn & rotated_imm; 310 }}); 311 } 312 default: DataModImmOp::and({{ 313 Rs = resTemp = Rn & rotated_imm; 314 }}); 315 } 316 0x1: DataModImmOp::bic({{ 317 Rs = resTemp = Rn & ~rotated_imm; 318 }}); 319 0x2: decode HTRN { 320 0xf: DataModImmOp::mov({{ 321 Rs = resTemp = rotated_imm; 322 }}); 323 default: DataModImmOp::orr({{ 324 Rs = resTemp = Rn | rotated_imm; 325 }}); 326 } 327 0x3: decode HTRN { 328 0xf: DataModImmOp::mvn({{ 329 Rs = resTemp = ~rotated_imm; 330 }}); 331 default: DataModImmOp::orn({{ 332 Rs = resTemp = Rn | ~rotated_imm; 333 }}); 334 } 335 0x4: decode LTRD { 336 0xf: decode HTS { 337 0x1: DataModImmOp::teq({{ 338 resTemp = Rn ^ rotated_imm; 339 }}); 340 } 341 default: DataModImmOp::eor({{ 342 Rs = resTemp = Rn ^ rotated_imm; 343 }}); 344 } 345 0x8: decode LTRD { 346 0xf: decode HTS { 347 0x1: DataModImmOp::cmn({{ 348 resTemp = Rn + rotated_imm; 349 }}, add); 350 } 351 default: DataModImmOp::add({{ 352 Rs = resTemp = Rn + rotated_imm; 353 }}, add); 354 } 355 0xa: DataModImmOp::adc({{ 356 Rs = resTemp = Rn + rotated_imm + CondCodes<29:>; 357 }}, add); 358 0xb: DataModImmOp::sbc({{ 359 Rs = resTemp = Rn - rotated_imm - !CondCodes<29:>; 360 }}, sub); 361 0xd: decode LTRD { 362 0xf: decode HTS { 363 0x1: DataModImmOp::cmp({{ 364 resTemp = Rn - rotated_imm; 365 }}, sub); 366 } 367 default: DataModImmOp::sub({{ 368 Rs = resTemp = Rn - rotated_imm; 369 }}, sub); 370 } 371 0xe: DataModImmOp::rsb({{ 372 Rs = resTemp = rotated_imm - Rn; 373 }}, rsb); 374 } 375 0x1: WarnUnimpl::Data_processing_plain_binary_immediate(); 376 } 377 0x1: WarnUnimpl::Branches_and_miscellaneous_control(); 378 } 379 0x3: decode HTOPCODE_10_9 { 380 0x0: decode HTOPCODE_4 { 381 0x0: decode HTOPCODE_8 { 382 0x0: Thumb32StoreSingle::thumb32StoreSingle(); 383 0x1: WarnUnimpl::Advanced_SIMD_or_structure_load_store(); 384 } 385 0x1: decode HTOPCODE_6_5 { 386 0x0: WarnUnimpl::Load_byte_memory_hints(); 387 0x1: WarnUnimpl::Load_halfword_memory_hints(); 388 0x2: Thumb32LoadWord::thumb32LoadWord(); 389 0x3: WarnUnimpl::undefined(); 390 } 391 } 392 0x1: decode HTOPCODE_8_7 { 393 0x2: WarnUnimpl::Multiply_multiply_accumulate_and_absolute_difference(); 394 0x3: WarnUnimpl::Long_multiply_long_multiply_accumulate_and_divide(); 395 default: WarnUnimpl::Data_processing_register(); 396 } 397 default: decode HTOPCODE_9_8 { 398 0x2: decode LTOPCODE_4 { 399 0x0: decode LTCOPROC { 400 0xa, 0xb: WarnUnimpl::VFP_Inst(); 401 default: WarnUnimpl::cdp(); // cdp2 402 } 403 0x1: decode LTCOPROC { 404 0xa, 0xb: WarnUnimpl::Core_to_extension_transfer(); 405 default: decode HTOPCODE_4 { 406 0x0: WarnUnimpl::mcr(); // mcr2 407 0x1: WarnUnimpl::mrc(); // mrc2 408 } 409 } 410 } 411 0x3: WarnUnimpl::Advanced_SIMD(); 412 default: decode LTCOPROC { 413 0xa, 0xb: decode HTOPCODE_9_4 { 414 0x00: WarnUnimpl::undefined(); 415 0x04: WarnUnimpl::mcrr(); // mcrr2 416 0x05: WarnUnimpl::mrrc(); // mrrc2 417 0x02, 0x06, 0x08, 0x0a, 0x0c, 0x0e, 0x10, 418 0x12, 0x14, 0x16, 0x18, 0x1a, 0x1c, 0x1e: 419 WarnUnimpl::stc(); // stc2 420 0x03, 0x07, 0x09, 0x0b, 0x0d, 0x0f, 0x11, 421 0x13, 0x15, 0x17, 0x19, 0x1b, 0x1d, 0x1f: 422 decode HTRN { 423 0xf: WarnUnimpl::ldc(); // ldc2 (literal) 424 default: WarnUnimpl::ldc(); // ldc2 (immediate) 425 } 426 } 427 default: decode HTOPCODE_9_5 { 428 0x00: WarnUnimpl::undefined(); 429 0x02: WarnUnimpl::SIMD_VFP_64_bit_core_extension_transfer(); 430 0x01, 0x03, 0x04, 0x05, 0x06, 0x07, 0x08, 431 0x09, 0x0a, 0x0b, 0x0c, 0x0d, 0x0e, 0x0f: 432 WarnUnimpl::Extension_register_load_store_instruction(); 433 } 434 } 435 } 436 } 437 } 438} 439