arsenm wrote:

> I'm not sure this is correct. At least the way alive models the flag, I 
> believe this would also allow returning -0.0 even if both operands are 0.0, 
> which is not a legal outcome.

That sounds like a bad modeling. It shouldn't permit synthesizing a -0 out of 
nowhere 

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

Reply via email to