one_byte_opcodes.isa revision 4699:ee46bb3b2fd3
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 WarnUnimpl { 63 0x00: decode OPCODE_OP_BOTTOM3 { 64 0x4: ADD(); 65 0x5: ADD(); 66 0x6: decode MODE_SUBMODE { 67 0x0: This_should_be_an_illegal_instruction(); 68 default: push_ES(); 69 } 70 0x7: decode MODE_SUBMODE { 71 0x0: This_should_be_an_illegal_instruction(); 72 default: pop_ES(); 73 } 74 default: ADD(); 75 } 76 0x01: decode OPCODE_OP_BOTTOM3 { 77 0x0: or_Eb_Gb(); 78 0x1: or_Ev_Gv(); 79 0x2: or_Gb_Eb(); 80 0x3: or_Gv_Ev(); 81 0x4: or_Al_Ib(); 82 0x5: or_rAX_Iz(); 83 0x6: decode MODE_SUBMODE { 84 0x0: This_should_be_an_illegal_instruction(); 85 default: push_CS(); 86 } 87 //Any time this is seen, it should generate a two byte opcode 88 0x7: M5InternalError::error( 89 {{"Saw a one byte opcode whose value was 0x0F!"}}); 90 } 91 0x02: decode OPCODE_OP_BOTTOM3 { 92 0x0: adc_Eb_Gb(); 93 0x1: adc_Ev_Gv(); 94 0x2: adc_Gb_Eb(); 95 0x3: adc_Gv_Ev(); 96 0x4: adc_Al_Ib(); 97 0x5: adc_rAX_Iz(); 98 0x6: decode MODE_SUBMODE { 99 0x0: This_should_be_an_illegal_instruction(); 100 default: push_SS(); 101 } 102 0x7: decode MODE_SUBMODE { 103 0x0: This_should_be_an_illegal_instruction(); 104 default: pop_SS(); 105 } 106 } 107 0x03: decode OPCODE_OP_BOTTOM3 { 108 0x0: sbb_Eb_Gb(); 109 0x1: sbb_Ev_Gv(); 110 0x2: sbb_Gb_Eb(); 111 0x3: sbb_Gv_Ev(); 112 0x4: sbb_Al_Ib(); 113 0x5: sbb_rAX_Iz(); 114 0x6: decode MODE_SUBMODE { 115 0x0: This_should_be_an_illegal_instruction(); 116 default: push_DS(); 117 } 118 0x7: decode MODE_SUBMODE { 119 0x0: This_should_be_an_illegal_instruction(); 120 default: pop_DS(); 121 } 122 } 123 0x04: decode OPCODE_OP_BOTTOM3 { 124 0x0: and_Eb_Gb(); 125 0x1: and_Ev_Gv(); 126 0x2: and_Gb_Eb(); 127 0x3: and_Gv_Ev(); 128 0x4: and_Al_Ib(); 129 0x5: and_rAX_Iz(); 130 0x6: M5InternalError::error( 131 {{"Tried to execute the ES segment override prefix!"}}); 132 0x7: decode MODE_SUBMODE { 133 0x0: This_should_be_an_illegal_instruction(); 134 default: daa(); 135 } 136 } 137 0x05: decode OPCODE_OP_BOTTOM3 { 138 0x0: sub_Eb_Gb(); 139 0x1: sub_Ev_Gv(); 140 0x2: sub_Gb_Eb(); 141 0x3: sub_Gv_Ev(); 142 0x4: sub_Al_Ib(); 143 0x5: sub_rAX_Iz(); 144 0x6: M5InternalError::error( 145 {{"Tried to execute the CS segment override prefix!"}}); 146 0x7: das(); 147 } 148 0x06: decode OPCODE_OP_BOTTOM3 { 149 0x4: Inst::XOR(rAl,Ib); 150 0x5: Inst::XOR(rAx,Iz); 151 0x6: M5InternalError::error( 152 {{"Tried to execute the SS segment override prefix!"}}); 153 0x7: decode MODE_SUBMODE { 154 0x0: This_should_be_an_illegal_instruction(); 155 default: aaa(); 156 } 157 default: MultiInst::XOR(OPCODE_OP_BOTTOM3, 158 [Eb,Gb], [Ev,Gv], 159 [Gb,Eb], [Gv,Ev]); 160 } 161 0x07: decode OPCODE_OP_BOTTOM3 { 162 0x0: cmp_Eb_Gb(); 163 0x1: cmp_Ev_Gv(); 164 0x2: cmp_Gb_Eb(); 165 0x3: cmp_Gv_Ev(); 166 0x4: cmp_Al_Ib(); 167 0x5: cmp_rAX_Iz(); 168 0x6: M5InternalError::error( 169 {{"Tried to execute the DS segment override prefix!"}}); 170 0x7: decode MODE_SUBMODE { 171 0x0: This_should_be_an_illegal_instruction(); 172 default: aas(); 173 } 174 } 175 0x08: decode MODE_SUBMODE { 176 0x0: M5InternalError::error ( 177 {{"Tried to execute an REX prefix!"}}); 178 default: decode OPCODE_OP_BOTTOM3 { 179 0x0: inc_eAX(); 180 0x1: inc_eCX(); 181 0x2: inc_eDX(); 182 0x3: inc_eBX(); 183 0x4: inc_eSP(); 184 0x5: inc_eBP(); 185 0x6: inc_eSI(); 186 0x7: inc_eDI(); 187 } 188 } 189 0x09: decode MODE_SUBMODE { 190 0x0: M5InternalError::error ( 191 {{"Tried to execute an REX prefix!"}}); 192 default: decode OPCODE_OP_BOTTOM3 { 193 0x0: dec_eAX(); 194 0x1: dec_eCX(); 195 0x2: dec_eDX(); 196 0x3: dec_eBX(); 197 0x4: dec_eSP(); 198 0x5: dec_eBP(); 199 0x6: dec_eSI(); 200 0x7: dec_eDI(); 201 } 202 } 203 format Inst { 204 0x0A: decode OPCODE_OP_BOTTOM3 { 205 0x0: PUSH(rAx); 206 0x1: PUSH(rCx); 207 0x2: PUSH(rDx); 208 0x3: PUSH(rBx); 209 0x4: PUSH(rSP); 210 0x5: PUSH(rBP); 211 0x6: PUSH(rSI); 212 0x7: PUSH(rDI); 213 } 214 0x0B: decode OPCODE_OP_BOTTOM3 { 215 0x0: POP(rAx); 216 0x1: POP(rCx); 217 0x2: POP(rDx); 218 0x3: POP(rBx); 219 0x4: POP(rSP); 220 0x5: POP(rBP); 221 0x6: POP(rSI); 222 0x7: POP(rDI); 223 } 224 } 225 0x0C: decode OPCODE_OP_BOTTOM3 { 226 0x0: decode MODE_SUBMODE { 227 0x0: This_should_be_an_illegal_instruction(); 228 default: pusha(); 229 } 230 0x1: decode MODE_SUBMODE { 231 0x0: This_should_be_an_illegal_instruction(); 232 default: popa(); 233 } 234 0x2: decode MODE_SUBMODE { 235 0x0: This_should_be_an_illegal_instruction(); 236 default: bound_Gv_Ma(); 237 } 238 0x3: decode MODE_SUBMODE { 239 0x0: Inst::MOVSXD(Gv,Ed); 240 default: arpl_Ew_Gw(); 241 } 242 0x4: M5InternalError::error( 243 {{"Tried to execute the FS segment override prefix!"}}); 244 0x5: M5InternalError::error( 245 {{"Tried to execute the GS segment override prefix!"}}); 246 0x6: M5InternalError::error( 247 {{"Tried to execute the operand size override prefix!"}}); 248 0x7: M5InternalError::error( 249 {{"Tried to execute the DS address size override prefix!"}}); 250 } 251 0x0D: decode OPCODE_OP_BOTTOM3 { 252 0x0: push_Iz(); 253 0x1: imul_Gv_Ev_Iz(); 254 0x2: push_Ib(); 255 0x3: imul_Gv_Ev_Ib(); 256 0x4: ins_Yb_Dx(); 257 0x5: ins_Yz_Dx(); 258 0x6: outs_Dx_Xb(); 259 0x7: outs_Dx_Xz(); 260 } 261 0x0E: decode OPCODE_OP_BOTTOM3 { 262 0x0: jo_Jb(); 263 0x1: jno_Jb(); 264 0x2: jb_Jb(); 265 0x3: jnb_Jb(); 266 0x4: Inst::JZ(Jb); 267 0x5: Inst::JNZ(Jb); 268 0x6: jbe_Jb(); 269 0x7: jnbe_Jb(); 270 } 271 0x0F: decode OPCODE_OP_BOTTOM3 { 272 0x0: js_Jb(); 273 0x1: jns_Jb(); 274 0x2: jp_Jb(); 275 0x3: jnp_Jb(); 276 0x4: jl_Jb(); 277 0x5: jnl_Jb(); 278 0x6: jle_Jb(); 279 0x7: jnke_Jb(); 280 } 281 0x10: decode OPCODE_OP_BOTTOM3 { 282 0x0: group1_Eb_Ib(); 283 //0x1: group1_Ev_Iz(); 284 0x1: decode MODRM_REG { 285 0x0: add_Ev_Iz(); 286 0x1: or_Ev_Ibz(); 287 0x2: adc_Ev_Iz(); 288 0x3: sbb_Ev_Iz(); 289 0x4: Inst::AND(Ev,Iz); 290 0x5: Inst::SUB(Ev,Iz); 291 0x6: xor_Ev_Iz(); 292 0x7: cmp_Ev_Iz(); 293 } 294 0x2: decode MODE_SUBMODE { 295 0x0: This_should_be_an_illegal_instruction(); 296 default: group1_Eb_Ib(); 297 } 298 //0x3: group1_Ev_Ib(); 299 0x3: decode MODRM_REG { 300 0x0: add_Eb_Ib(); 301 0x1: or_Eb_Ib(); 302 0x2: adc_Eb_Ib(); 303 0x3: sbb_Eb_Ib(); 304 0x4: Inst::AND(Eb,Ib); 305 0x5: sub_Eb_Ib(); 306 0x6: xor_Eb_Ib(); 307 0x7: cmp_Eb_Ib(); 308 } 309 0x4: Inst::TEST(Eb,Gb); 310 0x5: Inst::TEST(Ev,Gv); 311 0x6: xchg_Eb_Gb(); 312 0x7: xchg_Ev_Gv(); 313 } 314 0x11: decode OPCODE_OP_BOTTOM3 { 315 0x0: Inst::MOV(Eb,Gb); 316 0x1: Inst::MOV(Ev,Gv); 317 0x2: Inst::MOV(Gb,Eb); 318 0x3: Inst::MOV(Gv,Ev); 319 0x4: mov_MwRv_Sw(); //What to do with this one? 320 0x5: Inst::LEA(Gv,M); 321 0x6: mov_Sw_MwRv(); 322 0x7: group10_Ev(); //Make sure this is Ev 323 } 324 0x12: decode OPCODE_OP_BOTTOM3 { 325 default: Inst::NOP(); //XXX repe makes this a "pause" 326 0x1: xchg_rCX_rAX(); 327 0x2: xchg_rDX_rAX(); 328 0x3: xchg_rVX_rAX(); 329 0x4: xchg_rSP_rAX(); 330 0x5: xchg_rBP_rAX(); 331 0x6: xchg_rSI_rAX(); 332 0x7: xchg_rDI_rAX(); 333 } 334 0x13: decode OPCODE_OP_BOTTOM3 { 335 0x0: cbw_or_cwde_or_cdqe_rAX(); 336 0x1: cwd_or_cdq_or_cqo_rAX_rDX(); 337 0x2: decode MODE_SUBMODE { 338 0x0: This_should_be_an_illegal_instruction(); 339 default: call_Ap(); 340 } 341 0x3: fwait(); //aka wait 342 0x4: pushf_Fv(); 343 0x5: popf_Fv(); 344 //Both of these should be illegal only if CPUID.AHF64=0, 345 //according to sandpile.org 346 0x6: decode MODE_SUBMODE { 347 0x0: This_should_be_an_illegal_instruction(); 348 default: sahf(); 349 } 350 0x7: decode MODE_SUBMODE { 351 0x0: This_should_be_an_illegal_instruction(); 352 default: lahf(); 353 } 354 } 355 0x14: decode OPCODE_OP_BOTTOM3 { 356 0x0: mov_Al_Ob(); 357 0x1: mov_rAX_Ov(); 358 0x2: mov_Ob_Al(); 359 0x3: mov_Ov_rAX(); 360 0x4: movs_Yb_Xb(); 361 0x5: movs_Yv_Xv(); 362 0x6: cmps_Yb_Xb(); 363 0x7: cmps_Yv_Xv(); 364 } 365 0x15: decode OPCODE_OP_BOTTOM3 { 366 0x0: Inst::TEST(rAl,Ib); 367 0x1: Inst::TEST(rAX,Iz); 368 0x2: stos_Yb_Al(); 369 0x3: stos_Yv_rAX(); 370 0x4: lods_Al_Xb(); 371 0x5: lods_rAX_Xv(); 372 0x6: scas_Yb_Al(); 373 0x7: scas_Yv_rAX(); 374 } 375 0x16: decode OPCODE_OP_BOTTOM3 { 376 0x0: mov_Al_Ib(); 377 0x1: mov_Cl_Ib(); 378 0x2: mov_Dl_Ib(); 379 0x3: mov_Bl_Ib(); 380 0x4: mov_Ah_Ib(); 381 0x5: mov_Ch_Ib(); 382 0x6: mov_Dh_Ib(); 383 0x7: mov_Bh_Ib(); 384 } 385 format Inst { 386 0x17: decode OPCODE_OP_BOTTOM3 { 387 0x0: MOV(rAX,Iv); 388 0x1: MOV(rCX,Iv); 389 0x2: MOV(rDX,Iv); 390 0x3: MOV(rBX,Iv); 391 0x4: MOV(rSP,Iv); 392 0x5: MOV(rBP,Iv); 393 0x6: MOV(rSI,Iv); 394 0x7: MOV(rDI,Iv); 395 } 396 } 397 0x18: decode OPCODE_OP_BOTTOM3 { 398 0x0: group2_Eb_Ib(); 399 0x1: group2_Ev_Ib(); 400 0x2: ret_near_Iw(); 401 0x3: ret_near(); 402 0x4: decode MODE_SUBMODE { 403 0x0: This_should_be_an_illegal_instruction(); 404 default: les_Gz_Mp(); 405 } 406 0x5: decode MODE_SUBMODE { 407 0x0: This_should_be_an_illegal_instruction(); 408 default: lds_Gz_Mp(); 409 } 410 //0x6: group12_Eb_Ib(); 411 0x6: decode MODRM_REG { 412 0x0: Inst::MOV(Eb,Ib); 413 } 414 //0x7: group12_Ev_Iz(); 415 0x7: decode MODRM_REG { 416 0x0: Inst::MOV(Ev,Iz); 417 } 418 } 419 0x19: decode OPCODE_OP_BOTTOM3 { 420 0x0: enter_Iw_Ib(); 421 0x1: leave(); 422 0x2: ret_far_Iw(); 423 0x3: ret_far(); 424 0x4: int3(); 425 0x5: int_Ib(); 426 0x6: decode MODE_SUBMODE { 427 0x0: This_should_be_an_illegal_instruction(); 428 default: into(); 429 } 430 0x7: iret(); 431 } 432 0x1A: decode OPCODE_OP_BOTTOM3 { 433 0x0: group2_Eb_1(); 434 0x1: group2_Ev_1(); 435 0x2: group2_Eb_Cl(); 436 0x3: group2_Ev_Cl(); 437 0x4: decode MODE_SUBMODE { 438 0x0: This_should_be_an_illegal_instruction(); 439 default: aam_Ib(); 440 } 441 0x5: decode MODE_SUBMODE { 442 0x0: This_should_be_an_illegal_instruction(); 443 default: aad_Ib(); 444 } 445 0x6: decode MODE_SUBMODE { 446 0x0: This_should_be_an_illegal_instruction(); 447 default: salc(); 448 } 449 0x7: xlat(); 450 } 451 0x1B: decode OPCODE_OP_BOTTOM3 { 452 0x0: esc0(); 453 0x1: esc1(); 454 0x2: esc2(); 455 0x3: esc3(); 456 0x4: esc4(); 457 0x5: esc5(); 458 0x6: esc6(); 459 0x7: esc7(); 460 } 461 0x1C: decode OPCODE_OP_BOTTOM3 { 462 0x0: loopne_Jb(); 463 0x1: loope_Jb(); 464 0x2: loop_Jb(); 465 0x3: jcxz_or_jecx_or_jrcx(); 466 0x4: in_Al_Ib(); 467 0x5: in_eAX_Ib(); 468 0x6: out_Ib_Al(); 469 0x7: out_Ib_eAX(); 470 } 471 0x1D: decode OPCODE_OP_BOTTOM3 { 472 0x0: Inst::CALL(Jz); 473 0x1: jmp_Jz(); 474 0x2: decode MODE_SUBMODE { 475 0x0: This_should_be_an_illegal_instruction(); 476 default: jmp_Ap(); 477 } 478 0x3: jmp_Jb(); 479 0x4: in_Al_Dx(); 480 0x5: in_eAX_Dx(); 481 0x6: out_Dx_Al(); 482 0x7: out_Dx_eAX(); 483 } 484 0x1E: decode OPCODE_OP_BOTTOM3 { 485 0x0: M5InternalError::error( 486 {{"Tried to execute the lock prefix!"}}); 487 0x1: int1(); 488 0x2: M5InternalError::error( 489 {{"Tried to execute the repne prefix!"}}); 490 0x3: M5InternalError::error( 491 {{"Tried to execute the rep/repe prefix!"}}); 492 0x4: hlt(); 493 0x5: cmc(); 494 0x6: group3_Eb(); 495 0x7: group3_Ev(); 496 } 497 0x1F: decode OPCODE_OP_BOTTOM3 { 498 0x0: clc(); 499 0x1: stc(); 500 0x2: cli(); 501 0x3: sti(); 502 0x4: cld(); 503 0x5: std(); 504 0x6: group4(); 505 0x7: group5(); 506 } 507 } 508 default: FailUnimpl::oneByteOps(); 509} 510