topperc wrote: > `atan(-0.0)` is `-0.0` per IEEE 754, so it's a problem if it's being folded to `+0.0`. I think the constant folding just calls the native libm function linked with the compiler. https://github.com/llvm/llvm-project/pull/143416