Re: [M-Labs devel] [PATCH] fiter, fslice, freversed and Cat([a, b...])

2013-12-02 Thread Robert Jördens
verify that fslice() works correctly for negative values, fix doctests.

-- 
Robert Jordens.
From cd1c8ef43eb1e798ca1b68f3c55858787e7ab817 Mon Sep 17 00:00:00 2001
From: Robert Jordens 
Date: Mon, 2 Dec 2013 19:32:13 -0700
Subject: [PATCH] migen.fhdl.size: verify fslice for negative values

---
 migen/fhdl/size.py  | 14 +-
 migen/test/test_size.py |  3 +++
 2 files changed, 12 insertions(+), 5 deletions(-)

diff --git a/migen/fhdl/size.py b/migen/fhdl/size.py
index e771ccc..345c9c5 100644
--- a/migen/fhdl/size.py
+++ b/migen/fhdl/size.py
@@ -161,16 +161,20 @@ def fslice(v, s):
 
 	Examples
 	
-	>>> fslice(Signal(2), 1) #doctest: +ELLIPSIS
+	>>> fslice(f.Signal(2), 1) #doctest: +ELLIPSIS
 	
 	>>> bin(fslice(0b1101, slice(1, None, 2)))
 	'0b10'
+	>>> fslice(-1, slice(0, 4))
+	1
+	>>> fslice(-7, slice(None))
+	9
 	"""
 	if isinstance(v, (bool, int)):
 		if isinstance(s, int):
 			s = slice(s)
-		idx = range(*s.indices(flen(v)))
-		return sum(((v>>i) & 1) << j for j, i in enumerate(idx))
+		idx = range(*s.indices(bits_for(v)))
+		return sum(((v >> i) & 1) << j for j, i in enumerate(idx))
 	elif isinstance(v, f.Value):
 		return v[s]
 	else:
@@ -190,8 +194,8 @@ def freversed(v):
 
 	Examples
 	
-	>>> freversed(Signal(2)) #doctest: +ELLIPSIS
-	
+	>>> freversed(f.Signal(2)) #doctest: +ELLIPSIS
+	
 	>>> bin(freversed(0b1011))
 	'0b1101'
 	"""
diff --git a/migen/test/test_size.py b/migen/test/test_size.py
index 07b3052..a55ad43 100644
--- a/migen/test/test_size.py
+++ b/migen/test/test_size.py
@@ -32,6 +32,9 @@ class SignalSizeCase(unittest.TestCase):
 		fslice(self.s, sl)
 		self.assertEqual(fslice(self.i, sl), 15)
 		self.assertEqual(fslice(self.j, sl), 8)
+		self.assertEqual(fslice(-1, 9), 1)
+		self.assertEqual(fslice(-1, slice(0, 4)), 0b1)
+		self.assertEqual(fslice(-7, slice(0, None, 1)), 0b1001)
 
 	def test_fslice_type(self):
 		self.assertRaises(TypeError, fslice, [], 3)
-- 
1.8.3.2

___
Devel mailing list
Devel@lists.milkymist.org
https://ssl.serverraum.org/lists/listinfo/devel


[M-Labs devel] [PATCH] fiter, fslice, freversed and Cat([a, b...])

2013-12-02 Thread Robert Jördens
a couple language improvements as discussed.

-- 
Robert Jordens.
From 0d2a74c63d520036030086960a4e69131ae909b5 Mon Sep 17 00:00:00 2001
From: Robert Jordens 
Date: Mon, 2 Dec 2013 17:19:32 -0700
Subject: [PATCH 1/3] migen.fhdl.size: add fiter(), fslice(), and freversed()

do not overload __len__, __iter__, __reversed__ as not all valid
expressions (ints and bools) have them. furthermore len([]) is and
should be different from flen([]) (the later raises an error). keep
__getitem__ as an exception that proves the rule ;)
---
 doc/api.rst |  7 
 migen/fhdl/size.py  | 98 -
 migen/fhdl/std.py   |  2 +-
 migen/test/test_size.py | 45 +++
 4 files changed, 150 insertions(+), 2 deletions(-)
 create mode 100644 migen/test/test_size.py

diff --git a/doc/api.rst b/doc/api.rst
index 06c8a55..d49b9b7 100644
--- a/doc/api.rst
+++ b/doc/api.rst
@@ -8,6 +8,13 @@ migen API Documentation
 :members:
 :show-inheritance:
 
+:mod:`fhdl.size` Module
+--
+
+.. automodule:: migen.fhdl.size
+:members:
+:show-inheritance:
+
 :mod:`genlib.fifo` Module
 --
 
diff --git a/migen/fhdl/size.py b/migen/fhdl/size.py
index a116901..e771ccc 100644
--- a/migen/fhdl/size.py
+++ b/migen/fhdl/size.py
@@ -96,7 +96,103 @@ def value_bits_sign(v):
 		bsc = map(value_bits_sign, v.choices)
 		return max(bs[0] for bs in bsc), any(bs[1] for bs in bsc)
 	else:
