[ 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