
portable_object_code(++Object)

   Check whether abstract machine code is 32/64 bit portable

Arguments
   Object              A list of object words, as produced by pasm/4.

Type
   library(asm)

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
