blob: e0aaeff3716551286884666b4cf5b731dcf38db9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
default Order dec
$include <prelude.sail>
val test : forall 'n, 'n in {8,16}. (int('n),int('n),bits(1)) -> bits(64) effect pure
function test(x,y,b) = {
let 'z = x + y in
let v : bits('z) = sail_zero_extend(b,z) in
sail_zero_extend(v,64)
}
val run : unit -> unit effect {escape}
function run () = {
assert(test(8,8,0b0) == 0x0000000000000000);
assert(test(16,16,0b1) == 0x0000000000000001);
}
|
