| commit | 1db4f16ef02f5b4d699d78541edb19ad8f3defc8 | |
| author | Nikodemus Siivola <nikodemus@random-state.net> | |
| Thu, 31 Jul 2008 13:32:10 +0000 (31 13:32 +0000) | ||
| committer | Nikodemus Siivola <nikodemus@random-state.net> | |
| Thu, 31 Jul 2008 13:32:10 +0000 (31 13:32 +0000) | ||
| tree | f77ed27315844fe4b12d62f9efaf09ac900e690f | treesnapshot (tar.gz zip) |
| parent | 9264b512a21d1200fb9ab21874206c4bf436ed27 | commitdiff |
additional list seeking transformations
* Implement TRANSFORM-LIST-PRED-SEEK, very much akin to
TRANSFORM-LIST-ITEM-SEEK, and use it to optimize MEMBER-IF[-NOT],
ASSOC-IF[-NOT], and RASSOC-IF[-NOT].
* Implement full versions of list seeking functions in terms of the
specialized versions: in some cases this is a win, in some cases a
loss -- but the number of places where functionality is duplicated
is reduced, which should be easier on the maintenance and less
bug-prone.
* Add a TRANSFORM-LIST-ITEM-SEEK transform for RASSOC.
* LVAR-FOR-NAMED-FUNCTION was a restricted form of LVAR-FUN-IS. Do
away with the former, and move the latter to ir1util.lisp.
* Implement TRANSFORM-LIST-PRED-SEEK, very much akin to
TRANSFORM-LIST-ITEM-SEEK, and use it to optimize MEMBER-IF[-NOT],
ASSOC-IF[-NOT], and RASSOC-IF[-NOT].
* Implement full versions of list seeking functions in terms of the
specialized versions: in some cases this is a win, in some cases a
loss -- but the number of places where functionality is duplicated
is reduced, which should be easier on the maintenance and less
bug-prone.
* Add a TRANSFORM-LIST-ITEM-SEEK transform for RASSOC.
* LVAR-FOR-NAMED-FUNCTION was a restricted form of LVAR-FUN-IS. Do
away with the former, and move the latter to ir1util.lisp.