Displaying 4 results from an estimated 4 matches for "exceptionbehavior".
2020 Mar 02
2
Should rint and nearbyint be always constrained?
...ode argument and backends may either use instructions that encode that rounding mode explicitly or use the current rounding mode from the FP environment.
The optimizer may assume that this operation does not raise the inexact exception when the return value differs from the input value, and if the exceptionBehavior argument is not fpexcept.ignore, the backend must encode this operation using instructions that guarantee that the inexact exception is not raised. If the exceptionBehavior argument is fpexcept.ignore, backends may encode this operation using either instructions that raise exceptions or instruction...
2020 Mar 03
2
Should rint and nearbyint be always constrained?
...ode that rounding mode explicitly or use the current
>> rounding mode from the FP environment.
>>
>>
>>
>> The optimizer may assume that this operation does not raise the inexact
>> exception when the return value differs from the input value, and if the
>> exceptionBehavior argument is not fpexcept.ignore, the backend must encode
>> this operation using instructions that guarantee that the inexact exception
>> is not raised. If the exceptionBehavior argument is fpexcept.ignore,
>> backends may encode this operation using either instructions that rais...
2020 Mar 03
5
Should rint and nearbyint be always constrained?
...;>>> rounding mode from the FP environment.
>>>>
>>>>
>>>>
>>>> The optimizer may assume that this operation does not raise the inexact
>>>> exception when the return value differs from the input value, and if the
>>>> exceptionBehavior argument is not fpexcept.ignore, the backend must encode
>>>> this operation using instructions that guarantee that the inexact exception
>>>> is not raised. If the exceptionBehavior argument is fpexcept.ignore,
>>>> backends may encode this operation using eithe...
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`,