Author: Armin Rigo <[email protected]>
Branch: jit-targets
Changeset: r48990:afc8cfdd9b68
Date: 2011-11-09 13:37 +0100
http://bitbucket.org/pypy/pypy/changeset/afc8cfdd9b68/
Log: Improve the checking: kills values that are not explicitly given as
argument.
diff --git a/pypy/jit/backend/llgraph/llimpl.py
b/pypy/jit/backend/llgraph/llimpl.py
--- a/pypy/jit/backend/llgraph/llimpl.py
+++ b/pypy/jit/backend/llgraph/llimpl.py
@@ -640,8 +640,14 @@
return _op_default_implementation
def op_label(self, _, *args):
- pass
-
+ op = self.loop.operations[self.opindex]
+ assert op.opnum == rop.LABEL
+ assert len(op.args) == len(args)
+ newenv = {}
+ for v, value in zip(op.args, args):
+ newenv[v] = value
+ self.env = newenv
+
def op_debug_merge_point(self, _, *args):
from pypy.jit.metainterp.warmspot import get_stats
try:
_______________________________________________
pypy-commit mailing list
[email protected]
http://mail.python.org/mailman/listinfo/pypy-commit
