((/nonstd/ihs/basic-definitions.lisp::logmaskp (nil nil nil nil nil (mbe) nil) ((:logic :exec) nil nil (and) (and) nil nil) (nil nil (integerp integerp) (>= equal =) nil nil nil) ((i i i i i) (0) nil (- -) nil nil nil) (nil (1 1) (expt2) (ash) nil nil nil) (nil (1) (integer-length integer-length) nil nil nil nil) ((i i) nil nil nil nil nil nil)) (/nonstd/ihs/basic-definitions.lisp::logapp (nil nil nil nil nil (mbe) nil) ((:logic :exec) nil nil (let +) nil nil nil) (((j (ifix j))) nil nil (+ loghead ash) nil nil nil) ((size i j size) nil nil (loghead *) nil nil nil) ((size i j) nil (expt2) nil nil nil nil) ((size) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/basic-definitions.lisp::logrpl (nil nil nil nil (logapp) nil nil) ((size i) nil nil (logtail) nil nil nil) ((size j) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/basic-definitions.lisp::logext (nil nil nil nil (logapp) nil nil) ((i) nil (1-) nil (if) nil nil) ((size) (-1 0) nil (logbitp) nil nil nil) ((i) nil (1-) nil nil nil nil) ((size) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/basic-definitions.lisp::logrev1 (nil nil nil nil (if) nil nil) (nil nil (zp ifix) nil (recursive-call) nil nil) ((size j) nil (logcdr) (- logcons) nil nil nil) ((size i j) (1) (logcar) nil nil nil nil) ((i) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/basic-definitions.lisp::logrev (nil nil nil nil (logrev1) nil nil) ((size i) (0) nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/basic-definitions.lisp::logsat (nil nil nil (let*) nil nil nil) (nil nil nil nil ((i (ifix i)) if) nil nil) ((maxval) nil (val maxval minval) (>=) (if) nil nil) ((i maxval minval i) nil (expt2 1- -) (<=) nil nil nil) ((val val i minval) nil (1-) nil nil nil nil) ((size) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/basic-definitions.lisp::logextu (nil nil nil (loghead) nil nil nil) ((final-size) nil nil (logext) nil nil nil) ((ext-size i) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/basic-definitions.lisp::lognotu (nil nil nil (loghead) nil nil nil) ((size) nil (lognot) nil nil nil nil) ((i) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/basic-definitions.lisp::ashu (nil nil nil (loghead) nil nil nil) ((size) nil nil (ash) nil nil nil) ((cnt) nil nil (logext) nil nil nil) ((size i) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/basic-definitions.lisp::lshu (nil nil nil (loghead) nil nil nil) ((size) nil nil (ash) nil nil nil) ((cnt) nil nil (loghead) nil nil nil) ((size i) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))