1
Fork 0
mirror of git://git.sv.gnu.org/emacs.git synced 2025-12-06 06:20:55 -08:00

Fix 'comp--type-check-optim-block' it using 'comp-cstr-type-p'

* lisp/emacs-lisp/comp.el (comp--type-check-optim-block): Better
condition.
This commit is contained in:
Andrea Corallo 2024-05-31 10:24:11 +02:00
parent 0d6f3f134e
commit baf74968f9

View file

@ -2849,10 +2849,7 @@ Return t if something was changed."
(call memq ,(and (pred comp-mvar-p) mvar-1) ,(and (pred comp-mvar-p) mvar-2)))
(cond-jump ,(and (pred comp-mvar-p) mvar-3) ,(pred comp-mvar-p) ,_bb1 ,bb2))
(cl-assert (comp-cstr-imm-vld-p mvar-tag))
(when (and (length= (comp-mvar-typeset mvar-tested) 1)
(member
(car (comp-mvar-typeset mvar-tested))
(symbol-value (comp-cstr-imm mvar-tag))))
(when (comp-cstr-type-p mvar-tested (comp-cstr-cl-tag mvar-tag))
(comp-log (format "Optimizing conditional branch in function: %s"
(comp-func-name comp-func))
3)