From a2f3ac70d45b6a419178e2d28a2b7be801599d13 Mon Sep 17 00:00:00 2001 From: azidar Date: Thu, 30 Jul 2015 13:47:04 -0700 Subject: Added eqv for bitwise equality, and change eq to be arithmetic equality --- src/main/stanza/passes.stanza | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/main/stanza/passes.stanza') diff --git a/src/main/stanza/passes.stanza b/src/main/stanza/passes.stanza index 36cc2c46..6ac2cfeb 100644 --- a/src/main/stanza/passes.stanza +++ b/src/main/stanza/passes.stanza @@ -1134,7 +1134,7 @@ public defmethod short-name (b:ExpandIndexedConnects) -> String : "expand-indexe defn expand-connect-indexed-stmt (s: Stmt,sh:HashTable) -> Stmt : defn equality (e1:Expression,e2:Expression) -> Expression : - DoPrim(EQUAL-OP,list(e1,e2),List(),UIntType(UnknownWidth())) + DoPrim(EQUIV-OP,list(e1,e2),List(),UIntType(UnknownWidth())) defn get-name (e:Expression) -> Symbol : match(e) : (e:WRef) : symbol-join([name(e) temp-delin]) @@ -1254,7 +1254,7 @@ defn OR (e1:Expression,e2:Expression) -> Expression : defn NOT (e1:Expression) -> Expression : if e1 == one : zero else if e1 == zero : one - else : DoPrim(EQUAL-OP,list(e1,zero),list(),UIntType(IntWidth(1))) + else : DoPrim(EQUIV-OP,list(e1,zero),list(),UIntType(IntWidth(1))) defn children (e:Expression) -> List : val es = Vector() -- cgit v1.2.3