[ 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