1;;; mixal-mode.el --- Major mode for the mix asm language. 2 3;; Copyright (C) 2003, 2004, 2005, 2006, 2007 4;; Free Software Foundation, Inc. 5 6;; This program is free software; you can redistribute it and/or 7;; modify it under the terms of the GNU General Public License as 8;; published by the Free Software Foundation; either version 2 of 9;; the License, or (at your option) any later version. 10 11;; This program is distributed in the hope that it will be 12;; useful, but WITHOUT ANY WARRANTY; without even the implied 13;; warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR 14;; PURPOSE. See the GNU General Public License for more details. 15 16;; You should have received a copy of the GNU General Public 17;; License along with this program; if not, write to the Free 18;; Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, 19;; MA 02110-1301 USA 20 21;; Author: Pieter E.J. Pareit <pieter.pareit@gmail.com> 22;; Maintainer: Pieter E.J. Pareit <pieter.pareit@gmail.com> 23;; Created: 09 Nov 2002 24;; Version: 0.1 25;; Keywords: Knuth mix mixal asm mixvm "The Art Of Computer Programming" 26 27;;; Commentary: 28;; Major mode for the mix asm language. 29;; The mix asm language is described in "The Art Of Computer Programming". 30;; 31;; For optimal use, also use GNU MDK. Compiling needs mixasm, running 32;; and debugging needs mixvm and mixvm.el from GNU MDK. You can get 33;; GNU MDK from `https://savannah.gnu.org/projects/mdk/' and 34;; `ftp://ftp.gnu.org/pub/gnu/mdk'. 35;; 36;; To use this mode, place the following in your .emacs file: 37;; `(load-file "/PATH-TO-FILE/mixal-mode.el")'. 38;; When you load a file with the extension .mixal the mode will be started 39;; automatic. If you want to start the mode manual, use `M-x mixal-mode'. 40;; Font locking will work, the behavior of tabs is the same as Emacs's 41;; default behavior. You can compile a source file with `C-c c' you can 42;; run a compiled file with `C-c r' or run it in debug mode with `C-c d'. 43;; You can get more information about a particular operation code by using 44;; mixal-describe-operation-code or `C-h o'. 45;; 46;; Have fun. 47 48;;; History: 49;; Version 0.3: 50;; 12/10/05: Stefan Monnier <monnier@iro.umontreal.ca> 51;; Use font-lock-syntactic-keywords to detect/mark comments. 52;; Use [^ \t\n]+ to match the operand part of a line. 53;; Drop mixal-operation-codes. 54;; Build the mixal-operation-codes-alist immediately. 55;; Use `interactive' in mixal-describe-operation-code. 56;; Remove useless ".*$" at the end of some regexps. 57;; Fix the definition of comment-start-skip. 58;; 08/10/05: sync mdk and emacs cvs 59;; from emacs: compile-command and require-final-newline 60;; from mdk: see version 0.2 61;; correct my email address 62;; Version 0.2: 63;; 06/04/05: mixasm no longer needs -g option 64;; fontlocking of comments works in all? cases now 65;; added some more mixal-operation-codes 66;; Version 0.1: 67;; Version 0.1.1: 68;; 22/11/02: bugfix in fontlocking, needed to add a '-' to the regex. 69;; 19/11/02: completed implementing mixal-describe-operation-code. 70;; 13/11/02: implemented compile, mixal-run and mixal-debug. 71;; 10/11/02: implemented font-locking and syntax table. 72;; 09/11/02: started mixal-mode. 73 74;;; Code: 75(defvar compile-command) 76 77;;; Key map 78(defvar mixal-mode-map 79 (let ((map (make-sparse-keymap))) 80 (define-key map "\C-cc" 'compile) 81 (define-key map "\C-cr" 'mixal-run) 82 (define-key map "\C-cd" 'mixal-debug) 83 (define-key map "\C-ho" 'mixal-describe-operation-code) 84 map) 85 "Keymap for `mixal-mode'.") 86;; (makunbound 'mixal-mode-map) 87 88;;; Syntax table 89(defvar mixal-mode-syntax-table 90 (let ((st (make-syntax-table))) 91 ;; We need to do a bit more to make fontlocking for comments work. 92 ;; See mixal-font-lock-syntactic-keywords. 93 ;; (modify-syntax-entry ?* "<" st) 94 (modify-syntax-entry ?\n ">" st) 95 st) 96 "Syntax table for `mixal-mode'.") 97 98(defvar mixal-font-lock-label-face 'font-lock-variable-name-face 99 "Face name to use for label names. 100Default value is that of `font-lock-variable-name-face', but you can modify 101its value.") 102 103(defvar mixal-font-lock-operation-code-face 'font-lock-keyword-face 104 "Face name to use for operation code names. 105Default value is that of `font-lock-keyword-face', but you can modify its 106value.") 107 108(defvar mixal-font-lock-assembly-pseudoinstruction-face 'font-lock-builtin-face 109 "Face name to use for assembly pseudoinstruction names. 110Default value is that of `font-lock-builtin-face', but you can modify its 111value.") 112 113(defvar mixal-assembly-pseudoinstructions 114 '("ORIG" "EQU" "CON" "ALF" "END") 115 "List of possible assembly pseudoinstructions.") 116 117;;;; Compilation 118;; Output from mixasm is compatible with default behavior of emacs, 119;; I just added a key (C-cc) and modified the make-command. 120 121;;;; Indentation 122;; Tabs works well by default. 123 124;;;; Describe 125(defvar mixal-operation-codes-alist 126 ;; FIXME: the codes FADD, FSUB, FMUL, FDIV, JRAD, and FCMP were in 127 ;; mixal-operation-codes but not here. They should probably be added here. 128 ;; 129 ;; We used to define this with a backquote and subexps like ,(+ 8 3) for 130 ;; better clarity, but the resulting code was too big and caused the 131 ;; byte-compiler to eat up all the stack space. Even using 132 ;; `eval-when-compile' didn't help because the byte-compiler insists on 133 ;; compiling the code before evaluating it. 134 '((LDA loading "load A" 8 field 135 "Put in rA the contents of cell no. M. 136Uses a + when there is no sign in subfield. Subfield is left padded with 137zeros to make a word." 138 2) 139 140 (LDX loading "load X" 15 field 141 "Put in rX the contents of cell no. M. 142Uses a + when there is no sign in subfield. Subfield is left padded with 143zeros to make a word." 144 2) 145 146 (LD1 loading "load I1" 9 field 147 "Put in rI1 the contents of cell no. M. 148Uses a + when there is no sign in subfield. Subfield is left padded with 149zeros to make a word. Index registers only have 2 bytes and a sign, Trying 150to set anything more that that will result in undefined behavior." 151 2) 152 153 (LD2 loading "load I2" 10 field 154 "Put in rI2 the contents of cell no. M. 155Uses a + when there is no sign in subfield. Subfield is left padded with 156zeros to make a word. Index registers only have 2 bytes and a sign, Trying 157to set anything more that that will result in undefined behavior." 158 2) 159 160 (LD3 loading "load I3" 11 field 161 "Put in rI3 the contents of cell no. M. 162Uses a + when there is no sign in subfield. Subfield is left padded with 163zeros to make a word. Index registers only have 2 bytes and a sign, Trying 164to set anything more that that will result in undefined behavior." 165 2) 166 167 (LD4 loading "load I4" 12 field 168 "Put in rI4 the contents of cell no. M. 169Uses a + when there is no sign in subfield. Subfield is left padded with 170zeros to make a word. Index registers only have 2 bytes and a sign, Trying 171to set anything more that that will result in undefined behavior." 172 2) 173 174 (LD5 loading "load I5" 13 field 175 "Put in rI5 the contents of cell no. M. 176Uses a + when there is no sign in subfield. Subfield is left padded with 177zeros to make a word. Index registers only have 2 bytes and a sign, Trying 178to set anything more that that will result in undefined behavior." 179 2) 180 181 (LD6 loading "load I6" 14 field 182 "Put in rI6 the contents of cell no. M. 183Uses a + when there is no sign in subfield. Subfield is left padded with 184zeros to make a word. Index registers only have 2 bytes and a sign, Trying 185to set anything more that that will result in undefined behavior." 186 2) 187 188 (LDAN loading "load A negative" 16 field 189 "Put in rA the contents of cell no. M, with opposite sign. 190Uses a + when there is no sign in subfield, otherwise use the opposite sign. 191Subfield is left padded with zeros to make a word." 192 2) 193 194 (LDXN loading "load X negative" 23 field 195 "Put in rX the contents of cell no. M, with opposite sign. 196Uses a + when there is no sign in subfield, otherwise use the opposite sign. 197Subfield is left padded with zeros to make a word." 198 2) 199 200 (LD1N loading "load I1 negative" 17 field 201 "Put in rI1 the contents of cell no. M, with opposite sign. 202Uses a + when there is no sign in subfield, otherwise use the opposite sign. 203Subfield is left padded with zeros to make a word. Index registers only 204have 2 bytes and a sign, Trying to set anything more that that will result 205in undefined behavior." 206 2) 207 208 (LD2N loading "load I2 negative" 18 field 209 "Put in rI2 the contents of cell no. M, with opposite sign. 210Uses a + when there is no sign in subfield, otherwise use the opposite sign. 211Subfield is left padded with zeros to make a word. Index registers only 212have 2 bytes and a sign, Trying to set anything more that that will result 213in undefined behavior." 214 2) 215 216 (LD3N loading "load I3 negative" 19 field 217 "Put in rI3 the contents of cell no. M, with opposite sign. 218Uses a + when there is no sign in subfield, otherwise use the opposite sign. 219Subfield is left padded with zeros to make a word. Index registers only 220have 2 bytes and a sign, Trying to set anything more that that will result 221in undefined behavior." 222 2) 223 224 (LD4N loading "load I4 negative" 20 field 225 "Put in rI4 the contents of cell no. M, with opposite sign. 226Uses a + when there is no sign in subfield, otherwise use the opposite sign. 227Subfield is left padded with zeros to make a word. Index registers only 228have 2 bytes and a sign, Trying to set anything more that that will result 229in undefined behavior." 230 2) 231 232 (LD5N loading "load I5 negative" 21 field 233 "Put in rI5 the contents of cell no. M, with opposite sign. 234Uses a + when there is no sign in subfield, otherwise use the opposite sign. 235Subfield is left padded with zeros to make a word. Index registers only 236have 2 bytes and a sign, Trying to set anything more that that will result 237in undefined behavior." 238 2) 239 240 (LD6N loading "load I6 negative" 22 field 241 "Put in rI6 the contents of cell no. M, with opposite sign. 242Uses a + when there is no sign in subfield, otherwise use the opposite sign. 243Subfield is left padded with zeros to make a word. Index registers only 244have 2 bytes and a sign, Trying to set anything more that that will result 245in undefined behavior." 246 2) 247 248 (STA storing "store A" 24 field 249 "Store in cell Nr. M the contents of rA. 250The modification of the operation code represents the subfield of the 251memory cell that is to be overwritten with bytes from a register. These 252bytes are taken beginning by the rightmost side of the register. The 253sign of the memory cell is not changed, unless it is part of the subfield." 254 2) 255 256 (STX storing "store X" 31 field 257 "Store in cell Nr. M the contents of rX. 258The modification of the operation code represents the subfield of the 259memory cell that is to be overwritten with bytes from a register. These 260bytes are taken beginning by the rightmost side of the register. The 261sign of the memory cell is not changed, unless it is part of the subfield." 262 2) 263 264 (ST1 storing "store I1" 25 field 265 "Store in cell Nr. M the contents of rI1. 266The modification of the operation code represents the subfield of the 267memory cell that is to be overwritten with bytes from a register. These 268bytes are taken beginning by the rightmost side of the register. The 269sign of the memory cell is not changed, unless it is part of the subfield. 270Because index registers only have 2 bytes and a sign, the rest of the bytes 271are assumed to be 0." 272 2) 273 274 (ST2 storing "store I2" 26 field 275 "Store in cell Nr. M the contents of rI2. 276The modification of the operation code represents the subfield of the 277memory cell that is to be overwritten with bytes from a register. These 278bytes are taken beginning by the rightmost side of the register. The 279sign of the memory cell is not changed, unless it is part of the subfield. 280Because index registers only have 2 bytes and a sign, the rest of the bytes 281are assumed to be 0." 282 2) 283 284 (ST3 storing "store I3" 27 field 285 "Store in cell Nr. M the contents of rI3. 286The modification of the operation code represents the subfield of the 287memory cell that is to be overwritten with bytes from a register. These 288bytes are taken beginning by the rightmost side of the register. The 289sign of the memory cell is not changed, unless it is part of the subfield. 290Because index registers only have 2 bytes and a sign, the rest of the bytes 291are assumed to be 0." 292 2) 293 294 (ST4 storing "store I4" 28 field 295 "Store in cell Nr. M the contents of rI4. 296The modification of the operation code represents the subfield of the 297memory cell that is to be overwritten with bytes from a register. These 298bytes are taken beginning by the rightmost side of the register. The 299sign of the memory cell is not changed, unless it is part of the subfield. 300Because index registers only have 2 bytes and a sign, the rest of the bytes 301are assumed to be 0." 302 2) 303 304 (ST5 storing "store I5" 29 field 305 "Store in cell Nr. M the contents of rI5. 306The modification of the operation code represents the subfield of the 307memory cell that is to be overwritten with bytes from a register. These 308bytes are taken beginning by the rightmost side of the register. The 309sign of the memory cell is not changed, unless it is part of the subfield. 310Because index registers only have 2 bytes and a sign, the rest of the bytes 311are assumed to be 0." 312 2) 313 314 (ST6 storing "store I6" 30 field 315 "Store in cell Nr. M the contents of rI6. 316The modification of the operation code represents the subfield of the 317memory cell that is to be overwritten with bytes from a register. These 318bytes are taken beginning by the rightmost side of the register. The 319sign of the memory cell is not changed, unless it is part of the subfield. 320Because index registers only have 2 bytes and a sign, the rest of the bytes 321are assumed to be 0." 322 2) 323 324 (STJ storing "store J" 32 field 325 "Store in cell Nr. M the contents of rJ. 326The modification of the operation code represents the subfield of the 327memory cell that is to be overwritten with bytes from a register. These 328bytes are taken beginning by the rightmost side of the register. The sign 329of rJ is always +, sign of the memory cell is not changed, unless it is 330part of the subfield. The default field for STJ is (0:2)." 331 2) 332 333 (STZ storing "store zero" 33 field 334 "Store in cell Nr. M '+ 0'. 335The modification of the operation code represents the subfield of the 336memory cell that is to be overwritten with zeros." 337 2) 338 339 (ADD arithmetic "add" 1 field 340 "Add to A the contents of cell Nr. M. 341Subfield is padded with zero to make a word. 342If the result is to large, the operation result modulo 1,073,741,823 (the 343maximum value storable in a MIX word) is stored in `rA', and the overflow 344toggle is set to TRUE." 345 2) 346 347 (SUB arithmetic "subtract" 2 field 348 "Subtract to A the contents of cell Nr. M. 349Subfield is padded with zero to make a word. 350If the result is to large, the operation result modulo 1,073,741,823 (the 351maximum value storable in a MIX word) is stored in `rA', and the overflow 352toggle is set to TRUE." 353 2) 354 355 (MUL arithmetic "multiply" 3 field 356 "Multiplies the contents of cell Nr. M with A, result is 10 bytes and stored in rA and rX. 357The sign is + if the sign of rA and cell M where the same, otherwise, it is -" 358 10) 359 360 (DIV arithmetic "divide" 4 field 361 "Both rA and rX are taken together and divided by cell Nr. M, quotient is placed in rA, remainder in rX. 362The sign is taken from rA, and after the divide the sign of rA is set to + when 363both the sign of rA and M where the same. Divide by zero and overflow of rA 364result in undefined behavior." 365 12) 366 367 (ENTA address-transfer "enter A" 48 368 "Literal value is stored in rA. 369Indexed, stores value of index in rA." 370 1) 371 372 (ENTX address-transfer "enter X" 55 373 "Literal value is stored in rX. 374Indexed, stores value of index in rX." 375 1) 376 377 (ENT1 address-transfer "Enter rI1" 49 378 "Literal value is stored in rI1. 379Indexed, stores value of index in rI1." 380 1) 381 382 (ENT2 address-transfer "Enter rI2" 50 383 "Literal value is stored in rI2. 384Indexed, stores value of index in rI2." 385 1) 386 387 (ENT3 address-transfer "Enter rI3" 51 388 "Literal value is stored in rI3. 389Indexed, stores value of index in rI3." 390 1) 391 392 (ENT4 address-transfer "Enter rI4" 52 393 "Literal value is stored in rI4. 394Indexed, stores value of index in rI4." 395 1) 396 397 (ENT5 address-transfer "Enter rI5" 53 398 "Literal value is stored in rI5. 399Indexed, stores value of index in rI5." 400 1) 401 402 (ENT6 address-transfer "Enter rI6" 54 403 "Literal value is stored in rI6. 404Indexed, stores value of index in rI6." 405 1) 406 407 (ENNA address-transfer "enter negative A" 48 408 "Literal value is stored in rA with opposite sign. 409Indexed, stores value of index in rA with opposite sign." 410 1) 411 412 (ENNX address-transfer "enter negative X" 55 413 "Literal value is stored in rX with opposite sign. 414Indexed, stores value of index in rX with opposite sign." 415 1) 416 417 (ENN1 address-transfer "Enter negative rI1" 49 418 "Literal value is stored in rI1 with opposite sign. 419Indexed, stores value of index in rI1 with opposite sign." 420 1) 421 422 (ENN2 address-transfer "Enter negative rI2" 50 423 "Literal value is stored in rI2 with opposite sign. 424Indexed, stores value of index in rI2 with opposite sign." 425 1) 426 427 (ENN3 address-transfer "Enter negative rI3" 51 428 "Literal value is stored in rI3 with opposite sign. 429Indexed, stores value of index in rI3 with opposite sign." 430 1) 431 432 (ENN4 address-transfer "Enter negative rI4" 52 433 "Literal value is stored in rI4 with opposite sign. 434Indexed, stores value of index in rI4 with opposite sign." 435 1) 436 437 (ENN5 address-transfer "Enter negative rI5" 53 438 "Literal value is stored in rI5 with opposite sign. 439Indexed, stores value of index in rI5 with opposite sign." 440 1) 441 442 (ENN6 address-transfer "Enter negative rI6" 54 443 "Literal value is stored in rI6 with opposite sign. 444Indexed, stores value of index in rI6 with opposite sign." 445 1) 446 447 (INCA address-transfer "increase A" 48 448 "Increase register A with the literal value of M. 449On overflow the overflow toggle is set." 450 1) 451 452 (INCX address-transfer "increase X" 55 453 "Increase register X with the literal value of M. 454On overflow the overflow toggle is set." 455 1) 456 457 (INC1 address-transfer "increase I1" 49 458 "Increase register I1 with the literal value of M. 459The result is undefined when the result does not fit in 4602 bytes." 461 1) 462 463 (INC2 address-transfer "increase I2" 50 464 "Increase register I2 with the literal value of M. 465The result is undefined when the result does not fit in 4662 bytes." 467 1) 468 469 (INC3 address-transfer "increase I3" 51 470 "Increase register I3 with the literal value of M. 471The result is undefined when the result does not fit in 4722 bytes." 473 1) 474 475 (INC4 address-transfer "increase I4" 52 476 "Increase register I4 with the literal value of M. 477The result is undefined when the result does not fit in 4782 bytes." 479 1) 480 481 (INC5 address-transfer "increase I5" 53 482 "Increase register I5 with the literal value of M. 483The result is undefined when the result does not fit in 4842 bytes." 485 1) 486 487 (INC6 address-transfer "increase I6" 54 488 "Increase register I6 with the literal value of M. 489The result is undefined when the result does not fit in 4902 bytes." 491 1) 492 493 (DECA address-transfer "decrease A" 48 494 "Decrease register A with the literal value of M. 495On overflow the overflow toggle is set." 496 1) 497 498 (DECX address-transfer "decrease X" 55 499 "Decrease register X with the literal value of M. 500On overflow the overflow toggle is set." 501 1) 502 503 (DEC1 address-transfer "decrease I1" 49 504 "Decrease register I1 with the literal value of M. 505The result is undefined when the result does not fit in 5062 bytes." 507 1) 508 509 (DEC2 address-transfer "decrease I2" 50 510 "Decrease register I2 with the literal value of M. 511The result is undefined when the result does not fit in 5122 bytes." 513 1) 514 515 (DEC3 address-transfer "decrease I3" 51 516 "Decrease register I3 with the literal value of M. 517The result is undefined when the result does not fit in 5182 bytes." 519 1) 520 521 (DEC4 address-transfer "decrease I4" 52 522 "Decrease register I4 with the literal value of M. 523The result is undefined when the result does not fit in 5242 bytes." 525 1) 526 527 (DEC5 address-transfer "decrease I5" 53 528 "Decrease register I5 with the literal value of M. 529The result is undefined when the result does not fit in 5302 bytes." 531 1) 532 533 (DEC6 address-transfer "decrease I6" 54 534 "Decrease register I6 with the literal value of M. 535The result is undefined when the result does not fit in 5362 bytes." 537 1) 538 539 (CMPA comparison "compare A" 56 field 540 "Compare contents of A with contents of M. 541The field specifier works on both fields. The comparison indicator 542is set to LESS, EQUAL or GREATER depending on the outcome." 543 2) 544 545 (CMPX comparison "compare X" 63 field 546 "Compare contents of rX with contents of M. 547The field specifier works on both fields. The comparison indicator 548is set to LESS, EQUAL or GREATER depending on the outcome." 549 2) 550 551 (CMP1 comparison "compare I1" 57 field 552 "Compare contents of rI1 with contents of M. 553The field specifier works on both fields. The comparison indicator 554is set to LESS, EQUAL or GREATER depending on the outcome. Bit 1,2 and 3 555have a value of 0." 556 2) 557 558 (CMP2 comparison "compare I2" 58 field 559 "Compare contents of rI2 with contents of M. 560The field specifier works on both fields. The comparison indicator 561is set to LESS, EQUAL or GREATER depending on the outcome. Bit 1,2 and 3 562have a value of 0." 563 2) 564 565 (CMP3 comparison "compare I3" 59 field 566 "Compare contents of rI3 with contents of M. 567The field specifier works on both fields. The comparison indicator 568is set to LESS, EQUAL or GREATER depending on the outcome. Bit 1,2 and 3 569have a value of 0." 570 2) 571 572 (CMP4 comparison "compare I4" 60 field 573 "Compare contents of rI4 with contents of M. 574The field specifier works on both fields. The comparison indicator 575is set to LESS, EQUAL or GREATER depending on the outcome. Bit 1,2 and 3 576have a value of 0." 577 2) 578 579 (CMP5 comparison "compare I5" 61 field 580 "Compare contents of rI5 with contents of M. 581The field specifier works on both fields. The comparison indicator 582is set to LESS, EQUAL or GREATER depending on the outcome. Bit 1,2 and 3 583have a value of 0." 584 2) 585 586 (CMP6 comparison "compare I6" 62 field 587 "Compare contents of rI6 with contents of M. 588The field specifier works on both fields. The comparison indicator 589is set to LESS, EQUAL or GREATER depending on the outcome. Bit 1,2 and 3 590have a value of 0." 591 2) 592 593 (JMP jump "jump" 39 594 "Unconditional jump. 595Register J is set to the value of the next instruction that would have 596been executed when there was no jump." 597 1) 598 599 (JSJ jump "jump, save J" 39 600 "Unconditional jump, but rJ is not modified." 601 1) 602 603 (JOV jump "jump on overflow" 39 604 "Jump if OV is set (and turn it off). 605Register J is set to the value of the next instruction that would have 606been executed when there was no jump." 607 1) 608 609 (JNOV jump "Jump on no overflow" 39 610 "Jump if OV is not set (and turn it off). 611Register J is set to the value of the next instruction that would have 612been executed when there was no jump." 613 1) 614 615 (JL jump "Jump on less" 39 616 "Jump if '[CM] = L'. 617Register J is set to the value of the next instruction that would have 618been executed when there was no jump." 619 1) 620 621 (JE jump "Jump on equal" 39 622 "Jump if '[CM] = E'. 623Register J is set to the value of the next instruction that would have 624been executed when there was no jump." 625 1) 626 627 (JG jump "Jump on greater" 39 628 "Jump if '[CM] = G'. 629Register J is set to the value of the next instruction that would have 630been executed when there was no jump." 631 1) 632 633 (JGE jump "Jump on not less" 39 634 "Jump if '[CM]' does not equal 'L'. 635Register J is set to the value of the next instruction that would have 636been executed when there was no jump." 637 1) 638 639 (JNE jump "Jump on not equal" 39 640 "Jump if '[CM]' does not equal 'E'. 641Register J is set to the value of the next instruction that would have 642been executed when there was no jump." 643 1) 644 645 (JLE jump "Jump on not greater" 39 646 "Jump if '[CM]' does not equal 'G'. 647Register J is set to the value of the next instruction that would have 648been executed when there was no jump." 649 1) 650 651 (JAN jump "jump A negative" 40 652 "Jump if the content of rA is negative. 653Register J is set to the value of the next instruction that would have 654been executed when there was no jump." 655 1) 656 657 (JAZ jump "jump A zero" 40 658 "Jump if the content of rA is zero. 659Register J is set to the value of the next instruction that would have 660been executed when there was no jump." 661 1) 662 663 (JAP jump "jump A positive" 40 664 "Jump if the content of rA is positive. 665Register J is set to the value of the next instruction that would have 666been executed when there was no jump." 667 1) 668 669 (JANN jump "jump A non-negative" 40 670 "Jump if the content of rA is non-negative. 671Register J is set to the value of the next instruction that would have 672been executed when there was no jump." 673 1) 674 675 (JANZ jump "jump A non-zero" 40 676 "Jump if the content of rA is non-zero. 677Register J is set to the value of the next instruction that would have 678been executed when there was no jump." 679 1) 680 681 (JANP jump "jump A non-positive" 40 682 "Jump if the content of rA is non-positive. 683Register J is set to the value of the next instruction that would have 684been executed when there was no jump." 685 1) 686 687 (JXN jump "jump X negative" 47 688 "Jump if the content of rX is negative. 689Register J is set to the value of the next instruction that would have 690been executed when there was no jump." 691 1) 692 693 (JXZ jump "jump X zero" 47 694 "Jump if the content of rX is zero. 695Register J is set to the value of the next instruction that would have 696been executed when there was no jump." 697 1) 698 699 (JXP jump "jump X positive" 47 700 "Jump if the content of rX is positive. 701Register J is set to the value of the next instruction that would have 702been executed when there was no jump." 703 1) 704 705 (JXNN jump "jump X non-negative" 47 706 "Jump if the content of rX is non-negative. 707Register J is set to the value of the next instruction that would have 708been executed when there was no jump." 709 1) 710 711 (JXNZ jump "jump X non-zero" 47 712 "Jump if the content of rX is non-zero. 713Register J is set to the value of the next instruction that would have 714been executed when there was no jump." 715 1) 716 717 (JXNP jump "jump X non-positive" 47 718 "Jump if the content of rX is non-positive. 719Register J is set to the value of the next instruction that would have 720been executed when there was no jump." 721 1) 722 723 (J1N jump "jump I1 negative" 41 724 "Jump if the content of rI1 is negative. 725Register J is set to the value of the next instruction that would have 726been executed when there was no jump." 727 1) 728 729 (J1Z jump "jump I1 zero" 41 730 "Jump if the content of rI1 is zero. 731Register J is set to the value of the next instruction that would have 732been executed when there was no jump." 733 1) 734 735 (J1P jump "jump I1 positive" 41 736 "Jump if the content of rI1 is positive. 737Register J is set to the value of the next instruction that would have 738been executed when there was no jump." 739 1) 740 741 (J1NN jump "jump I1 non-negative" 41 742 "Jump if the content of rI1 is non-negative. 743Register J is set to the value of the next instruction that would have 744been executed when there was no jump." 745 1) 746 747 (J1NZ jump "jump I1 non-zero" 41 748 "Jump if the content of rI1 is non-zero. 749Register J is set to the value of the next instruction that would have 750been executed when there was no jump." 751 1) 752 753 (J1NP jump "jump I1 non-positive" 41 754 "Jump if the content of rI1 is non-positive. 755Register J is set to the value of the next instruction that would have 756been executed when there was no jump." 757 1) 758 759 (J2N jump "jump I2 negative" 41 760 "Jump if the content of rI2 is negative. 761Register J is set to the value of the next instruction that would have 762been executed when there was no jump." 763 1) 764 765 (J2Z jump "jump I2 zero" 41 766 "Jump if the content of rI2 is zero. 767Register J is set to the value of the next instruction that would have 768been executed when there was no jump." 769 1) 770 771 (J2P jump "jump I2 positive" 41 772 "Jump if the content of rI2 is positive. 773Register J is set to the value of the next instruction that would have 774been executed when there was no jump." 775 1) 776 777 (J2NN jump "jump I2 non-negative" 41 778 "Jump if the content of rI2 is non-negative. 779Register J is set to the value of the next instruction that would have 780been executed when there was no jump." 781 1) 782 783 (J2NZ jump "jump I2 non-zero" 41 784 "Jump if the content of rI2 is non-zero. 785Register J is set to the value of the next instruction that would have 786been executed when there was no jump." 787 1) 788 789 (J2NP jump "jump I2 non-positive" 41 790 "Jump if the content of rI2 is non-positive. 791Register J is set to the value of the next instruction that would have 792been executed when there was no jump." 793 1) 794 795 (J3N jump "jump I3 negative" 41 796 "Jump if the content of rI3 is negative. 797Register J is set to the value of the next instruction that would have 798been executed when there was no jump." 799 1) 800 801 (J3Z jump "jump I3 zero" 41 802 "Jump if the content of rI3 is zero. 803Register J is set to the value of the next instruction that would have 804been executed when there was no jump." 805 1) 806 807 (J3P jump "jump I3 positive" 41 808 "Jump if the content of rI3 is positive. 809Register J is set to the value of the next instruction that would have 810been executed when there was no jump." 811 1) 812 813 (J3NN jump "jump I3 non-negative" 41 814 "Jump if the content of rI3 is non-negative. 815Register J is set to the value of the next instruction that would have 816been executed when there was no jump." 817 1) 818 819 (J3NZ jump "jump I3 non-zero" 41 820 "Jump if the content of rI3 is non-zero. 821Register J is set to the value of the next instruction that would have 822been executed when there was no jump." 823 1) 824 825 (J3NP jump "jump I3 non-positive" 41 826 "Jump if the content of rI3 is non-positive. 827Register J is set to the value of the next instruction that would have 828been executed when there was no jump." 829 1) 830 831 (J4N jump "jump I4 negative" 41 832 "Jump if the content of rI4 is negative. 833Register J is set to the value of the next instruction that would have 834been executed when there was no jump." 835 1) 836 837 (J4Z jump "jump I4 zero" 41 838 "Jump if the content of rI4 is zero. 839Register J is set to the value of the next instruction that would have 840been executed when there was no jump." 841 1) 842 843 (J4P jump "jump I4 positive" 41 844 "Jump if the content of rI4 is positive. 845Register J is set to the value of the next instruction that would have 846been executed when there was no jump." 847 1) 848 849 (J4NN jump "jump I4 non-negative" 41 850 "Jump if the content of rI4 is non-negative. 851Register J is set to the value of the next instruction that would have 852been executed when there was no jump." 853 1) 854 855 (J4NZ jump "jump I4 non-zero" 41 856 "Jump if the content of rI4 is non-zero. 857Register J is set to the value of the next instruction that would have 858been executed when there was no jump." 859 1) 860 861 (J4NP jump "jump I4 non-positive" 41 862 "Jump if the content of rI4 is non-positive. 863Register J is set to the value of the next instruction that would have 864been executed when there was no jump." 865 1) 866 867 (J5N jump "jump I5 negative" 41 868 "Jump if the content of rI5 is negative. 869Register J is set to the value of the next instruction that would have 870been executed when there was no jump." 871 1) 872 873 (J5Z jump "jump I5 zero" 41 874 "Jump if the content of rI5 is zero. 875Register J is set to the value of the next instruction that would have 876been executed when there was no jump." 877 1) 878 879 (J5P jump "jump I5 positive" 41 880 "Jump if the content of rI5 is positive. 881Register J is set to the value of the next instruction that would have 882been executed when there was no jump." 883 1) 884 885 (J5NN jump "jump I5 non-negative" 41 886 "Jump if the content of rI5 is non-negative. 887Register J is set to the value of the next instruction that would have 888been executed when there was no jump." 889 1) 890 891 (J5NZ jump "jump I5 non-zero" 41 892 "Jump if the content of rI5 is non-zero. 893Register J is set to the value of the next instruction that would have 894been executed when there was no jump." 895 1) 896 897 (J5NP jump "jump I5 non-positive" 41 898 "Jump if the content of rI5 is non-positive. 899Register J is set to the value of the next instruction that would have 900been executed when there was no jump." 901 1) 902 903 (J6N jump "jump I6 negative" 41 904 "Jump if the content of rI6 is negative. 905Register J is set to the value of the next instruction that would have 906been executed when there was no jump." 907 1) 908 909 (J6Z jump "jump I6 zero" 41 910 "Jump if the content of rI6 is zero. 911Register J is set to the value of the next instruction that would have 912been executed when there was no jump." 913 1) 914 915 (J6P jump "jump I6 positive" 41 916 "Jump if the content of rI6 is positive. 917Register J is set to the value of the next instruction that would have 918been executed when there was no jump." 919 1) 920 921 (J6NN jump "jump I6 non-negative" 41 922 "Jump if the content of rI6 is non-negative. 923Register J is set to the value of the next instruction that would have 924been executed when there was no jump." 925 1) 926 927 (J6NZ jump "jump I6 non-zero" 41 928 "Jump if the content of rI6 is non-zero. 929Register J is set to the value of the next instruction that would have 930been executed when there was no jump." 931 1) 932 933 (J6NP jump "jump I6 non-positive" 41 934 "Jump if the content of rI6 is non-positive. 935Register J is set to the value of the next instruction that would have 936been executed when there was no jump." 937 1) 938 939 (SLA miscellaneous "shift left A" 6 940 "Shift to A, M bytes left. 941Hero's will be added to the right." 942 2) 943 944 (SRA miscellaneous "shift right A" 6 945 "Shift to A, M bytes right. 946Zeros will be added to the left." 947 2) 948 949 (SLAX miscellaneous "shift left AX" 6 950 "Shift AX, M bytes left. 951Zeros will be added to the right." 952 2) 953 954 955 (SRAX miscellaneous "shift right AX" 6 956 "Shift AX, M bytes right. 957Zeros will be added to the left." 958 2) 959 960 (SLC miscellaneous "shift left AX circularly" 6 961 "Shift AX, M bytes left circularly. 962The bytes that fall off to the left will be added to the right." 963 2) 964 965 (SRC miscellaneous "shift right AX circularly" 6 966 "Shift AX, M bytes right circularly. 967The bytes that fall off to the right will be added to the left." 968 2) 969 970 (MOVE miscellaneous "move" 7 number 971 "Move MOD words from M to the location stored in rI1." 972 (+ 1 (* 2 number))) 973 974 (NOP miscellaneous "no operation" 0 ignored 975 "No operation, M and F are not used by the machine." 976 1) 977 978 (HLT miscellaneous "halt" 5 979 "Halt. 980Stop instruction fetching." 981 1) 982 983 (IN input-output "input" 36 unit 984 "Transfer a block of words from the specified unit to memory. 985The transfer starts at address M." 986 1) 987 988 (OUT input-output "output" 37 unit 989 "Transfer a block of words from memory. 990The transfer starts at address M to the specified unit." 991 1) 992 993 (IOC input-output "input-output control" 35 unit 994 "Perform a control operation. 995The control operation is given by M on the specified unit." 996 1) 997 998 (JRED input-output "jump ready" 38 unit 999 "Jump to M if the specified unit is ready." 1000 1) 1001 1002 (JBUS input-output "jump busy" 34 unit 1003 "Jump to M if the specified unit is busy." 1004 1) 1005 1006 (NUM conversion "convert to numeric" 5 1007 "Convert rAX to its numerical value and store it in rA. 1008the register rAX is assumed to contain a character representation of 1009a number." 1010 10) 1011 1012 (CHAR conversion "convert to characters" 5 1013 "Convert the number stored in rA to a character representation. 1014The converted character representation is stored in rAX." 1015 10)) 1016 1017 "Alist that contains all the possible operation codes for mix. 1018Each elt has the form 1019 (OP-CODE GROUP FULL-NAME C-BYTE F-BYTE DESCRIPTION EXECUTION-TIME) 1020Where OP-CODE is the text of the opcode as an symbol, 1021FULL-NAME is the human readable name as a string, 1022C-BYTE is the operation code telling what operation is to be performed, 1023F-BYTE holds a modification of the operation code which can be a symbol 1024 or a number, 1025DESCRIPTION contains an string with a description about the operation code and 1026EXECUTION-TIME holds info about the time it takes, number or string.") 1027;; (makunbound 'mixal-operation-codes-alist) 1028 1029 1030;;; Font-locking: 1031(defvar mixal-font-lock-syntactic-keywords 1032 ;; Normal comments start with a * in column 0 and end at end of line. 1033 '(("^\\*" (0 '(11))) ;(string-to-syntax "<") == '(11) 1034 ;; Every line can end with a comment which is placed after the operand. 1035 ;; I assume here that mnemonics without operands can not have a comment. 1036 ("^[[:alnum:]]*[ \t]+[[:alnum:]]+[ \t]+[^ \n\t]+[ \t]*\\([ \t]\\)[^\n \t]" 1037 (1 '(11))))) 1038 1039(defvar mixal-font-lock-keywords 1040 `(("^\\([A-Z0-9a-z]+\\)" 1041 (1 mixal-font-lock-label-face)) 1042 (,(regexp-opt (mapcar (lambda (x) (symbol-name (car x))) 1043 mixal-operation-codes-alist) 'words) 1044 . mixal-font-lock-operation-code-face) 1045 (,(regexp-opt mixal-assembly-pseudoinstructions 'words) 1046 . mixal-font-lock-assembly-pseudoinstruction-face) 1047 ("^[A-Z0-9a-z]*[ \t]+[A-ZO-9a-z]+[ \t]+\\(=.*=\\)" 1048 (1 font-lock-constant-face))) 1049 "Keyword highlighting specification for `mixal-mode'.") 1050;; (makunbound 'mixal-font-lock-keywords) 1051 1052(defvar mixal-describe-operation-code-history nil 1053 "History list for describe operation code.") 1054 1055(defun mixal-describe-operation-code (op-code) 1056 "Display the full documentation of OP-CODE." 1057 (interactive 1058 (list 1059 (let* ((completion-ignore-case t) 1060 ;; we already have a list, but it is not in the right format 1061 ;; transform it to a valid table so completition can use it 1062 (table (mapcar '(lambda (elm) 1063 (cons (symbol-name (car elm)) nil)) 1064 mixal-operation-codes-alist)) 1065 ;; prompt is different depending on we are close to a valid op-code 1066 (have-default (assq (intern-soft (current-word)) 1067 mixal-operation-codes-alist)) 1068 (prompt (concat "Describe operation code " 1069 (if have-default 1070 (concat "(default " (current-word) "): ") 1071 ": ")))) 1072 ;; As the operation code to the user. 1073 (completing-read prompt table nil t nil 1074 'mixal-describe-operation-code-history 1075 (current-word))))) 1076 ;; get the info on the op-code and output it to the help buffer 1077 (let ((op-code-help (assq (intern-soft op-code) mixal-operation-codes-alist))) 1078 (when op-code-help 1079 (with-output-to-temp-buffer (buffer-name (get-buffer-create "*Help*")) 1080 (princ op-code) (princ " is an mix operation code\n\n") 1081 (princ (nth 5 op-code-help)) (terpri) (terpri) 1082 (princ " group: ") (princ (nth 1 op-code-help)) (terpri) 1083 (princ " nice name: ") (princ (nth 2 op-code-help)) (terpri) 1084 (princ " OPCODE / C: ") (princ (nth 3 op-code-help)) (terpri) 1085 (princ " MOD / F: ") (princ (nth 4 op-code-help)) (terpri) 1086 (princ " time: ") (princ (nth 6 op-code-help)) (terpri))))) 1087 1088;;;; Running 1089(defun mixal-run () 1090 "Run mixal file in current buffer, assumes that file has been compiled." 1091 (interactive) 1092 (mixvm (concat "mixvm -r -t -d " 1093 (file-name-sans-extension (buffer-file-name))))) 1094 1095(defun mixal-debug () 1096 "Start mixvm for debugging. 1097Assumes that file has been compiled with debugging support." 1098 (interactive) 1099 (mixvm (concat "mixvm " 1100 (file-name-sans-extension (buffer-file-name))))) 1101 1102;;;###autoload 1103(define-derived-mode mixal-mode fundamental-mode "mixal" 1104 "Major mode for the mixal asm language. 1105\\{mixal-mode-map}" 1106 (set (make-local-variable 'comment-start) "*") 1107 (set (make-local-variable 'comment-start-skip) "^\\*[ \t]*") 1108 (set (make-local-variable 'font-lock-defaults) 1109 `(mixal-font-lock-keywords nil nil nil nil 1110 (font-lock-syntactic-keywords . ,mixal-font-lock-syntactic-keywords) 1111 (parse-sexp-lookup-properties . t))) 1112 ;; might add an indent function in the future 1113 ;; (set (make-local-variable 'indent-line-function) 'mixal-indent-line) 1114 (set (make-local-variable 'compile-command) (concat "mixasm " 1115 buffer-file-name)) 1116 ;; mixasm will do strange when there is no final newline, 1117 ;; so let Emacs ensure that it is always there 1118 (set (make-local-variable 'require-final-newline) 1119 mode-require-final-newline)) 1120 1121;;;###autoload 1122(add-to-list 'auto-mode-alist '("\\.mixal\\'" . mixal-mode)) 1123 1124(provide 'mixal-mode) 1125 1126;; arch-tag: be7c128a-bf61-4951-a90e-9398267ce3f3 1127;;; mixal-mode.el ends here 1128