[LLVMdev] Instruction Constraints Question

[Tim Northover]

>> It doesn't look like TableGen supports Constraints beyond EARLY_CLOBBER
>> and TIED_TO.  We would need to add a constraint such as "$dst != $src1,
>> $dst != $mask, $src1 != $mask" to the current patterns to enforce the
>> rules.
> You can emulate such constraints via early clobbing. Just mark dst as
> early clobbing.

How would that (or any early clobbering) enforce $src1 != $mask? Or is
it a fortuitous side-effect of implementation?

Tim.