Skip to content
GitLab
Menu
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
PyPy
pypy
Commits
fa80408e38b9
Commit
710f69ab
authored
Dec 04, 2022
by
Carl Friedrich Bolz-Tereick
Browse files
fix
--HG-- branch : fix-intutils-ovf-bug
parent
207794303bcb
Changes
1
Hide whitespace changes
Inline
Side-by-side
rpython/jit/metainterp/optimizeopt/test/test_z3checktests.py
View file @
fa80408e
...
...
@@ -7,7 +7,7 @@ import pytest
from
rpython.rlib.rarithmetic
import
LONG_BIT
,
r_uint
,
intmask
from
rpython.jit.metainterp.optimizeopt.test.test_util
import
(
BaseTest
,
convert_old_style_to_targets
)
BaseTest
,
convert_old_style_to_targets
,
FakeJitDriverStaticData
)
from
rpython.jit.metainterp.optimizeopt.test.test_optimizeintbound
import
(
TestOptimizeIntBounds
as
TOptimizeIntBounds
)
from
rpython.jit.metainterp
import
compile
...
...
@@ -369,7 +369,8 @@ class BaseCheckZ3(BaseTest):
trace
,
call_pure_results
=
call_pure_results
,
enable_opts
=
self
.
enable_opts
)
compile_data
.
forget_optimization_info
=
lambda
*
args
,
**
kwargs
:
None
info
,
ops
=
compile_data
.
optimize_trace
(
self
.
metainterp_sd
,
None
,
{})
jitdriver_sd
=
FakeJitDriverStaticData
()
info
,
ops
=
compile_data
.
optimize_trace
(
self
.
metainterp_sd
,
jitdriver_sd
,
{})
beforeinputargs
,
beforeops
=
trace
.
unpack
()
# check that the generated trace is correct
check_z3
(
beforeinputargs
,
beforeops
,
info
.
inputargs
,
ops
)
...
...
@@ -518,7 +519,8 @@ class TestOptimizeIntBoundsZ3(BaseCheckZ3, TOptimizeIntBounds):
compile_data
=
compile
.
SimpleCompileData
(
trace
,
call_pure_results
=
self
.
_convert_call_pure_results
(
getattr
(
loop
.
builder
,
'call_pure_results'
,
None
)),
enable_opts
=
self
.
enable_opts
)
info
,
ops
=
compile_data
.
optimize_trace
(
self
.
metainterp_sd
,
None
,
{})
jitdriver_sd
=
FakeJitDriverStaticData
()
info
,
ops
=
compile_data
.
optimize_trace
(
self
.
metainterp_sd
,
jitdriver_sd
,
{})
print
info
.
inputargs
for
op
in
ops
:
print
op
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment