diff options
| author | azidar | 2015-08-04 16:41:41 -0700 |
|---|---|---|
| committer | azidar | 2015-08-04 16:41:41 -0700 |
| commit | 0ec003236680c50ff3f4a90da007fd9e39ba2e4f (patch) | |
| tree | 5cbdb0f27884c5732145e7c4fa2478fd533b7cf9 /test | |
| parent | ede7df1a99a7b5bf44ccfca4f7beb650e65f8b8b (diff) | |
Added check for reading from outputs with flips
Diffstat (limited to 'test')
| -rw-r--r-- | test/passes/infer-types/primops.fir | 4 |
1 files changed, 2 insertions, 2 deletions
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> |