Github Throw UB if f*_fast intrinsic called with non-finite value by Smittyvb ·...
source link: https://github.com/rust-lang/miri/pull/1785
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
Calling these intrinsics with non-finite values is undefined behaviour, since they result in f*
intrinsics in LLVM with the fast
flag, and fast
math on non-finite values results in poison
values. (technically LLVM only considers it UB upon using the value, but that shouldn't make much of a difference)
Recommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK