Sib-debug
- Signature
(sib-debug x) → *
- Arguments
- x — Guard (sib-p x).
Definitions and Theorems
Function: sib-debug$inline
(defun sib-debug$inline (x)
(declare (xargs :guard (sib-p x)))
(b* (((sib x)))
(cons (cons 'base x.base)
(cons (cons 'index x.index)
(cons (cons 'scale x.scale) nil)))))
