[Valgrind-developers] Passing 64-bit values to callbacks ?

[Stephane M. <mar...@ic...>]

Hi everyone, I'm new to valgrind.

I'm writing a plugin where I pass the value of float registers to a
callback by modifying the IR to create a binary copy of the float in
an int (using Iop_ReinterpF64asI64) which I then send to
unsafeIRDirty_0_N. So far so good as on 64 bit platforms, the native
word size is 64 so I can fit the full 64 bit double float in the
callback. However, I'd like this to also work in 32 bits platforms if
possible.

So I guess my question has become obvious by now: how can I pass 64
bits to a callback on platforms where the native word size is 32 bit?
Until now all I can come up with is using two words (and slightly
different callbacks depending on the platform I'm in). Or am I doing
this completely wrong?

Thanks,
Stephane