RFR: 8297539: Consolidate the uses of the int<->float union conversion trick
Afshin Zafari
duke at openjdk.org
Thu Feb 2 10:24:36 UTC 2023
### Discussion
There are different ways of casting/converting integral types to floating point types and vice versa in the code.
These conversions are changed to invocation of a centralised `cast<To>(From)` method in `primitiveConversions.hpp`. To make this changes build and run, some new `cast` methods are introduced and header dependencies changed.
### Patch
- All instances of using `union` technique that are used for int<->float and long<->double type conversions are replaced by `PrimitiveConversions::cast<To>(From)` method.
- Instances of, for example, converting `int`<->`intptr_t` are not changed.
- After this change, `JavaValue` also uses the `PrimitiveConversions::cast<To>(From)` templates. Therefore, all the `union` conversions for `int`<-> `float` and `long` <-> `double` in hotspot are now centralised in one location.
- Templates in `PrimitiveConversions` class are numbered from 1-9 and all lines of code that use `PrimitivEConversions::cast<To>(From)` have comments saying which templated `cast<To>(From)` matches. Issue number 8297539 is also in the comments to make the search/reviews more easier.
- The new 'cast<To>(From)' templates are numbered 6-9 for some instances where existing templates (1-5) did not match.
- `globalDefinitions.hpp` now includes `primitiveConversions.hpp`.
- `primitiveConversions.hpp` does NOT include `globalDefinitions.hpp` any more. Some typedef's are added to it to compensate the missing types.
- The followings are not changed:
- `jni.hpp`
- `ciConstant.hpp` is not changed, since uinon is not used for converting `int` <->`float` or `long` <-> `double`. There are some asserts that allow setter/getter used only for the same types.
- `bytecodeInterpreter_zero.hpp` is not changed. Writing to and reading from the `VMJavaVal64` are always with the same type and no conversion is made.
- union with bit fields are not changed.
- `json.hpp` and `json.cpp` in src/hotspot/share/utilities.
### Test
mach5 tiers 1-5 passed, tiers 6-8 in progress
-------------
Commit messages:
- 8297539: Consolidate the uses of the int<->float union conversion trick
Changes: https://git.openjdk.org/jdk/pull/12384/files
Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=12384&range=00
Issue: https://bugs.openjdk.org/browse/JDK-8297539
Stats: 404 lines in 12 files changed: 149 ins; 114 del; 141 mod
Patch: https://git.openjdk.org/jdk/pull/12384.diff
Fetch: git fetch https://git.openjdk.org/jdk pull/12384/head:pull/12384
PR: https://git.openjdk.org/jdk/pull/12384
More information about the hotspot-dev
mailing list