LGTM, + replace "if"s with "assert"s
|749 ↗||(On Diff #114542)|
sizeinbits of AnyExt should be checked on IR level.
|743 ↗||(On Diff #114540)|
I assume that source and dest should be always from the same reg bank. If yes, please put "assert" here. If no, please add a comment in what case it is not handled.