2007-04-04 15:14:17 -03:00
|
|
|
# Minimal tests for dis module
|
|
|
|
|
2008-02-23 13:40:11 -04:00
|
|
|
from test.test_support import run_unittest
|
2007-04-04 15:14:17 -03:00
|
|
|
import unittest
|
2003-02-27 17:27:07 -04:00
|
|
|
import sys
|
|
|
|
import dis
|
|
|
|
import StringIO
|
|
|
|
|
|
|
|
|
|
|
|
def _f(a):
|
2003-03-07 11:55:36 -04:00
|
|
|
print a
|
|
|
|
return 1
|
2003-02-27 17:27:07 -04:00
|
|
|
|
|
|
|
dis_f = """\
|
2003-04-29 14:07:36 -03:00
|
|
|
%-4d 0 LOAD_FAST 0 (a)
|
2003-03-07 11:55:36 -04:00
|
|
|
3 PRINT_ITEM
|
|
|
|
4 PRINT_NEWLINE
|
2003-02-27 17:27:07 -04:00
|
|
|
|
2003-04-29 14:07:36 -03:00
|
|
|
%-4d 5 LOAD_CONST 1 (1)
|
2003-03-07 11:55:36 -04:00
|
|
|
8 RETURN_VALUE
|
2003-04-29 14:07:36 -03:00
|
|
|
"""%(_f.func_code.co_firstlineno + 1,
|
|
|
|
_f.func_code.co_firstlineno + 2)
|
|
|
|
|
|
|
|
|
|
|
|
def bug708901():
|
|
|
|
for res in range(1,
|
|
|
|
10):
|
|
|
|
pass
|
|
|
|
|
|
|
|
dis_bug708901 = """\
|
|
|
|
%-4d 0 SETUP_LOOP 23 (to 26)
|
|
|
|
3 LOAD_GLOBAL 0 (range)
|
|
|
|
6 LOAD_CONST 1 (1)
|
|
|
|
|
|
|
|
%-4d 9 LOAD_CONST 2 (10)
|
|
|
|
12 CALL_FUNCTION 2
|
|
|
|
15 GET_ITER
|
|
|
|
>> 16 FOR_ITER 6 (to 25)
|
|
|
|
19 STORE_FAST 0 (res)
|
|
|
|
|
|
|
|
%-4d 22 JUMP_ABSOLUTE 16
|
|
|
|
>> 25 POP_BLOCK
|
|
|
|
>> 26 LOAD_CONST 0 (None)
|
|
|
|
29 RETURN_VALUE
|
|
|
|
"""%(bug708901.func_code.co_firstlineno + 1,
|
|
|
|
bug708901.func_code.co_firstlineno + 2,
|
|
|
|
bug708901.func_code.co_firstlineno + 3)
|
2003-02-27 17:27:07 -04:00
|
|
|
|
2005-12-18 03:06:23 -04:00
|
|
|
|
|
|
|
def bug1333982(x=[]):
|
|
|
|
assert 0, ([s for s in x] +
|
|
|
|
1)
|
|
|
|
pass
|
|
|
|
|
|
|
|
dis_bug1333982 = """\
|
|
|
|
%-4d 0 LOAD_CONST 1 (0)
|
2011-10-27 09:53:32 -03:00
|
|
|
3 POP_JUMP_IF_TRUE 41
|
2009-02-28 15:03:21 -04:00
|
|
|
6 LOAD_GLOBAL 0 (AssertionError)
|
|
|
|
9 BUILD_LIST 0
|
|
|
|
12 LOAD_FAST 0 (x)
|
|
|
|
15 GET_ITER
|
|
|
|
>> 16 FOR_ITER 12 (to 31)
|
|
|
|
19 STORE_FAST 1 (s)
|
|
|
|
22 LOAD_FAST 1 (s)
|
|
|
|
25 LIST_APPEND 2
|
|
|
|
28 JUMP_ABSOLUTE 16
|
|
|
|
|
|
|
|
%-4d >> 31 LOAD_CONST 2 (1)
|
|
|
|
34 BINARY_ADD
|
2011-10-27 09:53:32 -03:00
|
|
|
35 CALL_FUNCTION 1
|
|
|
|
38 RAISE_VARARGS 1
|
2009-02-28 15:03:21 -04:00
|
|
|
|
2011-10-27 09:53:32 -03:00
|
|
|
%-4d >> 41 LOAD_CONST 0 (None)
|
|
|
|
44 RETURN_VALUE
|
2005-12-18 03:06:23 -04:00
|
|
|
"""%(bug1333982.func_code.co_firstlineno + 1,
|
|
|
|
bug1333982.func_code.co_firstlineno + 2,
|
|
|
|
bug1333982.func_code.co_firstlineno + 3)
|
|
|
|
|
2006-07-15 22:50:38 -03:00
|
|
|
_BIG_LINENO_FORMAT = """\
|
|
|
|
%3d 0 LOAD_GLOBAL 0 (spam)
|
|
|
|
3 POP_TOP
|
|
|
|
4 LOAD_CONST 0 (None)
|
|
|
|
7 RETURN_VALUE
|
|
|
|
"""
|
|
|
|
|
2003-02-27 17:27:07 -04:00
|
|
|
class DisTests(unittest.TestCase):
|
2003-04-29 14:07:36 -03:00
|
|
|
def do_disassembly_test(self, func, expected):
|
|
|
|
s = StringIO.StringIO()
|
|
|
|
save_stdout = sys.stdout
|
|
|
|
sys.stdout = s
|
|
|
|
dis.dis(func)
|
|
|
|
sys.stdout = save_stdout
|
|
|
|
got = s.getvalue()
|
|
|
|
# Trim trailing blanks (if any).
|
|
|
|
lines = got.split('\n')
|
|
|
|
lines = [line.rstrip() for line in lines]
|
|
|
|
expected = expected.split("\n")
|
|
|
|
import difflib
|
|
|
|
if expected != lines:
|
|
|
|
self.fail(
|
|
|
|
"events did not match expectation:\n" +
|
|
|
|
"\n".join(difflib.ndiff(expected,
|
|
|
|
lines)))
|
|
|
|
|
2003-02-27 17:27:07 -04:00
|
|
|
def test_opmap(self):
|
|
|
|
self.assertEqual(dis.opmap["STOP_CODE"], 0)
|
2010-01-23 19:04:36 -04:00
|
|
|
self.assertIn(dis.opmap["LOAD_CONST"], dis.hasconst)
|
|
|
|
self.assertIn(dis.opmap["STORE_NAME"], dis.hasname)
|
2003-02-27 17:27:07 -04:00
|
|
|
|
|
|
|
def test_opname(self):
|
|
|
|
self.assertEqual(dis.opname[dis.opmap["LOAD_FAST"]], "LOAD_FAST")
|
|
|
|
|
|
|
|
def test_boundaries(self):
|
|
|
|
self.assertEqual(dis.opmap["EXTENDED_ARG"], dis.EXTENDED_ARG)
|
|
|
|
self.assertEqual(dis.opmap["STORE_NAME"], dis.HAVE_ARGUMENT)
|
|
|
|
|
|
|
|
def test_dis(self):
|
2003-04-29 14:07:36 -03:00
|
|
|
self.do_disassembly_test(_f, dis_f)
|
|
|
|
|
|
|
|
def test_bug_708901(self):
|
|
|
|
self.do_disassembly_test(bug708901, dis_bug708901)
|
2003-02-27 17:27:07 -04:00
|
|
|
|
2005-12-18 03:06:23 -04:00
|
|
|
def test_bug_1333982(self):
|
2005-12-25 18:52:32 -04:00
|
|
|
# This one is checking bytecodes generated for an `assert` statement,
|
|
|
|
# so fails if the tests are run with -O. Skip this test then.
|
|
|
|
if __debug__:
|
|
|
|
self.do_disassembly_test(bug1333982, dis_bug1333982)
|
2013-12-10 16:09:20 -04:00
|
|
|
else:
|
|
|
|
self.skipTest('need asserts, run without -O')
|
2005-12-18 03:06:23 -04:00
|
|
|
|
2006-07-15 22:50:38 -03:00
|
|
|
def test_big_linenos(self):
|
|
|
|
def func(count):
|
2006-07-18 18:55:15 -03:00
|
|
|
namespace = {}
|
|
|
|
func = "def foo():\n " + "".join(["\n "] * count + ["spam\n"])
|
|
|
|
exec func in namespace
|
|
|
|
return namespace['foo']
|
2006-07-15 22:50:38 -03:00
|
|
|
|
|
|
|
# Test all small ranges
|
|
|
|
for i in xrange(1, 300):
|
|
|
|
expected = _BIG_LINENO_FORMAT % (i + 2)
|
|
|
|
self.do_disassembly_test(func(i), expected)
|
|
|
|
|
|
|
|
# Test some larger ranges too
|
|
|
|
for i in xrange(300, 5000, 10):
|
|
|
|
expected = _BIG_LINENO_FORMAT % (i + 2)
|
|
|
|
self.do_disassembly_test(func(i), expected)
|
|
|
|
|
2003-02-27 17:27:07 -04:00
|
|
|
def test_main():
|
|
|
|
run_unittest(DisTests)
|
|
|
|
|
|
|
|
|
|
|
|
if __name__ == "__main__":
|
|
|
|
test_main()
|