DIRECTORYRobotDefs USING [Instruction],RobotEvaluator USING [ApplyBinaryFcn, NewValueFromInteger, opMOD, opPlus],RobotInstruction;RobotInstructionImpl: CEDAR PROGRAMIMPORTS RobotEvaluatorEXPORTS RobotInstruction~ {OPEN RobotInstruction;v256: Value _ RobotEvaluator.NewValueFromInteger[256];EncodeStatement: PUBLIC PROC [opNum: INTEGER, tag: Value, immediate, indirect, indexed: BOOL] RETURNS [value: Value] ~ {instruction: RobotDefs.Instruction _ [immediate: immediate,indirect: indirect,indexed: indexed,opNum: opNum,tag: 0];insValue: INTEGER _ LOOPHOLE[instruction];value _ RobotEvaluator.ApplyBinaryFcn[RobotEvaluator.opPlus,RobotEvaluator.ApplyBinaryFcn[RobotEvaluator.opMOD, tag, RobotEvaluator.NewValueFromInteger[256]],RobotEvaluator.NewValueFromInteger[insValue]];};DecodeStatement: PUBLIC PROC [integer: INTEGER] RETURNS [opNum, tag: INTEGER, immediate, indirect, indexed: BOOL _ FALSE] ~ {instruction: RobotDefs.Instruction _ LOOPHOLE[integer];RETURN [opNum: instruction.opNum,tag: instruction.tag,immediate: instruction.immediate,indirect: instruction.indirect,indexed: instruction.indexed];};}.   F  RobotInstructionImpl.mesaCreated Saturday, June 9, 1984 2:25 pm PDTLast edited by Eric Nickell, October 25, 1984 9:51:09 pm PDTCurrent encoding (and therefore decoding) scheme:#^Ioooootttttttt, where#		is the immediate bit^		is the indirect bitI		is the index bitooooo	is the opcode numbertttttttt	is the tag Ê†  ˜ šœ™Jšœ*™*J™<J™ —šÏk	˜	Icodešœ
œ˜Jšœœ6˜JJšœ˜J˜ —šœœ˜#Jšœ˜Jšœ˜Jšœ˜Jšœ˜J˜ šœ6˜6J˜ —™1™J™J™J™J™J™——šÏnœœœ	œ,œœ˜x˜&J˜J˜J˜J˜J˜J˜—Jšœ
œœ˜*šœ&˜&Kšœ˜Kšœb˜bKšœ.˜.—J˜J˜ —šžœœœœœœ œœ˜}Jšœ%œ
˜7šœ˜Kšœ˜Kšœ˜Kšœ!˜!Kšœ˜Kšœ˜Kšœ˜—J˜J˜ —J˜—— …—    |  H  