Bug ID: JDK-8276846 JDK-8273416 is incomplete for UseSSE=1

Versions (Unresolved/Resolved/Fixed)

The Version table provides details related to the release that this issue/RFE will be addressed.

Unresolved : Release in which this issue/RFE will be addressed.
Resolved: Release in which this issue/RFE has been resolved.
Fixed : Release in which this issue/RFE has been fixed. The release containing this fix may be available for download as an Early Access Release or a General Availability Release.

To download the current JDK release, click here.

JDK 18
18 masterFixed

Extended testing shows that JDK-8273416 was not complete: the tests still fail with -XX:UseAVX=0 -XX:UseSSE=1. For example:

$ CONF=linux-x86-server-fastdebug make test TEST=compiler/loopopts/TestCastFFAtPhi.java TEST_VM_OPTS="-XX:UseAVX=0 -XX:UseSSE=1"
o306  ConvF2I  === _ o307  [[o250 o264  4  9 ]] 

--N: o306  ConvF2I  === _ o307  [[o250 o264  4  9 ]] 

   --N: o307  CastFF  === o371 o375  [[o306 ]]  #float unconditional dependency
   REGFPR  0  castFF_PR
   REGFPR1  0  castFF_PR

      --N: o375  Phi  === o371 o422 o82  [[o307 ]]  #float
      REGFPR  0  REGFPR
      REGFPR1  0  REGFPR1
      REGF  0  REGF
      LEGREGF  0  LEGREGF
      VLREGF  0  VLREGF

# To suppress the following error report, specify this argument
# after -XX: or in .hotspotrc:  SuppressErrorAt=/matcher.cpp:1681
#
# A fatal error has been detected by the Java Runtime Environment:
#
#  Internal Error (/home/shade/trunks/jdk/src/hotspot/share/opto/matcher.cpp:1681), pid=1643148, tid=1643164
#  assert(false) failed: bad AD file


The predicates in x86_32.ad should probably be "UseSSE > 0" and "UseSSE == 0".

Fix Request (17u) Completes JDK-8273416 fix. Applies cleanly. Tests pass.

15-11-2021

Changeset: a0b84453 Author: Aleksey Shipilev <shade@openjdk.org> Date: 2021-11-10 11:27:13 +0000 URL: https://git.openjdk.java.net/jdk/commit/a0b84453b087ff368a32b93729c5b30fda22ed48

10-11-2021

ILW = Same as JDK-8273416 = P3

09-11-2021

Relates :	JDK-8252372 - Check if cloning is required to move loads out of loops in PhaseIdealLoop::split_if_with_blocks_post()
Relates :	JDK-8273416 - C2: assert(false) failed: bad AD file after JDK-8252372 with UseSSE={0,1}