[PATCH] D139349: LangRef: Clarify semantics of lround/llround and lrint/llrint

[Juneyoung Lee via Phabricator via llvm-commits]

aqjune added a comment.

The clarification looks good to me as well, thanks.
Since LLVM IR does not have a notion of unspecified value (AFAIK), defining these as returning a nondeterministic, well-defined value seems like a right choice because it satisfies refinement.
Making them return an undefined value or poison value breaks refinement.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D139349/new/

https://reviews.llvm.org/D139349