| Issue |
174730
|
| Summary |
[CodeGen] Specified minnum/maxnum signed zero semantics not respected
|
| Labels |
llvm:codegen,
miscompilation
|
| Assignees |
|
| Reporter |
nikic
|
LangRef specifies that minnum/maxnum have ordered signed zero unless nsz is specified. However, the backend does not fully respect these semantics right now. Known issues are:
* The X86 expansion does not respect signed zero ordering
* Libcall legalization does not respect signed zero ordering, as the fmin/fmax libcalls are not guaranteed to have it (and indeed do not have it on many important targets like x86_64-gnu).
> This issue is pending a decision in https://github.com/llvm/llvm-project/pull/172012. Do not make changes related to this until the PR has been merged, and ***keep any discussions related to the semantics there.***
![]()
_______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
