[llvm] [FPEnv] Add strictfp attribute to the FP environment manipulation intrinsics (PR #96093)

Matt Arsenault via llvm-commits llvm-commits at lists.llvm.org
Mon Jul 22 11:31:10 PDT 2024


arsenm wrote:

> > I think we need an attribute similar to the memory attribute which covers which aspects of the floating-point environment are read/written.
> 
> I'm not sure I see how this is useful. If a strictfp function can safely be called from a non-strictfp function then the caller doesn't need to know these details. 

It's more useful for getting rid of constrained intrinsics, and understanding the behavior of target intrinsics. If we had it, we could tell if strictfp 

For now I think we just need to rely on the callsite attributes and not put these on the declarations 

https://github.com/llvm/llvm-project/pull/96093


More information about the llvm-commits mailing list