test/c/fast_signed.sail


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

default Order dec

$include <prelude.sail>

function main((): unit) -> unit = {
  let x = signed(0xFF);
  let y = signed(0xFFFF);
  let z = signed(0xFFFFFFFF_FFFFFFFF);
  let w = signed(0xFFFFFFFF_FFFFFFFF_FFFFFFFF_FFFFFFFF);
  print_int("x = ", x);
  print_int("y = ", y);
  print_int("z = ", z);
  print_int("w = ", w);
  let x = signed(0x80);
  let y = signed(0x8000);
  let z = signed(0x80000000_00000000);
  let w = signed(0x80000000_00000000_00000000_00000000);
  print_int("x = ", x);
  print_int("y = ", y);
  print_int("z = ", z);
  print_int("w = ", w);
  let x = signed(0x7F);
  let y = signed(0x7FFF);
  let z = signed(0x7FFFFFFF_FFFFFFFF);
  let w = signed(0x7FFFFFFF_FFFFFFFF_FFFFFFFF_FFFFFFFF);
  print_int("x = ", x);
  print_int("y = ", y);
  print_int("z = ", z);
  print_int("w = ", w);
}