aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorjackbackrack2015-04-30 10:42:58 -0700
committerjackbackrack2015-04-30 10:42:58 -0700
commit8bd45aa18687f035ff9590ae631ed670fc4a1d90 (patch)
tree71ec262f0f806ad94c8928140da29e7c79beab41 /src
parentc3029680c2e1c7d61586240257da8b672c123c01 (diff)
parent27cf24baf580527fbddbdc4dce81c46a9ac768c7 (diff)
merge
Diffstat (limited to 'src')
-rw-r--r--src/main/stanza/passes.stanza3
1 files changed, 1 insertions, 2 deletions
diff --git a/src/main/stanza/passes.stanza b/src/main/stanza/passes.stanza
index 496ed8b0..3e8eb884 100644
--- a/src/main/stanza/passes.stanza
+++ b/src/main/stanza/passes.stanza
@@ -1168,8 +1168,7 @@ defn get-read-enable (sym:Symbol,table:HashTable<Symbol,SymbolicValue>) -> Expre
val e2 = get-single-read-enable(sym,alt(sv))
if e1 == e2 : OR(e0,e1)
else : OR(e0,OR(AND(pred(sv),e1),AND(NOT(pred(sv)),e2)))
- DoPrim{BIT-OR-OP,_,list(),UIntType(IntWidth(1))} $ to-list $
- for y in table stream : get-single-read-enable(sym,value(y))
+ reduce-or $ to-list $ for y in table stream : get-single-read-enable(sym,value(y))
defn get-write-enable (sv:SymbolicValue) -> SymbolicValue :
match(map(get-write-enable,sv)) :