mirror of
https://gitee.com/mirrors_PX4/PX4-Autopilot.git
synced 2026-10-27 06:23:34 +08:00
Resync new repository with old repo r5166
git-svn-id: http://svn.code.sf.net/p/nuttx/code/trunk@5153 42af7a65-404d-4744-a932-0658087f49c3
This commit is contained in:
patacongo
@@ -0,0 +1,239 @@
|
||||
P-Code optimizations:
|
||||
Let <push-ops> be oPUSH|oPUSHB
|
||||
Let <load-ops> be oLOD|oLODB|PUSH|oLADR|oLCADR
|
||||
|
||||
pcopt.c:unaryOptimize
|
||||
STEP 1:
|
||||
Remove unary operators on constants:
|
||||
<push-op> arg + oNEG -> <push-op> arg
|
||||
<push-op> arg + oABS -> <push-op> |arg|
|
||||
<push-op> arg + oINC -> <push-op> arg+1
|
||||
<push-op> arg + oDEC -> <push-op> arg-1
|
||||
<push-op> arg + oNOT -> <push-op> ~arg
|
||||
|
||||
Simplify binary operations on constants
|
||||
<push-op> arg + oADD
|
||||
if arg == 0 -> delete both
|
||||
else if arg == 1 -> oINC
|
||||
else if arg == -1 -> oDEC
|
||||
<push-op> arg + oSUB
|
||||
if arg == 0 -> delete both
|
||||
else if arg == 1 -> oDEC
|
||||
else if arg == -1 -> oINC
|
||||
<push-op> arg + oMUL
|
||||
if arg is power of 2 -> oSLL power
|
||||
<push-op> arg + oDIV
|
||||
if arg is power of 2 -> oSRA power
|
||||
<push-op> arg + oSLL
|
||||
if arg is 0 -> <push-op> arg
|
||||
<push-op> arg + oSRL
|
||||
if arg is 0 -> <push-op> arg
|
||||
<push-op> arg + oSRA
|
||||
if arg is 0 -> <push-op> arg
|
||||
<push-op> arg + oOR
|
||||
if arg is 0 -> <push-op> arg
|
||||
<push-op> arg + oAND
|
||||
if arg is 0xffff -> <push-op> arg
|
||||
|
||||
Delete comparisons with zero
|
||||
<push-op> arg + oEQUZ
|
||||
if arg == 0 -> <push-op> true
|
||||
else -> <push-op> false
|
||||
<push-op> arg + oNEQZ
|
||||
if arg != 0 -> <push-op> true
|
||||
else -> <push-op> false
|
||||
<push-op> arg + oLTZ
|
||||
if arg < 0 -> <push-op> true
|
||||
else -> <push-op> false
|
||||
<push-op> arg + oGTEZ
|
||||
if arg >= 0 -> <push-op> true
|
||||
else -> <push-op> false
|
||||
<push-op> arg + oGTZ
|
||||
if arg > 0 -> <push-op> true
|
||||
else -> <push-op> false
|
||||
<push-op> arg + oLTEZ
|
||||
if arg <= 0 -> <push-op> true
|
||||
else -> <push-op> false
|
||||
|
||||
Simplify comparisons with certain constants
|
||||
<push-op> arg + oEQU
|
||||
if arg == 0 -> oEQUZ
|
||||
else if arg == 1 -> oDEC + oEQUZ
|
||||
else if arg == -1 -> oINC + oEQUZ
|
||||
<push-op> arg + oNEQ
|
||||
if arg == 0 -> oNEQZ
|
||||
else if arg == 1 -> oDEC + oNEQZ
|
||||
else if arg == -1 -> oINC + oNEQZ
|
||||
<push-op> arg + oLT
|
||||
if arg == 0 -> oLTZ
|
||||
else if arg == 1 -> oDEC + oLTZ
|
||||
else if arg == -1 -> oINC + oLTZ
|
||||
<push-op> arg + oGTE
|
||||
if arg == 0 -> oGTEZ
|
||||
else if arg == 1 -> oDEC + oGTEZ
|
||||
else if arg == -1 -> oINC + oGTEZ
|
||||
<push-op> arg + oGT
|
||||
if arg == 0 -> oGTZ
|
||||
else if arg == 1 -> oDEC + oGTZ
|
||||
else if arg == -1 -> oINC + oGTZ
|
||||
<push-op> arg + oLTE
|
||||
if arg == 0 -> oLTEZ
|
||||
else if arg == 1 -> oDEC + oLTEZ
|
||||
else if arg == -1 -> oINC + oLTEZ
|
||||
|
||||
Simplify or delete condition branches on constants
|
||||
<push-op> arg + oJEQUZ
|
||||
if arg == 0 -> oJMP
|
||||
else -> delete both
|
||||
<push-op> arg + oJNEQZ
|
||||
if arg != 0 -> oJMP
|
||||
else -> delete both
|
||||
<push-op> arg + oJLTZ
|
||||
if arg < 0 -> oJMP
|
||||
else -> delete both
|
||||
<push-op> arg + oJGTEZ
|
||||
if arg >= 0 -> oJMP
|
||||
else -> delete both
|
||||
<push-op> arg + oJGTZ
|
||||
if arg > 0 -> oJMP
|
||||
else -> delete both
|
||||
<push-op> arg + oJLTEZ
|
||||
if arg <= 0 -> oJMP
|
||||
else -> delete both
|
||||
STEP 1a:
|
||||
<push-op> arg
|
||||
if arg < 256 -> oPUSHB arg
|
||||
else -> oPUSH arg
|
||||
|
||||
STEP 2:
|
||||
Delete multiple modifications of DSEG pointer
|
||||
INDS arg1 + INDS arg2 -> INDS arg1+arg2
|
||||
|
||||
pcopt.c:binaryOptimize
|
||||
STEP 1:
|
||||
<push-op> arg1 + <push-op> arg2 + oADD -> oPUSH arg1 + arg2 + STEP 1a
|
||||
<push-op> arg1 + <push-op> arg2 + oSUB -> oPUSH arg1 - arg2 + STEP 1a
|
||||
<push-op> arg1 + <push-op> arg2 + oMUL -> oPUSH arg1 * arg2 + STEP 1a
|
||||
<push-op> arg1 + <push-op> arg2 + oDIV -> oPUSH arg1 / arg2 + STEP 1a
|
||||
<push-op> arg1 + <push-op> arg2 + oMOD -> oPUSH arg1 % arg2 + STEP 1a
|
||||
<push-op> arg1 + <push-op> arg2 + oSLL -> oPUSH arg1 << arg2 + STEP 1a
|
||||
<push-op> arg1 + <push-op> arg2 + oSRL -> oPUSH arg1 >> arg2 + STEP 1a
|
||||
<push-op> arg1 + <push-op> arg2 + oSRA -> oPUSH arg1 >> arg2 + STEP 1a
|
||||
<push-op> arg1 + <push-op> arg2 + oOR -> oPUSH arg1 | arg2 + STEP 1a
|
||||
<push-op> arg1 + <push-op> arg2 + oAND -> oPUSH arg1 & arg2 + STEP 1a
|
||||
<push-op> arg1 + <push-op> arg2 + oEQU -> oPUSH arg1 == arg2 + STEP 1a
|
||||
<push-op> arg1 + <push-op> arg2 + oNEQ -> oPUSH arg1 != arg2 + STEP 1a
|
||||
<push-op> arg1 + <push-op> arg2 + oLT -> oPUSH arg1 < arg2 + STEP 1a
|
||||
<push-op> arg1 + <push-op> arg2 + oGTE -> oPUSH arg1 >= arg2 + STEP 1a
|
||||
<push-op> arg1 + <push-op> arg2 + oGT -> oPUSH arg1 > arg2 + STEP 1a
|
||||
<push-op> arg1 + <push-op> arg2 + oLTE -> oPUSH arg1 <= arg2 + STEP 1a
|
||||
STEP 1a:
|
||||
<push-op> arg
|
||||
if arg < 256 -> oPUSHB arg
|
||||
else -> oPUSH arg
|
||||
|
||||
STEP 2:
|
||||
<push-op> arg1 + <load-ops> arg2 + oADD
|
||||
if arg1 == 0 -> <load-ops> arg
|
||||
else if arg1 == 1 -> <load-ops> arg + oINC
|
||||
else if arg1 == -1 -> <load-ops> arg + oDEC
|
||||
<push-op> arg1 + <load-ops> arg2 + oSUB
|
||||
if arg1 == 0 -> <load-ops> arg + oNEG
|
||||
<push-op> arg1 + <load-ops> arg2 + oMUL -> <load-ops> arg + oSLL log
|
||||
if arg is a power of 2
|
||||
<push-op> arg1 + <load-ops> arg2 + oOR
|
||||
if arg1 == 0 -> <load-ops> arg
|
||||
<push-op> arg1 + <load-ops> arg2 + oAND
|
||||
if arg1 == 0xffff -> <load-ops> arg
|
||||
<push-op> arg1 + <load-ops> arg2 + oEQU
|
||||
if arg1 == 0 -> <load-ops> arg + oEQUZ
|
||||
<push-op> arg1 + <load-ops> arg2 + oNEQ
|
||||
if arg1 == 0 -> <load-ops> arg + oNEQZ
|
||||
<push-op> arg1 + <load-ops> arg2 + oLT
|
||||
if arg1 == 0 -> <load-ops> arg + oLTZ
|
||||
<push-op> arg1 + <load-ops> arg2 + oGTE
|
||||
if arg1 == 0 -> <load-ops> arg + oGTEZ
|
||||
<push-op> arg1 + <load-ops> arg2 + oGT
|
||||
if arg1 == 0 -> <load-ops> arg + oGTZ
|
||||
<push-op> arg1 + <load-ops> arg2 + oLTE
|
||||
if arg1 == 0 -> <load-ops> arg + oLTEZ
|
||||
|
||||
STEP 2a:
|
||||
if the <push-op> op is still there
|
||||
<push-op> arg
|
||||
if arg < 256 -> oPUSHB arg
|
||||
else -> oPUSH arg
|
||||
|
||||
STEP 3
|
||||
oNEG + oADD -> oSUB
|
||||
oNEG + oSUB -> oADD
|
||||
|
||||
pjopt.c: BranchOptimize
|
||||
oNOT + oJEQUZ -> oJNEQZ
|
||||
oNOT + oJNEQZ -> oJEQUZ
|
||||
oNEG + oJLTZ -> oJGTZ
|
||||
oNEG + oJGTEZ -> oJLTEZ
|
||||
oNEG + oJGTZ -> oJLTZ
|
||||
oNEG + oJLTEZ -> oJGTEZ
|
||||
oEQU + oNOT -> oNEQ
|
||||
oEQU + oJEQUZ -> oJNEQ
|
||||
oEQU + oJNEQZ -> oJEQU
|
||||
oNEQ + oNOT -> oEQU
|
||||
oNEQ + oJEQUZ -> oJEQU
|
||||
oNEQ + oJNEQZ -> oJNEQ
|
||||
oLT + oNOT -> oGTE
|
||||
oLT + oJEQUZ -> oJGTE
|
||||
oLT + oJNEQZ -> oJLT
|
||||
oGTE + oNOT -> oLT
|
||||
oGTE + oJEQUZ -> oJLT
|
||||
oGTE + oJNEQZ -> oJGTE
|
||||
oGT + oNOT -> oLTE
|
||||
oGT + oJEQUZ -> oJLTE
|
||||
oGT + oJNEQZ -> oJGT
|
||||
oLTE + oJNOT -> oGT
|
||||
oLTE + oJEQUZ -> oJGT
|
||||
oLTE + oJNEQZ -> oJLTE
|
||||
oEQUZ + oNOT -> oNEQZ
|
||||
oEQUZ + oJEQUZ -> oJNEQZ
|
||||
oEQUZ + oJNEQZ -> oJEQUZ
|
||||
oNEQZ + oNOT -> oEQUZ
|
||||
oNEQZ + oJEQUZ -> oJEQUZ
|
||||
oNEQZ + oJNEQZ -> oJNEQZ
|
||||
oLTZ + oNOT -> oGTEZ
|
||||
oLTZ + oJEQUZ -> oJGTEZ
|
||||
oLTZ + oJNEQZ -> oJLTZ
|
||||
oGTEZ + oNOT -> oLTZ
|
||||
oGTEZ + oJEQUZ -> oJLTZ
|
||||
oGTEZ + oJNEQZ -> oJGTEZ
|
||||
oGTZ + oNOT -> oLTEZ
|
||||
oGTZ + oJEQUZ -> oJLTEZ
|
||||
oGTZ + oJNEQZ -> oJGTZ
|
||||
oLTEZ + oNOT -> oGTZ
|
||||
oLTEZ + oJEQUZ -> oJGTZ
|
||||
oLTEZ + oJNEQZ -> oJLTEZ
|
||||
|
||||
plopt.c:LoadOptimize()
|
||||
Eliminate duplicate loads
|
||||
oLOD arg1 + oLOAD arg1 -> oLOD arg1 + oDUP
|
||||
|
||||
Convert loads indexed by a constant to unindexed loads
|
||||
!!! DISABLED !!! Does not work because arg2 is a label, not an address !!!
|
||||
<push-op> arg1 + oLODX arg2 -> oLOD arg1 + arg2
|
||||
<push-op> arg1 + oLADRX arg2 -> oLADR arg1 + arg2
|
||||
<push-op> arg1 + oLODBX arg2 -> oLODB arg1 + arg2
|
||||
<push-op> arg1 + oLODMX arg2 -> oLODM arg1 + arg2
|
||||
<push-op> arg
|
||||
if arg < 256 -> oPUSHB arg
|
||||
|
||||
plopt.c:StoreOptimize()
|
||||
Eliminate store followed by load
|
||||
oSTO arg + oLOAD arg -> oSTO arg + oDUP
|
||||
|
||||
Convert stores indexed by a constant to unindexed stores
|
||||
<push-op> arg1 + ? + oSTOX arg2 -> ? + oSTO arg1 + arg2
|
||||
<push-op> arg1 + ? + oSTOBX arg2 -> ? + oSTOB arg1 + arg2
|
||||
|
||||
Missing local optimization:
|
||||
|
||||
Need to check for branches (conditional or unconditional) to the
|
||||
next instruction.
|
||||
@@ -0,0 +1,208 @@
|
||||
====================================================================
|
||||
000-099: Basic functionality
|
||||
====================================================================
|
||||
|
||||
TEST FILE: 001-beginend.pas
|
||||
Compiles without error
|
||||
Executes without error
|
||||
Output is correct
|
||||
|
||||
TEST FILE: 002-writeln.pas
|
||||
Compiles without error
|
||||
Executes without error
|
||||
Output is correct
|
||||
|
||||
TEST FILE: 003-for.pas
|
||||
Compiles without error
|
||||
Executes without error
|
||||
Output is correct
|
||||
|
||||
TEST FILE: 004-repeat.pas
|
||||
Compiles without error
|
||||
Executes without error
|
||||
Output is correct
|
||||
|
||||
TEST FILE: 005-while.pas
|
||||
Compiles without error
|
||||
Executes without error
|
||||
Output is correct
|
||||
|
||||
TEST FILE: 006-optconst.pas
|
||||
Compiles without error
|
||||
Executes without error
|
||||
Output...
|
||||
|
||||
You have to use plist to examine the output. All integer constant
|
||||
expressions are correctly optimized EXCEPT the last one. This
|
||||
is most like a problem with the way the optimizer buffers instructions
|
||||
-- i.e., the window is not big enough to capture the full context
|
||||
|
||||
Still need to add logic to verify real expressions.
|
||||
|
||||
====================================================================
|
||||
100-199: Math and runtime libraries
|
||||
====================================================================
|
||||
|
||||
TEST FILE: 101-cosine.pas
|
||||
Compiles without error
|
||||
Executes without error
|
||||
Output is correct
|
||||
|
||||
TEST FILE: 102-cen2fahr.pas
|
||||
Compiles without error
|
||||
Executes without error
|
||||
Output is correct
|
||||
|
||||
TEST FILE: 103-sumharm.pas
|
||||
Compiles without error
|
||||
Executes without error
|
||||
Output is correct
|
||||
|
||||
TEST FILE: 104-primes.pas
|
||||
Fatal Error 43 -- Compilation aborted
|
||||
|
||||
0:0013 sieve, primes : array[0..w] of set of 0..maxbit;
|
||||
Line 0:0012 Error 2e Token 0a
|
||||
|
||||
TEST FILE: 105-inflation.pas
|
||||
Compiles without error
|
||||
Executes without error
|
||||
Output is correct
|
||||
|
||||
====================================================================
|
||||
200-299: Strings
|
||||
====================================================================
|
||||
|
||||
TEST FILE: 201-strcat.pas
|
||||
Compiles without error
|
||||
Executes without error
|
||||
Output is correct
|
||||
|
||||
TEST FILE: 202-strcmp.pas
|
||||
Compiles without error
|
||||
Executes without error
|
||||
Output is correct
|
||||
|
||||
====================================================================
|
||||
500-599: multi-file features: uses, units
|
||||
====================================================================
|
||||
|
||||
TEST FILE: 501-uses.pas
|
||||
Compiles without error
|
||||
Gets the following runtime errors:
|
||||
|
||||
FILE 0, "src/uses.pas"
|
||||
PRGM 0, "MYPROGRAM"
|
||||
FILE 1, "src/unit.pas"
|
||||
IMPRT 66, L0001, "MYCOSINE"
|
||||
...
|
||||
Entry is label L0002
|
||||
P-Code label L0002 loaded at iSpace[3]
|
||||
Entry point set to 0x0003
|
||||
Last p-code address: 0x0063
|
||||
ERROR: Could not find code label 0x00000001
|
||||
ERROR: Failed to bind program addresses
|
||||
ERROR: Could not load src/uses.PCD
|
||||
|
||||
TEST FILE: 501-unit.pas
|
||||
Compiles without error
|
||||
Executes with error as exepected:
|
||||
ERROR: Cannot execute. Entry Point NOT found
|
||||
Runtime error 0x80 -- Execution Stopped
|
||||
OK!
|
||||
Line 0:0016 Error 36 Token 01 (READKEY)
|
||||
|
||||
====================================================================
|
||||
800-899: Erie pascal programs
|
||||
====================================================================
|
||||
|
||||
TEST FILE: 801-cgihello.pas
|
||||
Compiles without error
|
||||
Executes without error
|
||||
Output is correct
|
||||
|
||||
TEST FILE: 802-cgiinfo.pas
|
||||
Compiles without error
|
||||
Executes without error
|
||||
Output is correct
|
||||
|
||||
TEST FILE: 803-redirect.pas
|
||||
Fatal Error 14 -- Compilation aborted
|
||||
|
||||
0:0031 len : 0..maxint;
|
||||
0:0039 val(ContentLength, len, err)
|
||||
|
||||
Line 0:0039 Error 42 Token 51
|
||||
|
||||
Error 42: eVARPARMTYPE
|
||||
Token 51: tSUBRANGE
|
||||
|
||||
len is used as output in VAR built-in. Compiler currently won't
|
||||
accept subrange of type for type. It should as an input, but it
|
||||
should not as an output unless there is range checking.
|
||||
|
||||
0:0061 EncodedVariable, DecodedVariable, name, value : string;
|
||||
0:0063 procedure ProcessNameValuePair(var name, value : string);
|
||||
|
||||
Line 0:0063 Error 0e Token 4b
|
||||
|
||||
Error 0e: eINDENT
|
||||
Token 4b: sSTRING
|
||||
|
||||
Declared from line 'if (token != tIDENT) error (eIDENT);'
|
||||
in function declare parameter. tkn_strt = 'NAME'
|
||||
|
||||
Problem with scope of names. 'name' already exists in outscope and
|
||||
cannot be redeclared in the innerscope.
|
||||
|
||||
TEST FILE: 804-cgiform.pas
|
||||
Fatal Error 29 -- Compilation aborted
|
||||
|
||||
Uses 'list of'
|
||||
|
||||
0:0054 NameValuePairs : list of NameValuePair;
|
||||
Line 0:0054 Error 1e Token 01 (LIST)
|
||||
|
||||
TEST FILE: 805-cgimail.pas
|
||||
Fatal Error 29 -- Compilation aborted
|
||||
|
||||
Uses type file name
|
||||
|
||||
strErrorLink, strSuccessLink : filename;
|
||||
Line 0:0018 Error 1e Token 01 (FILENAME)
|
||||
|
||||
filename is an Irie pascal type.
|
||||
Also uses Irie pascal specific file IO calls.
|
||||
|
||||
TEST FILE: 806-cgicook.pas
|
||||
Fatal Error 29 -- Compilation aborted
|
||||
|
||||
Uses 'list of'
|
||||
|
||||
0:0088 CookieList = list of Cookie;
|
||||
Line 0:0088 Error 1e Token 01 (LIST)
|
||||
|
||||
====================================================================
|
||||
900-999: Misc. large programs not targeted at any particular feature.
|
||||
====================================================================
|
||||
|
||||
TEST FILE: 901-pageutils.pas
|
||||
Fatal Error 45 -- Compilation aborted
|
||||
|
||||
|
||||
Reirects standard input and output:
|
||||
|
||||
CONST
|
||||
...
|
||||
input = 1;
|
||||
output = 2;
|
||||
Line 0:0654 Error 0f Token 45
|
||||
|
||||
0f = eIMPLEMENTATION
|
||||
45 = sFILE
|
||||
|
||||
Issues the list_cb_type
|
||||
|
||||
0:4640 PROCEDURE init_list (VAR list: list_cb_type; max_nol: short) ;
|
||||
Line 0:4640 Error 2c Token 01 (LIST_CB_TYPE)
|
||||
|
||||
Reference in New Issue
Block a user