Juan Jose Garcia Ripoll
|
2dfa8d2dff
|
Replace C1RPLACA with a compiler macro
|
2010-05-13 19:04:37 +02:00 |
|
Juan Jose Garcia Ripoll
|
e15a517fc3
|
Misuse of C2EXPR* in the expander for VALUES
|
2010-05-13 18:18:56 +02:00 |
|
Juan Jose Garcia Ripoll
|
2e3b7b0d6b
|
When replacing variables with their values uses VALUES to extract the first value
|
2010-05-13 18:18:29 +02:00 |
|
Juan Jose Garcia Ripoll
|
feafc6bd77
|
(VALUES x) can be optimized whenever the destination is not RETURN/VALUES
|
2010-05-13 17:55:30 +02:00 |
|
Juan Jose Garcia Ripoll
|
aca68e9fc6
|
Improve the code generated for VALUES eliminating the intermediate variable when there is only one output value
|
2010-05-13 17:24:27 +02:00 |
|
Juan Jose Garcia Ripoll
|
7c92b0fc8c
|
The function C1FORM-VALUES-NUMBER is now factored and grouped with the other C1FORM functions in cmpform.
|
2010-05-13 17:03:28 +02:00 |
|
Juan Jose Garcia Ripoll
|
82898a7e0f
|
We can also replace variables with values that are 'pure' or unmodified by the forms after it
|
2010-05-13 14:12:15 +02:00 |
|
Juan Jose Garcia Ripoll
|
02bdb9df00
|
The inliner for VALUES forms was not used
|
2010-05-13 13:38:04 +02:00 |
|
Juan Jose Garcia Ripoll
|
edfdf47d22
|
BABOON ignored the actual error message from the compiler
|
2010-05-13 13:37:44 +02:00 |
|
Juan Jose Garcia Ripoll
|
eed2ba9c05
|
A LET/LET* with special variables is no longer considered to have side effects by default
|
2010-05-13 11:31:01 +02:00 |
|
Juan Jose Garcia Ripoll
|
ffecddc3b9
|
In principle LET forms can also be moved around
|
2010-05-13 11:30:11 +02:00 |
|
Juan Jose Garcia Ripoll
|
6f9321e3b0
|
C-INLINE forms get the side effects field from its expansion
|
2010-05-13 11:29:50 +02:00 |
|
Juan Jose Garcia Ripoll
|
7a9253ebad
|
Removed unused function OPTIMIZE-C1LET*
|
2010-05-13 10:38:57 +02:00 |
|
Juan Jose Garcia Ripoll
|
9f842084bc
|
When replacing a variable with a form, only the first value is used
|
2010-05-13 10:04:54 +02:00 |
|
Juan Jose Garcia Ripoll
|
f6bddc7b0b
|
VALUES forms are more efficiently inlined.
|
2010-05-13 10:04:37 +02:00 |
|
Juan Jose Garcia Ripoll
|
dbf16619eb
|
Merge the optimizers for LET and LET* adding a new function for unregistering variables from discarded C1FORMs.
|
2010-05-13 00:24:27 +02:00 |
|
Juan Jose Garcia Ripoll
|
124e0427ec
|
New function for deciding when and how to replace LET/LET* variables with their values.
|
2010-05-12 23:44:07 +02:00 |
|
Juan Jose Garcia Ripoll
|
37d13228a0
|
INLINE-ARGS would not optimize PROGN forms
|
2010-05-12 23:41:59 +02:00 |
|
Juan Jose Garcia Ripoll
|
73f81381be
|
*CURRENT-FORM* was not properly updated by C1EVAL
|
2010-05-12 23:41:09 +02:00 |
|
Juan Jose Garcia Ripoll
|
d8dac21c8f
|
The c1form-parents field is now a list of the nodes above the current one. We provide functions to rewrite the list when moving the node and speed up FIND-NODE-IN-LIST using this list.
|
2010-05-11 17:25:16 +02:00 |
|
Juan Jose Garcia Ripoll
|
854349437f
|
Constants are always produced as fresh new locations so that we do not overwrite the parent and other fields
|
2010-05-11 16:45:12 +02:00 |
|
Juan Jose Garcia Ripoll
|
3689a77759
|
Remove unused function NEED-TO-PROTECT
|
2010-05-11 16:12:08 +02:00 |
|
Juan Jose Garcia Ripoll
|
6c245096be
|
In the database of C1FORMs, store information about side effects and use the field C1FORM-SIDE-EFFECTS to speed up computation of those.
|
2010-05-11 16:04:28 +02:00 |
|
Juan Jose Garcia Ripoll
|
db84803241
|
Create a database of C1FORM types
|
2010-05-11 15:08:53 +02:00 |
|
Juan Jose Garcia Ripoll
|
5fcb3c8d22
|
Split the C1LET optimizer into three reusable components
|
2010-05-11 14:18:19 +02:00 |
|
Juan Jose Garcia Ripoll
|
f07de591f3
|
New function GLOBAL-VAR-P
|
2010-05-11 14:18:04 +02:00 |
|
Juan Jose Garcia Ripoll
|
61d4c99781
|
Further simplify the C1LET/LET* code
|
2010-05-11 00:29:13 +02:00 |
|
Juan Jose Garcia Ripoll
|
45daa8e911
|
Merge the components for C1LET* and C1LET
|
2010-05-11 00:18:21 +02:00 |
|
Juan Jose Garcia Ripoll
|
d86a9a482f
|
Factor also C1LET* into smaller components
|
2010-05-11 00:09:25 +02:00 |
|
Juan Jose Garcia Ripoll
|
4c303d8d41
|
Factor DO-C1LET into smaller components
|
2010-05-10 23:17:56 +02:00 |
|
Juan Jose Garcia Ripoll
|
b38dd74ce6
|
C1LET uses C1LOCALLY or C1LET* when the list of bindings is small.
|
2010-05-10 22:09:18 +02:00 |
|
Juan Jose Garcia Ripoll
|
cfbf245ec7
|
The compiler checks whether the forms it parses are properlist.
|
2010-05-10 22:08:48 +02:00 |
|
Juan Jose Garcia Ripoll
|
02e796e425
|
Briefer C expressions for some compiled type assertions
|
2010-05-10 20:48:09 +02:00 |
|
Juan Jose Garcia Ripoll
|
1839b8b9c1
|
Removed some more unsafe expansions.
|
2010-05-10 17:12:13 +02:00 |
|
Juan Jose Garcia Ripoll
|
2a0baf775a
|
Removed unsafe C**R inline forms and fixed the one for ARRAY-RANK
|
2010-05-10 17:05:42 +02:00 |
|
Juan Jose Garcia Ripoll
|
3f3cebb235
|
Add index bound checks to array-row-major-index
|
2010-05-10 16:00:50 +02:00 |
|
Juan Jose Garcia Ripoll
|
4049bf6392
|
Simplify ASSERT-TYPE-IF-KNOWN by removing all type filters
|
2010-05-10 16:00:25 +02:00 |
|
Juan Jose Garcia Ripoll
|
b129433812
|
Added SATISFIES to the kind of types that TYPE can inline
|
2010-05-10 16:00:07 +02:00 |
|
Juan Jose Garcia Ripoll
|
b73468d1ef
|
Provide unsafe expansion for CAR/CDR when applied on conses
|
2010-05-10 15:59:30 +02:00 |
|
Juan Jose Garcia Ripoll
|
8525362b33
|
Whenever we check the argument types, also check the argument number
|
2010-05-09 23:54:01 +02:00 |
|
Juan Jose Garcia Ripoll
|
bb29cc908b
|
Changed the way toplevel macros are registered because we have no way to let MACROEXPAND know about the compiler *GLOBAL-MACROS* table
|
2010-05-09 23:05:13 +02:00 |
|
Juan Jose Garcia Ripoll
|
17790c4770
|
Remove the function TYPE-FILTER and deal with the whole set of Common Lisp types in the compiler.
|
2010-05-09 22:20:47 +02:00 |
|
Juan Jose Garcia Ripoll
|
64d4bb38ad
|
Add declarations to arraylib.lsp
|
2010-05-09 22:19:42 +02:00 |
|
Juan Jose Garcia Ripoll
|
1d4f8ac75d
|
Define a new built-in type ANSI-STREAM in the EXT package and used it in predlib, builtin.lsp and in the Gray streams package
|
2010-05-09 22:19:22 +02:00 |
|
Juan Jose Garcia Ripoll
|
7b42d8ca7f
|
Imported ASDF 2.0 release candidate into the tree
|
2010-05-09 22:18:37 +02:00 |
|
Juan Jose Garcia Ripoll
|
a8211519df
|
The optimizers in cmparray distinguish between the policies for type assertions and and those for index bound checking
|
2010-05-09 20:28:54 +02:00 |
|
Juan Jose Garcia Ripoll
|
d92ba5052d
|
New policy for emitting type assertions
|
2010-05-09 20:28:24 +02:00 |
|
Juan Jose Garcia Ripoll
|
6ae9d38bdb
|
New type, ARRAY-INDEX, exported from EXT.
|
2010-05-09 20:28:01 +02:00 |
|
Juan Jose Garcia Ripoll
|
9e46f3d357
|
Introduce policy aliases, interned some declaration names in EXT and replaced some of those names with more meaningful ones.
|
2010-05-09 19:41:04 +02:00 |
|
Juan Jose Garcia Ripoll
|
800ac7b46c
|
Remove redundant file new-cmp/cmptype.lsp
|
2010-05-09 19:15:24 +02:00 |
|