arsenm wrote:

> With the constrained intrinsics the default is safe because optimizations 
> don't recognize the constrained intrinsic and thus don't know how to optimize 
> it. If we instead rely on the strictfp attribute then we'll need possibly 
> thousands of checks for this attribute, we'll need everyone going forward to 
> remember to check for it, and we'll have no way to verify that this rule is 
> being followed.

The current state already requires you to check this for any library calls. Not 
sure any wide audit of those ever happened. I don't see a better alternative to 
cover those, plus the full set of target intrinsics. 


https://github.com/llvm/llvm-project/pull/109798
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to