Carl Friedrich Bolz-Tereick pushed to branch branch/default at PyPy / pypy


Commits:
08469c94 by Carl Friedrich Bolz-Tereick at 2022-07-02T15:18:14+02:00
be a bit more debugger friendly

- - - - -
69be3d8f by Carl Friedrich Bolz-Tereick at 2022-07-02T18:14:29+02:00
use a more subtle condition to check whether aliasing is present when doing
malloc removal

so far, we simply checked whether an outgoing link of a block had the variable
that stores the to-be-malloc-removed value twice. that's not precise enough 
and
leads to broken graphs in complicated situations.

The new condition is the following:

- we only care about aliasing if there are two distinct creation points. if
  there is only one, it does not matter that we ship the same value around in
  different variables.

- if there is more than one creation point, it's not good enough to check
  whether a single variable is duplicated. instead, we check whether there are
  two variables passed along the link that share the same creation point (the
  variables might have been copied via same_as or a cast_pointer).

- - - - -


2 changed files:

- rpython/translator/backendopt/malloc.py
- rpython/translator/backendopt/test/test_malloc.py


View it on Heptapod: 
https://foss.heptapod.net/pypy/pypy/-/compare/0cc2aa62d1b01e1f587a66b3711ce5590140f2e3...69be3d8f546b5e7f65f87ea2a96ca7a552ab1168

-- 
View it on Heptapod: 
https://foss.heptapod.net/pypy/pypy/-/compare/0cc2aa62d1b01e1f587a66b3711ce5590140f2e3...69be3d8f546b5e7f65f87ea2a96ca7a552ab1168
You're receiving this email because of your account on foss.heptapod.net.


_______________________________________________
pypy-commit mailing list -- pypy-commit@python.org
To unsubscribe send an email to pypy-commit-le...@python.org
https://mail.python.org/mailman3/lists/pypy-commit.python.org/
Member address: arch...@mail-archive.com

Reply via email to