--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/python/ppci/bitfun.py	Fri Mar 07 17:05:32 2014 +0100
@@ -0,0 +1,14 @@
+
+
+def rotate_right(v, n):
+    """ bit-wise Rotate right n times """
+    mask = (2**n) - 1
+    mask_bits = v & mask
+    return (v >> n) | (mask_bits << (32 - n))
+
+def rotate_left(v, n):
+    assert n >= 0
+    assert n < 32
+    return rotate_right(v, 32 - n)
+
+