Design the IR

[jubnzv]

Design a new IR that expresses the runtime semantics of both: FunC and Tact.

This involves:

• Designing an IR, choosing the more suitable features properties needed for analysis e.g.:
  • should it be SSA or something else?
  • do we need def-use chains or other spa information (ASTStore: Add UD functionality #188)?
  • do we need an explicit dominance relation?
  • do we need access to TVM assembly?
  • etc.
• Add the mechanism to access high-level IR structure from which that structure has been generated which is required to get more context.
• Develop lowering passes from both: Tact and FunC high level IRs
  • Tact requires lowering for high-level constructions like contracts, traits and messages. The lowering should be kind of similar to the implementation of the Tact FunC backend.
  • Augmented assignments in both languages should be lowered
  • Tact functions/receivers/init functions should be lowered to the same function type
  • Correspondence IR <--> FunC/Tact AST
• Design an API to access IR entries in the most convenient way.

Finally, it will give the possibility to write language-independent analyzers that work on a lower level than FunC/Tact.