common-lisp/sbcl.sbcl
1
0
Fork 0
mirror of git://git.code.sf.net/p/sbcl/sbcl synced 2026-09-10 07:26:40 -04:00
Code Issues Actions 8 Packages Projects Releases Wiki Activity

More constant tracking for destructive modification detection

Browse source
This commit is contained in:
Stas Boukarev 2026-08-30 04:00:50 +03:00
parent 8a66d3575b
commit c338940576
1 changed files with 17 additions and 15 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

32
src/compiler/seqtran.lisp
View file

@ -4511,23 +4511,25 @@
(make-numeric-type 'integer min max)))
(defoptimizers constants
(hairy-data-vector-ref hairy-data-vector-ref/check-bounds
(nth nthcdr sb-impl::append2 nreconc revappend
%adjoin %adjoin-eq %adjoin-key %adjoin-test %adjoin-key-eq %adjoin-key-test %adjoin-key-test-not
%assoc %assoc-eq %assoc-key %assoc-test %assoc-key-eq %assoc-key-test %assoc-key-test-not
%rassoc %rassoc-eq %rassoc-key %rassoc-test %rassoc-key-eq %rassoc-key-test %rassoc-key-test-not
%member %member-eq %member-key %member-test %member-key-eq %member-key-test %member-key-test-not
%find-position %find-position-if %find-position-if-not
remove remove-if remove-if-not)
((a b &rest args))
b)
(defoptimizers constants
(car cdr last elt-list
hairy-data-vector-ref hairy-data-vector-ref/check-bounds
data-vector-ref data-vector-ref-with-offset)
((array index &optional offset))
array)
((a &rest args))
a)
(defoptimizers constants (nth nthcdr) ((index list))
list)
(defoptimizers constants (car cdr) ((cons))
cons)
(defoptimizers constants (%find-position %find-position-if %find-position-if-not)
((x sequence from-end start end key))
sequence)
(defoptimizers constants (remove remove-if remove-if-not)
((x sequence &rest rest))
sequence)
(defoptimizers constants (append nconc list*) ((&rest args))
(car (last args)))
(defoptimizer (vector-to-list derive-type) ((vector))
(when (typep (nth-value 1 (sequence-lvar-dimensions vector)) '(integer 1))