1% COMMAND-LINE: --incremental
2
3% EXPECT: valid
4QUERY 0bin0000111101010000  = 0hex0f50;
5
6% EXPECT: valid
7QUERY 0bin01@0bin0          = 0bin010;
8
9% EXPECT: valid
10QUERY 0bin0011[3:1]         = 0bin001;
11
12% EXPECT: valid
13QUERY 0bin0011 << 3         = 0bin0011000;
14
15% EXPECT: valid
16QUERY 0bin1000 >> 3         = 0bin0001;
17
18% EXPECT: valid
19QUERY SX(0bin100, 5)        = 0bin11100;
20
21% EXPECT: valid
22QUERY BVZEROEXTEND(0bin1,3) = 0bin0001;
23
24% EXPECT: valid
25QUERY BVREPEAT(0bin10,3)    = 0bin101010;
26
27% EXPECT: valid
28QUERY BVROTL(0bin101,1)     = 0bin011;
29
30% EXPECT: valid
31QUERY BVROTR(0bin101,1)     = 0bin110;
32