|
From: Philippe W. <phi...@sk...> - 2015-04-02 20:05:16
|
On Thu, 2015-04-02 at 21:27 +0200, Ivo Raisr wrote: > > Back to memcheck annotations in setHelperAnns(). I tried to add > another > > element of fxState for FP and - what surprise - no effect on x86 > +amd64/Linux. > All tests passed, nothing failed. I suspect that all this is working due to the default value: --vex-iropt-register-updates=unwindregs-at-mem-access Even if the dirty helper does not indicate that the FP must be up to date at dirty helper call, the above flag will ensure the FP has a correct value. I am wondering what is the behaviour of memcheck if we fix the dirty helper (i.e. indicate it reads FP) but use sp-at-mem-access for --vex-iropt-register-updates ? Are all tests still ok ? Philippe |