[llvm] X86: Emit adox instead of adc for overflow add (PR #216609)
via llvm-commits
llvm-commits at lists.llvm.org
Sun Aug 16 16:55:34 PDT 2026
https://github.com/AZero13 updated https://github.com/llvm/llvm-project/pull/216609
>From 2ed00111816d874bdc82ce1018046138e516ee1d Mon Sep 17 00:00:00 2001
From: AZero13 <gfunni234 at gmail.com>
Date: Sun, 16 Aug 2026 19:48:45 -0400
Subject: [PATCH 1/2] [X86] Precommit ADOX tests
---
llvm/test/CodeGen/X86/adox-flags.ll | 154 ++++++++++++++
llvm/test/CodeGen/X86/adox.ll | 312 ++++++++++++++++++++++++++++
2 files changed, 466 insertions(+)
create mode 100644 llvm/test/CodeGen/X86/adox-flags.ll
create mode 100644 llvm/test/CodeGen/X86/adox.ll
diff --git a/llvm/test/CodeGen/X86/adox-flags.ll b/llvm/test/CodeGen/X86/adox-flags.ll
new file mode 100644
index 0000000000000..dcded713fdbc4
--- /dev/null
+++ b/llvm/test/CodeGen/X86/adox-flags.ll
@@ -0,0 +1,154 @@
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 6
+; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+adx,+ndd | FileCheck %s --check-prefixes=CHECK,NDD
+; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+adx | FileCheck %s --check-prefixes=CHECK,ADX
+; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=-adx | FileCheck %s --check-prefixes=CHECK,NOADX
+
+declare { i8, i1 } @llvm.sadd.with.overflow.i8(i8, i8)
+
+define i32 @adox_test_flags(i32 %a, i32 %b, i8 %c, i8 %d) {
+; NDD-LABEL: adox_test_flags:
+; NDD: # %bb.0:
+; NDD-NEXT: xorl %eax, %eax
+; NDD-NEXT: addb %dl, %cl
+; NDD-NEXT: seto %al
+; NDD-NEXT: addl %edi, %esi
+; NDD-NEXT: addl %esi, %eax
+; NDD-NEXT: movl $10, %ecx
+; NDD-NEXT: cmovel %ecx, %eax
+; NDD-NEXT: retq
+;
+; ADX-LABEL: adox_test_flags:
+; ADX: # %bb.0:
+; ADX-NEXT: # kill: def $esi killed $esi def $rsi
+; ADX-NEXT: # kill: def $edi killed $edi def $rdi
+; ADX-NEXT: xorl %r8d, %r8d
+; ADX-NEXT: addb %cl, %dl
+; ADX-NEXT: seto %r8b
+; ADX-NEXT: leal (%rdi,%rsi), %eax
+; ADX-NEXT: addl %eax, %r8d
+; ADX-NEXT: movl $10, %eax
+; ADX-NEXT: cmovnel %r8d, %eax
+; ADX-NEXT: retq
+;
+; NOADX-LABEL: adox_test_flags:
+; NOADX: # %bb.0:
+; NOADX-NEXT: # kill: def $esi killed $esi def $rsi
+; NOADX-NEXT: # kill: def $edi killed $edi def $rdi
+; NOADX-NEXT: xorl %r8d, %r8d
+; NOADX-NEXT: addb %cl, %dl
+; NOADX-NEXT: seto %r8b
+; NOADX-NEXT: leal (%rdi,%rsi), %eax
+; NOADX-NEXT: addl %eax, %r8d
+; NOADX-NEXT: movl $10, %eax
+; NOADX-NEXT: cmovnel %r8d, %eax
+; NOADX-NEXT: retq
+ %ssub = call { i8, i1 } @llvm.sadd.with.overflow.i8(i8 %c, i8 %d)
+ %ov = extractvalue { i8, i1 } %ssub, 1
+ %ov.ext = zext i1 %ov to i32
+ %sum = add i32 %a, %b
+ %res = add i32 %sum, %ov.ext
+ %cmp = icmp eq i32 %res, 0
+ %sel = select i1 %cmp, i32 10, i32 %res
+ ret i32 %sel
+}
+
+define i8 @adox_test_flags_i8(i8 %a, i8 %b, i8 %c, i8 %d) {
+; NDD-LABEL: adox_test_flags_i8:
+; NDD: # %bb.0:
+; NDD-NEXT: addb %cl, %dl, %al
+; NDD-NEXT: seto %al
+; NDD-NEXT: addb %sil, %dil, %cl
+; NDD-NEXT: addb %cl, %al
+; NDD-NEXT: movzbl %al, %eax
+; NDD-NEXT: movl $10, %ecx
+; NDD-NEXT: cmovel %ecx, %eax
+; NDD-NEXT: # kill: def $al killed $al killed $eax
+; NDD-NEXT: retq
+;
+; ADX-LABEL: adox_test_flags_i8:
+; ADX: # %bb.0:
+; ADX-NEXT: addb %cl, %dl
+; ADX-NEXT: seto %al
+; ADX-NEXT: addb %sil, %dil
+; ADX-NEXT: addb %al, %dil
+; ADX-NEXT: movzbl %dil, %ecx
+; ADX-NEXT: movl $10, %eax
+; ADX-NEXT: cmovnel %ecx, %eax
+; ADX-NEXT: # kill: def $al killed $al killed $eax
+; ADX-NEXT: retq
+;
+; NOADX-LABEL: adox_test_flags_i8:
+; NOADX: # %bb.0:
+; NOADX-NEXT: addb %cl, %dl
+; NOADX-NEXT: seto %al
+; NOADX-NEXT: addb %sil, %dil
+; NOADX-NEXT: addb %al, %dil
+; NOADX-NEXT: movzbl %dil, %ecx
+; NOADX-NEXT: movl $10, %eax
+; NOADX-NEXT: cmovnel %ecx, %eax
+; NOADX-NEXT: # kill: def $al killed $al killed $eax
+; NOADX-NEXT: retq
+ %ssub = call { i8, i1 } @llvm.sadd.with.overflow.i8(i8 %c, i8 %d)
+ %ov = extractvalue { i8, i1 } %ssub, 1
+ %ov.ext = zext i1 %ov to i8
+ %sum = add i8 %a, %b
+ %res = add i8 %sum, %ov.ext
+ %cmp = icmp eq i8 %res, 0
+ %sel = select i1 %cmp, i8 10, i8 %res
+ ret i8 %sel
+}
+
+define i16 @adox_test_flags_i16(i16 %a, i16 %b, i8 %c, i8 %d) {
+; NDD-LABEL: adox_test_flags_i16:
+; NDD: # %bb.0:
+; NDD-NEXT: xorl %eax, %eax
+; NDD-NEXT: addb %dl, %cl
+; NDD-NEXT: seto %al
+; NDD-NEXT: addw %si, %di, %cx
+; NDD-NEXT: addw %cx, %ax
+; NDD-NEXT: movl $10, %ecx
+; NDD-NEXT: cmovel %ecx, %eax
+; NDD-NEXT: # kill: def $ax killed $ax killed $eax
+; NDD-NEXT: retq
+;
+; ADX-LABEL: adox_test_flags_i16:
+; ADX: # %bb.0:
+; ADX-NEXT: # kill: def $esi killed $esi def $rsi
+; ADX-NEXT: # kill: def $edi killed $edi def $rdi
+; ADX-NEXT: xorl %r8d, %r8d
+; ADX-NEXT: addb %cl, %dl
+; ADX-NEXT: seto %r8b
+; ADX-NEXT: addl %edi, %r8d
+; ADX-NEXT: addl %esi, %r8d
+; ADX-NEXT: testw %r8w, %r8w
+; ADX-NEXT: movl $10, %eax
+; ADX-NEXT: cmovnel %r8d, %eax
+; ADX-NEXT: # kill: def $ax killed $ax killed $eax
+; ADX-NEXT: retq
+;
+; NOADX-LABEL: adox_test_flags_i16:
+; NOADX: # %bb.0:
+; NOADX-NEXT: # kill: def $esi killed $esi def $rsi
+; NOADX-NEXT: # kill: def $edi killed $edi def $rdi
+; NOADX-NEXT: xorl %r8d, %r8d
+; NOADX-NEXT: addb %cl, %dl
+; NOADX-NEXT: seto %r8b
+; NOADX-NEXT: addl %edi, %r8d
+; NOADX-NEXT: addl %esi, %r8d
+; NOADX-NEXT: testw %r8w, %r8w
+; NOADX-NEXT: movl $10, %eax
+; NOADX-NEXT: cmovnel %r8d, %eax
+; NOADX-NEXT: # kill: def $ax killed $ax killed $eax
+; NOADX-NEXT: retq
+ %ssub = call { i8, i1 } @llvm.sadd.with.overflow.i8(i8 %c, i8 %d)
+ %ov = extractvalue { i8, i1 } %ssub, 1
+ %ov.ext = zext i1 %ov to i16
+ %sum = add i16 %a, %b
+ %res = add i16 %sum, %ov.ext
+ %cmp = icmp eq i16 %res, 0
+ %sel = select i1 %cmp, i16 10, i16 %res
+ ret i16 %sel
+}
+
+;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
+; CHECK: {{.*}}
diff --git a/llvm/test/CodeGen/X86/adox.ll b/llvm/test/CodeGen/X86/adox.ll
new file mode 100644
index 0000000000000..77de62d3c04a0
--- /dev/null
+++ b/llvm/test/CodeGen/X86/adox.ll
@@ -0,0 +1,312 @@
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
+; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+adx,+ndd | FileCheck %s --check-prefixes=CHECK,NDD
+; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+adx | FileCheck %s --check-prefixes=CHECK,ADX
+; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=-adx | FileCheck %s --check-prefixes=CHECK,NOADX
+
+define i32 @adox_test_i32(i32 %a, i32 %b, i8 %c, i8 %d) {
+; NDD-LABEL: adox_test_i32:
+; NDD: # %bb.0:
+; NDD-NEXT: xorl %eax, %eax
+; NDD-NEXT: cmpb %cl, %dl
+; NDD-NEXT: seto %al
+; NDD-NEXT: addl %edi, %esi
+; NDD-NEXT: addl %esi, %eax
+; NDD-NEXT: retq
+;
+; ADX-LABEL: adox_test_i32:
+; ADX: # %bb.0:
+; ADX-NEXT: # kill: def $esi killed $esi def $rsi
+; ADX-NEXT: # kill: def $edi killed $edi def $rdi
+; ADX-NEXT: xorl %eax, %eax
+; ADX-NEXT: cmpb %cl, %dl
+; ADX-NEXT: seto %al
+; ADX-NEXT: addl %edi, %eax
+; ADX-NEXT: addl %esi, %eax
+; ADX-NEXT: retq
+;
+; NOADX-LABEL: adox_test_i32:
+; NOADX: # %bb.0:
+; NOADX-NEXT: # kill: def $esi killed $esi def $rsi
+; NOADX-NEXT: # kill: def $edi killed $edi def $rdi
+; NOADX-NEXT: xorl %eax, %eax
+; NOADX-NEXT: cmpb %cl, %dl
+; NOADX-NEXT: seto %al
+; NOADX-NEXT: addl %edi, %eax
+; NOADX-NEXT: addl %esi, %eax
+; NOADX-NEXT: retq
+ %ssub = call { i8, i1 } @llvm.ssub.with.overflow.i8(i8 %c, i8 %d)
+ %ov = extractvalue { i8, i1 } %ssub, 1
+ %ov.ext = zext i1 %ov to i32
+ %sum = add i32 %a, %b
+ %res = add i32 %sum, %ov.ext
+ ret i32 %res
+}
+
+define i64 @adox_test_i64(i64 %a, i64 %b, i8 %c, i8 %d) {
+; NDD-LABEL: adox_test_i64:
+; NDD: # %bb.0:
+; NDD-NEXT: xorl %eax, %eax
+; NDD-NEXT: cmpb %cl, %dl
+; NDD-NEXT: seto %al
+; NDD-NEXT: addq %rdi, %rsi
+; NDD-NEXT: addq %rsi, %rax
+; NDD-NEXT: retq
+;
+; ADX-LABEL: adox_test_i64:
+; ADX: # %bb.0:
+; ADX-NEXT: xorl %eax, %eax
+; ADX-NEXT: cmpb %cl, %dl
+; ADX-NEXT: seto %al
+; ADX-NEXT: addq %rdi, %rax
+; ADX-NEXT: addq %rsi, %rax
+; ADX-NEXT: retq
+;
+; NOADX-LABEL: adox_test_i64:
+; NOADX: # %bb.0:
+; NOADX-NEXT: xorl %eax, %eax
+; NOADX-NEXT: cmpb %cl, %dl
+; NOADX-NEXT: seto %al
+; NOADX-NEXT: addq %rdi, %rax
+; NOADX-NEXT: addq %rsi, %rax
+; NOADX-NEXT: retq
+ %ssub = call { i8, i1 } @llvm.ssub.with.overflow.i8(i8 %c, i8 %d)
+ %ov = extractvalue { i8, i1 } %ssub, 1
+ %ov.ext = zext i1 %ov to i64
+ %sum = add i64 %a, %b
+ %res = add i64 %sum, %ov.ext
+ ret i64 %res
+}
+
+declare { i8, i1 } @llvm.ssub.with.overflow.i8(i8, i8)
+
+define i32 @adox_test_i32_mem(i32 %a, ptr %b_ptr, i8 %c, i8 %d) {
+; NDD-LABEL: adox_test_i32_mem:
+; NDD: # %bb.0:
+; NDD-NEXT: xorl %eax, %eax
+; NDD-NEXT: cmpb %cl, %dl
+; NDD-NEXT: seto %al
+; NDD-NEXT: addl %edi, %eax
+; NDD-NEXT: addl (%rsi), %eax
+; NDD-NEXT: retq
+;
+; ADX-LABEL: adox_test_i32_mem:
+; ADX: # %bb.0:
+; ADX-NEXT: xorl %eax, %eax
+; ADX-NEXT: cmpb %cl, %dl
+; ADX-NEXT: seto %al
+; ADX-NEXT: addl (%rsi), %edi
+; ADX-NEXT: addl %edi, %eax
+; ADX-NEXT: retq
+;
+; NOADX-LABEL: adox_test_i32_mem:
+; NOADX: # %bb.0:
+; NOADX-NEXT: xorl %eax, %eax
+; NOADX-NEXT: cmpb %cl, %dl
+; NOADX-NEXT: seto %al
+; NOADX-NEXT: addl (%rsi), %edi
+; NOADX-NEXT: addl %edi, %eax
+; NOADX-NEXT: retq
+ %b = load i32, ptr %b_ptr
+ %ssub = call { i8, i1 } @llvm.ssub.with.overflow.i8(i8 %c, i8 %d)
+ %ov = extractvalue { i8, i1 } %ssub, 1
+ %ov.ext = zext i1 %ov to i32
+ %add = add i32 %a, %b
+ %add2 = add i32 %add, %ov.ext
+ ret i32 %add2
+}
+
+define i64 @adox_test_i64_mem(i64 %a, ptr %b_ptr, i8 %c, i8 %d) {
+; NDD-LABEL: adox_test_i64_mem:
+; NDD: # %bb.0:
+; NDD-NEXT: xorl %eax, %eax
+; NDD-NEXT: cmpb %cl, %dl
+; NDD-NEXT: seto %al
+; NDD-NEXT: addq %rdi, %rax
+; NDD-NEXT: addq (%rsi), %rax
+; NDD-NEXT: retq
+;
+; ADX-LABEL: adox_test_i64_mem:
+; ADX: # %bb.0:
+; ADX-NEXT: xorl %eax, %eax
+; ADX-NEXT: cmpb %cl, %dl
+; ADX-NEXT: seto %al
+; ADX-NEXT: addq (%rsi), %rdi
+; ADX-NEXT: addq %rdi, %rax
+; ADX-NEXT: retq
+;
+; NOADX-LABEL: adox_test_i64_mem:
+; NOADX: # %bb.0:
+; NOADX-NEXT: xorl %eax, %eax
+; NOADX-NEXT: cmpb %cl, %dl
+; NOADX-NEXT: seto %al
+; NOADX-NEXT: addq (%rsi), %rdi
+; NOADX-NEXT: addq %rdi, %rax
+; NOADX-NEXT: retq
+ %b = load i64, ptr %b_ptr
+ %ssub = call { i8, i1 } @llvm.ssub.with.overflow.i8(i8 %c, i8 %d)
+ %ov = extractvalue { i8, i1 } %ssub, 1
+ %ov.ext = zext i1 %ov to i64
+ %add = add i64 %a, %b
+ %add2 = add i64 %add, %ov.ext
+ ret i64 %add2
+}
+
+define i32 @adox_test_sadd_i32(i32 %a, i32 %b, i8 %c, i8 %d) {
+; NDD-LABEL: adox_test_sadd_i32:
+; NDD: # %bb.0:
+; NDD-NEXT: xorl %eax, %eax
+; NDD-NEXT: addb %dl, %cl
+; NDD-NEXT: seto %al
+; NDD-NEXT: addl %edi, %esi
+; NDD-NEXT: addl %esi, %eax
+; NDD-NEXT: retq
+;
+; ADX-LABEL: adox_test_sadd_i32:
+; ADX: # %bb.0:
+; ADX-NEXT: # kill: def $esi killed $esi def $rsi
+; ADX-NEXT: # kill: def $edi killed $edi def $rdi
+; ADX-NEXT: xorl %eax, %eax
+; ADX-NEXT: addb %cl, %dl
+; ADX-NEXT: seto %al
+; ADX-NEXT: addl %edi, %eax
+; ADX-NEXT: addl %esi, %eax
+; ADX-NEXT: retq
+;
+; NOADX-LABEL: adox_test_sadd_i32:
+; NOADX: # %bb.0:
+; NOADX-NEXT: # kill: def $esi killed $esi def $rsi
+; NOADX-NEXT: # kill: def $edi killed $edi def $rdi
+; NOADX-NEXT: xorl %eax, %eax
+; NOADX-NEXT: addb %cl, %dl
+; NOADX-NEXT: seto %al
+; NOADX-NEXT: addl %edi, %eax
+; NOADX-NEXT: addl %esi, %eax
+; NOADX-NEXT: retq
+ %sadd = call { i8, i1 } @llvm.sadd.with.overflow.i8(i8 %c, i8 %d)
+ %ov = extractvalue { i8, i1 } %sadd, 1
+ %ov.ext = zext i1 %ov to i32
+ %add = add i32 %a, %b
+ %add2 = add i32 %add, %ov.ext
+ ret i32 %add2
+}
+
+declare { i8, i1 } @llvm.sadd.with.overflow.i8(i8, i8)
+
+define i16 @adox_test_i16(i16 %a, i16 %b, i8 %c, i8 %d) {
+; NDD-LABEL: adox_test_i16:
+; NDD: # %bb.0:
+; NDD-NEXT: xorl %eax, %eax
+; NDD-NEXT: cmpb %cl, %dl
+; NDD-NEXT: seto %al
+; NDD-NEXT: addw %si, %di, %cx
+; NDD-NEXT: addw %cx, %ax
+; NDD-NEXT: retq
+;
+; ADX-LABEL: adox_test_i16:
+; ADX: # %bb.0:
+; ADX-NEXT: # kill: def $esi killed $esi def $rsi
+; ADX-NEXT: # kill: def $edi killed $edi def $rdi
+; ADX-NEXT: xorl %eax, %eax
+; ADX-NEXT: cmpb %cl, %dl
+; ADX-NEXT: seto %al
+; ADX-NEXT: addl %edi, %eax
+; ADX-NEXT: addl %esi, %eax
+; ADX-NEXT: # kill: def $ax killed $ax killed $eax
+; ADX-NEXT: retq
+;
+; NOADX-LABEL: adox_test_i16:
+; NOADX: # %bb.0:
+; NOADX-NEXT: # kill: def $esi killed $esi def $rsi
+; NOADX-NEXT: # kill: def $edi killed $edi def $rdi
+; NOADX-NEXT: xorl %eax, %eax
+; NOADX-NEXT: cmpb %cl, %dl
+; NOADX-NEXT: seto %al
+; NOADX-NEXT: addl %edi, %eax
+; NOADX-NEXT: addl %esi, %eax
+; NOADX-NEXT: # kill: def $ax killed $ax killed $eax
+; NOADX-NEXT: retq
+ %ssub = call { i8, i1 } @llvm.ssub.with.overflow.i8(i8 %c, i8 %d)
+ %ov = extractvalue { i8, i1 } %ssub, 1
+ %ov.ext = zext i1 %ov to i16
+ %sum = add i16 %a, %b
+ %res = add i16 %sum, %ov.ext
+ ret i16 %res
+}
+
+define i8 @adox_test_i8(i8 %a, i8 %b, i8 %c, i8 %d) {
+; NDD-LABEL: adox_test_i8:
+; NDD: # %bb.0:
+; NDD-NEXT: cmpb %cl, %dl
+; NDD-NEXT: seto %al
+; NDD-NEXT: addb %sil, %dil, %cl
+; NDD-NEXT: addb %cl, %al
+; NDD-NEXT: retq
+;
+; ADX-LABEL: adox_test_i8:
+; ADX: # %bb.0:
+; ADX-NEXT: # kill: def $esi killed $esi def $rsi
+; ADX-NEXT: # kill: def $edi killed $edi def $rdi
+; ADX-NEXT: cmpb %cl, %dl
+; ADX-NEXT: seto %cl
+; ADX-NEXT: leal (%rdi,%rsi), %eax
+; ADX-NEXT: addb %cl, %al
+; ADX-NEXT: # kill: def $al killed $al killed $eax
+; ADX-NEXT: retq
+;
+; NOADX-LABEL: adox_test_i8:
+; NOADX: # %bb.0:
+; NOADX-NEXT: # kill: def $esi killed $esi def $rsi
+; NOADX-NEXT: # kill: def $edi killed $edi def $rdi
+; NOADX-NEXT: cmpb %cl, %dl
+; NOADX-NEXT: seto %cl
+; NOADX-NEXT: leal (%rdi,%rsi), %eax
+; NOADX-NEXT: addb %cl, %al
+; NOADX-NEXT: # kill: def $al killed $al killed $eax
+; NOADX-NEXT: retq
+ %ssub = call { i8, i1 } @llvm.ssub.with.overflow.i8(i8 %c, i8 %d)
+ %ov = extractvalue { i8, i1 } %ssub, 1
+ %ov.ext = zext i1 %ov to i8
+ %sum = add i8 %a, %b
+ %res = add i8 %sum, %ov.ext
+ ret i8 %res
+}
+
+define i32 @adox_test_sub_i32(i32 %a, i32 %b, i8 %c, i8 %d) {
+; NDD-LABEL: adox_test_sub_i32:
+; NDD: # %bb.0:
+; NDD-NEXT: xorl %eax, %eax
+; NDD-NEXT: cmpb %cl, %dl
+; NDD-NEXT: seto %al
+; NDD-NEXT: subl %esi, %edi
+; NDD-NEXT: subl %eax, %edi, %eax
+; NDD-NEXT: retq
+;
+; ADX-LABEL: adox_test_sub_i32:
+; ADX: # %bb.0:
+; ADX-NEXT: movl %edi, %eax
+; ADX-NEXT: xorl %edi, %edi
+; ADX-NEXT: cmpb %cl, %dl
+; ADX-NEXT: seto %dil
+; ADX-NEXT: subl %esi, %eax
+; ADX-NEXT: subl %edi, %eax
+; ADX-NEXT: retq
+;
+; NOADX-LABEL: adox_test_sub_i32:
+; NOADX: # %bb.0:
+; NOADX-NEXT: movl %edi, %eax
+; NOADX-NEXT: xorl %edi, %edi
+; NOADX-NEXT: cmpb %cl, %dl
+; NOADX-NEXT: seto %dil
+; NOADX-NEXT: subl %esi, %eax
+; NOADX-NEXT: subl %edi, %eax
+; NOADX-NEXT: retq
+ %ssub = call { i8, i1 } @llvm.ssub.with.overflow.i8(i8 %c, i8 %d)
+ %ov = extractvalue { i8, i1 } %ssub, 1
+ %ov.ext = zext i1 %ov to i32
+ %sum = sub i32 %a, %b
+ %res = sub i32 %sum, %ov.ext
+ ret i32 %res
+}
+
+;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
+; CHECK: {{.*}}
>From 9ac459e56ca22ab11509515ae1f4d51dab8bd7aa Mon Sep 17 00:00:00 2001
From: AZero13 <gfunni234 at gmail.com>
Date: Sun, 16 Aug 2026 19:53:33 -0400
Subject: [PATCH 2/2] X86: Emit adox instead of adc for overflow add
ADOX is like ADC but with OF and can only be encoded with a pair of 32 or 64 bit regs.
---
llvm/lib/Target/X86/X86ISelLowering.cpp | 63 +++++++++++++++-
llvm/lib/Target/X86/X86InstrArithmetic.td | 33 ++++++++-
llvm/lib/Target/X86/X86InstrFragments.td | 1 +
llvm/lib/Target/X86/X86InstrPredicates.td | 2 +
llvm/test/CodeGen/X86/adox-flags.ll | 51 +++++--------
llvm/test/CodeGen/X86/adox.ll | 87 +++++++----------------
6 files changed, 137 insertions(+), 100 deletions(-)
diff --git a/llvm/lib/Target/X86/X86ISelLowering.cpp b/llvm/lib/Target/X86/X86ISelLowering.cpp
index 0dc3340a13c73..b0f4d41cc0287 100644
--- a/llvm/lib/Target/X86/X86ISelLowering.cpp
+++ b/llvm/lib/Target/X86/X86ISelLowering.cpp
@@ -25338,8 +25338,9 @@ static bool isX86LogicalCmp(SDValue Op) {
return true;
if (Op.getResNo() == 1 &&
(Opc == X86ISD::ADD || Opc == X86ISD::SUB || Opc == X86ISD::ADC ||
- Opc == X86ISD::SBB || Opc == X86ISD::SMUL || Opc == X86ISD::UMUL ||
- Opc == X86ISD::OR || Opc == X86ISD::XOR || Opc == X86ISD::AND))
+ Opc == X86ISD::ADOX || Opc == X86ISD::SBB || Opc == X86ISD::SMUL ||
+ Opc == X86ISD::UMUL || Opc == X86ISD::OR || Opc == X86ISD::XOR ||
+ Opc == X86ISD::AND))
return true;
return false;
@@ -53534,6 +53535,22 @@ static SDValue combineAddOrSubToADCOrSBB(bool IsSub, const SDLoc &DL, EVT VT,
DAG.getVTList(VT, MVT::i32), X,
DAG.getConstant(0, DL, VT), EFLAGS);
}
+ if (!IsSub && CC == X86::COND_O &&
+ (VT == MVT::i8 || VT == MVT::i16 || VT == MVT::i32 || VT == MVT::i64) &&
+ DAG.getSubtarget<X86Subtarget>().hasADX()) {
+ // X + (overflow_from_OF ? 1 : 0) --> adox X, 0
+ // NOTE: For i8/i16, ADOX32's OF output does not match the original iN
+ // overflow. This is safe because this ADOX replaces an ISD::ADD, so its OF
+ // output is natively dead. Future transforms must be careful not to consume
+ // it.
+ EVT AdoxVT = (VT == MVT::i8 || VT == MVT::i16) ? MVT::i32 : VT;
+ SDValue AdoxX =
+ (VT == AdoxVT) ? X : DAG.getNode(ISD::ANY_EXTEND, DL, AdoxVT, X);
+ SDValue Adox =
+ DAG.getNode(X86ISD::ADOX, DL, DAG.getVTList(AdoxVT, MVT::i32), AdoxX,
+ DAG.getConstant(0, DL, AdoxVT), EFLAGS);
+ return (VT == AdoxVT) ? Adox : DAG.getNode(ISD::TRUNCATE, DL, VT, Adox);
+ }
if (ZeroSecondOpOnly)
return SDValue();
@@ -59769,6 +59786,47 @@ static SDValue combineADC(SDNode *N, SelectionDAG &DAG,
return SDValue();
}
+// Optimize RES, EFLAGS = X86ISD::ADOX LHS, RHS, EFLAGS
+static SDValue combineADOX(SDNode *N, SelectionDAG &DAG) {
+ SDValue LHS = N->getOperand(0);
+ SDValue RHS = N->getOperand(1);
+ SDValue CarryIn = N->getOperand(2);
+ auto *LHSC = dyn_cast<ConstantSDNode>(LHS);
+ auto *RHSC = dyn_cast<ConstantSDNode>(RHS);
+
+ // Canonicalize constant to RHS.
+ if (LHSC && !RHSC)
+ return DAG.getNode(X86ISD::ADOX, SDLoc(N), N->getVTList(), RHS, LHS,
+ CarryIn);
+
+ // Fold ADOX(ADD(X,Y),0,Carry) -> ADOX(X,Y,Carry)
+ // ISD::ADD produces no EFLAGS, so we only need to ensure the ADOX's own
+ // flag output is not needed before replacing it with a 2-operand ADOX.
+ SDValue AddOp = LHS;
+
+ // Unwrap extensions. This changes what the wide intermediate represents,
+ // but it is safe because X86ISD::ADOX currently only has one producer
+ // (the widen-then-truncate path in combineAddOrSubToADCOrSBB), so the
+ // wide result is guaranteed to be truncated back to the original width,
+ // discarding any high-bit garbage.
+ if (AddOp.getOpcode() == ISD::ANY_EXTEND ||
+ AddOp.getOpcode() == ISD::ZERO_EXTEND)
+ AddOp = AddOp.getOperand(0);
+
+ if (AddOp.getOpcode() == ISD::ADD && RHSC && RHSC->isZero() &&
+ !needCarryOrOverflowFlag(SDValue(N, 1))) {
+ SDValue X = AddOp.getOperand(0);
+ SDValue Y = AddOp.getOperand(1);
+ if (AddOp != LHS) {
+ X = DAG.getNode(LHS.getOpcode(), SDLoc(N), LHS.getValueType(), X);
+ Y = DAG.getNode(LHS.getOpcode(), SDLoc(N), LHS.getValueType(), Y);
+ }
+ return DAG.getNode(X86ISD::ADOX, SDLoc(N), N->getVTList(), X, Y, CarryIn);
+ }
+
+ return SDValue();
+}
+
static SDValue matchPMADDWD(SelectionDAG &DAG, SDNode *N,
const SDLoc &DL, EVT VT,
const X86Subtarget &Subtarget) {
@@ -63454,6 +63512,7 @@ SDValue X86TargetLowering::PerformDAGCombine(SDNode *N,
case X86ISD::CLOAD:
case X86ISD::CSTORE: return combineX86CloadCstore(N, DAG);
case X86ISD::SBB: return combineSBB(N, DAG);
+ case X86ISD::ADOX: return combineADOX(N, DAG);
case X86ISD::ADC: return combineADC(N, DAG, DCI);
case ISD::MUL: return combineMul(N, DAG, DCI, Subtarget);
case ISD::UDIV:
diff --git a/llvm/lib/Target/X86/X86InstrArithmetic.td b/llvm/lib/Target/X86/X86InstrArithmetic.td
index c91600525d1eb..dcdc39273ee8d 100644
--- a/llvm/lib/Target/X86/X86InstrArithmetic.td
+++ b/llvm/lib/Target/X86/X86InstrArithmetic.td
@@ -1459,7 +1459,7 @@ let Uses = [RDX] in
//===----------------------------------------------------------------------===//
// ADCX and ADOX Instructions
//
-// We don't have patterns for these as there is no advantage over ADC for
+// We don't have patterns for ACX as there is no advantage over ADC for
// most code.
let Form = MRMSrcReg in {
def ADCX32rr : BinOpRRF_RF<0xF6, "adcx", Xi32>, T8, PD;
@@ -1493,3 +1493,34 @@ let Form = MRMSrcMem in {
def ADOX64rm_ND : BinOpRMF_RF<0x66, "adox", Xi64, null_frag, 1>, XS;
}
}
+
+// ADOX patterns
+let Predicates = [HasADX, HasNDD] in {
+ def : Pat<(X86adox_flag GR32:$src1, GR32:$src2, EFLAGS),
+ (ADOX32rr_ND GR32:$src1, GR32:$src2)>;
+ def : Pat<(X86adox_flag GR64:$src1, GR64:$src2, EFLAGS),
+ (ADOX64rr_ND GR64:$src1, GR64:$src2)>;
+ def : Pat<(X86adox_flag GR32:$src1, (loadi32 addr:$src2), EFLAGS),
+ (ADOX32rm_ND GR32:$src1, addr:$src2)>;
+ def : Pat<(X86adox_flag GR64:$src1, (loadi64 addr:$src2), EFLAGS),
+ (ADOX64rm_ND GR64:$src1, addr:$src2)>;
+ def : Pat<(X86adox_flag (loadi32 addr:$src2), GR32:$src1, EFLAGS),
+ (ADOX32rm_ND GR32:$src1, addr:$src2)>;
+ def : Pat<(X86adox_flag (loadi64 addr:$src2), GR64:$src1, EFLAGS),
+ (ADOX64rm_ND GR64:$src1, addr:$src2)>;
+}
+
+let Predicates = [HasADX, NoNDD] in {
+ def : Pat<(X86adox_flag GR32:$src1, GR32:$src2, EFLAGS),
+ (ADOX32rr GR32:$src1, GR32:$src2)>;
+ def : Pat<(X86adox_flag GR64:$src1, GR64:$src2, EFLAGS),
+ (ADOX64rr GR64:$src1, GR64:$src2)>;
+ def : Pat<(X86adox_flag GR32:$src1, (loadi32 addr:$src2), EFLAGS),
+ (ADOX32rm GR32:$src1, addr:$src2)>;
+ def : Pat<(X86adox_flag GR64:$src1, (loadi64 addr:$src2), EFLAGS),
+ (ADOX64rm GR64:$src1, addr:$src2)>;
+ def : Pat<(X86adox_flag (loadi32 addr:$src2), GR32:$src1, EFLAGS),
+ (ADOX32rm GR32:$src1, addr:$src2)>;
+ def : Pat<(X86adox_flag (loadi64 addr:$src2), GR64:$src1, EFLAGS),
+ (ADOX64rm GR64:$src1, addr:$src2)>;
+}
diff --git a/llvm/lib/Target/X86/X86InstrFragments.td b/llvm/lib/Target/X86/X86InstrFragments.td
index c183849d4f575..9e6048b93cb00 100644
--- a/llvm/lib/Target/X86/X86InstrFragments.td
+++ b/llvm/lib/Target/X86/X86InstrFragments.td
@@ -390,6 +390,7 @@ def X86smul_flag : SDNode<"X86ISD::SMUL", SDTBinaryArithWithFlags,
def X86umul_flag : SDNode<"X86ISD::UMUL", SDTBinaryArithWithFlags,
[SDNPCommutative]>;
def X86adc_flag : SDNode<"X86ISD::ADC", SDTBinaryArithWithFlagsInOut>;
+def X86adox_flag : SDNode<"X86ISD::ADOX", SDTBinaryArithWithFlagsInOut>;
def X86sbb_flag : SDNode<"X86ISD::SBB", SDTBinaryArithWithFlagsInOut>;
def X86or_flag : SDNode<"X86ISD::OR", SDTBinaryArithWithFlags,
diff --git a/llvm/lib/Target/X86/X86InstrPredicates.td b/llvm/lib/Target/X86/X86InstrPredicates.td
index fd03fa24a18c8..5c104d6c44101 100644
--- a/llvm/lib/Target/X86/X86InstrPredicates.td
+++ b/llvm/lib/Target/X86/X86InstrPredicates.td
@@ -269,3 +269,5 @@ def NotUseIndirectThunkCalls : Predicate<"!Subtarget->useIndirectThunkCalls()">;
defvar X86_32 = DefaultMode;
def X86_64 : HwMode<[In64BitMode, NotX32Mode]>;
def X86_64_X32 : HwMode<[IsX32Mode]>;
+def HasADX : Predicate<"Subtarget->hasADX()">;
+
diff --git a/llvm/test/CodeGen/X86/adox-flags.ll b/llvm/test/CodeGen/X86/adox-flags.ll
index dcded713fdbc4..718156a42267f 100644
--- a/llvm/test/CodeGen/X86/adox-flags.ll
+++ b/llvm/test/CodeGen/X86/adox-flags.ll
@@ -8,26 +8,20 @@ declare { i8, i1 } @llvm.sadd.with.overflow.i8(i8, i8)
define i32 @adox_test_flags(i32 %a, i32 %b, i8 %c, i8 %d) {
; NDD-LABEL: adox_test_flags:
; NDD: # %bb.0:
-; NDD-NEXT: xorl %eax, %eax
-; NDD-NEXT: addb %dl, %cl
-; NDD-NEXT: seto %al
-; NDD-NEXT: addl %edi, %esi
-; NDD-NEXT: addl %esi, %eax
+; NDD-NEXT: addb %cl, %dl, %al
+; NDD-NEXT: adoxl %esi, %edi, %eax
+; NDD-NEXT: testl %eax, %eax
; NDD-NEXT: movl $10, %ecx
; NDD-NEXT: cmovel %ecx, %eax
; NDD-NEXT: retq
;
; ADX-LABEL: adox_test_flags:
; ADX: # %bb.0:
-; ADX-NEXT: # kill: def $esi killed $esi def $rsi
-; ADX-NEXT: # kill: def $edi killed $edi def $rdi
-; ADX-NEXT: xorl %r8d, %r8d
; ADX-NEXT: addb %cl, %dl
-; ADX-NEXT: seto %r8b
-; ADX-NEXT: leal (%rdi,%rsi), %eax
-; ADX-NEXT: addl %eax, %r8d
+; ADX-NEXT: adoxl %esi, %edi
+; ADX-NEXT: testl %edi, %edi
; ADX-NEXT: movl $10, %eax
-; ADX-NEXT: cmovnel %r8d, %eax
+; ADX-NEXT: cmovnel %edi, %eax
; ADX-NEXT: retq
;
; NOADX-LABEL: adox_test_flags:
@@ -56,10 +50,8 @@ define i8 @adox_test_flags_i8(i8 %a, i8 %b, i8 %c, i8 %d) {
; NDD-LABEL: adox_test_flags_i8:
; NDD: # %bb.0:
; NDD-NEXT: addb %cl, %dl, %al
-; NDD-NEXT: seto %al
-; NDD-NEXT: addb %sil, %dil, %cl
-; NDD-NEXT: addb %cl, %al
-; NDD-NEXT: movzbl %al, %eax
+; NDD-NEXT: adoxl %esi, %edi, %eax
+; NDD-NEXT: testb %al, %al
; NDD-NEXT: movl $10, %ecx
; NDD-NEXT: cmovel %ecx, %eax
; NDD-NEXT: # kill: def $al killed $al killed $eax
@@ -68,12 +60,10 @@ define i8 @adox_test_flags_i8(i8 %a, i8 %b, i8 %c, i8 %d) {
; ADX-LABEL: adox_test_flags_i8:
; ADX: # %bb.0:
; ADX-NEXT: addb %cl, %dl
-; ADX-NEXT: seto %al
-; ADX-NEXT: addb %sil, %dil
-; ADX-NEXT: addb %al, %dil
-; ADX-NEXT: movzbl %dil, %ecx
+; ADX-NEXT: adoxl %esi, %edi
+; ADX-NEXT: testb %dil, %dil
; ADX-NEXT: movl $10, %eax
-; ADX-NEXT: cmovnel %ecx, %eax
+; ADX-NEXT: cmovnel %edi, %eax
; ADX-NEXT: # kill: def $al killed $al killed $eax
; ADX-NEXT: retq
;
@@ -101,11 +91,9 @@ define i8 @adox_test_flags_i8(i8 %a, i8 %b, i8 %c, i8 %d) {
define i16 @adox_test_flags_i16(i16 %a, i16 %b, i8 %c, i8 %d) {
; NDD-LABEL: adox_test_flags_i16:
; NDD: # %bb.0:
-; NDD-NEXT: xorl %eax, %eax
-; NDD-NEXT: addb %dl, %cl
-; NDD-NEXT: seto %al
-; NDD-NEXT: addw %si, %di, %cx
-; NDD-NEXT: addw %cx, %ax
+; NDD-NEXT: addb %cl, %dl, %al
+; NDD-NEXT: adoxl %esi, %edi, %eax
+; NDD-NEXT: testw %ax, %ax
; NDD-NEXT: movl $10, %ecx
; NDD-NEXT: cmovel %ecx, %eax
; NDD-NEXT: # kill: def $ax killed $ax killed $eax
@@ -113,16 +101,11 @@ define i16 @adox_test_flags_i16(i16 %a, i16 %b, i8 %c, i8 %d) {
;
; ADX-LABEL: adox_test_flags_i16:
; ADX: # %bb.0:
-; ADX-NEXT: # kill: def $esi killed $esi def $rsi
-; ADX-NEXT: # kill: def $edi killed $edi def $rdi
-; ADX-NEXT: xorl %r8d, %r8d
; ADX-NEXT: addb %cl, %dl
-; ADX-NEXT: seto %r8b
-; ADX-NEXT: addl %edi, %r8d
-; ADX-NEXT: addl %esi, %r8d
-; ADX-NEXT: testw %r8w, %r8w
+; ADX-NEXT: adoxl %esi, %edi
+; ADX-NEXT: testw %di, %di
; ADX-NEXT: movl $10, %eax
-; ADX-NEXT: cmovnel %r8d, %eax
+; ADX-NEXT: cmovnel %edi, %eax
; ADX-NEXT: # kill: def $ax killed $ax killed $eax
; ADX-NEXT: retq
;
diff --git a/llvm/test/CodeGen/X86/adox.ll b/llvm/test/CodeGen/X86/adox.ll
index 77de62d3c04a0..10f5216b4a45a 100644
--- a/llvm/test/CodeGen/X86/adox.ll
+++ b/llvm/test/CodeGen/X86/adox.ll
@@ -6,22 +6,15 @@
define i32 @adox_test_i32(i32 %a, i32 %b, i8 %c, i8 %d) {
; NDD-LABEL: adox_test_i32:
; NDD: # %bb.0:
-; NDD-NEXT: xorl %eax, %eax
; NDD-NEXT: cmpb %cl, %dl
-; NDD-NEXT: seto %al
-; NDD-NEXT: addl %edi, %esi
-; NDD-NEXT: addl %esi, %eax
+; NDD-NEXT: adoxl %esi, %edi, %eax
; NDD-NEXT: retq
;
; ADX-LABEL: adox_test_i32:
; ADX: # %bb.0:
-; ADX-NEXT: # kill: def $esi killed $esi def $rsi
-; ADX-NEXT: # kill: def $edi killed $edi def $rdi
-; ADX-NEXT: xorl %eax, %eax
+; ADX-NEXT: movl %edi, %eax
; ADX-NEXT: cmpb %cl, %dl
-; ADX-NEXT: seto %al
-; ADX-NEXT: addl %edi, %eax
-; ADX-NEXT: addl %esi, %eax
+; ADX-NEXT: adoxl %esi, %eax
; ADX-NEXT: retq
;
; NOADX-LABEL: adox_test_i32:
@@ -45,20 +38,15 @@ define i32 @adox_test_i32(i32 %a, i32 %b, i8 %c, i8 %d) {
define i64 @adox_test_i64(i64 %a, i64 %b, i8 %c, i8 %d) {
; NDD-LABEL: adox_test_i64:
; NDD: # %bb.0:
-; NDD-NEXT: xorl %eax, %eax
; NDD-NEXT: cmpb %cl, %dl
-; NDD-NEXT: seto %al
-; NDD-NEXT: addq %rdi, %rsi
-; NDD-NEXT: addq %rsi, %rax
+; NDD-NEXT: adoxq %rsi, %rdi, %rax
; NDD-NEXT: retq
;
; ADX-LABEL: adox_test_i64:
; ADX: # %bb.0:
-; ADX-NEXT: xorl %eax, %eax
+; ADX-NEXT: movq %rdi, %rax
; ADX-NEXT: cmpb %cl, %dl
-; ADX-NEXT: seto %al
-; ADX-NEXT: addq %rdi, %rax
-; ADX-NEXT: addq %rsi, %rax
+; ADX-NEXT: adoxq %rsi, %rax
; ADX-NEXT: retq
;
; NOADX-LABEL: adox_test_i64:
@@ -82,20 +70,15 @@ declare { i8, i1 } @llvm.ssub.with.overflow.i8(i8, i8)
define i32 @adox_test_i32_mem(i32 %a, ptr %b_ptr, i8 %c, i8 %d) {
; NDD-LABEL: adox_test_i32_mem:
; NDD: # %bb.0:
-; NDD-NEXT: xorl %eax, %eax
; NDD-NEXT: cmpb %cl, %dl
-; NDD-NEXT: seto %al
-; NDD-NEXT: addl %edi, %eax
-; NDD-NEXT: addl (%rsi), %eax
+; NDD-NEXT: adoxl (%rsi), %edi, %eax
; NDD-NEXT: retq
;
; ADX-LABEL: adox_test_i32_mem:
; ADX: # %bb.0:
-; ADX-NEXT: xorl %eax, %eax
+; ADX-NEXT: movl %edi, %eax
; ADX-NEXT: cmpb %cl, %dl
-; ADX-NEXT: seto %al
-; ADX-NEXT: addl (%rsi), %edi
-; ADX-NEXT: addl %edi, %eax
+; ADX-NEXT: adoxl (%rsi), %eax
; ADX-NEXT: retq
;
; NOADX-LABEL: adox_test_i32_mem:
@@ -118,20 +101,15 @@ define i32 @adox_test_i32_mem(i32 %a, ptr %b_ptr, i8 %c, i8 %d) {
define i64 @adox_test_i64_mem(i64 %a, ptr %b_ptr, i8 %c, i8 %d) {
; NDD-LABEL: adox_test_i64_mem:
; NDD: # %bb.0:
-; NDD-NEXT: xorl %eax, %eax
; NDD-NEXT: cmpb %cl, %dl
-; NDD-NEXT: seto %al
-; NDD-NEXT: addq %rdi, %rax
-; NDD-NEXT: addq (%rsi), %rax
+; NDD-NEXT: adoxq (%rsi), %rdi, %rax
; NDD-NEXT: retq
;
; ADX-LABEL: adox_test_i64_mem:
; ADX: # %bb.0:
-; ADX-NEXT: xorl %eax, %eax
+; ADX-NEXT: movq %rdi, %rax
; ADX-NEXT: cmpb %cl, %dl
-; ADX-NEXT: seto %al
-; ADX-NEXT: addq (%rsi), %rdi
-; ADX-NEXT: addq %rdi, %rax
+; ADX-NEXT: adoxq (%rsi), %rax
; ADX-NEXT: retq
;
; NOADX-LABEL: adox_test_i64_mem:
@@ -154,22 +132,15 @@ define i64 @adox_test_i64_mem(i64 %a, ptr %b_ptr, i8 %c, i8 %d) {
define i32 @adox_test_sadd_i32(i32 %a, i32 %b, i8 %c, i8 %d) {
; NDD-LABEL: adox_test_sadd_i32:
; NDD: # %bb.0:
-; NDD-NEXT: xorl %eax, %eax
-; NDD-NEXT: addb %dl, %cl
-; NDD-NEXT: seto %al
-; NDD-NEXT: addl %edi, %esi
-; NDD-NEXT: addl %esi, %eax
+; NDD-NEXT: addb %cl, %dl, %al
+; NDD-NEXT: adoxl %esi, %edi, %eax
; NDD-NEXT: retq
;
; ADX-LABEL: adox_test_sadd_i32:
; ADX: # %bb.0:
-; ADX-NEXT: # kill: def $esi killed $esi def $rsi
-; ADX-NEXT: # kill: def $edi killed $edi def $rdi
-; ADX-NEXT: xorl %eax, %eax
+; ADX-NEXT: movl %edi, %eax
; ADX-NEXT: addb %cl, %dl
-; ADX-NEXT: seto %al
-; ADX-NEXT: addl %edi, %eax
-; ADX-NEXT: addl %esi, %eax
+; ADX-NEXT: adoxl %esi, %eax
; ADX-NEXT: retq
;
; NOADX-LABEL: adox_test_sadd_i32:
@@ -195,22 +166,16 @@ declare { i8, i1 } @llvm.sadd.with.overflow.i8(i8, i8)
define i16 @adox_test_i16(i16 %a, i16 %b, i8 %c, i8 %d) {
; NDD-LABEL: adox_test_i16:
; NDD: # %bb.0:
-; NDD-NEXT: xorl %eax, %eax
; NDD-NEXT: cmpb %cl, %dl
-; NDD-NEXT: seto %al
-; NDD-NEXT: addw %si, %di, %cx
-; NDD-NEXT: addw %cx, %ax
+; NDD-NEXT: adoxl %esi, %edi, %eax
+; NDD-NEXT: # kill: def $ax killed $ax killed $eax
; NDD-NEXT: retq
;
; ADX-LABEL: adox_test_i16:
; ADX: # %bb.0:
-; ADX-NEXT: # kill: def $esi killed $esi def $rsi
-; ADX-NEXT: # kill: def $edi killed $edi def $rdi
-; ADX-NEXT: xorl %eax, %eax
+; ADX-NEXT: movl %edi, %eax
; ADX-NEXT: cmpb %cl, %dl
-; ADX-NEXT: seto %al
-; ADX-NEXT: addl %edi, %eax
-; ADX-NEXT: addl %esi, %eax
+; ADX-NEXT: adoxl %esi, %eax
; ADX-NEXT: # kill: def $ax killed $ax killed $eax
; ADX-NEXT: retq
;
@@ -237,19 +202,15 @@ define i8 @adox_test_i8(i8 %a, i8 %b, i8 %c, i8 %d) {
; NDD-LABEL: adox_test_i8:
; NDD: # %bb.0:
; NDD-NEXT: cmpb %cl, %dl
-; NDD-NEXT: seto %al
-; NDD-NEXT: addb %sil, %dil, %cl
-; NDD-NEXT: addb %cl, %al
+; NDD-NEXT: adoxl %esi, %edi, %eax
+; NDD-NEXT: # kill: def $al killed $al killed $eax
; NDD-NEXT: retq
;
; ADX-LABEL: adox_test_i8:
; ADX: # %bb.0:
-; ADX-NEXT: # kill: def $esi killed $esi def $rsi
-; ADX-NEXT: # kill: def $edi killed $edi def $rdi
+; ADX-NEXT: movl %edi, %eax
; ADX-NEXT: cmpb %cl, %dl
-; ADX-NEXT: seto %cl
-; ADX-NEXT: leal (%rdi,%rsi), %eax
-; ADX-NEXT: addb %cl, %al
+; ADX-NEXT: adoxl %esi, %eax
; ADX-NEXT: # kill: def $al killed $al killed $eax
; ADX-NEXT: retq
;
More information about the llvm-commits
mailing list