A method is provided for translating a source operation to a target
operation. The source operation acts on one or more source operands, each
comprising a binary integer of a first bit-width. The target operation is
required to be evaluated by a processor, such as a computer, which
performs integer operations on binary integers of a second bit-width which
is greater than first bit-width. The source operation is translated to a
target operation having at least one target operand. The method identifies
whether the value of unused bits of the or each target operand affects the
value of the target operation and whether the target operand or any of the
target operands is capable of having one or more unused bits of
inappropriate value. If so, a correcting operation is added to the target
operation for correcting the value of each of the bits of inappropriate
value before performing the target operation.
