Don:
A compiler intrinsic, which generates no code (simply inserting a barrier for the optimiser) sounds like the correct approach.Coming up for a name for this operation is difficult.
Something like this? noFPOpt naiveFP literalFP asisFP FPbarrier barrierFP Bye, bearophile
