brintos

brintos / llvm-project-archived public Read only

0
0
Text · 2.1 KiB · 46c6588 Raw
59 lines · plain
1// RUN: llvm-mc -triple x86_64 --show-encoding %s | FileCheck %s2 3// CHECK: cmpaexadd  %eax, %ecx, (%rip)4// CHECK: encoding: [0xc4,0xe2,0x79,0xe3,0x0d,0x00,0x00,0x00,0x00]5          cmpnbxadd  %eax, %ecx, (%rip)6 7// CHECK: cmpexadd  %eax, %ecx, (%rip)8// CHECK: encoding: [0xc4,0xe2,0x79,0xe4,0x0d,0x00,0x00,0x00,0x00]9          cmpzxadd  %eax, %ecx, (%rip)10 11// CHECK: cmpnexadd  %eax, %ecx, (%rip)12// CHECK: encoding: [0xc4,0xe2,0x79,0xe5,0x0d,0x00,0x00,0x00,0x00]13          cmpnzxadd  %eax, %ecx, (%rip)14 15// CHECK: cmpaxadd  %eax, %ecx, (%rip)16// CHECK: encoding: [0xc4,0xe2,0x79,0xe7,0x0d,0x00,0x00,0x00,0x00]17          cmpnbexadd  %eax, %ecx, (%rip)18 19// CHECK: cmpgexadd  %eax, %ecx, (%rip)20// CHECK: encoding: [0xc4,0xe2,0x79,0xed,0x0d,0x00,0x00,0x00,0x00]21          cmpnlxadd  %eax, %ecx, (%rip)22 23// CHECK: cmpgxadd  %eax, %ecx, (%rip)24// CHECK: encoding: [0xc4,0xe2,0x79,0xef,0x0d,0x00,0x00,0x00,0x00]25          cmpnlexadd  %eax, %ecx, (%rip)26 27// CHECK: cmpbxadd  %eax, %ecx, (%rip)28// CHECK: encoding: [0xc4,0xe2,0x79,0xe2,0x0d,0x00,0x00,0x00,0x00]29          cmpcxadd  %eax, %ecx, (%rip)30 31// CHECK: cmpbxadd  %eax, %ecx, (%rip)32// CHECK: encoding: [0xc4,0xe2,0x79,0xe2,0x0d,0x00,0x00,0x00,0x00]33          cmpnaexadd  %eax, %ecx, (%rip)34 35// CHECK: cmpaexadd  %eax, %ecx, (%rip)36// CHECK: encoding: [0xc4,0xe2,0x79,0xe3,0x0d,0x00,0x00,0x00,0x00]37          cmpncxadd  %eax, %ecx, (%rip)38 39// CHECK: cmpbexadd  %eax, %ecx, (%rip)40// CHECK: encoding: [0xc4,0xe2,0x79,0xe6,0x0d,0x00,0x00,0x00,0x00]41          cmpnaxadd  %eax, %ecx, (%rip)42 43// CHECK: cmplexadd  %eax, %ecx, (%rip)44// CHECK: encoding: [0xc4,0xe2,0x79,0xee,0x0d,0x00,0x00,0x00,0x00]45          cmpngxadd  %eax, %ecx, (%rip)46 47// CHECK: cmppxadd  %eax, %ecx, (%rip)48// CHECK: encoding: [0xc4,0xe2,0x79,0xea,0x0d,0x00,0x00,0x00,0x00]49          cmppexadd  %eax, %ecx, (%rip)50 51// CHECK: cmpnpxadd  %eax, %ecx, (%rip)52// CHECK: encoding: [0xc4,0xe2,0x79,0xeb,0x0d,0x00,0x00,0x00,0x00]53          cmppoxadd  %eax, %ecx, (%rip)54 55// CHECK: cmplxadd  %eax, %ecx, (%rip)56// CHECK: encoding: [0xc4,0xe2,0x79,0xec,0x0d,0x00,0x00,0x00,0x00]57          cmpngexadd  %eax, %ecx, (%rip)58 59