diff options
Diffstat (limited to 'src/main/stanza/passes.stanza')
| -rw-r--r-- | src/main/stanza/passes.stanza | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/main/stanza/passes.stanza b/src/main/stanza/passes.stanza index e931e7c2..6f9160d9 100644 --- a/src/main/stanza/passes.stanza +++ b/src/main/stanza/passes.stanza @@ -1911,7 +1911,7 @@ defn split-exp (c:Circuit) : (s:Begin) : do(f,s) (s:Conditionally) : - add(v,map(split-exp-e{_,false,info(s)},s)) + add(v,map(split-exp-e{_,full-name(loc(conseq(s) as Connect)),info(s)},s)) do(f,s) (s:Connect) : match(loc(s)) : @@ -2092,6 +2092,10 @@ defn pad-widths-s (s:Stmt) -> Stmt : val i = int-width!(type(value(s))) val exp* = pad-widths-e(i,value(s)) DefNode(info(s),name(s),exp*) + (s:Conditionally) : + val i = int-width!(type(pred(s))) + val pred* = pad-widths-e(i,pred(s)) + Conditionally(info(s),pred*,conseq(s),alt(s)) (s) : s public defn pad-widths (c:Circuit) -> Circuit : |