		Search-engine friendly clone of the ACL2 documentation.

Delayredux

Vl-why-is-gatearg-bad-for-delayredux

For error reporting, say what the problem with this bad argument is.

Signature
(vl-why-is-gatearg-bad-for-delayredux x) → *
Arguments: x — Guard (vl-plainarg-p x).

Definitions and Theorems

Function: vl-why-is-gatearg-bad-for-delayredux

(defun vl-why-is-gatearg-bad-for-delayredux (x)
  (declare (xargs :guard (vl-plainarg-p x)))
  (let ((__function__ 'vl-why-is-gatearg-bad-for-delayredux))
    (declare (ignorable __function__))
    (b* (((vl-plainarg x) x)
         (width (and x.expr (vl-expr->finalwidth x.expr))))
      (cond ((eq x.dir :vl-inout)
             "has direction 'inout'")
            ((not x.dir) "has unresolved direction")
            ((not width) "has uncomputed width")
            ((not (equal width 1))
             (cat "has width " (natstr width)))))))