[llvm] 09ee1fe - [X86] Add more tests for D89178. NFC
Craig Topper via llvm-commits
llvm-commits at lists.llvm.org
Mon Oct 12 13:37:02 PDT 2020
Author: Craig Topper
Date: 2020-10-12T13:36:37-07:00
New Revision: 09ee1fe85a34642699fc1f3a74605dd79688c739
URL: https://github.com/llvm/llvm-project/commit/09ee1fe85a34642699fc1f3a74605dd79688c739
DIFF: https://github.com/llvm/llvm-project/commit/09ee1fe85a34642699fc1f3a74605dd79688c739.diff
LOG: [X86] Add more tests for D89178. NFC
Added:
llvm/test/CodeGen/X86/xaluo128.ll
Modified:
Removed:
################################################################################
diff --git a/llvm/test/CodeGen/X86/xaluo128.ll b/llvm/test/CodeGen/X86/xaluo128.ll
new file mode 100644
index 000000000000..ca30b5602b76
--- /dev/null
+++ b/llvm/test/CodeGen/X86/xaluo128.ll
@@ -0,0 +1,209 @@
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
+; RUN: llc -mtriple=x86_64-darwin-unknown < %s | FileCheck %s --check-prefix=SDAG --check-prefix=X64
+; RUN: llc -mtriple=i686-darwin-unknown < %s | FileCheck %s --check-prefix=SDAG --check-prefix=X86
+
+define zeroext i1 @saddoi128(i128 %v1, i128 %v2, i128* %res) nounwind {
+; X64-LABEL: saddoi128:
+; X64: ## %bb.0:
+; X64-NEXT: testq %rcx, %rcx
+; X64-NEXT: setns %r9b
+; X64-NEXT: testq %rsi, %rsi
+; X64-NEXT: setns %al
+; X64-NEXT: cmpb %r9b, %al
+; X64-NEXT: sete %r9b
+; X64-NEXT: addq %rdx, %rdi
+; X64-NEXT: adcq %rcx, %rsi
+; X64-NEXT: setns %cl
+; X64-NEXT: cmpb %cl, %al
+; X64-NEXT: setne %al
+; X64-NEXT: andb %r9b, %al
+; X64-NEXT: movq %rdi, (%r8)
+; X64-NEXT: movq %rsi, 8(%r8)
+; X64-NEXT: retq
+;
+; X86-LABEL: saddoi128:
+; X86: ## %bb.0:
+; X86-NEXT: pushl %ebp
+; X86-NEXT: pushl %ebx
+; X86-NEXT: pushl %edi
+; X86-NEXT: pushl %esi
+; X86-NEXT: movl {{[0-9]+}}(%esp), %ebp
+; X86-NEXT: movl {{[0-9]+}}(%esp), %edx
+; X86-NEXT: movl {{[0-9]+}}(%esp), %esi
+; X86-NEXT: movl {{[0-9]+}}(%esp), %edi
+; X86-NEXT: movl {{[0-9]+}}(%esp), %ebx
+; X86-NEXT: cmpl $0, {{[0-9]+}}(%esp)
+; X86-NEXT: setns %al
+; X86-NEXT: testl %ebx, %ebx
+; X86-NEXT: setns %ah
+; X86-NEXT: cmpb %al, %ah
+; X86-NEXT: sete %cl
+; X86-NEXT: addl {{[0-9]+}}(%esp), %esi
+; X86-NEXT: adcl {{[0-9]+}}(%esp), %edi
+; X86-NEXT: adcl {{[0-9]+}}(%esp), %edx
+; X86-NEXT: adcl {{[0-9]+}}(%esp), %ebx
+; X86-NEXT: setns %al
+; X86-NEXT: cmpb %al, %ah
+; X86-NEXT: setne %al
+; X86-NEXT: andb %cl, %al
+; X86-NEXT: movl %esi, (%ebp)
+; X86-NEXT: movl %edi, 4(%ebp)
+; X86-NEXT: movl %edx, 8(%ebp)
+; X86-NEXT: movl %ebx, 12(%ebp)
+; X86-NEXT: popl %esi
+; X86-NEXT: popl %edi
+; X86-NEXT: popl %ebx
+; X86-NEXT: popl %ebp
+; X86-NEXT: retl
+ %t = call {i128, i1} @llvm.sadd.with.overflow.i128(i128 %v1, i128 %v2)
+ %val = extractvalue {i128, i1} %t, 0
+ %obit = extractvalue {i128, i1} %t, 1
+ store i128 %val, i128* %res
+ ret i1 %obit
+}
+
+define zeroext i1 @uaddoi128(i128 %v1, i128 %v2, i128* %res) nounwind {
+; X64-LABEL: uaddoi128:
+; X64: ## %bb.0:
+; X64-NEXT: addq %rdx, %rdi
+; X64-NEXT: adcq %rcx, %rsi
+; X64-NEXT: setb %al
+; X64-NEXT: movq %rdi, (%r8)
+; X64-NEXT: movq %rsi, 8(%r8)
+; X64-NEXT: retq
+;
+; X86-LABEL: uaddoi128:
+; X86: ## %bb.0:
+; X86-NEXT: pushl %ebx
+; X86-NEXT: pushl %edi
+; X86-NEXT: pushl %esi
+; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
+; X86-NEXT: movl {{[0-9]+}}(%esp), %edx
+; X86-NEXT: movl {{[0-9]+}}(%esp), %esi
+; X86-NEXT: movl {{[0-9]+}}(%esp), %edi
+; X86-NEXT: movl {{[0-9]+}}(%esp), %ebx
+; X86-NEXT: addl {{[0-9]+}}(%esp), %edi
+; X86-NEXT: adcl {{[0-9]+}}(%esp), %ebx
+; X86-NEXT: adcl {{[0-9]+}}(%esp), %esi
+; X86-NEXT: adcl {{[0-9]+}}(%esp), %edx
+; X86-NEXT: setb %al
+; X86-NEXT: movl %edi, (%ecx)
+; X86-NEXT: movl %ebx, 4(%ecx)
+; X86-NEXT: movl %esi, 8(%ecx)
+; X86-NEXT: movl %edx, 12(%ecx)
+; X86-NEXT: popl %esi
+; X86-NEXT: popl %edi
+; X86-NEXT: popl %ebx
+; X86-NEXT: retl
+ %t = call {i128, i1} @llvm.uadd.with.overflow.i128(i128 %v1, i128 %v2)
+ %val = extractvalue {i128, i1} %t, 0
+ %obit = extractvalue {i128, i1} %t, 1
+ store i128 %val, i128* %res
+ ret i1 %obit
+}
+
+
+define zeroext i1 @ssuboi128(i128 %v1, i128 %v2, i128* %res) nounwind {
+; X64-LABEL: ssuboi128:
+; X64: ## %bb.0:
+; X64-NEXT: testq %rcx, %rcx
+; X64-NEXT: setns %r9b
+; X64-NEXT: testq %rsi, %rsi
+; X64-NEXT: setns %al
+; X64-NEXT: cmpb %r9b, %al
+; X64-NEXT: setne %r9b
+; X64-NEXT: subq %rdx, %rdi
+; X64-NEXT: sbbq %rcx, %rsi
+; X64-NEXT: setns %cl
+; X64-NEXT: cmpb %cl, %al
+; X64-NEXT: setne %al
+; X64-NEXT: andb %r9b, %al
+; X64-NEXT: movq %rdi, (%r8)
+; X64-NEXT: movq %rsi, 8(%r8)
+; X64-NEXT: retq
+;
+; X86-LABEL: ssuboi128:
+; X86: ## %bb.0:
+; X86-NEXT: pushl %ebp
+; X86-NEXT: pushl %ebx
+; X86-NEXT: pushl %edi
+; X86-NEXT: pushl %esi
+; X86-NEXT: movl {{[0-9]+}}(%esp), %ebp
+; X86-NEXT: movl {{[0-9]+}}(%esp), %edx
+; X86-NEXT: movl {{[0-9]+}}(%esp), %esi
+; X86-NEXT: movl {{[0-9]+}}(%esp), %edi
+; X86-NEXT: movl {{[0-9]+}}(%esp), %ebx
+; X86-NEXT: cmpl $0, {{[0-9]+}}(%esp)
+; X86-NEXT: setns %al
+; X86-NEXT: testl %ebx, %ebx
+; X86-NEXT: setns %ah
+; X86-NEXT: cmpb %al, %ah
+; X86-NEXT: setne %cl
+; X86-NEXT: subl {{[0-9]+}}(%esp), %esi
+; X86-NEXT: sbbl {{[0-9]+}}(%esp), %edi
+; X86-NEXT: sbbl {{[0-9]+}}(%esp), %edx
+; X86-NEXT: sbbl {{[0-9]+}}(%esp), %ebx
+; X86-NEXT: setns %al
+; X86-NEXT: cmpb %al, %ah
+; X86-NEXT: setne %al
+; X86-NEXT: andb %cl, %al
+; X86-NEXT: movl %esi, (%ebp)
+; X86-NEXT: movl %edi, 4(%ebp)
+; X86-NEXT: movl %edx, 8(%ebp)
+; X86-NEXT: movl %ebx, 12(%ebp)
+; X86-NEXT: popl %esi
+; X86-NEXT: popl %edi
+; X86-NEXT: popl %ebx
+; X86-NEXT: popl %ebp
+; X86-NEXT: retl
+ %t = call {i128, i1} @llvm.ssub.with.overflow.i128(i128 %v1, i128 %v2)
+ %val = extractvalue {i128, i1} %t, 0
+ %obit = extractvalue {i128, i1} %t, 1
+ store i128 %val, i128* %res
+ ret i1 %obit
+}
+
+define zeroext i1 @usuboi128(i128 %v1, i128 %v2, i128* %res) nounwind {
+; X64-LABEL: usuboi128:
+; X64: ## %bb.0:
+; X64-NEXT: subq %rdx, %rdi
+; X64-NEXT: sbbq %rcx, %rsi
+; X64-NEXT: setb %al
+; X64-NEXT: movq %rdi, (%r8)
+; X64-NEXT: movq %rsi, 8(%r8)
+; X64-NEXT: retq
+;
+; X86-LABEL: usuboi128:
+; X86: ## %bb.0:
+; X86-NEXT: pushl %ebx
+; X86-NEXT: pushl %edi
+; X86-NEXT: pushl %esi
+; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
+; X86-NEXT: movl {{[0-9]+}}(%esp), %edx
+; X86-NEXT: movl {{[0-9]+}}(%esp), %esi
+; X86-NEXT: movl {{[0-9]+}}(%esp), %edi
+; X86-NEXT: movl {{[0-9]+}}(%esp), %ebx
+; X86-NEXT: subl {{[0-9]+}}(%esp), %edi
+; X86-NEXT: sbbl {{[0-9]+}}(%esp), %ebx
+; X86-NEXT: sbbl {{[0-9]+}}(%esp), %esi
+; X86-NEXT: sbbl {{[0-9]+}}(%esp), %edx
+; X86-NEXT: setb %al
+; X86-NEXT: movl %edi, (%ecx)
+; X86-NEXT: movl %ebx, 4(%ecx)
+; X86-NEXT: movl %esi, 8(%ecx)
+; X86-NEXT: movl %edx, 12(%ecx)
+; X86-NEXT: popl %esi
+; X86-NEXT: popl %edi
+; X86-NEXT: popl %ebx
+; X86-NEXT: retl
+ %t = call {i128, i1} @llvm.usub.with.overflow.i128(i128 %v1, i128 %v2)
+ %val = extractvalue {i128, i1} %t, 0
+ %obit = extractvalue {i128, i1} %t, 1
+ store i128 %val, i128* %res
+ ret i1 %obit
+}
+
+declare {i128, i1} @llvm.sadd.with.overflow.i128(i128, i128) nounwind readnone
+declare {i128, i1} @llvm.uadd.with.overflow.i128(i128, i128) nounwind readnone
+declare {i128, i1} @llvm.ssub.with.overflow.i128(i128, i128) nounwind readnone
+declare {i128, i1} @llvm.usub.with.overflow.i128(i128, i128) nounwind readnone
More information about the llvm-commits
mailing list