[llvm] 2d7a12f - [X86] Add some basic i128 udiv test coverage
Simon Pilgrim via llvm-commits
llvm-commits at lists.llvm.org
Sun Sep 27 08:07:06 PDT 2020
Author: Simon Pilgrim
Date: 2020-09-27T16:00:15+01:00
New Revision: 2d7a12f4ecfb5e0393ab0cf4ab4f46c198e808a7
URL: https://github.com/llvm/llvm-project/commit/2d7a12f4ecfb5e0393ab0cf4ab4f46c198e808a7
DIFF: https://github.com/llvm/llvm-project/commit/2d7a12f4ecfb5e0393ab0cf4ab4f46c198e808a7.diff
LOG: [X86] Add some basic i128 udiv test coverage
Added:
llvm/test/CodeGen/X86/i128-udiv.ll
Modified:
Removed:
################################################################################
diff --git a/llvm/test/CodeGen/X86/i128-udiv.ll b/llvm/test/CodeGen/X86/i128-udiv.ll
new file mode 100644
index 000000000000..34e3ff5bbdf0
--- /dev/null
+++ b/llvm/test/CodeGen/X86/i128-udiv.ll
@@ -0,0 +1,128 @@
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
+; RUN: llc < %s -mtriple=i686-- | FileCheck %s --check-prefixes=CHECK,X86
+; RUN: llc < %s -mtriple=x86_64-- | FileCheck %s --check-prefixes=CHECK,X64
+
+; Make sure none of these crash, and that the power-of-two transformations
+; trigger correctly.
+
+define i128 @test1(i128 %x) nounwind {
+; X86-LABEL: test1:
+; X86: # %bb.0:
+; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
+; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
+; X86-NEXT: movl {{[0-9]+}}(%esp), %edx
+; X86-NEXT: shrdl $2, %edx, %ecx
+; X86-NEXT: shrl $2, %edx
+; X86-NEXT: movl %edx, 4(%eax)
+; X86-NEXT: movl %ecx, (%eax)
+; X86-NEXT: movl $0, 12(%eax)
+; X86-NEXT: movl $0, 8(%eax)
+; X86-NEXT: retl $4
+;
+; X64-LABEL: test1:
+; X64: # %bb.0:
+; X64-NEXT: movq %rsi, %rax
+; X64-NEXT: shrq $2, %rax
+; X64-NEXT: xorl %edx, %edx
+; X64-NEXT: retq
+ %tmp = udiv i128 %x, 73786976294838206464
+ ret i128 %tmp
+}
+
+define i128 @test2(i128 %x) nounwind {
+; X86-LABEL: test2:
+; X86: # %bb.0:
+; X86-NEXT: pushl %ebp
+; X86-NEXT: movl %esp, %ebp
+; X86-NEXT: pushl %edi
+; X86-NEXT: pushl %esi
+; X86-NEXT: andl $-8, %esp
+; X86-NEXT: subl $16, %esp
+; X86-NEXT: movl 8(%ebp), %esi
+; X86-NEXT: movl %esp, %eax
+; X86-NEXT: pushl $-1
+; X86-NEXT: pushl $-4
+; X86-NEXT: pushl $0
+; X86-NEXT: pushl $0
+; X86-NEXT: pushl 24(%ebp)
+; X86-NEXT: pushl 20(%ebp)
+; X86-NEXT: pushl 16(%ebp)
+; X86-NEXT: pushl 12(%ebp)
+; X86-NEXT: pushl %eax
+; X86-NEXT: calll __udivti3
+; X86-NEXT: addl $32, %esp
+; X86-NEXT: movl (%esp), %eax
+; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
+; X86-NEXT: movl {{[0-9]+}}(%esp), %edx
+; X86-NEXT: movl {{[0-9]+}}(%esp), %edi
+; X86-NEXT: movl %edi, 12(%esi)
+; X86-NEXT: movl %edx, 8(%esi)
+; X86-NEXT: movl %ecx, 4(%esi)
+; X86-NEXT: movl %eax, (%esi)
+; X86-NEXT: movl %esi, %eax
+; X86-NEXT: leal -8(%ebp), %esp
+; X86-NEXT: popl %esi
+; X86-NEXT: popl %edi
+; X86-NEXT: popl %ebp
+; X86-NEXT: retl $4
+;
+; X64-LABEL: test2:
+; X64: # %bb.0:
+; X64-NEXT: pushq %rax
+; X64-NEXT: xorl %edx, %edx
+; X64-NEXT: movq $-4, %rcx
+; X64-NEXT: callq __udivti3
+; X64-NEXT: popq %rcx
+; X64-NEXT: retq
+ %tmp = udiv i128 %x, -73786976294838206464
+ ret i128 %tmp
+}
+
+define i128 @test3(i128 %x) nounwind {
+; X86-LABEL: test3:
+; X86: # %bb.0:
+; X86-NEXT: pushl %ebp
+; X86-NEXT: movl %esp, %ebp
+; X86-NEXT: pushl %edi
+; X86-NEXT: pushl %esi
+; X86-NEXT: andl $-8, %esp
+; X86-NEXT: subl $16, %esp
+; X86-NEXT: movl 8(%ebp), %esi
+; X86-NEXT: movl %esp, %eax
+; X86-NEXT: pushl $-1
+; X86-NEXT: pushl $-5
+; X86-NEXT: pushl $-1
+; X86-NEXT: pushl $-3
+; X86-NEXT: pushl 24(%ebp)
+; X86-NEXT: pushl 20(%ebp)
+; X86-NEXT: pushl 16(%ebp)
+; X86-NEXT: pushl 12(%ebp)
+; X86-NEXT: pushl %eax
+; X86-NEXT: calll __udivti3
+; X86-NEXT: addl $32, %esp
+; X86-NEXT: movl (%esp), %eax
+; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
+; X86-NEXT: movl {{[0-9]+}}(%esp), %edx
+; X86-NEXT: movl {{[0-9]+}}(%esp), %edi
+; X86-NEXT: movl %edi, 12(%esi)
+; X86-NEXT: movl %edx, 8(%esi)
+; X86-NEXT: movl %ecx, 4(%esi)
+; X86-NEXT: movl %eax, (%esi)
+; X86-NEXT: movl %esi, %eax
+; X86-NEXT: leal -8(%ebp), %esp
+; X86-NEXT: popl %esi
+; X86-NEXT: popl %edi
+; X86-NEXT: popl %ebp
+; X86-NEXT: retl $4
+;
+; X64-LABEL: test3:
+; X64: # %bb.0:
+; X64-NEXT: pushq %rax
+; X64-NEXT: movq $-3, %rdx
+; X64-NEXT: movq $-5, %rcx
+; X64-NEXT: callq __udivti3
+; X64-NEXT: popq %rcx
+; X64-NEXT: retq
+ %tmp = udiv i128 %x, -73786976294838206467
+ ret i128 %tmp
+}
More information about the llvm-commits
mailing list