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

C2: Data is wrongly rewired to Initialized Assertion Predicates instead of Template Assertion Predicates

XMLWordPrintable

    • b23

      Before the Assertion Predicate refactorings, we rewired data dependencies either to the Initialized Assertion Predicate (for Loop Peeling) or to the zero trip guard (for main and post loops). Both was incomplete when we further split a lot - we missed to update these data dependencies accordingly.

      We are now finally able to fix this by always rewiring the data dependencies to the Template Assertion Predicate which will be kept until either no more loop splitting can be done for a loop or until loop opts are over.

      By failing to update the data dependencies, we could perform some loads too early and crash (not observable, though).

      This was found by a new stress peeling mode (JDK-8355488) but I was able to extract a reproducer that does not use the new stressing.

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

              Created:
              Updated:
              Resolved: