Details

      Description

      Currently, the verification is only done on the output of PrintIdeal and PrintOptoAssembly after code generation. We could think about adding more verification phases after specific compiler phases to make assertions on intermediate states of the IR.

      There are several possibilities:
      - Dump the IR with PrintIdeal on other places as well, for example, where we are currently dumping the IR graph for the Ideal Graph Visualizer (we probably need to add a new flag for it to keep PrintIdeal as it is). The rules operating on PrintOptoAssembly need to be adjusted, though.
      - Add option to pattern match on the IGV xml output in combination with PrintIdealGraph/PrintIdealGraphLevel.
      - Switch to a complete parsing of the IR to perform queries on it which, however, is more complex (see JDK-8265198).

        Attachments

          Issue Links

            Activity

              People

              Assignee:
              Unassigned Unassigned
              Reporter:
              chagedorn Christian Hagedorn
              Votes:
              0 Vote for this issue
              Watchers:
              1 Start watching this issue

                Dates

                Created:
                Updated: