[LLVMdev] Presenting Unsafe Math Flag to Optimizer

[Alastair Lynn]

Hi-

Would this not be a good place to use the new metadata feature? If metadata indicating that a value is OK to have unsafe optimisations done on it is dropped, everything will still work correctly.

Alastair

On 14 Jan 2010, at 10:01, Duncan Sands wrote:

> Hi Bill,
> 
>> The current implementation of the "allow unsafe math" option is to specify it via the TargetOptions object. However, this prevents the target-independent optimizer from using it. Are there any opinions (ha!) on how this could be achieved in a nice clean manner which doesn't require using the TargetOptions object in the optimizer?
> 
> a flag on each floating point operation, saying whether it does "exact" math or
> not?
> 
> Ciao,
> 
> Duncan.
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev