bits 64 ccmp {dfv=cf,of} eax,[rbx]