Vex doesn't know about popcnt: F3 0F B8 /r POPCNT r32, r/m32 gcc emits this for __builtin_popcnt. Reproducible: Always
This is a duplicate bug report of bz#271615. popcnt is an SSE4.2 instruction. SSE4 isn't supported in 32 bit mode, only 64 bit mode. 32 bit mode supports only up to and including SSSE3. http://www.valgrind.org/docs/manual/manual-core.html#manual-core.limits There are no current plans to support SSE4 on 32-bit, however it seems there is an unreviewed patch on that bug report for the specific instruction. *** This bug has been marked as a duplicate of bug 271615 ***