Code

Module analysis#100

Code

Merged

sbillig merged 13 commits intofe-lang:mainfe-lang/sonatina:mainfrom Y-Nak:module-analysisY-Nak/sonatina:module-analysisCopy head branch name to clipboardDec 12, 2024

+912-38

Commits

Commits on Dec 4, 2024

• Add callgraph

  Y-Nak

  committed
  62e8bf4

  Copy full SHA for 62e8bf4

• Implement Tarjan's algorithm for callgraph Sccs computation

  Y-Nak

  committed
  75c8f95

  Copy full SHA for 75c8f95

Commits on Dec 5, 2024

• Add CallInfo inst property trait

  Y-Nak

  committed
  92d4fba

  Copy full SHA for 92d4fba

• Remove redundant fields from SccInfo

  Y-Nak

  committed
  f8de933

  Copy full SHA for f8de933

Commits on Dec 6, 2024

• Implement module analysis

  Y-Nak

  committed
  62102b3

  Copy full SHA for 62102b3

• Refactor module analysis

  Y-Nak

  committed
  d23040b

  Copy full SHA for d23040b

• Add tests for module analysis

  Y-Nak

  committed
  f12ea73

  Copy full SHA for f12ea73

• Add missing build.rs in ir crate

  Y-Nak

  committed
  3c1494f

  Copy full SHA for 3c1494f

• Move fixtures for ir test under ir/test_files for consistency

  Y-Nak

  committed
  bd7e035

  Copy full SHA for bd7e035

• Modify .gitignore

  Y-Nak

  committed
  521872a

  Copy full SHA for 521872a

• Expose FuncRef from FunctionBuilder

  Y-Nak

  committed
  8e777c9

  Copy full SHA for 8e777c9

Commits on Dec 7, 2024

• Fix the wrong assumption for the external function information

  Y-Nak

  committed
  8dc5498

  Copy full SHA for 8dc5498

• Rename is_non_recursive to is_recursive in FuncInfo

  Y-Nak

  committed
  a2192fc

  Copy full SHA for a2192fc