Skip to content

GitLab

WARNING! Access to this system is limited to authorised users only.
Unauthorised users may be subject to prosecution.
Unauthorised access to this system is a criminal offence under Australian law (Federal Crimes Act 1914 Part VIA)
It is a criminal offence to:
(1) Obtain access to data without authority. -Penalty 2 years imprisonment.
(2) Damage, delete, alter or insert data without authority. -Penalty 10 years imprisonment.
User activity is monitored and recorded. Anyone using this system expressly consents to such monitoring and recording.

Closed
Created by Yi Lin@u4776528Owner

IR validation pass

Currently if the input IR is incorrect, one of the following may happen:

  1. some assertion in the compiler may fail
  2. Rust safety finds it and panics (such as index out of bounds)
  3. the compiler generates correct or incorrect code even if input IR is incorrect

We will want a IR validation pass to check the input IR. It includes:

  • check if types and numbers of operands and results of each instructions match
  • check if function signatures matches parameters and return values
  • check if branch arguments matches parameters, and if branch destination is valid
  • check if the last instruction for each block is terminating instruction (BRNACH, CALL, RET, etc) ...

(this list will grow when I think up more)