;; -*- Mode:LISP; Package:LAMBDA; Base:8 -*- ;-- INITIAL SYMS LAMBDA VERSION ; FIELDS (DEFPROP FUNCTION-SOURCE 1_42. EXP-LAP-SYM) (DEFPROP FUNCTION-SOURCE 1_48. EXP-LAP-ADDITIVE-CONSTANT) (DEFPROP BYTE-SIZE (OR (BYTE-INSTRUCTION-P 1_5.) (DISPATCH-INSTRUCTION-P 1_5.)) EXP-LAP-SYM) (DEFPROP BYTE-ROTATE 0 EXP-LAP-SYM) (DEFPROP FUNCTION-DESTINATION 1_25. EXP-LAP-SYM) (DEFPROP A-SOURCE-MULTIPLIER 1_32. EXP-LAP-SYM) (DEFPROP M-SOURCE-MULTIPLIER 1_42. EXP-LAP-SYM) (DEFPROP A-DESTINATION-MULTIPLIER 1_19. EXP-LAP-SYM) (DEFPROP M-DESTINATION-MULTIPLIER 1_19. EXP-LAP-SYM) (DEFPROP JUMP-ADDRESS-MULTIPLIER 1_18. EXP-LAP-SYM) (DEFPROP DISPATCH-ADDRESS-MULTIPLIER 1_20. EXP-LAP-SYM) (DEFPROP ALU-OP (FORCE-ALU 1_3) EXP-LAP-SYM) ;right edge of alu-op field (DEFPROP ALU-OUTPUT-BUS-SELECTOR-MULTIPLIER (force-alu 1_16.) EXP-LAP-SYM) (DEFPROP ALU-INST (FORCE-ALU 0) EXP-LAP-SYM) (DEFPROP DISPATCH (FORCE-DISPATCH 0) EXP-LAP-SYM) (DEFPROP BYTE-INST (FORCE-BYTE 0) EXP-LAP-SYM) (DEFPROP JUMP-INST (FORCE-JUMP 0) EXP-LAP-SYM) (DEFPROP MACRO-IR-DISPATCH (error) EXP-LAP-SYM) (DEFPROP SOURCE-TO-MACRO-IR (error) EXP-LAP-SYM) (DEFPROP MACRO-STREAM-ADVANCE (force-dispatch 1_15.) EXP-LAP-SYM) (DEFPROP SLOW-DESTINATION (error) EXP-LAP-SYM) (DEFPROP write-dispatch-memory 1_9. EXP-LAP-SYM) (DEFPROP GC-MAP-TEST 0 EXP-LAP-SYM) ;slow destination bit on in a dispatch instruction ;triggers the hack to wait for write cycle to complete and map to re-set-up from MD. ;**look into this to make sure it wins** (DEFPROP CLOBBERS-MEM-SUBR (error) EXP-LAP-SYM) ;MUST ALSO BE SET IN ANY DISPATCH WHICH ;TESTS LEVEL-2-MAP-TESTED-BITS TO ASSURE ALL MEMORY CYCLES ARE OVER AND ;MAP INPUTS ARE BACK TO MD. (defprop needfetch (plus (byte-field 1 22.) machine-control-register) exp-lap-sym) ;(DEFPROP DISPATCH-ADVANCE-INSTRUCTION-STREAM 1_24. EXP-LAP-SYM) (DEFPROP DISPATCH-PUSH-OWN-ADDRESS 1_17. EXP-LAP-SYM) ;(DEFPROP DISPATCH-WRITE-VMA 1_27. EXP-LAP-SYM) (putprop 'dispatch-write-vma '(error) 'exp-lap-sym) (SETQ SR-BIT 1_17.) (DEFPROP SR-BIT (FORCE-BYTE 1_17.) EXP-LAP-SYM) (DEFPROP MR-BIT (FORCE-BYTE 1_18.) EXP-LAP-SYM) (defprop explorer-rotate-right 1_16. exp-lap-sym) (DEFPROP ALU-CARRY-IN-ZERO (FORCE-ALU 0_2) EXP-LAP-SYM) (DEFPROP ALU-CARRY-IN-ONE (FORCE-ALU 1_2) EXP-LAP-SYM) (DEFPROP OUTPUT-SELECTOR-NORMAL (FIELD ALU-OUTPUT-BUS-SELECTOR-MULTIPLIER 3) EXP-LAP-SYM) (DEFPROP OUTPUT-SELECTOR-RIGHTSHIFT-1 (FIELD ALU-OUTPUT-BUS-SELECTOR-MULTIPLIER 5) EXP-LAP-SYM) (DEFPROP OUTPUT-SELECTOR-LEFTSHIFT-1 (FIELD ALU-OUTPUT-BUS-SELECTOR-MULTIPLIER 4) EXP-LAP-SYM) (DEFPROP SHIFT-ALU-RIGHT (FIELD ALU-OUTPUT-BUS-SELECTOR-MULTIPLIER 5) EXP-LAP-SYM) (DEFPROP SHIFT-ALU-LEFT (FIELD ALU-OUTPUT-BUS-SELECTOR-MULTIPLIER 4) EXP-LAP-SYM) (DEFPROP OUTPUT-SELECTOR-EXTEND-25 (FIELD ALU-OUTPUT-BUS-SELECTOR-MULTIPLIER 6) EXP-LAP-SYM) (DEFPROP OUTPUT-SELECTOR-BIT-MIRROR (FIELD ALU-OUTPUT-BUS-SELECTOR-MULTIPLIER 7) EXP-LAP-SYM) (defprop output-selector-mask-25 ;independant of Q.control (plus (field alu-output-bus-selector-multiplier 3) (field alu-op 40)) exp-lap-sym) (defprop output-selector-mask-11 ;independant of Q.control (error) exp-lap-sym) ;(defun setup-os-mask (aluc5 ob2 u29 q) ; '(error)) ;all the output-selector-mask s below affect the Q register. The ones with Q in the name ; load it, others shift it left or right. ;next time, add output-selector-mask-30 for flushing CDR-CODES. (defprop output-selector-mask-28 (error) ;(setup-os-mask 1 0 1 2) exp-lap-sym) (defprop output-selector-mask-24 (error) ;(setup-os-mask 0 1 1 2) exp-lap-sym) (defprop output-selector-mask-20 (error) ;(setup-os-mask 0 0 1 2) exp-lap-sym) (defprop output-selector-mask-16 (error) ;(setup-os-mask 1 1 1 1) exp-lap-sym) (defprop output-selector-mask-12 (error) ;(setup-os-mask 1 0 1 1) exp-lap-sym) (defprop output-selector-mask-8 (error) ;(setup-os-mask 0 1 1 1) exp-lap-sym) (defprop output-selector-mask-4 (error) ;(setup-os-mask 0 0 1 1) exp-lap-sym) (defprop output-selector-mask-jadr (error) ;(setup-os-mask 1 1 1 2) exp-lap-sym) (defprop output-selector-mask-byte-pos-and-load-q (error) ;(setup-os-mask 0 0 1 3) exp-lap-sym) (defprop output-selector-mask-byte-len-and-load-q (error) ;(setup-os-mask 0 1 1 3) exp-lap-sym) (defprop output-selector-mask-m-source-and-load-q (error) ;(setup-os-mask 1 0 1 3) exp-lap-sym) (defprop output-selector-mask-a-source-and-load-q (error) ;(setup-os-mask 1 1 1 3) exp-lap-sym) (DEFPROP SHIFT-Q-LEFT (FORCE-ALU 1_0) EXP-LAP-SYM) (DEFPROP SHIFT-Q-RIGHT (FORCE-ALU 2_0) EXP-LAP-SYM) (DEFPROP LOAD-Q (FORCE-ALU 3_0) EXP-LAP-SYM) ;THESE APPLY BOTH TO JUMPS (AS DEFINED) AND TO DISPATCH-MEMORY (SHIFTED TO BITS 14.-16.) (DEFPROP R-BIT 1_7. EXP-LAP-SYM) (DEFPROP P-BIT 1_6. EXP-LAP-SYM) (DEFPROP N-BIT 1_5. EXP-LAP-SYM) (DEFPROP INHIBIT-XCT-NEXT-BIT 1_5. EXP-LAP-SYM) (DEFPROP DISPATCH-START-MEM-READ-BIT (error) EXP-LAP-SYM) (DEFPROP INVERT-JUMP-SENSE (FORCE-JUMP 1_15.) EXP-LAP-SYM) (DEFPROP JUMP-LESS-THAN-CONDITION 1_10. EXP-LAP-SYM) (DEFPROP JUMP-LESS-CONDITION 1_10. EXP-LAP-SYM) (DEFPROP JUMP-LESS-OR-EQUAL-CONDITION 2_10. EXP-LAP-SYM) (DEFPROP JUMP-EQUAL-CONDITION 43_10. EXP-LAP-SYM) ;inverted from CADR (DEFPROP JUMP-NOT-EQUAL-CONDITION 3_10. EXP-LAP-SYM) ;inverted (DEFPROP JUMP-GREATER-THAN-CONDITION (PLUS INVERT-JUMP-SENSE JUMP-LESS-OR-EQUAL-CONDITION) EXP-LAP-SYM) (DEFPROP JUMP-GREATER-CONDITION (PLUS INVERT-JUMP-SENSE JUMP-LESS-OR-EQUAL-CONDITION) EXP-LAP-SYM) (DEFPROP JUMP-GREATER-OR-EQUAL-CONDITION (PLUS INVERT-JUMP-SENSE JUMP-LESS-CONDITION) EXP-LAP-SYM) (DEFPROP JUMP-DATA-TYPE-EQUAL-CONDITION 50_10. EXP-LAP-SYM) (DEFPROP JUMP-DATA-TYPE-NOT-EQUAL-CONDITION 10_10. EXP-LAP-SYM) (DEFPROP JUMP-ON-PAGE-FAULT-CONDITION 4_10. EXP-LAP-SYM) ;inverted from CADR (DEFPROP JUMP-ON-PAGE-FAULT-OR-INTERRUPT-PENDING-CONDITION 5_10. EXP-LAP-SYM) (DEFPROP JUMP-ON-PAGE-FAULT-OR-INTERRUPT-PENDING-OR-SEQUENCE-BREAK-CONDITION 6_10. EXP-LAP-SYM) (DEFPROP JUMP-ALWAYS 7_10. EXP-LAP-SYM) (defprop jump-on-bus-error-condition 13_10. exp-lap-sym) (DEFPROP JUMP-ON-BIT-CONDITION 1_17. EXP-LAP-SYM) ;MISC FUNCTION CODES ;(DEFPROP INSTRUCTION-STREAM 3_10. EXP-LAP-SYM) (DEFPROP X-MULT-TC (error) EXP-LAP-SYM) (DEFPROP Y-MULT-TC (error) EXP-LAP-SYM) (DEFPROP HALT-CONS 1_49. EXP-LAP-SYM) ;for old times sake (DEFPROP HALT-LAMBDA 1_49. EXP-LAP-SYM) (DEFPROP HALT-EXPLORER 1_49. EXP-LAP-SYM) (DEFPROP I-LONG (ERROR) EXP-LAP-SYM) ; "AUGMENTED" INSTRUCTIONS (DEFPROP JUMP-OP-XCT-NEXT JUMP-INST EXP-LAP-SYM) (DEFPROP JUMP-OP (PLUS JUMP-INST INHIBIT-XCT-NEXT-BIT) EXP-LAP-SYM) (DEFPROP JUMP-XCT-NEXT (PLUS JUMP-OP-XCT-NEXT JUMP-ALWAYS) EXP-LAP-SYM) (DEFPROP JUMP (PLUS JUMP-OP JUMP-ALWAYS) EXP-LAP-SYM) (DEFPROP CALL-XCT-NEXT (PLUS JUMP-XCT-NEXT P-BIT) EXP-LAP-SYM) (DEFPROP CALL (PLUS JUMP P-BIT) EXP-LAP-SYM) (DEFPROP POPJ-XCT-NEXT (PLUS JUMP-XCT-NEXT R-BIT) EXP-LAP-SYM) (DEFPROP POPJ (PLUS JUMP R-BIT) EXP-LAP-SYM) (DEFPROP JUMP-IF-BIT-SET (PLUS JUMP-OP JUMP-ON-BIT-CONDITION) EXP-LAP-SYM) (DEFPROP JUMP-IF-BIT-CLEAR (PLUS JUMP-IF-BIT-SET INVERT-JUMP-SENSE) EXP-LAP-SYM) (DEFPROP JUMP-IF-BIT-SET-XCT-NEXT (PLUS JUMP-OP-XCT-NEXT JUMP-ON-BIT-CONDITION) EXP-LAP-SYM) (DEFPROP JUMP-IF-BIT-CLEAR-XCT-NEXT (PLUS JUMP-IF-BIT-SET-XCT-NEXT INVERT-JUMP-SENSE) EXP-LAP-SYM) (DEFPROP CALL-IF-BIT-SET (PLUS JUMP-IF-BIT-SET P-BIT) EXP-LAP-SYM) (DEFPROP CALL-IF-BIT-CLEAR (PLUS JUMP-IF-BIT-CLEAR P-BIT) EXP-LAP-SYM) (DEFPROP CALL-IF-BIT-SET-XCT-NEXT (PLUS JUMP-IF-BIT-SET-XCT-NEXT P-BIT) EXP-LAP-SYM) (DEFPROP CALL-IF-BIT-CLEAR-XCT-NEXT (PLUS JUMP-IF-BIT-CLEAR-XCT-NEXT P-BIT) EXP-LAP-SYM) (DEFPROP POPJ-IF-BIT-SET (PLUS JUMP-IF-BIT-SET R-BIT) EXP-LAP-SYM) (DEFPROP POPJ-IF-BIT-CLEAR (PLUS JUMP-IF-BIT-CLEAR R-BIT) EXP-LAP-SYM) (DEFPROP POPJ-IF-BIT-SET-XCT-NEXT (PLUS JUMP-IF-BIT-SET-XCT-NEXT R-BIT) EXP-LAP-SYM) (DEFPROP POPJ-IF-BIT-CLEAR-XCT-NEXT (PLUS JUMP-IF-BIT-CLEAR-XCT-NEXT R-BIT) EXP-LAP-SYM) (DEFPROP JUMP-EQUAL (PLUS JUMP-OP JUMP-EQUAL-CONDITION) EXP-LAP-SYM) (DEFPROP JUMP-NOT-EQUAL (PLUS JUMP-OP JUMP-NOT-EQUAL-CONDITION) EXP-LAP-SYM) (DEFPROP JUMP-EQUAL-XCT-NEXT (PLUS JUMP-OP-XCT-NEXT JUMP-EQUAL-CONDITION) EXP-LAP-SYM) (DEFPROP JUMP-NOT-EQUAL-XCT-NEXT (PLUS JUMP-OP-XCT-NEXT JUMP-NOT-EQUAL-CONDITION) EXP-LAP-SYM) (DEFPROP CALL-EQUAL (PLUS JUMP-EQUAL P-BIT) EXP-LAP-SYM) (DEFPROP CALL-NOT-EQUAL (PLUS JUMP-NOT-EQUAL P-BIT) EXP-LAP-SYM) (DEFPROP CALL-EQUAL-XCT-NEXT (PLUS JUMP-EQUAL-XCT-NEXT P-BIT) EXP-LAP-SYM) (DEFPROP CALL-NOT-EQUAL-XCT-NEXT (PLUS JUMP-NOT-EQUAL-XCT-NEXT P-BIT) EXP-LAP-SYM) (DEFPROP POPJ-EQUAL (PLUS JUMP-EQUAL R-BIT) EXP-LAP-SYM) (DEFPROP POPJ-NOT-EQUAL (PLUS JUMP-NOT-EQUAL R-BIT) EXP-LAP-SYM) (DEFPROP POPJ-EQUAL-XCT-NEXT (PLUS JUMP-EQUAL-XCT-NEXT R-BIT) EXP-LAP-SYM) (DEFPROP POPJ-NOT-EQUAL-XCT-NEXT (PLUS JUMP-NOT-EQUAL-XCT-NEXT R-BIT) EXP-LAP-SYM) (DEFPROP JUMP-DATA-TYPE-EQUAL (PLUS JUMP-OP JUMP-DATA-TYPE-EQUAL-CONDITION) EXP-LAP-SYM) (DEFPROP JUMP-DATA-TYPE-NOT-EQUAL (PLUS JUMP-OP JUMP-DATA-TYPE-NOT-EQUAL-CONDITION) EXP-LAP-SYM) (DEFPROP JUMP-DATA-TYPE-EQUAL-XCT-NEXT (PLUS JUMP-OP-XCT-NEXT JUMP-DATA-TYPE-EQUAL-CONDITION) EXP-LAP-SYM) (DEFPROP JUMP-DATA-TYPE-NOT-EQUAL-XCT-NEXT (PLUS JUMP-OP-XCT-NEXT JUMP-DATA-TYPE-NOT-EQUAL-CONDITION) EXP-LAP-SYM) (DEFPROP CALL-DATA-TYPE-EQUAL (PLUS JUMP-DATA-TYPE-EQUAL P-BIT) EXP-LAP-SYM) (DEFPROP CALL-DATA-TYPE-NOT-EQUAL (PLUS JUMP-DATA-TYPE-NOT-EQUAL P-BIT) EXP-LAP-SYM) (DEFPROP CALL-DATA-TYPE-EQUAL-XCT-NEXT (PLUS JUMP-DATA-TYPE-EQUAL-XCT-NEXT P-BIT) EXP-LAP-SYM) (DEFPROP CALL-DATA-TYPE-NOT-EQUAL-XCT-NEXT (PLUS JUMP-DATA-TYPE-NOT-EQUAL-XCT-NEXT P-BIT) EXP-LAP-SYM) (DEFPROP POPJ-DATA-TYPE-EQUAL (PLUS JUMP-DATA-TYPE-EQUAL R-BIT) EXP-LAP-SYM) (DEFPROP POPJ-DATA-TYPE-NOT-EQUAL (PLUS JUMP-DATA-TYPE-NOT-EQUAL R-BIT) EXP-LAP-SYM) (DEFPROP POPJ-DATA-TYPE-EQUAL-XCT-NEXT (PLUS JUMP-DATA-TYPE-EQUAL-XCT-NEXT R-BIT) EXP-LAP-SYM) (DEFPROP POPJ-DATA-TYPE-NOT-EQUAL-XCT-NEXT (PLUS JUMP-DATA-TYPE-NOT-EQUAL-XCT-NEXT R-BIT) EXP-LAP-SYM) (DEFPROP JUMP-LESS-THAN (PLUS JUMP-OP JUMP-LESS-THAN-CONDITION) EXP-LAP-SYM) (DEFPROP JUMP-LESS-THAN-XCT-NEXT (PLUS JUMP-OP-XCT-NEXT JUMP-LESS-THAN-CONDITION) EXP-LAP-SYM) (DEFPROP CALL-LESS-THAN (PLUS JUMP-LESS-THAN P-BIT) EXP-LAP-SYM) (DEFPROP CALL-LESS-THAN-XCT-NEXT (PLUS JUMP-LESS-THAN-XCT-NEXT P-BIT) EXP-LAP-SYM) (DEFPROP POPJ-LESS-THAN (PLUS JUMP-LESS-THAN R-BIT) EXP-LAP-SYM) (DEFPROP POPJ-LESS-THAN-XCT-NEXT (PLUS JUMP-LESS-THAN-XCT-NEXT R-BIT) EXP-LAP-SYM) (DEFPROP JUMP-GREATER-THAN (PLUS JUMP-OP JUMP-GREATER-THAN-CONDITION) EXP-LAP-SYM) (DEFPROP JUMP-GREATER-THAN-XCT-NEXT (PLUS JUMP-OP-XCT-NEXT JUMP-GREATER-THAN-CONDITION) EXP-LAP-SYM) (DEFPROP CALL-GREATER-THAN (PLUS JUMP-GREATER-THAN P-BIT) EXP-LAP-SYM) (DEFPROP CALL-GREATER-THAN-XCT-NEXT (PLUS JUMP-GREATER-THAN-XCT-NEXT P-BIT) EXP-LAP-SYM) (DEFPROP POPJ-GREATER-THAN (PLUS JUMP-GREATER-THAN R-BIT) EXP-LAP-SYM) (DEFPROP POPJ-GREATER-THAN-XCT-NEXT (PLUS JUMP-GREATER-THAN-XCT-NEXT R-BIT) EXP-LAP-SYM) (DEFPROP JUMP-LESS (PLUS JUMP-OP JUMP-LESS-CONDITION) EXP-LAP-SYM) (DEFPROP JUMP-LESS-XCT-NEXT (PLUS JUMP-OP-XCT-NEXT JUMP-LESS-CONDITION) EXP-LAP-SYM) (DEFPROP CALL-LESS (PLUS JUMP-LESS P-BIT) EXP-LAP-SYM) (DEFPROP CALL-LESS-XCT-NEXT (PLUS JUMP-LESS-XCT-NEXT P-BIT) EXP-LAP-SYM) (DEFPROP POPJ-LESS (PLUS JUMP-LESS R-BIT) EXP-LAP-SYM) (DEFPROP POPJ-LESS-XCT-NEXT (PLUS JUMP-LESS-XCT-NEXT R-BIT) EXP-LAP-SYM) (DEFPROP JUMP-GREATER (PLUS JUMP-OP JUMP-GREATER-CONDITION) EXP-LAP-SYM) (DEFPROP JUMP-GREATER-XCT-NEXT (PLUS JUMP-OP-XCT-NEXT JUMP-GREATER-CONDITION) EXP-LAP-SYM) (DEFPROP CALL-GREATER (PLUS JUMP-GREATER P-BIT) EXP-LAP-SYM) (DEFPROP CALL-GREATER-XCT-NEXT (PLUS JUMP-GREATER-XCT-NEXT P-BIT) EXP-LAP-SYM) (DEFPROP POPJ-GREATER (PLUS JUMP-GREATER R-BIT) EXP-LAP-SYM) (DEFPROP POPJ-GREATER-XCT-NEXT (PLUS JUMP-GREATER-XCT-NEXT R-BIT) EXP-LAP-SYM) (DEFPROP JUMP-GREATER-OR-EQUAL (PLUS JUMP-OP JUMP-GREATER-OR-EQUAL-CONDITION) EXP-LAP-SYM) (DEFPROP JUMP-GREATER-OR-EQUAL-XCT-NEXT (PLUS JUMP-OP-XCT-NEXT JUMP-GREATER-OR-EQUAL-CONDITION) EXP-LAP-SYM) (DEFPROP CALL-GREATER-OR-EQUAL (PLUS JUMP-GREATER-OR-EQUAL P-BIT) EXP-LAP-SYM) (DEFPROP CALL-GREATER-OR-EQUAL-XCT-NEXT (PLUS JUMP-GREATER-OR-EQUAL-XCT-NEXT P-BIT) EXP-LAP-SYM) (DEFPROP POPJ-GREATER-OR-EQUAL (PLUS JUMP-GREATER-OR-EQUAL R-BIT) EXP-LAP-SYM) (DEFPROP POPJ-GREATER-OR-EQUAL-XCT-NEXT (PLUS JUMP-GREATER-OR-EQUAL-XCT-NEXT R-BIT) EXP-LAP-SYM) (DEFPROP JUMP-LESS-OR-EQUAL (PLUS JUMP-OP JUMP-LESS-OR-EQUAL-CONDITION) EXP-LAP-SYM) (DEFPROP JUMP-LESS-OR-EQUAL-XCT-NEXT (PLUS JUMP-OP-XCT-NEXT JUMP-LESS-OR-EQUAL-CONDITION) EXP-LAP-SYM) (DEFPROP CALL-LESS-OR-EQUAL (PLUS JUMP-LESS-OR-EQUAL P-BIT) EXP-LAP-SYM) (DEFPROP CALL-LESS-OR-EQUAL-XCT-NEXT (PLUS JUMP-LESS-OR-EQUAL-XCT-NEXT P-BIT) EXP-LAP-SYM) (DEFPROP POPJ-LESS-OR-EQUAL (PLUS JUMP-LESS-OR-EQUAL R-BIT) EXP-LAP-SYM) (DEFPROP POPJ-LESS-OR-EQUAL-XCT-NEXT (PLUS JUMP-LESS-OR-EQUAL-XCT-NEXT R-BIT) EXP-LAP-SYM) (DEFPROP JUMP-IF-PAGE-FAULT (PLUS JUMP-OP JUMP-ON-PAGE-FAULT-CONDITION) EXP-LAP-SYM) (DEFPROP JUMP-IF-PAGE-FAULT-XCT-NEXT (PLUS JUMP-OP-XCT-NEXT JUMP-ON-PAGE-FAULT-CONDITION) EXP-LAP-SYM) (DEFPROP CALL-IF-PAGE-FAULT (PLUS JUMP-IF-PAGE-FAULT P-BIT) EXP-LAP-SYM) (DEFPROP CALL-IF-PAGE-FAULT-XCT-NEXT (PLUS JUMP-IF-PAGE-FAULT-XCT-NEXT P-BIT) EXP-LAP-SYM) (DEFPROP POPJ-IF-PAGE-FAULT (PLUS JUMP-IF-PAGE-FAULT R-BIT) EXP-LAP-SYM) (DEFPROP POPJ-IF-PAGE-FAULT-XCT-NEXT (PLUS JUMP-IF-PAGE-FAULT-XCT-NEXT R-BIT) EXP-LAP-SYM) (DEFPROP JUMP-IF-PAGE-FAULT-OR-INTERRUPT (PLUS JUMP-OP JUMP-ON-PAGE-FAULT-OR-INTERRUPT-PENDING-CONDITION) EXP-LAP-SYM) (DEFPROP JUMP-IF-PAGE-FAULT-OR-INTERRUPT-XCT-NEXT (PLUS JUMP-OP-XCT-NEXT JUMP-ON-PAGE-FAULT-OR-INTERRUPT-PENDING-CONDITION) EXP-LAP-SYM) (DEFPROP CALL-IF-PAGE-FAULT-OR-INTERRUPT (PLUS JUMP-IF-PAGE-FAULT-OR-INTERRUPT P-BIT) EXP-LAP-SYM) (DEFPROP CALL-IF-PAGE-FAULT-OR-INTERRUPT-XCT-NEXT (PLUS JUMP-IF-PAGE-FAULT-OR-INTERRUPT-XCT-NEXT P-BIT) EXP-LAP-SYM) (DEFPROP POPJ-IF-PAGE-FAULT-OR-INTERRUPT (PLUS JUMP-IF-PAGE-FAULT-OR-INTERRUPT R-BIT) EXP-LAP-SYM) (DEFPROP POPJ-IF-PAGE-FAULT-OR-INTERRUPT-XCT-NEXT (PLUS JUMP-IF-PAGE-FAULT-OR-INTERRUPT-XCT-NEXT R-BIT) EXP-LAP-SYM) ;These really check for page fault, interrupt or sequence break, ;but that makes a hell of a name! (DEFPROP JUMP-IF-SEQUENCE-BREAK (PLUS JUMP-OP JUMP-ON-PAGE-FAULT-OR-INTERRUPT-PENDING-OR-SEQUENCE-BREAK-CONDITION) EXP-LAP-SYM) (DEFPROP JUMP-IF-SEQUENCE-BREAK-XCT-NEXT (PLUS JUMP-OP-XCT-NEXT JUMP-ON-PAGE-FAULT-OR-INTERRUPT-PENDING-OR-SEQUENCE-BREAK-CONDITION) EXP-LAP-SYM) (DEFPROP CALL-IF-SEQUENCE-BREAK (PLUS JUMP-IF-SEQUENCE-BREAK P-BIT) EXP-LAP-SYM) (DEFPROP CALL-IF-SEQUENCE-BREAK-XCT-NEXT (PLUS JUMP-IF-SEQUENCE-BREAK-XCT-NEXT P-BIT) EXP-LAP-SYM) (DEFPROP POPJ-IF-SEQUENCE-BREAK (PLUS JUMP-IF-SEQUENCE-BREAK R-BIT) EXP-LAP-SYM) (DEFPROP POPJ-IF-SEQUENCE-BREAK-XCT-NEXT (PLUS JUMP-IF-SEQUENCE-BREAK-XCT-NEXT R-BIT) EXP-LAP-SYM) (defprop jump-if-bus-error (plus jump-op jump-on-bus-error-condition) exp-lap-sym) (defprop jump-if-bus-error-xct-next (plus jump-op-xct-next jump-on-bus-error-condition) exp-lap-sym) (defprop call-if-bus-error (plus jump-if-bus-error p-bit) exp-lap-sym) (defprop call-if-bus-error-xct-next (plus jump-if-bus-error-xct-next p-bit) exp-lap-sym) (defprop popj-if-bus-error (plus jump-if-bus-error r-bit) exp-lap-sym) (defprop popj-if-bus-error-xct-next (plus jump-if-bus-error-xct-next r-bit) exp-lap-sym) (defprop jump-if-no-bus-error (plus invert-jump-sense jump-if-bus-error) exp-lap-sym) (defprop jump-if-no-bus-error-xct-next (plus invert-jump-sense jump-if-bus-error-xct-next) exp-lap-sym) (defprop call-if-no-bus-error (plus jump-if-no-bus-error p-bit) exp-lap-sym) (defprop call-if-no-bus-error-xct-next (plus jump-if-no-bus-error-xct-next p-bit) exp-lap-sym) (defprop popj-if-no-bus-error (plus jump-if-no-bus-error r-bit) exp-lap-sym) (defprop popj-if-no-bus-error-xct-next (plus jump-if-no-bus-error-xct-next r-bit) exp-lap-sym) ;(DEFPROP WRITE-I-MEM (PLUS JUMP-OP P-BIT R-BIT JUMP-ALWAYS) EXP-LAP-SYM) (DEFPROP JUMP-CONDITIONAL JUMP-OP EXP-LAP-SYM) ;DEFINED FOR CONVENIENCE (DEFPROP JUMP-CONDITIONAL-XCT-NEXT JUMP-OP-XCT-NEXT EXP-LAP-SYM) ;LIKEWISE (DEFPROP CALL-CONDITIONAL (PLUS JUMP-OP P-BIT) EXP-LAP-SYM) ;DEFINED FOR CONVIENENCE (DEFPROP CALL-CONDITIONAL-XCT-NEXT (PLUS JUMP-OP-XCT-NEXT P-BIT) EXP-LAP-SYM) (DEFPROP POPJ-CONDITIONAL (PLUS JUMP-CONDITIONAL R-BIT) EXP-LAP-SYM) (DEFPROP POPJ-CONDITIONAL-XCT-NEXT (PLUS JUMP-CONDITIONAL-XCT-NEXT R-BIT) EXP-LAP-SYM) (DEFPROP DISPATCH-CALL-XCT-NEXT (PLUS DISPATCH 0) EXP-LAP-SYM) ;THIS SYM DEFINED FOR CONVIENCE, DISPATCH TABLE MUST ;HAVE THE RIGHT THING TO MAKE THIS HAPPEN. (DEFPROP DISPATCH-XCT-NEXT (PLUS DISPATCH 0) EXP-LAP-SYM) ;LIKEWISE (DEFPROP DISPATCH-CALL (PLUS DISPATCH 0) EXP-LAP-SYM) ;LIKEWISE (DEFPROP DISPATCH-POPJ-XCT-NEXT (PLUS DISPATCH 0) EXP-LAP-SYM) ;DITTO (DEFPROP POPJ-AFTER-NEXT 7_51. EXP-LAP-SYM) (DEFPROP LDB BYTE-INST EXP-LAP-SYM) (DEFPROP DPB (PLUS BYTE-INST MR-BIT) EXP-LAP-SYM) ;(LIKE PDP10 DPB)SR-BIT REVERSED (DEFPROP SELECTIVE-DEPOSIT (PLUS (PLUS BYTE-INST ;(LIKE PDP1 DIP, DAP) MR-BIT) SR-BIT) EXP-LAP-SYM) ;SR-BIT REVERSED (DEFPROP NO-OP ALU-INST EXP-LAP-SYM) (DEFPROP SETZ (FIELD ALU-OP 00) EXP-LAP-SYM) (DEFPROP AND (FIELD ALU-OP 01) EXP-LAP-SYM) (DEFPROP ANDCA (FIELD ALU-OP 02) EXP-LAP-SYM) (DEFPROP SETM (FIELD ALU-OP 03) EXP-LAP-SYM) (DEFPROP ANDCM (FIELD ALU-OP 04) EXP-LAP-SYM) (DEFPROP SETA (FIELD ALU-OP 05) EXP-LAP-SYM) (DEFPROP XOR (FIELD ALU-OP 06) EXP-LAP-SYM) (DEFPROP IOR (FIELD ALU-OP 07) EXP-LAP-SYM) (DEFPROP ANDCB (FIELD ALU-OP 10) EXP-LAP-SYM) (DEFPROP EQV (FIELD ALU-OP 11) EXP-LAP-SYM) (DEFPROP SETCA (FIELD ALU-OP 12) EXP-LAP-SYM) (DEFPROP ORCA (FIELD ALU-OP 13) EXP-LAP-SYM) (DEFPROP SETCM (FIELD ALU-OP 14) EXP-LAP-SYM) (DEFPROP ORCM (FIELD ALU-OP 15) EXP-LAP-SYM) (DEFPROP ORCB (FIELD ALU-OP 16) EXP-LAP-SYM) (DEFPROP SETO (FIELD ALU-OP 17) EXP-LAP-SYM) (DEFPROP ADD (FIELD ALU-OP 31) EXP-LAP-SYM) (DEFPROP SUB (PLUS (FIELD ALU-OP 36) ALU-CARRY-IN-ONE) EXP-LAP-SYM) (DEFPROP SUB-M+1 (FIELD ALU-OP 36) EXP-LAP-SYM) (DEFPROP M+M (FIELD ALU-OP 37) EXP-LAP-SYM) (DEFPROP M+1 (PLUS (FIELD ALU-OP 34) ALU-CARRY-IN-ONE) EXP-LAP-SYM) (DEFPROP M-A-1 (FIELD ALU-OP 36) EXP-LAP-SYM) (DEFPROP M+A+1 (PLUS (FIELD ALU-OP 31) ALU-CARRY-IN-ONE) EXP-LAP-SYM) (DEFPROP M+M+1 (PLUS (FIELD ALU-OP 37) ALU-CARRY-IN-ONE) EXP-LAP-SYM) (DEFPROP MULTIPLY-STEP (PLUS (PLUS (FIELD ALU-OP 20) SHIFT-Q-RIGHT) OUTPUT-SELECTOR-RIGHTSHIFT-1) EXP-LAP-SYM) (DEFPROP MULTIPLY-LAST-STEP (PLUS (PLUS (FIELD ALU-OP 21) SHIFT-Q-RIGHT) OUTPUT-SELECTOR-RIGHTSHIFT-1) EXP-LAP-SYM) ;dexter is this right? (DEFPROP DIVIDE-FIRST-STEP (PLUS (PLUS (FIELD ALU-OP 23) SHIFT-Q-LEFT) OUTPUT-SELECTOR-LEFTSHIFT-1) EXP-LAP-SYM) (DEFPROP DIVIDE-STEP (PLUS (PLUS (FIELD ALU-OP 22) SHIFT-Q-LEFT) OUTPUT-SELECTOR-LEFTSHIFT-1) EXP-LAP-SYM) (DEFPROP DIVIDE-LAST-STEP (PLUS (FIELD ALU-OP 22) SHIFT-Q-LEFT) EXP-LAP-SYM) (DEFPROP DIVIDE-REMAINDER-CORRECTION-STEP (FIELD ALU-OP 24) EXP-LAP-SYM) ; FUNCTION SOURCES ;--explorer specific: (defprop machine-control-register (or (source-p (field function-source 4)) (error)) exp-lap-sym) (DEFPROP READ-I-ARG (OR (SOURCE-P (FIELD FUNCTION-SOURCE 7)) (ERROR)) EXP-LAP-SYM) (DEFPROP MICRO-STACK-PNTR-AND-DATA (error) EXP-LAP-SYM) ;no single source with both. ;see micro-stack-pointer (defprop micro-stack-data (or (source-p (field function-source 20)) (field function-destination 4)) exp-lap-sym) (DEFPROP PDL-BUFFER-POINTER (OR (SOURCE-P (FIELD FUNCTION-SOURCE 50)) (FIELD FUNCTION-DESTINATION 50)) EXP-LAP-SYM) (DEFPROP PDL-BUFFER-INDEX (OR (SOURCE-P (FIELD FUNCTION-SOURCE 51)) (FIELD FUNCTION-DESTINATION 51)) EXP-LAP-SYM) (DEFPROP C-PDL-BUFFER-INDEX (OR (SOURCE-P (FIELD FUNCTION-SOURCE 41)) (FIELD FUNCTION-DESTINATION 41)) EXP-LAP-SYM) (DEFPROP Q-R (OR (SOURCE-P (FIELD FUNCTION-SOURCE 1)) (FORCE-ALU 3)) EXP-LAP-SYM) (DEFPROP READ-MEMORY-DATA (OR (SOURCE-P (FIELD FUNCTION-SOURCE 22)) (ERROR)) EXP-LAP-SYM) (DEFPROP LOCATION-COUNTER (OR (SOURCE-P (FIELD FUNCTION-SOURCE 5)) (FIELD FUNCTION-DESTINATION 1)) EXP-LAP-SYM) (DEFPROP MICRO-STACK-PNTR-AND-DATA-POP (error) EXP-LAP-SYM) (defprop micro-stack-data-pop (or (source-p (field function-source 21)) (error)) exp-lap-sym) (defprop micro-stack-pointer (or (source-p (field function-source 3)) (field function-destination 3)) exp-lap-sym) (defprop micro-stack-pntr (or (source-p (field function-source 3)) (field function-destination 3)) exp-lap-sym) (DEFPROP MICRO-STACK-POINTER-POP (error) EXP-LAP-SYM) (DEFPROP MICRO-STACK-PC-DATA (OR (SOURCE-P (PLUS (FIELD FUNCTION-SOURCE 20) (BYTE-FIELD 14. 0))) (ERROR)) EXP-LAP-SYM) (DEFPROP MICRO-STACK-DATA-POP (OR (SOURCE-P (FIELD FUNCTION-SOURCE 21)) (ERROR)) EXP-LAP-SYM) (DEFPROP MICRO-STACK-PC-DATA-POP (OR (SOURCE-P (PLUS (FIELD FUNCTION-SOURCE 21) (BYTE-FIELD 14. 0))) (ERROR)) EXP-LAP-SYM) (DEFPROP C-PDL-BUFFER-POINTER (OR (SOURCE-P (FIELD FUNCTION-SOURCE 40)) (FIELD FUNCTION-DESTINATION 40)) EXP-LAP-SYM) (DEFPROP C-PDL-BUFFER-POINTER-POP (OR (SOURCE-P (FIELD FUNCTION-SOURCE 44)) (ERROR)) EXP-LAP-SYM) (DEFPROP INTERRUPT-POINTER (OR (error) (ERROR)) EXP-LAP-SYM) (DEFPROP MACRO-IR-DISPLACEMENT (OR (SOURCE-P (FIELD FUNCTION-SOURCE 2)) (ERROR)) EXP-LAP-SYM) ;low 6 bits of macro IR (defprop macro-ir-adr (or (source-p (field function-source 13)) (error)) exp-lap-sym) ;16 bits of current macroinstruction (DEFPROP MACRO-IR (OR (SOURCE-P (FIELD FUNCTION-SOURCE 12)) (field function-destination 10)) EXP-LAP-SYM) (DEFPROP STAT-COUNTER (error) EXP-LAP-SYM) (DEFPROP STAT-COUNTER-AUX (error) EXP-LAP-SYM) (DEFPROP MACRO-IR-DECODE (error) EXP-LAP-SYM) (DEFPROP MACRO-IR-DECODE-MISC-ENABLE (error) EXP-LAP-SYM) (DEFPROP SPY-REG (error) EXP-LAP-SYM) (DEFPROP L1-MAP (OR (SOURCE-P (FIELD FUNCTION-SOURCE 10)) (error)) EXP-LAP-SYM) (DEFPROP VMA-WRITE-L1-MAP (or (source-p (error)) (field function-destination 21)) exp-lap-sym) (DEFPROP L2-MAP-CONTROL (OR (SOURCE-P (FIELD FUNCTION-SOURCE 11)) (error)) EXP-LAP-SYM) (defprop vma-write-l2-map-control (or (source-p (error)) (field function-destination 22)) exp-lap-sym) (DEFPROP L2-MAP-PHYSICAL-PAGE (OR (SOURCE-P (FIELD FUNCTION-SOURCE 6)) (error)) EXP-LAP-SYM) (defprop vma-write-l2-map-physical-page (or (source-p (error)) (field function-destination 23)) exp-lap-sym) (DEFPROP CRAM-ADR-MAP (error) EXP-LAP-SYM) (DEFPROP CRAM-HIGH (error) EXP-LAP-SYM) (DEFPROP CRAM-LOW (error) EXP-LAP-SYM) (DEFPROP MULTIPLIER (error) EXP-LAP-SYM) (DEFPROP MULTIPLIER-FT (error) EXP-LAP-SYM) ;FUNCTION-DESTINATIONS (DEFPROP INTERRUPT-CLEAR (error) EXP-LAP-SYM) (DEFPROP RG-MODE (error) EXP-LAP-SYM) (DEFPROP DP-MODE (error) EXP-LAP-SYM) (defprop mcr (or (source-p (field function-source 4)) (field function-destination 2)) exp-lap-sym) ;WRITE-MEMORY-DATA AND MD ARE SYNONYMS. WRITE-MEMORY-DATA WILL GO ; AWAY EVENTUALLY (DEFPROP WRITE-MEMORY-DATA (OR (SOURCE-P (FIELD FUNCTION-SOURCE 22)) (FIELD FUNCTION-DESTINATION 30)) EXP-LAP-SYM) (DEFPROP MD (OR (SOURCE-P (FIELD FUNCTION-SOURCE 22)) (FIELD FUNCTION-DESTINATION 30)) EXP-LAP-SYM) (DEFPROP WRITE-MEMORY-DATA-START-WRITE (OR (SOURCE-P (ERROR)) (FIELD FUNCTION-DESTINATION 35)) EXP-LAP-SYM) (DEFPROP WRITE-MEMORY-DATA-START-WRITE-FORCE (OR (SOURCE-P (ERROR)) (error)) EXP-LAP-SYM) (DEFPROP MD-START-WRITE (OR (SOURCE-P (ERROR)) (FIELD FUNCTION-DESTINATION 35)) EXP-LAP-SYM) (DEFPROP MD-START-WRITE-FORCE (OR (SOURCE-P (ERROR)) (error)) EXP-LAP-SYM) (DEFPROP VMA (OR (SOURCE-P (FIELD FUNCTION-SOURCE 0)) (FIELD FUNCTION-DESTINATION 20)) EXP-LAP-SYM) (DEFPROP VMA-START-READ (OR (SOURCE-P (ERROR)) (FIELD FUNCTION-DESTINATION 24)) EXP-LAP-SYM) (DEFPROP VMA-START-READ-FORCE (OR (SOURCE-P (ERROR)) (error)) EXP-LAP-SYM) (defprop vma-start-read-unmapped (or (source-p (error)) (field function-destination 26)) exp-lap-sym) (defprop vma-start-read-byte-unmapped (or (source-p (error)) (field function-destination 66)) exp-lap-sym) (DEFPROP VMA-START-WRITE (OR (SOURCE-P (ERROR)) (FIELD FUNCTION-DESTINATION 25)) EXP-LAP-SYM) (DEFPROP VMA-START-WRITE-FORCE (OR (SOURCE-P (ERROR)) (error)) EXP-LAP-SYM) (defprop vma-start-write-unmapped (or (source-p (error)) (field function-destination 27)) exp-lap-sym) (defprop vma-start-write-byte-unmapped (or (source-p (error)) (field function-destination 67)) exp-lap-sym) (DEFPROP C-PDL-BUFFER-POINTER-PUSH (OR (SOURCE-P (ERROR)) (FIELD FUNCTION-DESTINATION 44)) EXP-LAP-SYM) (DEFPROP MICRO-STACK-DATA-PUSH (OR (SOURCE-P (ERROR)) (FIELD FUNCTION-DESTINATION 5)) EXP-LAP-SYM) (DEFPROP OA-REG-LOW (OR (SOURCE-P (ERROR)) (FIELD FUNCTION-DESTINATION 6)) EXP-LAP-SYM) (DEFPROP OA-REG-HIGH (OR (SOURCE-P (ERROR)) (FIELD FUNCTION-DESTINATION 7)) EXP-LAP-SYM) (DEFPROP OA-REG-HI (OR (SOURCE-P (ERROR)) (FIELD FUNCTION-DESTINATION 7)) EXP-LAP-SYM) ;New names for some things: pdl-buffer (DEFPROP PDL-PUSH (OR (SOURCE-P (ERROR)) (FIELD FUNCTION-DESTINATION 44)) EXP-LAP-SYM) (DEFPROP PDL-POP (OR (SOURCE-P (FIELD FUNCTION-SOURCE 44)) (ERROR)) EXP-LAP-SYM) (DEFPROP PDL-POINTER (OR (SOURCE-P (FIELD FUNCTION-SOURCE 50)) (FIELD FUNCTION-DESTINATION 50)) EXP-LAP-SYM) (DEFPROP PDL-INDEX (OR (SOURCE-P (FIELD FUNCTION-SOURCE 51)) (FIELD FUNCTION-DESTINATION 51)) EXP-LAP-SYM) (DEFPROP PDL-TOP (OR (SOURCE-P (FIELD FUNCTION-SOURCE 40)) (FIELD FUNCTION-DESTINATION 40)) EXP-LAP-SYM) (DEFPROP PDL-POINTER-INDIRECT (OR (SOURCE-P (FIELD FUNCTION-SOURCE 40)) (FIELD FUNCTION-DESTINATION 40)) EXP-LAP-SYM) (DEFPROP PDL-INDEX-INDIRECT (OR (SOURCE-P (FIELD FUNCTION-SOURCE 41)) (FIELD FUNCTION-DESTINATION 41)) EXP-LAP-SYM) (DEFPROP C-PDL-INDEX-INC (OR (SOURCE-P (ERROR)) (FIELD FUNCTION-DESTINATION 45)) EXP-LAP-SYM) (DEFPROP C-PDL-INDEX-DEC (OR (SOURCE-P (ERROR)) (error)) EXP-LAP-SYM) ;Other things (DEFPROP I-ARG (OR (SOURCE-P (FIELD FUNCTION-SOURCE 7)) (ERROR)) EXP-LAP-SYM) ;(DEFPROP INSTRUCTION-FETCH (FORCE-DISPATCH 1_24.) EXP-LAP-SYM) (DEFPROP PUSH-OWN-ADDRESS (FORCE-DISPATCH 1_17.) EXP-LAP-SYM) ; MAP2C-4 IS REALLY FROM THE GC-WRITE-LOGIC, NOT DIRECTLY THE L2MAP, THESE DAYS. ; ALL THESE GUYS HAVE CLOBBERS-MEM-SUBR SET TO ASSURE MAP IS BEING DRIVEN FROM MD ; (IF PACKET READ WAS IN PROGRESS YOU COULD LOSE EVEN THO YOU HAVE YOUR DATA). (DEFPROP DISPATCH-ON-MAP2C-4 (FORCE-DISPATCH 1_10.) EXP-LAP-SYM) (DEFPROP DISPATCH-ON-MAP2C-5 (FORCE-DISPATCH 1_11.) EXP-LAP-SYM) ;**kludge** the following are so CADR definitions will win... (DEFPROP DISPATCH-ON-MAP-18 (FORCE-DISPATCH 1_10.) EXP-LAP-SYM) (DEFPROP DISPATCH-ON-MAP-19 (FORCE-DISPATCH 1_11.) EXP-LAP-SYM) ;enable dispatch on macro-ir (defprop use-mib (force-dispatch 2_12.) exp-lap-sym)