Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • M mu-impl-fast
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 40
    • Issues 40
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 1
    • Merge requests 1
  • Deployments
    • Deployments
    • Releases
  • Packages and registries
    • Packages and registries
    • Container Registry
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • mumu
  • mu-impl-fast
  • Merge requests
  • !44

Ir formatting

  • Review changes

  • Download
  • Email patches
  • Plain diff
Merged Isaac Gariano requested to merge ir-formatting into develop Oct 09, 2017
  • Overview 7
  • Commits 9
  • Pipelines 0
  • Changes 33

Ir formatting is now almost identical to what MUC expects (theirs a slight problem with 'extern's...)

Compilation now emits the following:

  • f.uir containing the original IR for each function f
  • ___types.uir contains typedefs for all structs and hybrids
  • ___globals.uir contains global definitions for each global cell
  • the ir .dot files now have a very MUC'like IR representation

You should be able to recreate your mu boot image with the *.uir files (ofcourse VM arguments and heap state are not preserved, when MUC supports these features in text format, I will add output to Zebu). Their are some instructions that won't display correct IR, namely those whose 'type parameters' depend on the types of the results (e.g. a swapstack with a ret_with clause)

Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: ir-formatting