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

C2 SuperWord: Two nodes should be isomorphic if they are loop invariant but pinned at different nodes outside the loop

    XMLWordPrintable

Details

    • Enhancement
    • Resolution: Fixed
    • P4
    • 22
    • 22
    • hotspot
    • b24

    Description

      The following code seems to be too restrictive if some non-CFG nodes could be vectorized but are pinned outside the loop at different CFG nodes:

      https://github.com/openjdk/jdk/blob/a420ff48da7d8861a874ea6f7278249c20113215/src/hotspot/share/opto/superword.cpp#L1364-L1397

      This was found while working on JDK-8288981 where some non-CFG nodes are at different Hoisted Predicate nodes compared to mainline (all at same node).

      Attachments

        Issue Links

          Activity

            People

              chagedorn Christian Hagedorn
              chagedorn Christian Hagedorn
              Votes:
              0 Vote for this issue
              Watchers:
              3 Start watching this issue

              Dates

                Created:
                Updated:
                Resolved: