The D docs list it as 'cmpxch8b', but that must be a typo. The original x86 parser used 'cmpxch8b', the original x64 one 'cmpxchg8b'.