[llvm] c23b1a0 - [X86][test] Add missing encoding tests for ADCX/ADOX

[Shengchen Kan via llvm-commits]

Author: Shengchen Kan
Date: 2023-08-14T15:43:22+08:00
New Revision: c23b1a0cb7b338b9bb18d03eff6604e9e1ac4079

URL: https://github.com/llvm/llvm-project/commit/c23b1a0cb7b338b9bb18d03eff6604e9e1ac4079
DIFF: https://github.com/llvm/llvm-project/commit/c23b1a0cb7b338b9bb18d03eff6604e9e1ac4079.diff

LOG: [X86][test] Add missing encoding tests for ADCX/ADOX

Reviewed By: XinWang10

Differential Revision: https://reviews.llvm.org/D157835

Added: 
    

Modified: 
    llvm/test/MC/X86/I86-32.s
    llvm/test/MC/X86/I86-64.s

Removed: 
    


################################################################################
diff  --git a/llvm/test/MC/X86/I86-32.s b/llvm/test/MC/X86/I86-32.s
index b422c92128368b..3ce9dec71446a8 100644
--- a/llvm/test/MC/X86/I86-32.s
+++ b/llvm/test/MC/X86/I86-32.s
@@ -148,6 +148,14 @@ adcw $0, 64(%edx,%eax)
 // CHECK: encoding: [0x66,0x83,0x12,0x00]        
 adcw $0, (%edx) 
 
+// CHECK: adcxl	%edx, %eax
+// CHECK: encoding: [0x66,0x0f,0x38,0xf6,0xc2]
+adcxl	%edx, %eax
+
+// CHECK: adcxl	(%edx), %eax
+// CHECK: encoding: [0x66,0x0f,0x38,0xf6,0x02]
+adcxl	(%edx), %eax
+
 // CHECK: addb $0, -485498096(%edx,%eax,4) 
 // CHECK: encoding: [0x80,0x84,0x82,0x10,0xe3,0x0f,0xe3,0x00]        
 addb $0, -485498096(%edx,%eax,4) 
@@ -280,6 +288,14 @@ addw $0, 64(%edx,%eax)
 // CHECK: encoding: [0x66,0x83,0x02,0x00]        
 addw $0, (%edx) 
 
+// CHECK: adoxl	%edx, %eax
+// CHECK: encoding: [0xf3,0x0f,0x38,0xf6,0xc2]
+adoxl	%edx, %eax
+
+// CHECK: adoxl	(%edx), %eax
+// CHECK: encoding: [0xf3,0x0f,0x38,0xf6,0x02]
+adoxl	(%edx), %eax
+
 // CHECK: andb $0, -485498096(%edx,%eax,4) 
 // CHECK: encoding: [0x80,0xa4,0x82,0x10,0xe3,0x0f,0xe3,0x00]        
 andb $0, -485498096(%edx,%eax,4) 

diff  --git a/llvm/test/MC/X86/I86-64.s b/llvm/test/MC/X86/I86-64.s
index 31144653b9b533..54f4b38afbf273 100644
--- a/llvm/test/MC/X86/I86-64.s
+++ b/llvm/test/MC/X86/I86-64.s
@@ -224,6 +224,22 @@ adcw %r14w, (%rdx)
 // CHECK: encoding: [0x66,0x44,0x13,0x32]        
 adcw (%rdx), %r14w 
 
+// CHECK: adcxl	%edx, %r14d
+// CHECK: encoding: [0x66,0x44,0x0f,0x38,0xf6,0xf2]
+adcxl %edx, %r14d
+
+// CHECK: adcxl	(%rdx), %r14d
+// CHECK: encoding: [0x66,0x44,0x0f,0x38,0xf6,0x32]
+adcxl (%rdx), %r14d
+
+// CHECK: adcxq	%rdx, %r14
+// CHECK: encoding: [0x66,0x4c,0x0f,0x38,0xf6,0xf2]
+adcxq %rdx, %r14
+
+// CHECK: adcxq	(%rdx), %r14
+// CHECK: encoding: [0x66,0x4c,0x0f,0x38,0xf6,0x32]
+adcxq (%rdx), %r14
+
 // CHECK: addb $0, 485498096 
 // CHECK: encoding: [0x80,0x04,0x25,0xf0,0x1c,0xf0,0x1c,0x00]        
 addb $0, 485498096 
@@ -448,6 +464,22 @@ addw %r14w, (%rdx)
 // CHECK: encoding: [0x66,0x44,0x03,0x32]        
 addw (%rdx), %r14w 
 
+// CHECK: adoxl	%edx, %r14d
+// CHECK: encoding: [0xf3,0x44,0x0f,0x38,0xf6,0xf2]
+adoxl %edx, %r14d
+
+// CHECK: adoxl	(%rdx), %r14d
+// CHECK: encoding: [0xf3,0x44,0x0f,0x38,0xf6,0x32]
+adoxl (%rdx), %r14d
+
+// CHECK: adoxq	%rdx, %r14
+// CHECK: encoding: [0xf3,0x4c,0x0f,0x38,0xf6,0xf2]
+adoxq %rdx, %r14
+
+// CHECK: adoxq	(%rdx), %r14
+// CHECK: encoding: [0xf3,0x4c,0x0f,0x38,0xf6,0x32]
+adoxq (%rdx), %r14
+
 // CHECK: andb $0, 485498096 
 // CHECK: encoding: [0x80,0x24,0x25,0xf0,0x1c,0xf0,0x1c,0x00]        
 andb $0, 485498096