|
From: Julian S. <js...@ac...> - 2012-10-19 09:58:15
|
Timely. Fixing the memcheck+vectorised code swamp properly is approaching the top of my priority list. Certainly it is something that needs to happen before the next major release. > pmovmskb validity bit propagation is imprecise > https://bugs.kde.org/show_bug.cgi?id=308627 A couple of years back I hacked up a fix to this, but never landed it. It needs rebasing, generalising to 128- and 256-bit cases, and testing properly, but I think it basically works. I'll attach the patch to the bug. > bsfl validity bit propagation is imprecise > https://bugs.kde.org/show_bug.cgi?id=308626 Have a look at commented out verbose_Clz32() at the end of guest_ppc_toIR.c. It might be useful (as a source of ideas). It relies on the fact that Memcheck tracks definedness exactly correctly for left shifts, right shifts, and, or and not. J |