Closed maleadt closed 2 months ago
I left some review comments on the commit (rather than attached to the PR by accident)
The classification algorithm for stret (named Memory here), including the additional exceptions added by Apple is https://developer.apple.com/documentation/xcode/writing-64-bit-intel-code-for-apple-platforms. Our abi code does not model the exceptions either, though we don't typically allow modeling a C union type as a field, so some of the required complications may not be allowed to be modeled
A useful API that requires stret. The ABI rules are based on Julia's implementation, but I want to do some more tests to ensure they are correct.