1 % COMMAND-LINE: --incremental
4 QUERY 0bin0000111101010000 = 0hex0f50;
7 QUERY 0bin01@0bin0 = 0bin010;
10 QUERY 0bin0011[3:1] = 0bin001;
13 QUERY 0bin0011 << 3 = 0bin0011000;
16 QUERY 0bin1000 >> 3 = 0bin0001;
19 QUERY SX(0bin100, 5) = 0bin11100;
22 QUERY BVZEROEXTEND(0bin1,3) = 0bin0001;
25 QUERY BVREPEAT(0bin10,3) = 0bin101010;
28 QUERY BVROTL(0bin101,1) = 0bin011;
31 QUERY BVROTR(0bin101,1) = 0bin110;