Assertions

The pseudo instruction below declares that the register <reg> (one of H, X, HX, A) contains addr at this inst ruction.

_ASSERT  <reg>, addr

The Compiler may use this instruction to perform optimizations. The code is correct even if the Compiler ignores this information. The following listing shows an example.

Listing: Using _ASSERT
    LDHX  @a:4
    MOV   #4, tmp

loop:

    AIX   #-1

    LDA   0,X

    STA   4,X

    DBNZ  tmp, loop

    _ASSERT HX, @a