Zachary Snow

I think this is now pretty close to complete. @sifferman, what do you think of the current implementation? Please feel free to suggest any changes. I have no particular attachment...

Thank you for taking the time to explain your use case! The interface conversion wasn't designed with this usage in mind. Some interfaces can only be correctly converted via inlining,...

Thanks for filing this request! I have started work on adding support for this feature. It may be a week or so before it is ready.

In the discussion following https://github.com/zachjs/sv2v/issues/155#issuecomment-876814907, I wondered whether sv2v should need to be able to determine that a particular code path is unreachable to short-circuit code that is invalid or...

I just pushed some revisions that should preserve most of the intended changes while fixing the issues raised in the test cases. What do you think?

I realized that my changes actually break applying attributes to generate items, so I'll have to work on this further. I am considering adding a `GIAttr` akin to `MIAttr`, or...

What version of LLVM are you using?

I recommend using the latest commit of sv2v, which already builds against GHC 9.4. It looks like you're using LLVM 16. Per https://www.haskell.org/ghc/download_ghc_9_4_7.html, GHC 9.4 is only compatible with LLVM...

I just pushed a patch to make sv2v compatible with GHC 9.6 and the latest Stackage LTS.

@spth To clarify the above, although sv2v now builds by default against GHC 9.6.4, it doesn't actually require such a new version. As of 988f76b92bcbb081adc2d46f7a47526e6529b2a6, sv2v builds against GHC as...