brintos

brintos / llvm-project-archived public Read only

0
0
Text · 2.0 KiB · 185d278 Raw
54 lines · plain
1# RUN: llvm-mc -triple x86_64 -show-encoding %s | FileCheck %s2# RUN: not llvm-mc -triple i386 -show-encoding %s 2>&1 | FileCheck %s --check-prefix=ERROR3 4# ERROR-COUNT-16: error:5# ERROR-NOT: error:6# CHECK: adcxl	%r16d, %r17d7# CHECK: encoding: [0x62,0xec,0x7d,0x08,0x66,0xc8]8         adcxl	%r16d, %r17d9# CHECK: adcxl	%r16d, %r17d, %r18d10# CHECK: encoding: [0x62,0xec,0x6d,0x10,0x66,0xc8]11         adcxl	%r16d, %r17d, %r18d12# CHECK: adcxq	%r16, %r1713# CHECK: encoding: [0x62,0xec,0xfd,0x08,0x66,0xc8]14         adcxq	%r16, %r1715# CHECK: adcxq	%r16, %r17, %r1816# CHECK: encoding: [0x62,0xec,0xed,0x10,0x66,0xc8]17         adcxq	%r16, %r17, %r1818# CHECK: adcxl	(%r16), %r17d19# CHECK: encoding: [0x62,0xec,0x7d,0x08,0x66,0x08]20         adcxl	(%r16), %r17d21# CHECK: adcxl	(%r16), %r17d, %r18d22# CHECK: encoding: [0x62,0xec,0x6d,0x10,0x66,0x08]23         adcxl	(%r16), %r17d, %r18d24# CHECK: adcxq	(%r16), %r1725# CHECK: encoding: [0x62,0xec,0xfd,0x08,0x66,0x08]26         adcxq	(%r16), %r1727# CHECK: adcxq	(%r16), %r17, %r1828# CHECK: encoding: [0x62,0xec,0xed,0x10,0x66,0x08]29         adcxq	(%r16), %r17, %r1830# CHECK: adoxl	%r16d, %r17d31# CHECK: encoding: [0x62,0xec,0x7e,0x08,0x66,0xc8]32         adoxl	%r16d, %r17d33# CHECK: adoxl	%r16d, %r17d, %r18d34# CHECK: encoding: [0x62,0xec,0x6e,0x10,0x66,0xc8]35         adoxl	%r16d, %r17d, %r18d36# CHECK: adoxq	%r16, %r1737# CHECK: encoding: [0x62,0xec,0xfe,0x08,0x66,0xc8]38         adoxq	%r16, %r1739# CHECK: adoxq	%r16, %r17, %r1840# CHECK: encoding: [0x62,0xec,0xee,0x10,0x66,0xc8]41         adoxq	%r16, %r17, %r1842# CHECK: adoxl	(%r16), %r17d43# CHECK: encoding: [0x62,0xec,0x7e,0x08,0x66,0x08]44         adoxl	(%r16), %r17d45# CHECK: adoxl	(%r16), %r17d, %r18d46# CHECK: encoding: [0x62,0xec,0x6e,0x10,0x66,0x08]47         adoxl	(%r16), %r17d, %r18d48# CHECK: adoxq	(%r16), %r1749# CHECK: encoding: [0x62,0xec,0xfe,0x08,0x66,0x08]50         adoxq	(%r16), %r1751# CHECK: adoxq	(%r16), %r17, %r1852# CHECK: encoding: [0x62,0xec,0xee,0x10,0x66,0x08]53         adoxq	(%r16), %r17, %r1854