From: John Reiser <jreiser@BitWagon.com> - 2014-03-14 23:18:31
> 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.