		Search-engine friendly clone of the ACL2 documentation.

Modr/m-detection

Operand-needs-modr/m-p

True if operand needs a modr/m byte

Signature
(operand-needs-modr/m-p operand) → *
Arguments: operand — Guard (operand-type-p operand).

Definitions and Theorems

Function: operand-needs-modr/m-p

(defun operand-needs-modr/m-p (operand)
 (declare (xargs :guard (operand-type-p operand)))
 (let ((__function__ 'operand-needs-modr/m-p))
  (declare (ignorable __function__))
  (b* (((when (null operand)) nil)
       (zop (car operand)))
   (cdr (assoc-equal
             :modr/m?
             (cdr (assoc-equal zop *z-addressing-method-info*)))))))