Displaying 3 results from an estimated 3 matches for "libcallsimplier".
Did you mean:
libcallsimplifier
2020 Sep 13
2
Invalid transformation in LibCallSimplifier::replacePowWithSqrt?
...ile double inf = -__builtin_inf();
double pow(double, double);
void abort(void);
int main(void) {
errno = 0;
pow(inf, 0.5);
if (errno != 0) abort();
}
Compiler Explorer link: https://godbolt.org/z/5Wr66M
Is the transformation actually valid in some way? If not, I see no
instances where the LibCallSimplier generates conditional branches.
Retaining the transformation in some way without generating conditional
branches would probably involve bailing out if infinities are still in play.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/ll...
2020 Sep 14
2
Invalid transformation in LibCallSimplifier::replacePowWithSqrt?
...t; int main(void) {
>> errno = 0;
>> pow(inf, 0.5);
>> if (errno != 0) abort();
>> }
>>
>> Compiler Explorer link: https://godbolt.org/z/5Wr66M
>>
>> Is the transformation actually valid in some way? If not, I see no
>> instances where the LibCallSimplier generates conditional branches.
>> Retaining the transformation in some way without generating conditional
>> branches would probably involve bailing out if infinities are still in play.
>>
>> _______________________________________________
>> LLVM Developers mailing l...
2020 Sep 14
2
Invalid transformation in LibCallSimplifier::replacePowWithSqrt?
...(inf, 0.5);
>>>> if (errno != 0) abort();
>>>> }
>>>>
>>>> Compiler Explorer link: https://godbolt.org/z/5Wr66M
>>>>
>>>> Is the transformation actually valid in some way? If not, I see no
>>>> instances where the LibCallSimplier generates conditional branches.
>>>> Retaining the transformation in some way without generating conditional
>>>> branches would probably involve bailing out if infinities are still in play.
>>>>
>>>> _______________________________________________
&g...