[Valgrind-developers] Help me fix cmov amd64 false positive

[Eyal S. <eya...@gm...>]

I found a false positive in amd64 conditional move. I'm comfortable fixing
it if I can just find how the cmov gets translated into IR for memcheck.
I've done work on other IR before but I'm having the hardest time just
finding where this code is generated!

The issue is that the sign flag is depending upon all bits being defined
where actually it only needs the highest bit.

Where can I find how cmovnz translates to the valid bit checking IR? If
there are docs that will help me, I'm happy to read them. And if not, I'll
make docs to describe whatever I'm taught.

Thanks!

Eyal