summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
Diffstat (limited to 'test')
-rw-r--r--test/builtins/clz.sail9
1 files changed, 9 insertions, 0 deletions
diff --git a/test/builtins/clz.sail b/test/builtins/clz.sail
new file mode 100644
index 00000000..5cf20068
--- /dev/null
+++ b/test/builtins/clz.sail
@@ -0,0 +1,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);
+} \ No newline at end of file