From 0ec003236680c50ff3f4a90da007fd9e39ba2e4f Mon Sep 17 00:00:00 2001
From: azidar
Date: Tue, 4 Aug 2015 16:41:41 -0700
Subject: Added check for reading from outputs with flips

---
 test/passes/infer-types/primops.fir | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'test')

diff --git a/test/passes/infer-types/primops.fir b/test/passes/infer-types/primops.fir
index 89c06e7e..45c88a43 100644
--- a/test/passes/infer-types/primops.fir
+++ b/test/passes/infer-types/primops.fir
@@ -150,10 +150,10 @@ circuit top :
       node wnot = not(a) ;CHECK: node wnot = not(a@<t:UInt>)@<t:UInt>
       node unot = not(c) ;CHECK: node unot = not(c@<t:SInt>)@<t:SInt>
 
-      node wand = and(a, b) ;CHECK: node wand = and(a@<t:UInt>, b@<t:UInt>)@<t:UInt>
+      node wand_ = and(a, b) ;CHECK: node wand_ = and(a@<t:UInt>, b@<t:UInt>)@<t:UInt>
       node uand = and(c, d) ;CHECK: node uand = and(c@<t:SInt>, d@<t:SInt>)@<t:SInt>
 
-      node wor = or(a, b)  ;CHECK: node wor = or(a@<t:UInt>, b@<t:UInt>)@<t:UInt>
+      node wor_ = or(a, b)  ;CHECK: node wor_ = or(a@<t:UInt>, b@<t:UInt>)@<t:UInt>
       node uor = or(c, d)  ;CHECK: node uor = or(c@<t:SInt>, d@<t:SInt>)@<t:SInt>
 
       node wxor = xor(a, b) ;CHECK: node wxor = xor(a@<t:UInt>, b@<t:UInt>)@<t:UInt>
-- 
cgit v1.2.3