(vl-edgesplit-atomicstmt-p x) → *
Function:
(defun vl-edgesplit-atomicstmt-p (x) (declare (xargs :guard (vl-stmt-p x))) (declare (xargs :guard (vl-atomicstmt-p x))) (let ((__function__ 'vl-edgesplit-atomicstmt-p)) (declare (ignorable __function__)) (case (vl-stmt-kind x) (:vl-nullstmt t) (:vl-assignstmt (b* (((vl-assignstmt x) x)) (and (eq x.type :vl-nonblocking) (vl-idexpr-p x.lvalue)))) (otherwise nil))))