Uploaded image for project: 'Harmony'
  1. Harmony
  2. HARMONY-1943

[drlvm][verifier] Parser jsr and ret instruction for verifier

    XMLWordPrintableJSON

Details

    • Improvement
    • Status: Closed
    • Major
    • Resolution: Fixed
    • None
    • None
    • DRLVM
    • None
    • Novice

    Description

      Here is the parser of jsr and ret instructions for DRLVM verifier.
      The patch adds building control-flow graph nodes related to subroutines.
      Numbers of CFG nodes and edges are made extendable for implementation of subroutine inlining or graph cloning.

      Attachments

        Issue Links

          Activity

            People

              gshimansky Gregory Shimansky
              starcon Pavel Rebriy
              Votes:
              0 Vote for this issue
              Watchers:
              0 Start watching this issue

              Dates

                Created:
                Updated:
                Resolved: