Svex-lhs-preproc
Preprocesses an expression into one that only contains concat, rsh, and
signx operators.
- Signature
(svex-lhs-preproc x) → new-x
- Arguments
- x — Guard (svex-p x).
- Returns
- new-x — Type (svex-p new-x).
Handles zerox, blkrev, bitsel operators.