Skip to content

GitLab

GitLab will be upgraded on 30 Jan 2023 from 2.00 pm (AEDT) to 3.00 pm (AEDT). During the update, GitLab and Mattermost services will not be available. If you have any concerns with this, please talk to us at N110 (b) CSIT building.

Open
Created by Yi Lin@u4776528Owner2 of 3 tasks completed2/3 tasks

Removing unnecessary use of lock/`Option` for IR data structures

This issue tracks unnecessary uses of locks in Zebu. The old Mu spec requires mutation on the IR, for example, creating a IR node, then adding a name to it. Thus either locks or Option<T> are introduced to allow mutation. The new spec makes the IR almost (if not completely) immutable. It is possible to remove most of the locks.

Some rewrite compilation passes try to mutate on IR nodes as well. However, we can always copy and update instead of mutating.

Lock:

  • name field in MuEntityHeader
  • ops field in Instruction

Option<T>:

  • Most of the Option uses in ir.rs