ISE 046 documents this group of instructions. Interestingly not all the variants of conditions usable with e.g. Jcc are enumerated. If that's intentional, then may I suggest to at least replace CMP{,N}ZXADD by CMP{,N}EXADD? This is because "zero" is never the result of a comparison (no matter that it's ZF which is holding the result) - it's "equal". To compare, for CF it is CMP{,N}BXADD which are listed, while CMP{,N}CXADD are absent (and indeed "below" is a sensible comparison outcome, while "carry" isn't).
Best would of course be if all variants were intended to be available.
