Details

    • Technical task
    • Resolution: Won't Do
    • P2: Important
    • 6.5
    • QML: Compiler
    • None

    Description

      Currently the basic blocks pass generates some synthetic annotations for the arguments. This way the arguments are recorded as "written" in the basic blocks pass and we can find them there. However, they do not show up in the individual states' register arrays. Therefore, we still need special code to deal with them in case of unconditional jumps.

      It would be better if the type propagator already performed some synthetic operations to seed the argument registers.

      Attachments

        No reviews matched the request. Check your Options in the drop-down menu of this sections header.

        Activity

          People

            ulherman Ulf Hermann
            ulherman Ulf Hermann
            Votes:
            0 Vote for this issue
            Watchers:
            1 Start watching this issue

            Dates

              Created:
              Updated:
              Resolved:

              Gerrit Reviews

                There are no open Gerrit changes