diff options
| author | Dimitry Andric <dim@FreeBSD.org> | 2017-12-18 20:10:56 +0000 |
|---|---|---|
| committer | Dimitry Andric <dim@FreeBSD.org> | 2017-12-18 20:10:56 +0000 |
| commit | 044eb2f6afba375a914ac9d8024f8f5142bb912e (patch) | |
| tree | 1475247dc9f9fe5be155ebd4c9069c75aadf8c20 /test/CodeGen/X86/overflow.ll | |
| parent | eb70dddbd77e120e5d490bd8fbe7ff3f8fa81c6b (diff) | |
| download | src-044eb2f6afba375a914ac9d8024f8f5142bb912e.tar.gz src-044eb2f6afba375a914ac9d8024f8f5142bb912e.zip | |
Vendor import of llvm trunk r321017:vendor/llvm/llvm-trunk-r321017
Notes
Notes:
svn path=/vendor/llvm/dist/; revision=326938
svn path=/vendor/llvm/llvm-trunk-r321017/; revision=326939; tag=vendor/llvm/llvm-trunk-r321017
Diffstat (limited to 'test/CodeGen/X86/overflow.ll')
| -rw-r--r-- | test/CodeGen/X86/overflow.ll | 77 |
1 files changed, 49 insertions, 28 deletions
diff --git a/test/CodeGen/X86/overflow.ll b/test/CodeGen/X86/overflow.ll index 00dadc4a80f6..a9fd19d4f5f7 100644 --- a/test/CodeGen/X86/overflow.ll +++ b/test/CodeGen/X86/overflow.ll @@ -4,46 +4,67 @@ define i128 @mulhioverflow(i64 %a, i64 %b, i64 %c) nounwind { ; X32-LABEL: mulhioverflow: -; X32: # BB#0: +; X32: # %bb.0: ; X32-NEXT: pushl %ebp -; X32-NEXT: movl %esp, %ebp +; X32-NEXT: pushl %ebx ; X32-NEXT: pushl %edi ; X32-NEXT: pushl %esi -; X32-NEXT: andl $-8, %esp -; X32-NEXT: subl $16, %esp -; X32-NEXT: movl 8(%ebp), %esi -; X32-NEXT: movl 28(%ebp), %edi -; X32-NEXT: movl %esp, %eax -; X32-NEXT: pushl $0 -; X32-NEXT: pushl $0 -; X32-NEXT: pushl 24(%ebp) -; X32-NEXT: pushl 20(%ebp) -; X32-NEXT: pushl $0 -; X32-NEXT: pushl $0 -; X32-NEXT: pushl 16(%ebp) -; X32-NEXT: pushl 12(%ebp) -; X32-NEXT: pushl %eax -; X32-NEXT: calll __multi3 -; X32-NEXT: addl $32, %esp +; X32-NEXT: movl {{[0-9]+}}(%esp), %ecx +; X32-NEXT: movl {{[0-9]+}}(%esp), %esi +; X32-NEXT: movl {{[0-9]+}}(%esp), %ebp +; X32-NEXT: movl {{[0-9]+}}(%esp), %edi +; X32-NEXT: movl %ecx, %eax +; X32-NEXT: mull %ebp +; X32-NEXT: movl %edx, %ebx +; X32-NEXT: movl %esi, %eax +; X32-NEXT: mull %ebp +; X32-NEXT: movl %edx, %ebp +; X32-NEXT: movl %eax, %esi +; X32-NEXT: addl %ebx, %esi +; X32-NEXT: adcl $0, %ebp +; X32-NEXT: movl %ecx, %eax +; X32-NEXT: mull %edi +; X32-NEXT: movl %edx, %ebx +; X32-NEXT: addl %esi, %eax +; X32-NEXT: adcl %ebp, %ebx +; X32-NEXT: setb %al +; X32-NEXT: movzbl %al, %ecx +; X32-NEXT: movl {{[0-9]+}}(%esp), %eax +; X32-NEXT: mull %edi +; X32-NEXT: movl %edx, %esi +; X32-NEXT: movl %eax, %ebp +; X32-NEXT: addl %ebx, %ebp +; X32-NEXT: adcl %ecx, %esi +; X32-NEXT: xorl %ecx, %ecx +; X32-NEXT: movl {{[0-9]+}}(%esp), %eax +; X32-NEXT: mull %ecx +; X32-NEXT: movl %edx, %edi +; X32-NEXT: movl %eax, %ebx ; X32-NEXT: movl {{[0-9]+}}(%esp), %eax -; X32-NEXT: andl $1, %edi -; X32-NEXT: addl {{[0-9]+}}(%esp), %edi -; X32-NEXT: adcl $0, %eax +; X32-NEXT: mull %ecx +; X32-NEXT: addl %ebx, %eax +; X32-NEXT: adcl %edi, %edx +; X32-NEXT: addl %ebp, %eax +; X32-NEXT: adcl %esi, %edx +; X32-NEXT: movl {{[0-9]+}}(%esp), %ecx +; X32-NEXT: andl $1, %ecx +; X32-NEXT: addl %eax, %ecx +; X32-NEXT: movl {{[0-9]+}}(%esp), %eax +; X32-NEXT: movl %ecx, (%eax) +; X32-NEXT: adcl $0, %edx +; X32-NEXT: movl %edx, 4(%eax) ; X32-NEXT: setb %cl ; X32-NEXT: movzbl %cl, %ecx -; X32-NEXT: movl %edi, (%esi) -; X32-NEXT: movl %eax, 4(%esi) -; X32-NEXT: movl %ecx, 8(%esi) -; X32-NEXT: movl $0, 12(%esi) -; X32-NEXT: movl %esi, %eax -; X32-NEXT: leal -8(%ebp), %esp +; X32-NEXT: movl %ecx, 8(%eax) +; X32-NEXT: movl $0, 12(%eax) ; X32-NEXT: popl %esi ; X32-NEXT: popl %edi +; X32-NEXT: popl %ebx ; X32-NEXT: popl %ebp ; X32-NEXT: retl $4 ; ; X64-LABEL: mulhioverflow: -; X64: # BB#0: +; X64: # %bb.0: ; X64-NEXT: movq %rdx, %rcx ; X64-NEXT: movq %rdi, %rax ; X64-NEXT: mulq %rsi |