arcana-lab / memoir

A case for representing data collections and objects in the LLVM IR
MIT License
14 stars 2 forks source link

Add RetPHI and Metadata for live-out values #84

Closed tommymcm closed 3 months ago

tommymcm commented 3 months ago

Adds RetPHI instructions at call sites Adds metadata for live-out values inside of the function Creates a new InlineFunction method to handle RetPHIs Updates the LowerFold pass to manage RetPHI instructions and also inline the call.

Closes #81, with addendum: parameters are not specified as inout, every variable is. Call by value must be implemented explicitly.

tommymcm commented 3 months ago

All tests pass with a clean build.