blob: c65baefc8d0389212c0eeab625af10f8cac0d23d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
default Order dec
$include <exception_basic.sail>
$include <flow.sail>
$include <vector_dec.sail>
$include <arith.sail>
function main (() : unit) -> unit = {
assert(shl_int(1, 10) == 1024);
assert(shl_int(1, 2) == 4);
assert(shl_int(1, 3) == 8);
assert(shl_int(1, 4) == 16);
assert(shl_int(1, 5) == 32);
assert(shl_int(1, 6) == 64);
assert(shl_int(8, 0) == 8);
assert(shl_int(8, 2) == 32);
assert(shl_int(8, 3) == 64);
}
|
