Re: [Valgrind-developers] valgrind: r12359 - in trunk: . memcheck/tests

[Bart V. A. <bva...@ac...>]

On Sun, Jan 29, 2012 at 3:15 PM, Florian Krohm <br...@ac...> wrote:
> I checked in that testcase yesterday together with a change to ir_opt.c
> that fixed the named bug on the platforms I have access to. But
> something else is going on. Might be worth looking at. Unfortunately I
> cannot do it.

IMHO it is because on 64-bit platforms the following Add32 expression
isn't converted into a shift:

   t66 = 32Sto64(Add32(64to32(t56),64to32(t56)))

The optimizations in ir_opt.c are only applied if sameIRTemp() returns
true. For the above case that test fails because the arguments of
Add32 are expressions instead of just temporary variables.

Bart.