test/c/rv_duopod_bug.sail


1
2
3
4
5
6
7
8
9
10
11
12
13

default Order dec

$include <prelude.sail>

val rX : int -> bits(64)

function rX 0 = sail_zeros(64)
and rX (r if r > 0) = sail_ones(64)

function main() -> unit = {
  print_bits("0 ", rX(0));
  print_bits("1 ", rX(1))
}