diff options
| author | azidar | 2015-04-29 11:42:37 -0700 |
|---|---|---|
| committer | azidar | 2015-04-29 11:42:37 -0700 |
| commit | ddc0dfe7a5f942ad1066b86b4f3ba9494493c6ed (patch) | |
| tree | c440e3569707a0451da1330a2fd036718c36a9d7 /test/passes/infer-types | |
| parent | c46608d92bd493fa33c3c5122341c716ca75ecb0 (diff) | |
Added dshl and dshr
Diffstat (limited to 'test/passes/infer-types')
| -rw-r--r-- | test/passes/infer-types/primops.fir | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/test/passes/infer-types/primops.fir b/test/passes/infer-types/primops.fir index a17d8f67..589ab546 100644 --- a/test/passes/infer-types/primops.fir +++ b/test/passes/infer-types/primops.fir @@ -115,6 +115,14 @@ circuit top : node wshl-u = shl-u(a, 10) ;CHECK: node wshl-u = shl-u(a@<t:UInt>, 10)@<t:UInt> node zshl-s = shl-s(c, 10) ;CHECK: node zshl-s = shl-s(c@<t:SInt>, 10)@<t:SInt> + node vdshl = dshl(a, a) ;CHECK: node vdshl = dshl-u(a@<t:UInt>, a@<t:UInt>)@<t:UInt> + node wdshl-u = dshl-u(a, a) ;CHECK: node wdshl-u = dshl-u(a@<t:UInt>, a@<t:UInt>)@<t:UInt> + node zdshl-s = dshl-s(c, a) ;CHECK: node zdshl-s = dshl-s(c@<t:SInt>, a@<t:UInt>)@<t:SInt> + + node vdshr = dshr(a, a) ;CHECK: node vdshr = dshr-u(a@<t:UInt>, a@<t:UInt>)@<t:UInt> + node wdshr-u = dshr-u(a, a) ;CHECK: node wdshr-u = dshr-u(a@<t:UInt>, a@<t:UInt>)@<t:UInt> + node zdshr-s = dshr-s(c, a) ;CHECK: node zdshr-s = dshr-s(c@<t:SInt>, a@<t:UInt>)@<t:SInt> + node vshr = shr(a, 10) ;CHECK: node vshr = shr-u(a@<t:UInt>, 10)@<t:UInt> node wshr-u = shr-u(a, 10) ;CHECK: node wshr-u = shr-u(a@<t:UInt>, 10)@<t:UInt> node zshr-s = shr-s(c, 10) ;CHECK: node zshr-s = shr-s(c@<t:SInt>, 10)@<t:SInt> |