[llvm] 978165b - [X86] Rename mod128.ll to divmod128.ll and add test cases for sdiv/udiv/urem.
Craig Topper via llvm-commits
llvm-commits at lists.llvm.org
Wed Aug 5 16:04:48 PDT 2020
Author: Craig Topper
Date: 2020-08-05T16:04:00-07:00
New Revision: 978165bf02776a2b957c795a5c1d94f9f208fc8e
URL: https://github.com/llvm/llvm-project/commit/978165bf02776a2b957c795a5c1d94f9f208fc8e
DIFF: https://github.com/llvm/llvm-project/commit/978165bf02776a2b957c795a5c1d94f9f208fc8e.diff
LOG: [X86] Rename mod128.ll to divmod128.ll and add test cases for sdiv/udiv/urem.
This improves code coverage on the switch in LowerWin64_i128OP.
Added:
llvm/test/CodeGen/X86/divmod128.ll
Modified:
Removed:
llvm/test/CodeGen/X86/mod128.ll
################################################################################
diff --git a/llvm/test/CodeGen/X86/divmod128.ll b/llvm/test/CodeGen/X86/divmod128.ll
new file mode 100644
index 000000000000..6004d99ddab4
--- /dev/null
+++ b/llvm/test/CodeGen/X86/divmod128.ll
@@ -0,0 +1,125 @@
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
+; RUN: llc < %s -mtriple=x86_64-linux | FileCheck %s -check-prefix=X86-64
+; RUN: llc < %s -mtriple=x86_64-cygwin | FileCheck %s -check-prefix=WIN64
+; RUN: llc < %s -mtriple=x86_64-win32 | FileCheck %s -check-prefix=WIN64
+; RUN: llc < %s -mtriple=x86_64-mingw32 | FileCheck %s -check-prefix=WIN64
+
+define i64 @mod128(i128 %x) nounwind {
+; X86-64-LABEL: mod128:
+; X86-64: # %bb.0:
+; X86-64-NEXT: pushq %rax
+; X86-64-NEXT: movl $3, %edx
+; X86-64-NEXT: xorl %ecx, %ecx
+; X86-64-NEXT: callq __modti3
+; X86-64-NEXT: popq %rcx
+; X86-64-NEXT: retq
+;
+; WIN64-LABEL: mod128:
+; WIN64: # %bb.0:
+; WIN64-NEXT: subq $72, %rsp
+; WIN64-NEXT: movq %rdx, {{[0-9]+}}(%rsp)
+; WIN64-NEXT: movq %rcx, {{[0-9]+}}(%rsp)
+; WIN64-NEXT: movq $3, {{[0-9]+}}(%rsp)
+; WIN64-NEXT: movq $0, {{[0-9]+}}(%rsp)
+; WIN64-NEXT: leaq {{[0-9]+}}(%rsp), %rcx
+; WIN64-NEXT: leaq {{[0-9]+}}(%rsp), %rdx
+; WIN64-NEXT: callq __modti3
+; WIN64-NEXT: movq %xmm0, %rax
+; WIN64-NEXT: addq $72, %rsp
+; WIN64-NEXT: retq
+
+
+ %1 = srem i128 %x, 3
+ %2 = trunc i128 %1 to i64
+ ret i64 %2
+}
+
+define i64 @div128(i128 %x) nounwind {
+; X86-64-LABEL: div128:
+; X86-64: # %bb.0:
+; X86-64-NEXT: pushq %rax
+; X86-64-NEXT: movl $3, %edx
+; X86-64-NEXT: xorl %ecx, %ecx
+; X86-64-NEXT: callq __divti3
+; X86-64-NEXT: popq %rcx
+; X86-64-NEXT: retq
+;
+; WIN64-LABEL: div128:
+; WIN64: # %bb.0:
+; WIN64-NEXT: subq $72, %rsp
+; WIN64-NEXT: movq %rdx, {{[0-9]+}}(%rsp)
+; WIN64-NEXT: movq %rcx, {{[0-9]+}}(%rsp)
+; WIN64-NEXT: movq $3, {{[0-9]+}}(%rsp)
+; WIN64-NEXT: movq $0, {{[0-9]+}}(%rsp)
+; WIN64-NEXT: leaq {{[0-9]+}}(%rsp), %rcx
+; WIN64-NEXT: leaq {{[0-9]+}}(%rsp), %rdx
+; WIN64-NEXT: callq __divti3
+; WIN64-NEXT: movq %xmm0, %rax
+; WIN64-NEXT: addq $72, %rsp
+; WIN64-NEXT: retq
+
+
+ %1 = sdiv i128 %x, 3
+ %2 = trunc i128 %1 to i64
+ ret i64 %2
+}
+
+define i64 @umod128(i128 %x) nounwind {
+; X86-64-LABEL: umod128:
+; X86-64: # %bb.0:
+; X86-64-NEXT: pushq %rax
+; X86-64-NEXT: movl $3, %edx
+; X86-64-NEXT: xorl %ecx, %ecx
+; X86-64-NEXT: callq __umodti3
+; X86-64-NEXT: popq %rcx
+; X86-64-NEXT: retq
+;
+; WIN64-LABEL: umod128:
+; WIN64: # %bb.0:
+; WIN64-NEXT: subq $72, %rsp
+; WIN64-NEXT: movq %rdx, {{[0-9]+}}(%rsp)
+; WIN64-NEXT: movq %rcx, {{[0-9]+}}(%rsp)
+; WIN64-NEXT: movq $3, {{[0-9]+}}(%rsp)
+; WIN64-NEXT: movq $0, {{[0-9]+}}(%rsp)
+; WIN64-NEXT: leaq {{[0-9]+}}(%rsp), %rcx
+; WIN64-NEXT: leaq {{[0-9]+}}(%rsp), %rdx
+; WIN64-NEXT: callq __umodti3
+; WIN64-NEXT: movq %xmm0, %rax
+; WIN64-NEXT: addq $72, %rsp
+; WIN64-NEXT: retq
+
+
+ %1 = urem i128 %x, 3
+ %2 = trunc i128 %1 to i64
+ ret i64 %2
+}
+
+define i64 @udiv128(i128 %x) nounwind {
+; X86-64-LABEL: udiv128:
+; X86-64: # %bb.0:
+; X86-64-NEXT: pushq %rax
+; X86-64-NEXT: movl $3, %edx
+; X86-64-NEXT: xorl %ecx, %ecx
+; X86-64-NEXT: callq __udivti3
+; X86-64-NEXT: popq %rcx
+; X86-64-NEXT: retq
+;
+; WIN64-LABEL: udiv128:
+; WIN64: # %bb.0:
+; WIN64-NEXT: subq $72, %rsp
+; WIN64-NEXT: movq %rdx, {{[0-9]+}}(%rsp)
+; WIN64-NEXT: movq %rcx, {{[0-9]+}}(%rsp)
+; WIN64-NEXT: movq $3, {{[0-9]+}}(%rsp)
+; WIN64-NEXT: movq $0, {{[0-9]+}}(%rsp)
+; WIN64-NEXT: leaq {{[0-9]+}}(%rsp), %rcx
+; WIN64-NEXT: leaq {{[0-9]+}}(%rsp), %rdx
+; WIN64-NEXT: callq __udivti3
+; WIN64-NEXT: movq %xmm0, %rax
+; WIN64-NEXT: addq $72, %rsp
+; WIN64-NEXT: retq
+
+
+ %1 = udiv i128 %x, 3
+ %2 = trunc i128 %1 to i64
+ ret i64 %2
+}
diff --git a/llvm/test/CodeGen/X86/mod128.ll b/llvm/test/CodeGen/X86/mod128.ll
deleted file mode 100644
index ae28fab9bb62..000000000000
--- a/llvm/test/CodeGen/X86/mod128.ll
+++ /dev/null
@@ -1,26 +0,0 @@
-; RUN: llc < %s -mtriple=x86_64-linux | FileCheck %s -check-prefix=X86-64
-; RUN: llc < %s -mtriple=x86_64-cygwin | FileCheck %s -check-prefix=WIN64
-; RUN: llc < %s -mtriple=x86_64-win32 | FileCheck %s -check-prefix=WIN64
-; RUN: llc < %s -mtriple=x86_64-mingw32 | FileCheck %s -check-prefix=WIN64
-
-define i64 @mod128(i128 %x) {
- ; X86-64: movl $3, %edx
- ; X86-64: xorl %ecx, %ecx
- ; X86-64: callq __modti3
- ; X86-64-NOT: movd %xmm0, %rax
-
- ; WIN64-NOT: movl $3, %r8d
- ; WIN64-NOT: xorl %r9d, %r9d
- ; WIN64-DAG: movq %rdx, 56(%rsp)
- ; WIN64-DAG: movq %rcx, 48(%rsp)
- ; WIN64-DAG: leaq 48(%rsp), %rcx
- ; WIN64-DAG: leaq 32(%rsp), %rdx
- ; WIN64-DAG: movq $0, 40(%rsp)
- ; WIN64-DAG: movq $3, 32(%rsp)
- ; WIN64: callq __modti3
- ; WIN64: movq %xmm0, %rax
-
- %1 = srem i128 %x, 3
- %2 = trunc i128 %1 to i64
- ret i64 %2
-}
More information about the llvm-commits
mailing list