1# RUN: llvm-mc -triple x86_64 -show-encoding %s | FileCheck %s 2# RUN: not llvm-mc -triple i386 -show-encoding %s 2>&1 | FileCheck %s --check-prefix=ERROR 3 4# ERROR-COUNT-16: error: 5# ERROR-NOT: error: 6# CHECK: adcxl %r16d, %r17d 7# CHECK: encoding: [0x62,0xec,0x7d,0x08,0x66,0xc8] 8 adcxl %r16d, %r17d 9# CHECK: adcxl %r16d, %r17d, %r18d 10# CHECK: encoding: [0x62,0xec,0x6d,0x10,0x66,0xc8] 11 adcxl %r16d, %r17d, %r18d 12# CHECK: adcxq %r16, %r17 13# CHECK: encoding: [0x62,0xec,0xfd,0x08,0x66,0xc8] 14 adcxq %r16, %r17 15# CHECK: adcxq %r16, %r17, %r18 16# CHECK: encoding: [0x62,0xec,0xed,0x10,0x66,0xc8] 17 adcxq %r16, %r17, %r18 18# CHECK: adcxl (%r16), %r17d 19# CHECK: encoding: [0x62,0xec,0x7d,0x08,0x66,0x08] 20 adcxl (%r16), %r17d 21# CHECK: adcxl (%r16), %r17d, %r18d 22# CHECK: encoding: [0x62,0xec,0x6d,0x10,0x66,0x08] 23 adcxl (%r16), %r17d, %r18d 24# CHECK: adcxq (%r16), %r17 25# CHECK: encoding: [0x62,0xec,0xfd,0x08,0x66,0x08] 26 adcxq (%r16), %r17 27# CHECK: adcxq (%r16), %r17, %r18 28# CHECK: encoding: [0x62,0xec,0xed,0x10,0x66,0x08] 29 adcxq (%r16), %r17, %r18 30# CHECK: adoxl %r16d, %r17d 31# CHECK: encoding: [0x62,0xec,0x7e,0x08,0x66,0xc8] 32 adoxl %r16d, %r17d 33# CHECK: adoxl %r16d, %r17d, %r18d 34# CHECK: encoding: [0x62,0xec,0x6e,0x10,0x66,0xc8] 35 adoxl %r16d, %r17d, %r18d 36# CHECK: adoxq %r16, %r17 37# CHECK: encoding: [0x62,0xec,0xfe,0x08,0x66,0xc8] 38 adoxq %r16, %r17 39# CHECK: adoxq %r16, %r17, %r18 40# CHECK: encoding: [0x62,0xec,0xee,0x10,0x66,0xc8] 41 adoxq %r16, %r17, %r18 42# CHECK: adoxl (%r16), %r17d 43# CHECK: encoding: [0x62,0xec,0x7e,0x08,0x66,0x08] 44 adoxl (%r16), %r17d 45# CHECK: adoxl (%r16), %r17d, %r18d 46# CHECK: encoding: [0x62,0xec,0x6e,0x10,0x66,0x08] 47 adoxl (%r16), %r17d, %r18d 48# CHECK: adoxq (%r16), %r17 49# CHECK: encoding: [0x62,0xec,0xfe,0x08,0x66,0x08] 50 adoxq (%r16), %r17 51# CHECK: adoxq (%r16), %r17, %r18 52# CHECK: encoding: [0x62,0xec,0xee,0x10,0x66,0x08] 53 adoxq (%r16), %r17, %r18 54