* Proof FIXED_FIXED_CONSTANT_POOL (#207) * (pp. 1409-1413: DONE): Proof PHASE_TABLE_MAINTENANCE #240
This commit is contained in:
		
				
					committed by
					
						 James Harris
						James Harris
					
				
			
			
				
	
			
			
			
						parent
						
							77155ed107
						
					
				
				
					commit
					ef28aacc4f
				
			| @@ -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 | ||||
|   | ||||
		Reference in New Issue
	
	Block a user