Uploaded image for project: 'JDK'
  1. JDK
  2. JDK-8350637

C2: verify that main_loop finds pre_loop and that multiversion loops find the multiversion_if

XMLWordPrintable

    • Icon: Enhancement Enhancement
    • Resolution: Unresolved
    • Icon: P4 P4
    • tbd
    • 25
    • hotspot

      As discussed here:
      https://github.com/openjdk/jdk/pull/22016#issuecomment-2678602660 / JDK-8323582

      It seems that there are some issues with traversing the predicates, such that the pre_loop can be temporarily invisible because there are predicates that are not (yet) properly skipped. [~chagedorn] thinks this should be fixed with JDK-8350579, but of course there may be other blockers we can discover once that one is fixed.

      This does not seem to be a huge issue at as far as we know, since eventually those predicates that are in the way die and then we can traverse again, but it is unfortunate for verification, and maybe it also limits optimizations.

            epeter Emanuel Peter
            epeter Emanuel Peter
            Votes:
            0 Vote for this issue
            Watchers:
            1 Start watching this issue

              Created:
              Updated: