It would be very helpful to see the enabled ifc options for a compiler run. Reading the user guide I couldn't find a trigger for this. Is it hidden somewhere? Or is it not implemented? If not implemented see it as a hint for the compiler development.
For more complete information about compiler optimizations, see our Optimization Notice.