From 27cf24baf580527fbddbdc4dce81c46a9ac768c7 Mon Sep 17 00:00:00 2001 From: azidar Date: Thu, 30 Apr 2015 10:38:31 -0700 Subject: Fixed bug that added multiple arguements to OR, instead of a reduce-or --- src/main/stanza/passes.stanza | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'src') diff --git a/src/main/stanza/passes.stanza b/src/main/stanza/passes.stanza index 5d2abb81..5d1848f0 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) -> 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)) : -- cgit v1.2.3