Implement function calls

[tampler]

Tracking issue for the implementation of function calls.

Todo

• Fix parser issue for test/svlog/funcs/std_example.sv
• Add ambiguity resolution for subroutine port declarations, e.g. test/svlog/funcs/std_example.sv
• Add query to distill ANSI/non-ANSI function arguments into a canonicalized form
• Fix parsing of function calls as statements (Fix parsing of function calls as statements #213)
• Resolve simple function calls (free and in package scopes)
• Add query to pair up function call arguments with function definition arguments
• Add verbosity option to show function resolution and type checking (visitor over AST)
• Impose type context on call arguments based on definition
• Emit function definitions as LLHD funcs
• Lower calls to MIR
• Emit calls as LLHD calls
• Fix tests broken by tighter argument type computation

---

Hello Fabian

Started to learn about this project. This work is awesome! Thanks for contributing a lot of effort and building this!

I tried to compile an example from your paper with moore and got a bug. Just to let you know about this issue. Here's the file

bku@lap:~/work/hw/llhd/moore/0$ moore -O4 tb.sv -e acc_tb
compiler bug: lowering of call to expression not implemented
  --> tb.sv:13:3-8: 
   |   check(i, q);

[fabianschuiki]

Hi @tampler, thanks for the heads up. There are a few parts of the examples in the paper that moore does not yet fully support, but was in the paper for the sake of completeness (and show how things would map to LLHD). I'm working on getting this done though 👍. Changing this into a tracking issue for function calls.

[tampler]

Sure take your time. I'll be keeping my eye on this project and your awesome work

[fabianschuiki]

Thanks! Any SystemVerilog code snippets that you find which are rejected by moore are very welcome here on the issue tracker 😃 !