Assertion: instruction | /r/HasProperty | switched on branch
Facets:
Source sentences:
text: Some, such as the ARM with Thumb-extension have mixed variable encoding, that is two fixed, usually 32-bit and 16-bit encodings, where instructions cannot be mixed freely but must be switched between on a branch (or exception boundary in ARMv8).