Disable setter for %fun-lambda-list
View Changes

Clear more stale tail set optimistic types.
View Changes

ir1opt: Improve CONVERGED-VAR-TYPE precision.
View Changes

constraint: Refactor some arithmetic relational constraint logic.
View Changes

loop: Flesh out support for strange loops
View Changes

Don't have special logic for local calls in DFO and block joining.
View Changes

find-dominators: Clear stale dominators before recomputing them.
View Changes

Fix integer multiplication by 0
View Changes

ctype-of: don't go chasing nested conses
View Changes

x86-64: a lifetime issue in ash-right-two-words-variable
View Changes

Fix ARRAY-DIMENSION derive-type
View Changes

Work around a range-transform issue
View Changes

Fix an off-by-one in a divisibility transform
View Changes

Don't apply modarith to ratio arguments
View Changes

Don't lose types in %constant-fold-call-multiple-uses
View Changes

x86-64: fix simd-position32-from-end
View Changes

Revert "Fix nlx-entry on ppc64"
View Changes

Don't call (info :function :type name) on (labels ...)
View Changes

erase-lvar-type: erase lambda-var-defined-type too
View Changes

erase-lvar-type: clear lambda-var-optimistic-type
View Changes

Fix nlx-entry on ppc64
View Changes

Fold (equalp (the (array fixnum) a) #(1 2 t)) to NIL
View Changes

Relax a type
View Changes

x86-64: don't align loops in &key processing
View Changes

arm64/jump-table: use fewer temporaries
View Changes

Add a way to adjust sc load costs for VOP args
View Changes

select-tagging: precompute vop-info-arg-tags
View Changes

x86-64/emit-inline-add-sub: don't do stack-to-stack moves
View Changes

Add a VOP for shifting left any-reg into signed-reg
View Changes

Add ash-right-c/signed=>fixnum
View Changes