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

Umbrella: improve CCP and IGVN verification

XMLWordPrintable

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

      Verify that all optimizations that we can take are in fact taken.

      This includes the following steps:
      JDK-8257197 Verify that all nodes have "type(n) == Value(n)" after CCP
      JDK-8298952 Verify that all nodes have "type(n) == Value(n)" after IGVN

      See if we can do more verification for LoadNode::Value, maybe disable some optimizations during verification?

      JDK-8302071 IGVN shuffle_worklist: we should try to do random selection instead!

      Take more steps to do similar checks for Node::Ideal and Node::Identity.

      JDK-8308149 Verify number of out-projection from MultiBranch

      Verify consistency of Loop nodes (especially CountedLoop with tripcount phi etc)

      JDK-8293362: Extend detection of modified nodes to incremental inlining

      Investigate what to do about JDK-8273496

      After all the verification is added, we should do this:
      Refactor the CCP / IGVN notification code JDK-8298094

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

              Created:
              Updated: