Add checks on register clock and reset types (#33) (#553)

Remove infix notation on calls with side effects.

1 files changed, 6 insertions, 0 deletions

diff --git a/src/main/scala/firrtl/passes/CheckWidths.scala b/src/main/scala/firrtl/passes/CheckWidths.scala
index 24735009..8f6ab18f 100644
--- a/src/main/scala/firrtl/passes/CheckWidths.scala
+++ b/src/main/scala/firrtl/passes/CheckWidths.scala
@@ -92,6 +92,12 @@ object CheckWidths extends Pass {
               errors.append(new AttachWidthsNotEqual(infox, mname, e.serialize, exprs.head.serialize))
           )
           s
+        case sx: DefRegister =>
+          sx.reset.tpe match {
+            case UIntType(IntWidth(w)) if w == 1 =>
+            case _ => errors.append(new CheckTypes.IllegalResetType(info, mname, sx.name))
+          }
+          s
         case _ => s
       }
     }