mirrors/ecl
1
Fork 0
mirror of https://gitlab.com/embeddable-common-lisp/ecl.git synced 2026-01-16 06:12:25 -08:00
Code Issues Projects Releases Packages Wiki Activity

Type inference for LOGAND

Browse source
This commit is contained in:
Juan Jose Garcia Ripoll 2012-01-01 19:32:50 +01:00
parent cc83b4c01f
commit fc0fb82757
1 changed files with 11 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

11
src/cmp/cmpopt-bits.lsp
View file

@ -70,3 +70,14 @@
(abs shift))
nil t)))))
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;
;;; TYPE PROPAGATION
;;;
(def-type-propagator logand (a b)
(let ((output (dolist (int-type '((UNSIGNED-BYTE 8) FIXNUM) 'INTEGER)
(when (or (subtypep a int-type)
(subtypep b int-type))
(return int-type)))))
(values (list a b) output)))