-		raise TypeError
+		raise TypeError("Can not calculate bit length of {} {}".format(
+			type(v), v))
 
 def flen(v):
+	"""Bit length of an expression
+
+	Parameters
+	--
+	v : int, bool or Value
+
+	Returns
+	---
+	int
+		Number of bits required to store `v` or available in `v`
+
+	Examples
+	
+	>>> flen(f.Signal(8))
+	8
+	>>> flen(0xaa)
+	8
+	"""
 	return value_bits_sign(v)[0]
+
+def fiter(v):
+	"""Bit iterator
+
+	Parameters
+	--
+	v : int, bool or Value
+
+	Returns
+	---
+	iter
+		Iterator over the bits in `v`
+
+	Examples
+	
+	>>> list(fiter(f.Signal(2))) #doctest: +ELLIPSIS
+	[, ]
+	>>> list(fiter(4))
+	[0, 0, 1]
+	"""
+	if isinstance(v, (bool, int)):
+		return ((v >> i) & 1 for i in range(bits_for(v)))
+	elif isinstance(v, f.Value):
+		return (v[i] for i in range(flen(v)))
+	else:
+		raise TypeError("Can not bit-iterate {} {}".format(type(v), v))
+
+def fslice(v, s):
+	"""Bit slice
+
+	Parameters
+	--
+	v : int, bool or Value
+	s : slice or int
+
+	Returns
+	---
+	int or Value
+		Expression for the slice `s` of `v`.
+
+	Examples
+	
+	>>> fslice(Signal(2), 1) #doctest: +ELLIPSIS
+	
+	>>> bin(fslice(0b1101, slice(1, None, 2)))
+	'0b10'
+	"""
+	if isinstance(v, (bool, int)):
+		if isinstance(s, int):
+			s = slice(s)
+		idx = range(*s.indices(flen(v)))
+		return sum(((v>>i) & 1) << j for j, i in enumerate(idx))
+	elif isinstance(v, f.Value):
+		return v[s]
+	else:
+		raise TypeError("Can not bit-slice {} {}".format(type(v), v))
+
+def freversed(v):
+	"""Bit reverse
+
+	Parameters
+	--
+	v : int, bool or Value
+
+	Returns
+	---
+	int or Value
+		Expression containing the bit reversed input.
+
+	Examples
+	
+	>>> freversed(Signal(2)) #doctest: +ELLIPSIS
+	
+	>>> bin(freversed(0b1011))
+	'0b1101'
+	"""
+	return fslice(v, slice(None, None, -1))
diff --git a/migen/fhdl/std.py b/migen/fhdl/std.py
index 3a4a3de..b9ec729 100644
--- a/migen/fhdl/std.py
+++ b/migen/fhdl/std.py
@@ -1,5 +1,5 @@
 from migen.fhdl.structure import *
 from migen.fhdl.module import Module
 from migen.fhdl.specials import TSTriple, Instance, Memory
-from migen.fhdl.size import log2_int, bits_for, flen
+from migen.fhdl.size import log2_int, bits_for, flen, fiter, fslice, freversed
 from migen.fhdl.decorators import DecorateModule, InsertCE, InsertReset, RenameClockDomains
diff --git a/migen/test/test_size.py b/migen/test/test_size.py
new file mode 100644
index 000..07b3052
--- /dev/null
+++ b/migen/test/test_size.py
@@ -0,0 +1,45 @@
+import unittest
+
+from migen.fhdl.std import *
+
+class SignalSizeCase(unittest.TestCase):
+	def setUp(self):
+		self.i = 0xaa
+		self.j = -127
+		self.s = Signal((13, True))
+
+	def test_flen(self):
+		self.assertEqual(flen(self.s), 13)
+		self.assertEqual(flen(self.i), 8)
+		self.assertEqual(flen(self.j), 8)
+
+	def test_flen_type(self):
+		self.assertRaises(TypeError, flen, [])
+
+	def test_fiter(self):
+		for i, si in enumerate(fiter(self.s)):
+			self.assertEqual(si, self.s[i])
+		self.assertEqual(list(fiter(self.i)),
+[(self.i >> i) & 1 for i in range(8)])
+		self.assertEqual(list(fiter(self.j)),
+[(self.j >> i) & 1 for i in range(8)])
+
+	def test_fiter_type(self):
+		self.assertRaises(TypeError, fiter, [])
+
+	def test_fslice(self):
+		sl = slice(1, None, 2)
+		fslice(self.s, sl)
+		self.assertEqual(fslice(self.i, sl), 15)
+		self.assertEqual(fslice(self.j, sl), 8)
+
+	def test_fslice_type(self):
+		self.assertRaises(TypeErr