There are a raft of possible changes to code that can be examined for doing violence to floating-point semantics. Some of them are easily illustrated as source-to-source transformations. Others require looking at generated code (lacking an explicit model of what is done in registers, some of these optimizations cannot be expressed as source code).
We should provide an option to provide source-to-source translations results for confirmation by the programmer.