Added low firrtl check. Corrected bug in prefix matching in high firrtl check

1 files changed, 0 insertions, 9 deletions

diff --git a/src/main/stanza/passes.stanza b/src/main/stanza/passes.stanza
index fb889cf4..53ef2f47 100644
--- a/src/main/stanza/passes.stanza
+++ b/src/main/stanza/passes.stanza
@@ -1665,15 +1665,6 @@ defn gen-constraints (m:Module, h:HashTable<Symbol,Type>, v:Vector<WGeq>) -> Mod
          (e:WSubfield) : WSubfield(exp(e),name(e),bundle-field-type(type(exp(e)),name(e)),gender(e))
          (e:WIndex) : error("Shouldn't be here")
          (e:DoPrim) : DoPrim(op(e),args(e),consts(e),primop-gen-constraints(e,v))
-         ;(e:Pad) : 
-         ;   val value-w = width!(value(e))
-         ;   val pad-w = remove-unknowns-w(width(e))
-         ;   add(v,WGeq(pad-w, value-w))
-         ;   val pad-t = match(type(e)) :
-         ;      (t:UIntType) : UIntType(pad-w)
-         ;      (t:SIntType) : SIntType(pad-w)
-         ;      (t) : error("Shouldn't be here")
-         ;   Pad(value(e),pad-w,pad-t)
          (e:ReadPort) : ReadPort(mem(e),index(e),type(type(mem(e)) as VectorType),enable(e))
          (e:WritePort) : WritePort(mem(e),index(e),type(type(mem(e)) as VectorType),enable(e))
          (e:Register) : Register(type(value(e)),value(e),enable(e))