test/builtins/count_leading_zeros.sail


1
2
3
4
5
6
7
8
9
10
11

default Order dec

$include <vector_dec.sail>

val main : unit -> unit effect {escape}

function main () = {
  foreach (i from 0 to 32 by 1 in inc) {
    assert(count_leading_zeros(sail_shiftright(0xDEADBEEF, i)) == i);
  }
}