Does any instruction in
(any-inst-needs-modr/m-p inst-lst) → *
Function:
(defun any-inst-needs-modr/m-p (inst-lst) (declare (xargs :guard (inst-list-p inst-lst))) (let ((__function__ 'any-inst-needs-modr/m-p)) (declare (ignorable __function__)) (if (endp inst-lst) nil (or (inst-needs-modr/m-p (car inst-lst)) (any-inst-needs-modr/m-p (cdr inst-lst))))))