Skip to content

Port the interworking interface to x86

Clean Importer requested to merge interworking-x86 into master

In CodeSharing, the infprimes example works, functions not yet. I have not yet tried GraphTest.

To do:

  • CodeSharing, functions
  • GraphTest
  • Copying DREAL back and forth on both x86 and x64 Clean
  • Copying DREAL arrays back and forth on both x86 and x64 Clean
  • Tests

It is not currently possible to interwork 64-bit ABC code with 32-bit Clean or vice versa. The problem is that GraphCopy (even with names) depends on the bitwidth. GraphCopy can solve this in two ways:

  • Functions to convert a 32-bit graph-as-a-string to a 64-bit graph-as-a-string (and vice versa). The main difficulty here is that Real constants should be 64-bit on both platforms. For REAL nodes that's easy; for records with unboxed Reals it is possible (through the type string) but more difficult.
  • An option to ensure that GraphCopy on 32-bit systems gives a 64-bit string as output.
Edited by Clean Importer

Merge request reports