[ library(asm) | Reference Manual | Alphabetic Index ]
portable_object_code(++Object)
Check whether abstract machine code is 32/64 bit portable
- Object
- A list of object words, as produced by pasm/4.
Description
   This check can be run on the output of pasm/4.
   
   ECLiPSe runtime engines on 32/64 bit hardware use different abstract
   machine instructions when processing integers that are between 32 and
   64 bits in size.  Code (and .eco files) that contain such instructions
   cannot be used on a runtime with different word-size from where it was
   assembled.  This predicate prints warnings and fails if the given code
   contains such constructs.
Modes and Determinism
- portable_object_code(++) is semidet
Fail Conditions
If Object is not portable between 32/64 bit.
See Also
pasm / 4