diff --git a/llvm/test/MC/X86/I86-32.s b/llvm/test/MC/X86/I86-32.s
--- a/llvm/test/MC/X86/I86-32.s
+++ b/llvm/test/MC/X86/I86-32.s
@@ -148,6 +148,14 @@
 // 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 @@
 // 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
--- a/llvm/test/MC/X86/I86-64.s
+++ b/llvm/test/MC/X86/I86-64.s
@@ -224,6 +224,22 @@
 // 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 @@
 // 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