def test_to_bytecode_consts(self):
# x = -0.0
# x = +0.0
#
# code optimized by the CPython 3.6 peephole optimizer which emits
# duplicated constants (0.0 is twice in consts).
code = ConcreteBytecode()
code.consts = [0.0, None, -0.0, 0.0]
code.names = ["x", "y"]
code.extend([
ConcreteInstr("LOAD_CONST", 2, lineno=1),
ConcreteInstr("STORE_NAME", 0, lineno=1),
ConcreteInstr("LOAD_CONST", 3, lineno=2),
ConcreteInstr("STORE_NAME", 1, lineno=2),
ConcreteInstr("LOAD_CONST", 1, lineno=2),
ConcreteInstr("RETURN_VALUE", lineno=2),
])
code = code.to_bytecode().to_concrete_bytecode()
# the conversion changes the constant order: the order comes from
# the order of LOAD_CONST instructions
self.assertEqual(code.consts, [-0.0, 0.0, None])
code.names = ["x", "y"]
self.assertListEqual(
list(code),
[
ConcreteInstr("LOAD_CONST", 0, lineno=1),
ConcreteInstr("STORE_NAME", 0, lineno=1),
ConcreteInstr("LOAD_CONST", 1, lineno=2),
ConcreteInstr("STORE_NAME", 1, lineno=2),
ConcreteInstr("LOAD_CONST", 2, lineno=2),
ConcreteInstr("RETURN_VALUE", lineno=2),
],
)
def test_cellvar_freevar(self):
concrete = ConcreteBytecode()
concrete.cellvars = ["cell"]
concrete.freevars = ["free"]
concrete.append(ConcreteInstr("LOAD_DEREF", 0))
concrete.append(ConcreteInstr("LOAD_DEREF", 1))
code = concrete.to_code()
concrete = ConcreteBytecode.from_code(code)
self.assertEqual(concrete.cellvars, ["cell"])
self.assertEqual(concrete.freevars, ["free"])
self.assertEqual(
list(concrete),
[
ConcreteInstr("LOAD_DEREF", 0, lineno=1),
ConcreteInstr("LOAD_DEREF", 1, lineno=1),
],
)
bytecode = concrete.to_bytecode()
self.assertEqual(bytecode.cellvars, ["cell"])
self.assertEqual(
list(bytecode),
[
Instr("LOAD_DEREF", CellVar("cell"), lineno=1),
Instr("LOAD_DEREF", FreeVar("free"), lineno=1),
],
)
def test_setlineno(self):
# x = 7
# y = 8
# z = 9
concrete = ConcreteBytecode()
concrete.consts = [7, 8, 9]
concrete.names = ["x", "y", "z"]
concrete.first_lineno = 3
concrete.extend(
[
ConcreteInstr("LOAD_CONST", 0),
ConcreteInstr("STORE_NAME", 0),
SetLineno(4),
ConcreteInstr("LOAD_CONST", 1),
ConcreteInstr("STORE_NAME", 1),
SetLineno(5),
ConcreteInstr("LOAD_CONST", 2),
ConcreteInstr("STORE_NAME", 2),
]
)
code = concrete.to_bytecode()
self.assertEqual(
code,
[
Instr("LOAD_CONST", 7, lineno=3),
Instr("STORE_NAME", "x", lineno=3),
Instr("LOAD_CONST", 8, lineno=4),
Instr("STORE_NAME", "y", lineno=4),
Instr("LOAD_CONST", 9, lineno=5),
Instr("STORE_NAME", "z", lineno=5),
],
)
def test_setlineno(self):
# x = 7
# y = 8
# z = 9
concrete = ConcreteBytecode()
concrete.consts = [7, 8, 9]
concrete.names = ['x', 'y', 'z']
concrete.first_lineno = 3
concrete.extend([ConcreteInstr("LOAD_CONST", 0),
ConcreteInstr("STORE_NAME", 0),
SetLineno(4),
ConcreteInstr("LOAD_CONST", 1),
ConcreteInstr("STORE_NAME", 1),
SetLineno(5),
ConcreteInstr("LOAD_CONST", 2),
ConcreteInstr("STORE_NAME", 2)])
code = concrete.to_bytecode()
self.assertEqual(code,
[Instr("LOAD_CONST", 7, lineno=3),
Instr("STORE_NAME", 'x', lineno=3),
Instr("LOAD_CONST", 8, lineno=4),
Instr("STORE_NAME", 'y', lineno=4),
Instr("LOAD_CONST", 9, lineno=5),
Instr("STORE_NAME", 'z', lineno=5)])
def test_load_classderef(self):
concrete = ConcreteBytecode()
concrete.cellvars = ['__class__']
concrete.freevars = ['__class__']
concrete.extend([
ConcreteInstr('LOAD_CLASSDEREF', 1),
ConcreteInstr('STORE_DEREF', 1)
])
bytecode = concrete.to_bytecode()
self.assertEqual(bytecode.freevars, ['__class__'])
self.assertEqual(bytecode.cellvars, ['__class__'])
self.assertEqual(list(bytecode), [
Instr('LOAD_CLASSDEREF', FreeVar('__class__'), lineno=1),
Instr('STORE_DEREF', FreeVar('__class__'), lineno=1)
])
concrete = bytecode.to_concrete_bytecode()
self.assertEqual(concrete.freevars, ['__class__'])
self.assertEqual(concrete.cellvars, ['__class__'])
self.assertEqual(list(concrete), [
ConcreteInstr('LOAD_CLASSDEREF', 1, lineno=1),
ConcreteInstr('STORE_DEREF', 1, lineno=1)
])
code = concrete.to_code()
self.assertEqual(code.co_freevars, ('__class__', ))
self.assertEqual(code.co_cellvars, ('__class__', ))
self.assertEqual(
code.co_code,
b'\x94\x01\x89\x01' if WORDCODE else b'\x94\x01\x00\x89\x01\x00')
def test_load_classderef(self):
concrete = ConcreteBytecode()
concrete.cellvars = ['__class__']
concrete.freevars = ['__class__']
concrete.extend([ConcreteInstr('LOAD_CLASSDEREF', 1),
ConcreteInstr('STORE_DEREF', 1)])
bytecode = concrete.to_bytecode()
self.assertEqual(bytecode.freevars, ['__class__'])
self.assertEqual(bytecode.cellvars, ['__class__'])
self.assertEqual(list(bytecode),
[Instr('LOAD_CLASSDEREF', FreeVar('__class__'),
lineno=1),
Instr('STORE_DEREF', FreeVar('__class__'), lineno=1)]
)
concrete = bytecode.to_concrete_bytecode()
self.assertEqual(concrete.freevars, ['__class__'])
self.assertEqual(concrete.cellvars, ['__class__'])
self.assertEqual(list(concrete),
[ConcreteInstr('LOAD_CLASSDEREF', 1, lineno=1),
ConcreteInstr('STORE_DEREF', 1, lineno=1)])
code = concrete.to_code()
self.assertEqual(code.co_freevars, ('__class__',))
self.assertEqual(code.co_cellvars, ('__class__',))
self.assertEqual(
code.co_code,
b'\x94\x01\x89\x01' if WORDCODE else b'\x94\x01\x00\x89\x01\x00')
def test_to_bytecode_consts(self):
# x = -0.0
# x = +0.0
#
# code optimized by the CPython 3.6 peephole optimizer which emits
# duplicated constants (0.0 is twice in consts).
code = ConcreteBytecode()
code.consts = [0.0, None, -0.0, 0.0]
code.names = ['x', 'y']
code.extend([ConcreteInstr('LOAD_CONST', 2, lineno=1),
ConcreteInstr('STORE_NAME', 0, lineno=1),
ConcreteInstr('LOAD_CONST', 3, lineno=2),
ConcreteInstr('STORE_NAME', 1, lineno=2),
ConcreteInstr('LOAD_CONST', 1, lineno=2),
ConcreteInstr('RETURN_VALUE', lineno=2)])
code = code.to_bytecode().to_concrete_bytecode()
# the conversion changes the constant order: the order comes from
# the order of LOAD_CONST instructions
self.assertEqual(code.consts, [-0.0, 0.0, None])
code.names = ['x', 'y']
self.assertListEqual(list(code),
[ConcreteInstr('LOAD_CONST', 0, lineno=1),
ConcreteInstr('STORE_NAME', 0, lineno=1),
ConcreteInstr('LOAD_CONST', 1, lineno=2),
ConcreteInstr('STORE_NAME', 1, lineno=2),
ConcreteInstr('LOAD_CONST', 2, lineno=2),
ConcreteInstr('RETURN_VALUE', lineno=2)])
def test_freevar(self):
concrete = ConcreteBytecode()
concrete.freevars = ["x"]
concrete.append(ConcreteInstr("LOAD_DEREF", 0))
code = concrete.to_code()
concrete = ConcreteBytecode.from_code(code)
self.assertEqual(concrete.cellvars, [])
self.assertEqual(concrete.freevars, ["x"])
self.assertEqual(list(concrete), [ConcreteInstr("LOAD_DEREF", 0, lineno=1)])
bytecode = concrete.to_bytecode()
self.assertEqual(bytecode.cellvars, [])
self.assertEqual(list(bytecode), [Instr("LOAD_DEREF", FreeVar("x"), lineno=1)])
def test_cellvar(self):
concrete = ConcreteBytecode()
concrete.cellvars = ['x']
concrete.append(ConcreteInstr('LOAD_DEREF', 0))
code = concrete.to_code()
concrete = ConcreteBytecode.from_code(code)
self.assertEqual(concrete.cellvars, ['x'])
self.assertEqual(concrete.freevars, [])
self.assertEqual(list(concrete),
[ConcreteInstr('LOAD_DEREF', 0, lineno=1)])
bytecode = concrete.to_bytecode()
self.assertEqual(bytecode.cellvars, ['x'])
self.assertEqual(list(bytecode),
[Instr('LOAD_DEREF', CellVar('x'), lineno=1)])
def test_freevar(self):
concrete = ConcreteBytecode()
concrete.freevars = ['x']
concrete.append(ConcreteInstr('LOAD_DEREF', 0))
code = concrete.to_code()
concrete = ConcreteBytecode.from_code(code)
self.assertEqual(concrete.cellvars, [])
self.assertEqual(concrete.freevars, ['x'])
self.assertEqual(list(concrete),
[ConcreteInstr('LOAD_DEREF', 0, lineno=1)])
bytecode = concrete.to_bytecode()
self.assertEqual(bytecode.cellvars, [])
self.assertEqual(list(bytecode),
[Instr('LOAD_DEREF', FreeVar('x'), lineno=1)])
def test_load_classderef(self):
concrete = ConcreteBytecode()
concrete.cellvars = ["__class__"]
concrete.freevars = ["__class__"]
concrete.extend([
ConcreteInstr("LOAD_CLASSDEREF", 1),
ConcreteInstr("STORE_DEREF", 1)
])
bytecode = concrete.to_bytecode()
self.assertEqual(bytecode.freevars, ["__class__"])
self.assertEqual(bytecode.cellvars, ["__class__"])
self.assertEqual(
list(bytecode),
[
Instr("LOAD_CLASSDEREF", FreeVar("__class__"), lineno=1),
Instr("STORE_DEREF", FreeVar("__class__"), lineno=1),
],
)
concrete = bytecode.to_concrete_bytecode()
self.assertEqual(concrete.freevars, ["__class__"])
self.assertEqual(concrete.cellvars, ["__class__"])
self.assertEqual(
list(concrete),
[
ConcreteInstr("LOAD_CLASSDEREF", 1, lineno=1),
ConcreteInstr("STORE_DEREF", 1, lineno=1),
],
)
code = concrete.to_code()
self.assertEqual(code.co_freevars, ("__class__", ))
self.assertEqual(code.co_cellvars, ("__class__", ))
self.assertEqual(
code.co_code,
b"\x94\x01\x89\x01" if WORDCODE else b"\x94\x01\x00\x89\x01\x00",
)