From b4a08d0815342b6238d307864f0823d0f07bb691 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Tue, 26 May 2020 22:04:20 +0200
Subject: k1c -> kvx changes

---
 kvx/bitmasks.py | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100755 kvx/bitmasks.py

(limited to 'kvx/bitmasks.py')

diff --git a/kvx/bitmasks.py b/kvx/bitmasks.py
new file mode 100755
index 00000000..9f6987d6
--- /dev/null
+++ b/kvx/bitmasks.py
@@ -0,0 +1,12 @@
+#!/usr/bin/env python3
+def bitmask(to, fr):
+    bit_to = 1<<to
+    return (bit_to | (bit_to - 1)) & ~((1<<fr)-1)
+
+def bitmask2(to, fr):
+    bit_to = 1<<to
+    return bit_to + (bit_to - (1 << fr))
+
+for stop in range(32):
+    for start in range(stop+1):
+        assert(bitmask(stop, start) == bitmask2(stop, start))
-- 
cgit