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

C2: Enable loop predication for subtype checks

    XMLWordPrintable

Details

    • Enhancement
    • Resolution: Duplicate
    • P3
    • tbd
    • 13
    • hotspot

    Description

      Subtype checks sometimes require complex control flow and loop predication can't handle it.

      One example is receiver subtype checks for invokeinterface/invokespecial of interface methods: it involves a subtype check against an interface. As JDK-8220708 demonstrates, when the check is loop invariant, it is very beneficial to hoist it out of the loop.

      Attachments

        Issue Links

          Activity

            People

              vlivanov Vladimir Ivanov
              vlivanov Vladimir Ivanov
              Votes:
              0 Vote for this issue
              Watchers:
              1 Start watching this issue

              Dates

                Created:
                Updated:
                Resolved: