Update to to latest bsc and merge in wrapper generation changes#753

Closed

nanavati wants to merge 46 commits intoB-Lang-org:mainfrom MatX-inc:genwrap-custom

Commits on Dec 19, 2024

Initial, hacky work on computing wrapper interface method types using type classes

krame505
authored and
nanavati
committed
Attempt at attachting port names with a primative on every input. Doesn't work b/c lambda bodies aren't partially evaluated before iExpandMethod.

krame505
authored and
nanavati
committed
Pass the input port names by tagging methods with a new primative

krame505
authored and
nanavati
committed
Refactor WrapMethod type class

krame505
authored and
nanavati
committed
Input port splitting works end-to-end, modulo sanity checks and saving port types

krame505
authored and
nanavati
committed
Handle prefix for input port names via wrap typeclasses

krame505
authored and
nanavati
committed
Saving port types using WrapField type class method

krame505
authored and
nanavati
committed
Bug fixes

krame505
authored and
nanavati
committed
Use WrapField to determine noinline foreign function types

krame505
authored and
nanavati
committed
Cleanup, add DeepSplitPorts type class

krame505
authored and
nanavati
committed
Add primMethod wrapper prim calls in vMkRWire1

krame505
authored and
nanavati
committed
Update expected test output

krame505
authored and
nanavati
committed
Re-add module arg port type saving, still need to do port name conflict checking

krame505
authored and
nanavati
committed
Fix saving Inout port types

krame505
authored and
nanavati
committed
Update test expected output

krame505
authored and
nanavati
committed
Update expected test output

krame505
authored and
nanavati
committed
Fix prefix computation in genwrap 'to' function and port saving statement construction

krame505
authored and
nanavati
committed
Fix inadvertantly disabled type check for foreign functions

krame505
authored and
nanavati
committed
Update test expected results

krame505
authored and
nanavati
committed
Add interface port name sanity checking after elaboration

krame505
authored and
nanavati
committed
Fix bug introduced in computing split vector interface prefixes

krame505
authored and
nanavati
committed
Add sketch of splitting tuples

krame505
authored and
nanavati
committed
Check for clash with default clock/reset ports

krame505
authored and
nanavati
committed
Better error message for synthesizing an interface with a non-Bits method

krame505
authored and
nanavati
committed
Cleanup trailing whitespace

krame505
authored and
nanavati
committed
Update expected results, testsuite passing

krame505
authored and
nanavati
committed
Reorganize port splitting utilites into a seperate library, add ShallowSplitPorts

krame505
authored and
nanavati
committed
More efficient implementation of splitting vectors

krame505
authored and
nanavati
committed
Avoid extra _1 suffix for DeepSplitPorts on Int/UInt

krame505
authored and
nanavati
committed
Add test cases for port splitting

krame505
authored and
nanavati
committed
Add test of DeepSplitPorts with an explicit non-recursive instance

krame505
authored and
nanavati
committed
Fix NoSplit instance

krame505
authored and
nanavati
committed
Add a comment

krame505
authored and
nanavati
committed
Stuff the field name in the WrapField type class as a type parameter for better error messages.

krame505
authored and
nanavati
committed
Fix trailing whitespace

krame505
authored and
nanavati
committed
Addressing Ravi's comments

krame505
authored and
nanavati
committed
Fix more comments

krame505
authored and
nanavati
committed
Fix testsuite failure after error message tweak

krame505
authored and
nanavati
committed
Record the full field name path in WrapField context, for better errors for a non-synthesizable subinterface

krame505
authored and
nanavati
committed
Don't surface implicit conditions from inside ICMethod

krame505
authored and
nanavati
committed
FIx trailing whitespace

krame505
authored and
nanavati
committed
Slightly less gross list deconstruction in IExpand

krame505
authored and
nanavati
committed
Add more tests

krame505
authored and
nanavati
committed
Updated expected output for tests
nanavati
committed
Turn off "IVerilog support for VPI is incomplete"

Charlie Ross
authored and
nanavati
committed
Add a separate workflow that build rocky-8 compatible bsc

Greg Steuck
authored and
nanavati
committed