one_byte_opcodes.isa revision 5162:5af26efb306e
1// Copyright (c) 2007 The Hewlett-Packard Development Company 2// All rights reserved. 3// 4// Redistribution and use of this software in source and binary forms, 5// with or without modification, are permitted provided that the 6// following conditions are met: 7// 8// The software must be used only for Non-Commercial Use which means any 9// use which is NOT directed to receiving any direct monetary 10// compensation for, or commercial advantage from such use. Illustrative 11// examples of non-commercial use are academic research, personal study, 12// teaching, education and corporate research & development. 13// Illustrative examples of commercial use are distributing products for 14// commercial advantage and providing services using the software for 15// commercial advantage. 16// 17// If you wish to use this software or functionality therein that may be 18// covered by patents for commercial use, please contact: 19// Director of Intellectual Property Licensing 20// Office of Strategy and Technology 21// Hewlett-Packard Company 22// 1501 Page Mill Road 23// Palo Alto, California 94304 24// 25// Redistributions of source code must retain the above copyright notice, 26// this list of conditions and the following disclaimer. Redistributions 27// in binary form must reproduce the above copyright notice, this list of 28// conditions and the following disclaimer in the documentation and/or 29// other materials provided with the distribution. Neither the name of 30// the COPYRIGHT HOLDER(s), HEWLETT-PACKARD COMPANY, nor the names of its 31// contributors may be used to endorse or promote products derived from 32// this software without specific prior written permission. No right of 33// sublicense is granted herewith. Derivatives of the software and 34// output created using the software may be prepared, but only for 35// Non-Commercial Uses. Derivatives of the software may be shared with 36// others provided: (i) the others agree to abide by the list of 37// conditions herein which includes the Non-Commercial Use restrictions; 38// and (ii) such Derivatives of the software include the above copyright 39// notice to acknowledge the contribution from this software where 40// applicable, this list of conditions and the disclaimer below. 41// 42// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 43// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 44// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 45// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 46// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 47// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 48// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 49// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 50// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 51// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 52// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 53// 54// Authors: Gabe Black 55 56//////////////////////////////////////////////////////////////////// 57// 58// Decode the one byte opcodes 59// 60 610x1: decode OPCODE_OP_TOP5 { 62 format Inst { 63 0x00: decode OPCODE_OP_BOTTOM3 { 64 0x6: decode MODE_SUBMODE { 65 0x0: UD2(); 66 default: WarnUnimpl::push_ES(); 67 } 68 0x7: decode MODE_SUBMODE { 69 0x0: UD2(); 70 default: WarnUnimpl::pop_ES(); 71 } 72 default: MultiInst::ADD(OPCODE_OP_BOTTOM3, 73 [Eb,Gb], [Ev,Gv], 74 [Gb,Eb], [Gv,Ev], 75 [rAb,Ib], [rAv,Iz]); 76 } 77 0x01: decode OPCODE_OP_BOTTOM3 { 78 0x6: decode MODE_SUBMODE { 79 0x0: UD2(); 80 default: WarnUnimpl::push_CS(); 81 } 82 //Any time this is seen, it should generate a two byte opcode 83 0x7: M5InternalError::error( 84 {{"Saw a one byte opcode whose value was 0x0F!"}}); 85 default: MultiInst::OR(OPCODE_OP_BOTTOM3, 86 [Eb,Gb], [Ev,Gv], 87 [Gb,Eb], [Gv,Ev], 88 [rAb,Ib], [rAv,Iz]); 89 } 90 0x02: decode OPCODE_OP_BOTTOM3 { 91 0x6: decode MODE_SUBMODE { 92 0x0: UD2(); 93 default: WarnUnimpl::push_SS(); 94 } 95 0x7: decode MODE_SUBMODE { 96 0x0: UD2(); 97 default: WarnUnimpl::pop_SS(); 98 } 99 default: MultiInst::ADC(OPCODE_OP_BOTTOM3, 100 [Eb,Gb], [Ev,Gv], 101 [Gb,Eb], [Gv,Ev], 102 [rAb,Ib], [rAv,Iz]); 103 } 104 0x03: decode OPCODE_OP_BOTTOM3 { 105 0x6: decode MODE_SUBMODE { 106 0x0: UD2(); 107 default: WarnUnimpl::push_DS(); 108 } 109 0x7: decode MODE_SUBMODE { 110 0x0: UD2(); 111 default: WarnUnimpl::pop_DS(); 112 } 113 default: MultiInst::SBB(OPCODE_OP_BOTTOM3, 114 [Eb,Gb], [Ev,Gv], 115 [Gb,Eb], [Gv,Ev], 116 [rAb,Ib], [rAv,Iz]); 117 } 118 0x04: decode OPCODE_OP_BOTTOM3 { 119 0x6: M5InternalError::error( 120 {{"Tried to execute the ES segment override prefix!"}}); 121 0x7: decode MODE_SUBMODE { 122 0x0: UD2(); 123 default: WarnUnimpl::daa(); 124 } 125 default: MultiInst::AND(OPCODE_OP_BOTTOM3, 126 [Eb,Gb], [Ev,Gv], 127 [Gb,Eb], [Gv,Ev], 128 [rAb,Ib], [rAv,Iz]); 129 } 130 0x05: decode OPCODE_OP_BOTTOM3 { 131 0x6: M5InternalError::error( 132 {{"Tried to execute the CS segment override prefix!"}}); 133 0x7: decode MODE_SUBMODE { 134 0x0: UD2(); 135 default: WarnUnimpl::das(); 136 } 137 default: MultiInst::SUB(OPCODE_OP_BOTTOM3, 138 [Eb,Gb], [Ev,Gv], 139 [Gb,Eb], [Gv,Ev], 140 [rAb,Ib], [rAv,Iz]); 141 } 142 0x06: decode OPCODE_OP_BOTTOM3 { 143 0x6: M5InternalError::error( 144 {{"Tried to execute the SS segment override prefix!"}}); 145 0x7: decode MODE_SUBMODE { 146 0x0: UD2(); 147 default: WarnUnimpl::aaa(); 148 } 149 default: MultiInst::XOR(OPCODE_OP_BOTTOM3, 150 [Eb,Gb], [Ev,Gv], 151 [Gb,Eb], [Gv,Ev], 152 [rAb,Ib], [rAv,Iz]); 153 } 154 0x07: decode OPCODE_OP_BOTTOM3 { 155 0x6: M5InternalError::error( 156 {{"Tried to execute the DS segment override prefix!"}}); 157 0x7: decode MODE_SUBMODE { 158 0x0: UD2(); 159 default: WarnUnimpl::aas(); 160 } 161 default: MultiInst::CMP(OPCODE_OP_BOTTOM3, 162 [Eb,Gb], [Ev,Gv], 163 [Gb,Eb], [Gv,Ev], 164 [rAb,Ib], [rAv,Iz]); 165 } 166 0x08: decode MODE_SUBMODE { 167 0x0: M5InternalError::error ( 168 {{"Tried to execute an REX prefix!"}}); 169 default: INC(Bv); 170 } 171 0x09: decode MODE_SUBMODE { 172 0x0: M5InternalError::error ( 173 {{"Tried to execute an REX prefix!"}}); 174 default: DEC(Bv); 175 } 176 0x0A: PUSH(Bv); 177 0x0B: POP(Bv); 178 0x0C: decode OPCODE_OP_BOTTOM3 { 179 0x0: decode MODE_SUBMODE { 180 0x0: UD2(); 181 default: PUSHA(); 182 } 183 0x1: decode MODE_SUBMODE { 184 0x0: UD2(); 185 default: POPA(); 186 } 187 0x2: decode MODE_SUBMODE { 188 0x0: UD2(); 189 default: WarnUnimpl::bound_Gv_Ma(); 190 } 191 0x3: decode MODE_SUBMODE { 192 //The second operand should really be of size "d", but it's 193 //set to "v" in order to have a consistent register size. 194 //This shouldn't affect behavior. 195 0x0: MOVSXD(Gv,Ev); 196 default: WarnUnimpl::arpl_Ew_Gw(); 197 } 198 0x4: M5InternalError::error( 199 {{"Tried to execute the FS segment override prefix!"}}); 200 0x5: M5InternalError::error( 201 {{"Tried to execute the GS segment override prefix!"}}); 202 0x6: M5InternalError::error( 203 {{"Tried to execute the operand size override prefix!"}}); 204 0x7: M5InternalError::error( 205 {{"Tried to execute the DS address size override prefix!"}}); 206 } 207 0x0D: decode OPCODE_OP_BOTTOM3 { 208 0x0: PUSH(Iz); 209 0x1: IMUL(Gv,Ev,Iz); 210 0x2: PUSH(Ib); 211 0x3: IMUL(Gv,Ev,Ib); 212 0x4: WarnUnimpl::ins_Yb_Dx(); 213 0x5: WarnUnimpl::ins_Yz_Dx(); 214 0x6: WarnUnimpl::outs_Dx_Xb(); 215 0x7: WarnUnimpl::outs_Dx_Xz(); 216 } 217 0x0E: decode OPCODE_OP_BOTTOM3 { 218 0x0: JO(Jb); 219 0x1: JNO(Jb); 220 0x2: JB(Jb); 221 0x3: JNB(Jb); 222 0x4: JZ(Jb); 223 0x5: JNZ(Jb); 224 0x6: JBE(Jb); 225 0x7: JNBE(Jb); 226 } 227 0x0F: decode OPCODE_OP_BOTTOM3 { 228 0x0: JS(Jb); 229 0x1: JNS(Jb); 230 0x2: JP(Jb); 231 0x3: JNP(Jb); 232 0x4: JL(Jb); 233 0x5: JNL(Jb); 234 0x6: JLE(Jb); 235 0x7: JNLE(Jb); 236 } 237 0x10: decode OPCODE_OP_BOTTOM3 { 238 //0x0: group1_Eb_Ib(); 239 0x0: decode MODRM_REG { 240 0x0: ADD(Eb,Ib); 241 0x1: OR(Eb,Ib); 242 0x2: ADC(Eb,Ib); 243 0x3: SBB(Eb,Ib); 244 0x4: AND(Eb,Ib); 245 0x5: SUB(Eb,Ib); 246 0x6: XOR(Eb,Ib); 247 0x7: CMP(Eb,Ib); 248 } 249 //0x1: group1_Ev_Iz(); 250 0x1: decode MODRM_REG { 251 0x0: ADD(Ev,Iz); 252 0x1: OR(Ev,Iz); 253 0x2: ADC(Ev,Iz); 254 0x3: SBB(Ev,Iz); 255 0x4: AND(Ev,Iz); 256 0x5: SUB(Ev,Iz); 257 0x6: XOR(Ev,Iz); 258 0x7: CMP(Ev,Iz); 259 } 260 0x2: decode MODE_SUBMODE { 261 0x0: UD2(); 262 //default: group1_Eb_Ib(); 263 default: decode MODRM_REG { 264 0x0: ADD(Eb,Ib); 265 0x1: OR(Eb,Ib); 266 0x2: ADC(Eb,Ib); 267 0x3: SBB(Eb,Ib); 268 0x4: AND(Eb,Ib); 269 0x5: SUB(Eb,Ib); 270 0x6: XOR(Eb,Ib); 271 0x7: CMP(Eb,Ib); 272 } 273 } 274 //0x3: group1_Ev_Ib(); 275 0x3: decode MODRM_REG { 276 0x0: ADD(Ev,Ib); 277 0x1: OR(Ev,Ib); 278 0x2: ADC(Ev,Ib); 279 0x3: SBB(Ev,Ib); 280 0x4: AND(Ev,Ib); 281 0x5: SUB(Ev,Ib); 282 0x6: XOR(Ev,Ib); 283 0x7: CMP(Ev,Ib); 284 } 285 0x4: TEST(Eb,Gb); 286 0x5: TEST(Ev,Gv); 287 0x6: XCHG(Eb,Gb); 288 0x7: XCHG(Ev,Gv); 289 } 290 0x11: decode OPCODE_OP_BOTTOM3 { 291 0x0: MOV(Eb,Gb); 292 0x1: MOV(Ev,Gv); 293 0x2: MOV(Gb,Eb); 294 0x3: MOV(Gv,Ev); 295 0x4: WarnUnimpl::mov_MwRv_Sw(); //What to do with this one? 296 0x5: LEA(Gv,M); 297 0x6: WarnUnimpl::mov_Sw_MwRv(); 298 0x7: WarnUnimpl::group10_Ev(); //Make sure this is Ev 299 } 300 0x12: decode OPCODE_OP_BOTTOM3 { 301 0x0: NOP(); //XXX repe makes this a "pause" 302 default: XCHG(Bv,rAv); 303 } 304 0x13: decode OPCODE_OP_BOTTOM3 { 305 0x0: CDQE(rAv); 306 0x1: CQO(rAv,rDv); 307 0x2: decode MODE_SUBMODE { 308 0x0: UD2(); 309 default: WarnUnimpl::call_far_Ap(); 310 } 311 0x3: WarnUnimpl::fwait(); //aka wait 312 0x4: WarnUnimpl::pushf_Fv(); 313 0x5: WarnUnimpl::popf_Fv(); 314 //Both of these should be illegal only if CPUID.AHF64=0, 315 //according to sandpile.org 316 0x6: decode MODE_SUBMODE { 317 0x0: UD2(); 318 default: WarnUnimpl::sahf(); 319 } 320 0x7: decode MODE_SUBMODE { 321 0x0: UD2(); 322 default: WarnUnimpl::lahf(); 323 } 324 } 325 0x14: decode OPCODE_OP_BOTTOM3 { 326 0x0: MOV(rAb, Ob); 327 0x1: MOV(rAv, Ov); 328 0x2: MOV(Ob, rAb); 329 0x3: MOV(Ov, rAv); 330 0x4: StringInst::MOVS(Yb,Xb); 331 0x5: StringInst::MOVS(Yv,Xv); 332 0x6: StringTestInst::CMPS(Yb,Xb); 333 0x7: StringTestInst::CMPS(Yv,Xv); 334 } 335 0x15: decode OPCODE_OP_BOTTOM3 { 336 0x0: TEST(rAb,Ib); 337 0x1: TEST(rAv,Iz); 338 0x2: StringInst::STOS(Yb); 339 0x3: StringInst::STOS(Yv); 340 0x4: StringInst::LODS(Xb); 341 0x5: StringInst::LODS(Xv); 342 0x6: StringTestInst::SCAS(Yb); 343 0x7: StringTestInst::SCAS(Yv); 344 } 345 0x16: MOV(Bb,Ib); 346 0x17: MOV(Bv,Iv); 347 0x18: decode OPCODE_OP_BOTTOM3 { 348 //0x0: group2_Eb_Ib(); 349 0x0: decode MODRM_REG { 350 0x0: ROL(Eb,Ib); 351 0x1: ROR(Eb,Ib); 352 0x2: RCL(Eb,Ib); 353 0x3: RCR(Eb,Ib); 354 0x4: SAL(Eb,Ib); 355 0x5: SHR(Eb,Ib); 356 0x6: SAL(Eb,Ib); 357 0x7: SAR(Eb,Ib); 358 } 359 //0x1: group2_Ev_Ib(); 360 0x1: decode MODRM_REG { 361 0x0: ROL(Ev,Ib); 362 0x1: ROR(Ev,Ib); 363 0x2: RCL(Ev,Ib); 364 0x3: RCR(Ev,Ib); 365 0x4: SAL(Ev,Ib); 366 0x5: SHR(Ev,Ib); 367 0x6: SAL(Ev,Ib); 368 0x7: SAR(Ev,Ib); 369 } 370 0x2: RET_NEAR(Iw); 371 0x3: RET_NEAR(); 372 0x4: decode MODE_SUBMODE { 373 0x0: UD2(); 374 default: WarnUnimpl::les_Gz_Mp(); 375 } 376 0x5: decode MODE_SUBMODE { 377 0x0: UD2(); 378 default: WarnUnimpl::lds_Gz_Mp(); 379 } 380 //0x6: group12_Eb_Ib(); 381 0x6: decode MODRM_REG { 382 0x0: MOV(Eb,Ib); 383 default: UD2(); 384 } 385 //0x7: group12_Ev_Iz(); 386 0x7: decode MODRM_REG { 387 0x0: MOV(Ev,Iz); 388 default: UD2(); 389 } 390 } 391 format WarnUnimpl { 392 0x19: decode OPCODE_OP_BOTTOM3 { 393 0x0: enter_Iw_Ib(); 394 0x1: Inst::LEAVE(); 395 0x2: ret_far_Iw(); 396 0x3: ret_far(); 397 0x4: int3(); 398 0x5: int_Ib(); 399 0x6: decode MODE_SUBMODE { 400 0x0: Inst::UD2(); 401 default: into(); 402 } 403 0x7: iret(); 404 } 405 } 406 0x1A: decode OPCODE_OP_BOTTOM3 { 407 //0x0: group2_Eb_1(); 408 0x0: decode MODRM_REG { 409 0x0: ROL_1(Eb); 410 0x1: ROR_1(Eb); 411 0x2: RCL_1(Eb); 412 0x3: RCR_1(Eb); 413 0x4: SAL_1(Eb); 414 0x5: SHR_1(Eb); 415 0x6: SAL_1(Eb); 416 0x7: SAR_1(Eb); 417 } 418 //0x1: group2_Ev_1(); 419 0x1: decode MODRM_REG { 420 0x0: ROL_1(Ev); 421 0x1: ROR_1(Ev); 422 0x2: RCL_1(Ev); 423 0x3: RCR_1(Ev); 424 0x4: SAL_1(Ev); 425 0x5: SHR_1(Ev); 426 0x6: SAL_1(Ev); 427 0x7: SAR_1(Ev); 428 } 429 //0x2: group2_Eb_Cl(); 430 0x2: decode MODRM_REG { 431 0x0: ROL(Eb,rCb); 432 0x1: ROR(Eb,rCb); 433 0x2: RCL(Eb,rCb); 434 0x3: RCR(Eb,rCb); 435 0x4: SAL(Eb,rCb); 436 0x5: SHR(Eb,rCb); 437 0x6: SAL(Eb,rCb); 438 0x7: SAR(Eb,rCb); 439 } 440 //The second operand should have size "b", but to have 441 //consistent register sizes it's "v". This shouldn't have 442 //any affect on functionality. 443 //0x3: group2_Ev_Cl(); 444 0x3: decode MODRM_REG { 445 0x0: ROL(Ev,rCv); 446 0x1: ROR(Ev,rCv); 447 0x2: RCL(Ev,rCv); 448 0x3: RCR(Ev,rCv); 449 0x4: SAL(Ev,rCv); 450 0x5: SHR(Ev,rCv); 451 0x6: SAL(Ev,rCv); 452 0x7: SAR(Ev,rCv); 453 } 454 0x4: decode MODE_SUBMODE { 455 0x0: UD2(); 456 default: WarnUnimpl::aam_Ib(); 457 } 458 0x5: decode MODE_SUBMODE { 459 0x0: UD2(); 460 default: WarnUnimpl::aad_Ib(); 461 } 462 0x6: decode MODE_SUBMODE { 463 0x0: UD2(); 464 default: WarnUnimpl::salc(); 465 } 466 0x7: WarnUnimpl::xlat(); 467 } 468 ##include "x87.isa" 469 0x1C: decode OPCODE_OP_BOTTOM3 { 470 0x0: LOOPNE(Jb); 471 0x1: LOOPE(Jb); 472 0x2: LOOP(Jb); 473 0x3: JRCX(Jb); 474 0x4: IN(rAb,Ib); 475 0x5: IN(rAv,Iv); 476 0x6: OUT(Ib,rAb); 477 0x7: OUT(Iv,rAv); 478 } 479 0x1D: decode OPCODE_OP_BOTTOM3 { 480 0x0: CALL_NEAR(Jz); 481 0x1: JMP(Jz); 482 0x2: decode MODE_SUBMODE { 483 0x0: UD2(); 484 default: WarnUnimpl::jmp_far_Ap(); 485 } 486 0x3: JMP(Jb); 487 0x4: IN(rAb,rD); 488 0x5: IN(rAv,rD); 489 0x6: OUT(rD,rAb); 490 0x7: OUT(rD,rAv); 491 } 492 0x1E: decode OPCODE_OP_BOTTOM3 { 493 0x0: M5InternalError::error( 494 {{"Tried to execute the lock prefix!"}}); 495 0x1: WarnUnimpl::int1(); 496 0x2: M5InternalError::error( 497 {{"Tried to execute the repne prefix!"}}); 498 0x3: M5InternalError::error( 499 {{"Tried to execute the rep/repe prefix!"}}); 500 0x4: WarnUnimpl::hlt(); 501 0x5: CMC(); 502 //0x6: group3_Eb(); 503 0x6: decode MODRM_REG { 504 0x0: TEST(Eb,Iz); 505 0x1: TEST(Eb,Iz); 506 0x2: NOT(Eb); 507 0x3: NEG(Eb); 508 0x4: MUL_B(Eb); 509 0x5: IMUL_B(Eb); 510 //This should be Eb, but it access the entire word value ax. 511 0x6: DIV_B(Ew); 512 0x7: IDIV(Eb); 513 } 514 //0x7: group3_Ev(); 515 0x7: decode MODRM_REG { 516 0x0: TEST(Ev,Iz); 517 0x1: TEST(Ev,Iz); 518 0x2: NOT(Ev); 519 0x3: NEG(Ev); 520 0x4: MUL(Ev); 521 0x5: IMUL(Ev); 522 0x6: DIV(Ev); 523 0x7: IDIV(Ev); 524 } 525 } 526 0x1F: decode OPCODE_OP_BOTTOM3 { 527 0x0: CLC(); 528 0x1: STC(); 529 0x2: WarnUnimpl::cli(); 530 0x3: WarnUnimpl::sti(); 531 0x4: CLD(); 532 0x5: STD(); 533 //0x6: group4(); 534 0x6: decode MODRM_REG { 535 0x0: INC(Eb); 536 0x1: DEC(Eb); 537 default: UD2(); 538 } 539 //0x7: group5(); 540 0x7: decode MODRM_REG { 541 0x0: INC(Ev); 542 0x1: DEC(Ev); 543 0x2: CALL_NEAR(Ev); 544 0x3: WarnUnimpl::call_far_Mp(); 545 0x4: JMP(Ev); 546 0x5: WarnUnimpl::jmp_far_Mp(); 547 0x6: PUSH(Ev); 548 0x7: UD2(); 549 } 550 } 551 } 552 default: FailUnimpl::oneByteOps(); 553} 554