Seemingly contradictory code in sharedRuntime.cpp

Vladimir Kozlov vladimir.kozlov at oracle.com
Thu Oct 17 19:26:41 UTC 2024


Thank you, Julian, for reporting this.

The issue was introduced by [1] changes. I think it is incorrectly removed `defined(_WIN64)` from `#if` in sharedRuntime.cpp

Thanks,
Vladimir K

[1] 
https://github.com/openjdk/jdk/commit/ce2a7ea40a22c652e5f8559c91d5eea197e2d708#diff-808315795bdfbd3d48d1665603fc2fe0db416fa299394371f24dbed2cb32caa4

On 10/17/24 8:28 AM, Julian Waters wrote:
> Hi all,
> 
> Recently while compiling the Windows JDK, gcc caught a very strange
> case in sharedRuntime.cpp. The SharedRuntime::frem and
> SharedRuntime::drem methods both contain code that is only compiled if
> _WIN64 is defined. The problem is this is then surrounded by an ifndef
> check for X86. HotSpot defines X86 if AMD64 or IA32 is defined. Since
> IA32 is not a supported architecture, only AMD64 is of interest to us
> here. But AMD64 and _WIN64 will always both be defined at the same
> time, as _WIN64 is an AMD64 platform. So by extension, X86 and _WIN64
> will always be defined together. But remember that the Windows
> specific code in frem and drem will only be compiled if X86 is not
> defined and _WIN64 is defined. This means the block of code that is
> guarded by the _WIN64 define is never ever compiled. To add to that,
> sharedRuntime_x86.cpp also contains alternate method definitions for
> SharedRuntime::frem and SharedRuntime::drem. This all leads me to
> believe it is a bug where the code meant for Windows x64 was
> erroneously added to the implementation for non x86 platforms instead
> of the correct one inside sharedRuntime_x86.cpp. I just thought I'd
> give everyone a heads up, and also to confirm that this is indeed a
> bug, before I start working on a fix
> 
> The code in question:
> 
> #if !defined(X86) // <----- This will always be defined if _WIN64 is defined!
> JRT_LEAF(jfloat, SharedRuntime::frem(jfloat x, jfloat y))
> #ifdef _WIN64 // <----- This will always be defined if X86 is defined!
>    // 64-bit Windows on amd64 returns the wrong values for
>    // infinity operands.
>    juint xbits = PrimitiveConversions::cast<juint>(x);
>    juint ybits = PrimitiveConversions::cast<juint>(y);
>    // x Mod Infinity == x unless x is infinity
>    if (((xbits & float_sign_mask) != float_infinity) &&
>         ((ybits & float_sign_mask) == float_infinity) ) {
>      return x;
>    }
>    return ((jfloat)fmod_winx64((double)x, (double)y));
> #else
>    return ((jfloat)fmod((double)x,(double)y));
> #endif
> JRT_END
> 
> JRT_LEAF(jdouble, SharedRuntime::drem(jdouble x, jdouble y))
> #ifdef _WIN64 <----- This will always be defined if X86 is defined!
>    julong xbits = PrimitiveConversions::cast<julong>(x);
>    julong ybits = PrimitiveConversions::cast<julong>(y);
>    // x Mod Infinity == x unless x is infinity
>    if (((xbits & double_sign_mask) != double_infinity) &&
>         ((ybits & double_sign_mask) == double_infinity) ) {
>      return x;
>    }
>    return ((jdouble)fmod_winx64((double)x, (double)y));
> #else
>    return ((jdouble)fmod((double)x,(double)y));
> #endif
> JRT_END
> #endif // !X86
> 
> best regards,
> Julian



More information about the hotspot-dev mailing list