Broken C Calls on Darwin/AArch64
bgamari/test-primops> has discovered this failing C call shape on Darwin/AArch64 when using the LLVM backend (and presumably the NCG as well although the latter is currently too broken to judge):
C-Call correctness: FAIL (0.36s)
*** Failed! Falsified (after 1 test):
CCallDesc {callRet = SomeNumber @W16 0xef7c, callArgs = [SomeNumber @W8 0x90,SomeNumber @W8 0x2e,SomeNumber @W32 0xc4f525b5,SomeNumber @W16 0xfa13,SomeNumber @W32 0x3762a248,SomeNumber @W32 0xc91956ee,SomeNumber @W64 0x6d4c9d69ed69c6f6,SomeNumber @W32 0x6fc830de,SomeNumber @W32 0x20108891,SomeNumber @W16 0x65ae,SomeNumber @W64 0xd15099605cf94130,SomeNumber @W64 0xfa129274dad70ff,SomeNumber @W16 0x29ef,SomeNumber @W32 0x1a038aa5,SomeNumber @W64 0x33f45559c8ad4c8b,SomeNumber @W8 0x37,SomeNumber @W64 0x64827e4121b94909,SomeNumber @W8 0x38,SomeNumber @W32 0x88ac3077]}
[144,46,3304400309,64019,929210952,3373881070,7875842926644414198,1875390686,537954449,0,26030,15082723791219540272,28927,262220071,10735,165,3743711034358975627,55,0,61308] /= [144,46,3304400309,64019,929210952,3373881070,7875842926644414198,1875390686,537954449,26030,15082723791219540272,1126226630603010303,10735,436439717,3743711034358975627,55,7242489968968943881,56,2292985975,61308]
Use --quickcheck-replay=987633 to reproduce.
Use -p '/o0-llvm.C-Call correctness/' to rerun this test only.