Summary: | VEX does not recognize ppc64 atomic increments | ||
---|---|---|---|
Product: | [Developer tools] valgrind | Reporter: | Bart Van Assche <bart.vanassche+kde> |
Component: | general | Assignee: | Julian Seward <jseward> |
Status: | RESOLVED FIXED | ||
Severity: | normal | ||
Priority: | NOR | ||
Version: | unspecified | ||
Target Milestone: | --- | ||
Platform: | Fedora RPMs | ||
OS: | Linux | ||
Latest Commit: | Version Fixed In: |
Description
Bart Van Assche
2008-05-20 13:59:43 UTC
The patch below should solve this issue: Index: priv/guest-ppc/toIR.c =================================================================== --- priv/guest-ppc/toIR.c (revision 1856) +++ priv/guest-ppc/toIR.c (working copy) @@ -4896,7 +4896,9 @@ whether rS is stored is dependent on that value. */ /* Success? Do the (32bit) store */ + stmt( IRStmt_MBE(Imbe_BusLock) ); storeBE( mkexpr(EA), mkSzNarrow32(ty, mkexpr(rS)) ); + stmt( IRStmt_MBE(Imbe_BusUnlock) ); // Set CR0[LT GT EQ S0] = 0b001 || XER[SO] putCR321(0, mkU8(1<<1)); Fixed in VEX r1857 / Valgrind r8316. |