Re: [Valgrind-users] Cast from float into int

[John R. <jr...@Bi...>]

> When there is a cast from float to integer, what is the VEX instruction
> related to it in instrumented code?

Run "valgrind --help-debug".  Look carefully at the section
"Vex options for all Valgrind tools", particularly
--trace-flags and --trace-notbelow.  Then write a one-line test program
which contains a float-to-integer conversion, run the test program
under valgrind with appropriate flags, and see for yourself.