|
|
|---|
|
|
|
|---|
(mxcsrbits-debug x) → *
Function:
(defun mxcsrbits-debug (x) (declare (xargs :guard (mxcsrbits-p x))) (let ((__function__ 'mxcsrbits-debug)) (declare (ignorable __function__)) (b* (((mxcsrbits x))) (cons (cons 'ie x.ie) (cons (cons 'de x.de) (cons (cons 'ze x.ze) (cons (cons 'oe x.oe) (cons (cons 'ue x.ue) (cons (cons 'pe x.pe) (cons (cons 'daz x.daz) (cons (cons 'im x.im) (cons (cons 'dm x.dm) (cons (cons 'zm x.zm) (cons (cons 'om x.om) (cons (cons 'um x.um) (cons (cons 'pm x.pm) (cons (cons 'rc x.rc) (cons (cons 'ftz x.ftz) (cons (cons 'reserved x.reserved) nil)))))))))))))))))))