Displaying 4 results from an estimated 4 matches for "roundtointegral".
2020 Mar 02
2
Should rint and nearbyint be always constrained?
...document the non-constrained forms of these intrinsics in a way that makes clear that we are “assuming” and not requiring that the operation has no side effects. For the constrained version of nearbyint, we will require that the inexact exception is not raised (to be consistent with iEEE 754-2019’s roundToIntegral operations) and for the constrained version of rint we will require that the inexact exception is raised (to be consistent with iEEE 754-2019’s roundToIntegralExact operation), but for the non-constrained forms it should be clear that the backend is free to implement this in the most efficient way...
2020 Mar 03
2
Should rint and nearbyint be always constrained?
...is no difference between llvm.rint and
> llvm.nearbyint. I wouldn’t have a problem with dropping llvm.rint
> completely.
The forthcoming C standard (
http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2454.pdf, 7.12.9.8)
defines new function, `roundeven`, which implements IEEE-754 operation
`roundToIntegralTiesToEven`. When corresponding intrinsic will be
implemented (I am working on such patch), llvm.rint and llvm.nearbyint will
identical to llvm.roundeven in default environment and both can be dropped.
We'll end up with a funny situation, there are constrained intrinsics
(experimental!) but not...
2020 Mar 03
5
Should rint and nearbyint be always constrained?
...I wouldn’t have a problem with dropping llvm.rint
>>> completely.
>>
>>
>> The forthcoming C standard (
>> http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2454.pdf, 7.12.9.8)
>> defines new function, `roundeven`, which implements IEEE-754 operation
>> `roundToIntegralTiesToEven`. When corresponding intrinsic will be
>> implemented (I am working on such patch), llvm.rint and llvm.nearbyint will
>> identical to llvm.roundeven in default environment and both can be dropped.
>> We'll end up with a funny situation, there are constrained intrinsi...
2020 Mar 02
2
Should rint and nearbyint be always constrained?
>
> I'm not sure why this is an issue. Yes, these two intrinsics depend
> on the current rounding mode according to the C standard, and yes,
> LLVM in default mode assumes that the current rounding mode is the
> default rounding mode. But the same holds true for many other
> intrinsics and even the arithmetic IR operations like add.
Any other intrinsic, like `floor`,