From ef28aacc4f42bba1b952e54c4a1843488c7de48d Mon Sep 17 00:00:00 2001 From: Glenn Dwiyatcita Date: Thu, 2 May 2019 16:13:37 +0200 Subject: [PATCH] Proof PHASE_TABLE_MAINTENANCE #240 (pp. 1409-1413) (#383) * Proof FIXED_FIXED_CONSTANT_POOL (#207) * (pp. 1409-1413: DONE): Proof PHASE_TABLE_MAINTENANCE #240 --- Comanche055/PHASE_TABLE_MAINTENANCE.agc | 30 ++++++++++++------------- 1 file changed, 15 insertions(+), 15 deletions(-) diff --git a/Comanche055/PHASE_TABLE_MAINTENANCE.agc b/Comanche055/PHASE_TABLE_MAINTENANCE.agc index b70c75f..67c77a1 100644 --- a/Comanche055/PHASE_TABLE_MAINTENANCE.agc +++ b/Comanche055/PHASE_TABLE_MAINTENANCE.agc @@ -193,15 +193,18 @@ DSPMMJOB EQUALS DSPMMJB # 2PHSCHNG IS USED WHEN ONE WISHES TO START UP A GROUP OR CHANGE A GROUP WHILE UNDER THE CONTROL OF A DIFFERENT # GROUP. FOR EXAMPLE, CHANGE THE PHASE OF GROUP 3 WHILE THE PORTION OF THE PROGRAM IS UNDER GROUP 5. ALL 2PHSCHNG # CALLS ARE MADE IN THE FOLLOWING MANNER, + # TC 2PHSCHNG # OCT XXXXX # OCT YYYYY -# WHERE OCT XXXXX MUST BE OF TYPE A AND OCT YYYYY MAY BE OF EITHER TYPE A OR TYPE B OR TYPE C. THERE IS ONE -# DIFFERENCE --- NOTE: IF LONGBASE IS TO BE SET THIS INFORMATION IS GIVEN IN THE OCT YYYYY INFORMATION, IT WILL -# BE DISREGARDED IF GIVEN WITH THE OCT XXXXX INFORMATION. A COUPLE OF EXAMPLES MAY HELP, + +# WHERE OCT XXXXX MUST BE OF TYPE A AND OCT YYYYY MAY BE OF EITHER TYPE A OR TYPE B OR TYPEC. THERE IS ONE +# DIFFERENCE --- NOTE- IF LONGBASE IS TO BE SET THIS INFORMATION IS GIVEN IN THE OCT YYYYY INFORMATION, IT WILL +# BE DISREGARDED IF GIVEN WITH THE OCT XXXXX INFORMATION. A COUPLE OF EXAMPLES MAY HELP. + # AD TC 2PHACHNG # SET TBASE3 AND IF A RESTART OCCURS START # AD+1 OCT 40083 # THE TWO ENTRIES IN 3.8 TABLE LOCATION -# AD+2 OCT 05025 # THIS IS OF TYPE C, SET THE JOB TO BE +# AD+2 OCT 05025 # THIS IS OF TYPE C. SET THE JOB TO BE # AD+3 OCT 18000 # TO BE LOCATION AD+4, WITH A PRIORITY 18, # AD+4 # FOR GROUP 5 PHASE INFORMATION. @@ -229,7 +232,7 @@ DSPMMJOB EQUALS DSPMMJB TCF PHASCHNG +3 PHASCHNG INHINT - CA ONE # INDICATES CAME FROM A PHASCHNG ENTRY + CA ONE # INDICATESWE CAME FROM A PHASCHNG ENTRY TS TEMPSW2 NDX Q @@ -250,7 +253,7 @@ ONEORTWO LXCH TEMPBBCN MASK OCT14000 # SEE WHAT KIND OF PHASE CHANGE IT IS CCS A - TCF CHECKB # IT IS OF TYPE `B'. + TCF CHECKB # IT IS OF TYPE :B: CA TEMPP MASK BIT7 @@ -269,7 +272,7 @@ CON1 CA TEMPP # SEE IF A 2CADR IS GIVEN CA Q TS TEMPNM CA BB - EXTEND # PICK UP USER'S SUPERBANK + EXTEND # PICK UP USERS SUPERBANK ROR SUPERBNK TS TEMPBB @@ -279,7 +282,7 @@ TOCON2 CA CON2ADR # BACK TO SWITCHED BANK CON2ADR GENADR CON2 -GETPRIO NDX Q # DON'T CARE IF DIRECT OR INDIRECT +GETPRIO NDX Q # DON:T CARE IF DIRECT OR INDIRECT CA 0 # LEAVE THAT DECISION TO RESTARTS INCR Q # OBTAIN RETURN ADDRESS TCF CON1 -1 @@ -340,16 +343,16 @@ PHSCHNG2 LXCH TEMPBBCN TS PHASE1 -2 BELOW1 CCS TEMPSW2 # IS IT A PHASCHNG OR A 2PHSCHNG - TCF BELOW2 # IT'S A PHASCHNG + TCF BELOW2 # IT:S A PHASCHNG - TCF +1 # IT'S A 2PHSCHNG + TCF +1 # IT:S A 2PHSCHNG CS TEMPP2 LXCH TEMPP2 NDX TEMPG2 DXCH -PHASE1 -2 CCS TEMPSW2 - NOOP # CAN'T GET HERE + NOOP # CAN:T GET HERE TCF BELOW2 CS TIME1 @@ -410,7 +413,4 @@ CHECKB MASK BIT12 # SINCE THIS IS OF TYPE B, THIS BIT SHOULD CCS A # BE HERE IF WE ARE TO GET A NEW PRIORITY TCF GETPRIO # IT IS, SO GET NEW PRIORITY - TCF OLDPRIO # IT ISN'T, USE THE OLD PRIORITY. - - - + TCF OLDPRIO # IT ISN:T, USE THE OLD PRIORITY