circt
circt copied to clipboard
Published
20 hours ago •
llvm
llvm
[Comb] Officialize support for zero-width integers
This PR makes the undocumented support of i0 in comb official by removing the documentation stating it is not supported and adding a few tests to the canonicalizer (and marginally to the lowering to SV which has already been testing it for the most part).
I also adjusted the verifier for the replicate op so it is more consistent with the mathematical definition of a multiple.
@maerhart @fabianschuiki I have also documented it so people can come and remove the constraint if they can provide a situation where they need it.