diff options
| author | Andres Notzli <andres.noetzli@gmail.com> | 2016-11-30 10:29:27 -0800 |
|---|---|---|
| committer | Andres Notzli <andres.noetzli@gmail.com> | 2016-11-30 10:34:42 -0800 |
| commit | f57cffc90547ea1c7c42d7b5a7d894c4e13eef94 (patch) | |
| tree | 0ac3027ad3298d557ec3fdaddbcbbbe9910c8dd4 /test/regress/regress0/cvc3.userdoc.01.cvc | |
| parent | bc2378517a2f4100ba614cd44b3aa047089c82c8 (diff) | |
Fix parsing of BVROTR by CVC parser
This commit fixes Bugzilla bug 766 as proposed by jacobly.alt@gmail.com.
Diffstat (limited to 'test/regress/regress0/cvc3.userdoc.01.cvc')
| -rw-r--r-- | test/regress/regress0/cvc3.userdoc.01.cvc | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/test/regress/regress0/cvc3.userdoc.01.cvc b/test/regress/regress0/cvc3.userdoc.01.cvc new file mode 100644 index 000000000..7c89de4ac --- /dev/null +++ b/test/regress/regress0/cvc3.userdoc.01.cvc @@ -0,0 +1,31 @@ +% COMMAND-LINE: --incremental + +% EXPECT: valid +QUERY 0bin0000111101010000 = 0hex0f50; + +% EXPECT: valid +QUERY 0bin01@0bin0 = 0bin010; + +% EXPECT: valid +QUERY 0bin0011[3:1] = 0bin001; + +% EXPECT: valid +QUERY 0bin0011 << 3 = 0bin0011000; + +% EXPECT: valid +QUERY 0bin1000 >> 3 = 0bin0001; + +% EXPECT: valid +QUERY SX(0bin100, 5) = 0bin11100; + +% EXPECT: valid +QUERY BVZEROEXTEND(0bin1,3) = 0bin0001; + +% EXPECT: valid +QUERY BVREPEAT(0bin10,3) = 0bin101010; + +% EXPECT: valid +QUERY BVROTL(0bin101,1) = 0bin011; + +% EXPECT: valid +QUERY BVROTR(0bin101,1) = 0bin110; |