test/builtins/clz.sail


1
2
3
4
5
6
7
8
9

default Order dec
$include <vector_dec.sail>

function main () : unit -> unit = {
  assert(count_leading_zeros(0x0) == 4);
  assert(count_leading_zeros(0x1) == 3);
  assert(count_leading_zeros(0x4) == 1);
  assert(count_leading_zeros(0xf) == 0);
}