Support splitting up struct method parameters into multiple input ports#729

Merged

quark17 merged 86 commits intoB-Lang-org:mainfrom

krame505:genwrap

Mar 31, 2026

Commits on Mar 30, 2026

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

krame505
authored and
quark17
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
quark17
committed
Pass the input port names by tagging methods with a new primative

krame505
authored and
quark17
committed
Refactor WrapMethod type class

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

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

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

krame505
authored and
quark17
committed
Bug fixes

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

krame505
authored and
quark17
committed
Cleanup, add DeepSplitPorts type class

krame505
authored and
quark17
committed
Update expected test output

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

krame505
authored and
quark17
committed
Fix saving Inout port types

krame505
authored and
quark17
committed
Update test expected output

krame505
authored and
quark17
committed
Update expected test output

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

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

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

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

krame505
authored and
quark17
committed
Add sketch of splitting tuples

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

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

krame505
authored and
quark17
committed
Cleanup trailing whitespace

krame505
authored and
quark17
committed
Update expected results, testsuite passing

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

krame505
authored and
quark17
committed
More efficient implementation of splitting vectors

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

krame505
authored and
quark17
committed
Add test cases for port splitting

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

krame505
authored and
quark17
committed
Fix NoSplit instance

krame505
authored and
quark17
committed
Add a comment

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

krame505
authored and
quark17
committed
Fix trailing whitespace

krame505
authored and
quark17
committed
Addressing Ravi's comments

krame505
authored and
quark17
committed
Fix more comments

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

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

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

krame505
authored and
quark17
committed
FIx trailing whitespace

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

krame505
authored and
quark17
committed
Add more tests

krame505
authored and
quark17
committed
Updated expected output for tests

nanavati
authored and
quark17
committed
Stop including explicit indices in the string type argument to the WrapField

nanavati
authored and
quark17
committed
Update position in expected error output.

nanavati
authored and
quark17
committed
Clean up exports

krame505
authored and
quark17
committed
Update expected test result

krame505
authored and
quark17
committed
Better position for error when wrong number of ports are returned by portNames

krame505
authored and
quark17
committed
Include nolinline pragma in pPrint of Cforeign

krame505
authored and
quark17
committed
Make mkList take a Position argument

krame505
authored and
quark17
committed
Remove idPreludeCons, qualify idCons and idNil

krame505
authored and
quark17
committed
Add missing newline

krame505
authored and
quark17
committed
Avoid treating (a, ()) as a tuple of size 1

krame505
authored and
quark17
committed
Remove unused fsConcat

krame505
authored and
quark17
committed
Remove outdated comment

krame505
authored and
quark17
committed
mkProxy -> mkTypeProxyExpr

krame505
authored and
quark17
committed
Add util to unwrap a Port value

krame505
authored and
quark17
committed
Avoid stringHead of an empty string

krame505
authored and
quark17
committed
Fix error in NFData CDefn instance from rebasing

krame505
authored and
quark17
committed
Fix to avoid extra _ in deepSplitPortNames/shallowSplitPortNames when base is empty

krame505
authored and
quark17
committed
Update expected heap number in test
quark17
committed
Tweak to TupleSize instance

krame505
authored and
quark17
committed
Add comments about DeepSplitPorts Int/UInt instances

krame505
authored and
quark17
committed
Change pPrint for Cforeign to match pvPrint

krame505
authored and
quark17
committed
Renaming PreIds ids

krame505
authored and
quark17
committed
Add missing final newline

krame505
authored and
quark17
committed
Add comment on test for vector interface instance dicts combining

krame505
authored and
quark17
committed
Revert error code being checked for noinline type-not-in-bits tests

krame505
authored and
quark17
committed
Eliminate EStringListNF

krame505
authored and
quark17
committed
Check for too many arg_names supplied for a method

krame505
authored and
quark17
committed
Add comments in GenWrap

krame505
authored and
quark17
committed
Improve error message when a synthesized method or noinline function uses a type lacking a Bit or SplitPorts instance

krame505
authored and
quark17
committed
Add docs for new tuple utilites (mostly written by Claude)

krame505
authored and
quark17
committed
Add test cases for tuple utilites (generated by Claude)

krame505
authored and
quark17
committed
Pass the current module name into handleContextReduction for better error message

krame505
authored and
quark17
committed
Testsuite: Update expected PreludeBSV positions
quark17
committed
Revert id_to_vName change
quark17
committed
Clean up documentation

krame505
authored and
quark17
committed
Tests and docs for the Curry type class

krame505
authored and
quark17
committed
Misc cleanup

krame505
authored and
quark17
committed
Clean up tests

krame505
authored and
quark17
committed
Clean up uncurryN examples

krame505
authored and
quark17
committed
Fix expected output

krame505
authored and
quark17
committed
Update order of defs in mkDesign.v.expected

krame505
authored and
quark17
committed
Update location in ClockCheckCond error expected output, add a check for the output without --cross-info

krame505
authored and
quark17
committed
Revert expected PreludeBSV positions, now that the testsuite doesn't care
quark17
committed
Remove the unneeded export of primMethod
quark17
committed