def test_position_generalization(self):
def postest(info1, info2):
info1.position = 0
assert info1.generalization_of(info1, {}, {})
info2.position = 0
assert info1.generalization_of(info2, {}, {})
info2.position = 1
renum = {}
assert info1.generalization_of(info2, renum, {})
assert renum == {0:1}
assert info1.generalization_of(info2, {0:1}, {})
assert info1.generalization_of(info2, {1:1}, {})
bad = {}
assert not info1.generalization_of(info2, {0:0}, bad)
assert info1 in bad and info2 in bad
for BoxType in (BoxInt, BoxFloat, BoxPtr):
info1 = NotVirtualStateInfo(OptValue(BoxType()))
info2 = NotVirtualStateInfo(OptValue(BoxType()))
postest(info1, info2)
info1, info2 = VArrayStateInfo(42), VArrayStateInfo(42)
info1.fieldstate = info2.fieldstate = []
postest(info1, info2)
info1, info2 = VStructStateInfo(42, []), VStructStateInfo(42, [])
info1.fieldstate = info2.fieldstate = []
postest(info1, info2)
info1, info2 = VirtualStateInfo(ConstInt(42), []), VirtualStateInfo(ConstInt(42), [])
info1.fieldstate = info2.fieldstate = []
postest(info1, info2)
def test_virtuals_with_equal_fields(self):
info1 = VirtualStateInfo(ConstInt(42), [1, 2])
value = OptValue(self.nodebox)
classbox = self.cpu.ts.cls_of_box(self.nodebox)
value.make_constant_class(classbox, -1)
knownclass_info = NotVirtualStateInfo(value)
info1.fieldstate = [knownclass_info, knownclass_info]
vstate1 = VirtualState([info1])
assert vstate1.generalization_of(vstate1)
info2 = VirtualStateInfo(ConstInt(42), [1, 2])
unknown_info1 = NotVirtualStateInfo(OptValue(self.nodebox))
info2.fieldstate = [unknown_info1, unknown_info1]
vstate2 = VirtualState([info2])
assert vstate2.generalization_of(vstate2)
assert not vstate1.generalization_of(vstate2)
assert vstate2.generalization_of(vstate1)
info3 = VirtualStateInfo(ConstInt(42), [1, 2])
unknown_info1 = NotVirtualStateInfo(OptValue(self.nodebox))
unknown_info2 = NotVirtualStateInfo(OptValue(self.nodebox))
info3.fieldstate = [unknown_info1, unknown_info2]
vstate3 = VirtualState([info3])
assert vstate3.generalization_of(vstate2)
assert vstate3.generalization_of(vstate1)
assert not vstate2.generalization_of(vstate3)
assert not vstate1.generalization_of(vstate3)
def test_nonvirtual_is_not_virtual(self):
info1 = VirtualStateInfo(ConstInt(42), [1, 2])
value = OptValue(self.nodebox)
classbox = self.cpu.ts.cls_of_box(self.nodebox)
value.make_constant_class(classbox, -1)
knownclass_info = NotVirtualStateInfo(value)
info1.fieldstate = [knownclass_info, knownclass_info]
vstate1 = VirtualState([info1])
assert vstate1.generalization_of(vstate1)
info2 = NotVirtualStateInfo(value)
vstate2 = VirtualState([info2])
assert vstate2.generalization_of(vstate2)
assert not vstate2.generalization_of(vstate1)
assert not vstate1.generalization_of(vstate2)
def test_nonvirtual_is_not_virtual(self):
info1 = VirtualStateInfo(ConstInt(42), [1, 2])
value = OptValue(self.nodebox)
classbox = self.cpu.ts.cls_of_box(self.nodebox)
value.make_constant_class(classbox, -1)
knownclass_info = NotVirtualStateInfo(value)
info1.fieldstate = [knownclass_info, knownclass_info]
vstate1 = VirtualState([info1])
assert vstate1.generalization_of(vstate1)
info2 = NotVirtualStateInfo(value)
vstate2 = VirtualState([info2])
assert vstate2.generalization_of(vstate2)
assert not vstate2.generalization_of(vstate1)
assert not vstate1.generalization_of(vstate2)
def test_field_matching_generalization(self):
const1 = NotVirtualStateInfo(OptValue(ConstInt(1)))
const2 = NotVirtualStateInfo(OptValue(ConstInt(2)))
const1.position = const2.position = 1
assert not const1.generalization_of(const2, {}, {})
assert not const2.generalization_of(const1, {}, {})
def fldtst(info1, info2):
info1.position = info2.position = 0
info1.fieldstate = [const1]
info2.fieldstate = [const2]
assert not info1.generalization_of(info2, {}, {})
assert not info2.generalization_of(info1, {}, {})
assert info1.generalization_of(info1, {}, {})
assert info2.generalization_of(info2, {}, {})
fldtst(VArrayStateInfo(42), VArrayStateInfo(42))
fldtst(VStructStateInfo(42, [7]), VStructStateInfo(42, [7]))
fldtst(VirtualStateInfo(ConstInt(42), [7]), VirtualStateInfo(ConstInt(42), [7]))
def test_virtuals_with_equal_fields(self):
info1 = VirtualStateInfo(ConstInt(42), [1, 2])
value = OptValue(self.nodebox)
classbox = self.cpu.ts.cls_of_box(self.nodebox)
value.make_constant_class(classbox, -1)
knownclass_info = NotVirtualStateInfo(value)
info1.fieldstate = [knownclass_info, knownclass_info]
vstate1 = VirtualState([info1])
assert vstate1.generalization_of(vstate1)
info2 = VirtualStateInfo(ConstInt(42), [1, 2])
unknown_info1 = NotVirtualStateInfo(OptValue(self.nodebox))
info2.fieldstate = [unknown_info1, unknown_info1]
vstate2 = VirtualState([info2])
assert vstate2.generalization_of(vstate2)
assert not vstate1.generalization_of(vstate2)
assert vstate2.generalization_of(vstate1)
info3 = VirtualStateInfo(ConstInt(42), [1, 2])
unknown_info1 = NotVirtualStateInfo(OptValue(self.nodebox))
unknown_info2 = NotVirtualStateInfo(OptValue(self.nodebox))
info3.fieldstate = [unknown_info1, unknown_info2]
vstate3 = VirtualState([info3])
assert vstate3.generalization_of(vstate2)
assert vstate3.generalization_of(vstate1)
assert not vstate2.generalization_of(vstate3)
assert not vstate1.generalization_of(vstate3)
def test_circular_generalization(self):
for info in (VArrayStateInfo(42), VStructStateInfo(42, [7]),
VirtualStateInfo(ConstInt(42), [7])):
info.position = 0
info.fieldstate = [info]
assert info.generalization_of(info, {}, {})
