Revert "Proof POWERED_FLIGHT_SUBROUTINES #624" (#758)

This commit is contained in:
James Harris 2020-10-13 16:58:43 +01:00 committed by GitHub
parent 6b3d6cea81
commit 124275cfaa
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -39,7 +39,7 @@
# COSINES OF THREE 2'S COMPLEMENT ANGLES AND PLACE THE RESULT, DOUBLE # COSINES OF THREE 2'S COMPLEMENT ANGLES AND PLACE THE RESULT, DOUBLE
# PRECISION, IN THE SAME ORDER AS THE INPUTS, AT SINCDU AND COSCDU. AN # PRECISION, IN THE SAME ORDER AS THE INPUTS, AT SINCDU AND COSCDU. AN
# ADDITIONAL OUTPUT IS THE 1'S COMPLEMENT ANGLES AT CDUSPOT. THESE # ADDITIONAL OUTPUT IS THE 1'S COMPLEMENT ANGLES AT CDUSPOT. THESE
# ROUTINES GO OUT OF THEIR WAY TO LEAVE THE MPAC AREA AS THEY FIND IT, # ROUTINES GO OUT OF THEIR WAY TO LEAVE THE MPAC AREA AS THEY FIND IT.
# EXCEPT FOR THE GENERALLY UNIMPORTANT MPAC +2. THEY DIFFER ONLY IN # EXCEPT FOR THE GENERALLY UNIMPORTANT MPAC +2. THEY DIFFER ONLY IN
# WHERE THEY GET THE ANGLES, AND IN METHOD OF CALLING. # WHERE THEY GET THE ANGLES, AND IN METHOD OF CALLING.
# #
@ -116,7 +116,7 @@ TR*GL**P MASK SIX # MAKE IT EVEN AND SMALLER
TC TEM2 TC TEM2
# Page 1261 # Page 1261
# ******************************************************************************************************* # *******************************************************************************************************
# QUICTRIG, INTENDED FOR GUIDANCE CYCLE USE WHERE TIME IS CRITICAL, IS A MUCH FASTER VERSION OF CD*TR*GS. # QUICTRIG, INTENDED FOR QUIDANCE CYCLE USE WHERE TIME IS CRITICAL, IS A MUCH FASTER VERSION OF CD*TR*GS.
# QUICTRIG COMPUTES AND STORES THE SINES AND COSINES OF THE 2'S COMPLEMENT ANGLES AT CDUSPOT, CDUSPOT +2, # QUICTRIG COMPUTES AND STORES THE SINES AND COSINES OF THE 2'S COMPLEMENT ANGLES AT CDUSPOT, CDUSPOT +2,
# AND CDUSPOT +4. UNLIKE CD*TR*GS, QUICTRIG DOES NOT LEAVE THE 1'S COMPLEMENT VERSIONS OF THE ANGLES IN # AND CDUSPOT +4. UNLIKE CD*TR*GS, QUICTRIG DOES NOT LEAVE THE 1'S COMPLEMENT VERSIONS OF THE ANGLES IN
# CDUSPOT. QUICTRIG'S EXECUTION TIME IS 4.1 MS; THIS IS 10 TIMES AS FAST AS CD*TR*GS. QUICTRIG MAY BE # CDUSPOT. QUICTRIG'S EXECUTION TIME IS 4.1 MS; THIS IS 10 TIMES AS FAST AS CD*TR*GS. QUICTRIG MAY BE
@ -155,16 +155,16 @@ QUICTRIG INHINT # INHINT SINCE DAP USES THE SAME TEMPS
# #
# THESE INTERFACE ROUTINES ARE PERMANENT. ALL RESTORE USER'S EBANK # THESE INTERFACE ROUTINES ARE PERMANENT. ALL RESTORE USER'S EBANK
# SETTING. ALL ARE STRICT INTERPRETIVE SUBROUTINES, CALLED USING "CALL", # SETTING. ALL ARE STRICT INTERPRETIVE SUBROUTINES, CALLED USING "CALL",
# RETURNING VIA QPRET. ALL EXPECT AND RETURN THE VECTOR TO BE TRANSFOR- # RETURNING VIA QPRET. ALL EXPECT AND RETURN THE VECTOR TO BE TRANSFORMED
# MED INTERPRETER-STYLE IN MPAC; COMPONENTS AT MPAC, MPAC +3, AND MPAC +5. # INTERPRETER-STYLE IN MPAC; COMPONENTS AT MPAC, MPAC +3, AND MPAC +5.
# #
# TRG*SMNB AND TRG*NBSM BOTH EXPECT TO SEE THE 2'S COMPLEMENT ANGLES # TRG*SMNB AND TRG*NBSM BOTH EXPECT TO SEE THE 2'S COMPLEMENT ANGLES
# AT CDUSPOT (ORDER Y Z X, AT CDUSPOT, CDUSPOT +2, AND CDUSPOT +4; ODD # AT CDUSPOT (ORDER Y Z X, AT CDUSPOT, CDUSPOT +2, AND CDUSPOT +4; ODD
# LOCATIONS NEED NOT BE ZEROED). TRG*NBSM DOES THE NB TO SM TRANSFOR- # LOCATIONS NEED NOT BE ZEROED). TRG*NBSM DOES THE NB TO SM TRANSFORMATION;
# MATION; TRG*SMNB, VICE VERSA. # TRG*SMNB, VICE VERSA.
# #
# CDU*NBSM DOES ITS TRANSFORMATION USING THE PRESENT CONTENTS OF # CDU*NBSM DOES ITS TRANSFORMATION USING THE PRESENT CONTENTS OF
# THE CDU COUNTERS. OTHERWISE IT IS LIKE TRG*NBSM. # THE CDL COUNTERS. OTHERWISE IT IS LIKE TRG*NBSM.
# #
# CDU*SMNB IS THE COMPLEMENT OF CDU*NBSM. # CDU*SMNB IS THE COMPLEMENT OF CDU*NBSM.
@ -175,7 +175,7 @@ CDU*SMNB EXIT
TRG*SMNB EXIT TRG*SMNB EXIT
TC CD*TR*GS TC CD*TR*GS
C*MM*N1 TC MPACVBUF # AX*SR*T EXPECTS VECTOR IN VBUF C*MM*N1 TC MPACVBUF # AX*SR*T EXPECTS VECTOR IN VBUF
CS THREE # SIGNAL FOR SM TO NB TRANSFORMATION CS THREE # SIGNAL FOR SM TO NB TRANSFORMATION.
C*MM*N2 TC AX*SR*T C*MM*N2 TC AX*SR*T
TC INTPRET TC INTPRET
VLOAD RVQ VLOAD RVQ
@ -213,7 +213,7 @@ C*MM*N3 TC MPACVBUF # FOR AX*SR*T
# AX*SR*T EXPECTS TO FIND THE SINES AND COSINES OF THE ANGLES OF ROTATION # AX*SR*T EXPECTS TO FIND THE SINES AND COSINES OF THE ANGLES OF ROTATION
# AT SINCDU AND COSCDU, IN THE ORDER Y Z X. A CALL TO CD*TR*GS, WITH # AT SINCDU AND COSCDU, IN THE ORDER Y Z X. A CALL TO CD*TR*GS, WITH
# THE 2'S COMPLEMENT ANGLES (ORDER Y Z X) AT CDUSPOT, WILL TAKE CARE OF # THE 2'S COMPLEMENT ANGLES (ORDER Y Z X) AT CDUSPOT, WILL TAKE CARE OF
# THIS. HERE IS A SAMPLE CALLING SEQUENCE:- # THIS. HERE IS A SAMPLE CALLING SEQUENCE:--
# TC CDUTRIGS # TC CDUTRIGS
# CS THREE # ("CA THREE" FOR NBSM) # CS THREE # ("CA THREE" FOR NBSM)
# TC AX*SR*T # TC AX*SR*T
@ -225,7 +225,7 @@ C*MM*N3 TC MPACVBUF # FOR AX*SR*T
# HAPPENS TO LIE ALONG AN AXIS OF THE SYSTEM TO WHICH IT IS TO BE TRANS- # HAPPENS TO LIE ALONG AN AXIS OF THE SYSTEM TO WHICH IT IS TO BE TRANS-
# FORMED CONVINCES ONE THAT THIS IS A RESTRICTION WHICH MUST BE ACCEPTED. # FORMED CONVINCES ONE THAT THIS IS A RESTRICTION WHICH MUST BE ACCEPTED.
AX*SR*T TS DEXDEX # WHERE IT BECOMES THE INDEX OF INDEXES AX*SR*T TS DEXDEX # WHERE IT BECOMES THE INDEX OF INDEXES.
EXTEND EXTEND
QXCH RTNSAVER QXCH RTNSAVER
@ -405,7 +405,7 @@ FLESHPOT TS TEM2
EXTEND EXTEND
DCA MPAC DCA MPAC
INDEX TEM1 INDEX TEM1
DXCH 14 # = SINY COSX + SINX SINZ COSY DXCH 14 # = - SINY COSX + SINX SINZ COSY
EXTEND EXTEND
DCA MPAC +3 DCA MPAC +3
@ -444,3 +444,4 @@ FLESHPOT TS TEM2
CA TEM2 CA TEM2
TS EBANK TS EBANK
TCF SWRETURN TCF SWRETURN