On Sat, Nov 7, 2015 at 2:40 PM, Armin Rigo <ar...@tunes.org> wrote: > > Would that miss an important case? >
I would guess that the interesting cases are when we have the same constant in both iterations. In that case what we would miss is reads performed on the constant pointer before it is proven to be a constant. If these are numerous enough to care about I don't know, but I would not be surprised. A small adjustment to your approach that would cover those cases is to compare the values of the constants with the values observed during tracing. If they are the same it should be safe to perform the read, right? -- Håkan Ardö
_______________________________________________ pypy-dev mailing list pypy-dev@python.org https://mail.python.org/mailman/listinfo/pypy-dev