mirror of
https://github.com/Gericom/teak-llvm.git
synced 2025-06-19 11:35:51 -04:00
6db7f492d9
Probably better to keep add over sub in early DAG combines. It might make sense to push this to lowering or delay it all the way to isel. But this was the simplest change. llvm-svn: 369981
89 lines
2.8 KiB
LLVM
89 lines
2.8 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
|
|
; RUN: llc < %s -mtriple=i686-unknown-unknown -mattr=+sse2 | FileCheck %s --check-prefixes=X86
|
|
; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+sse2 | FileCheck %s --check-prefixes=X64
|
|
|
|
define i128 @add_i128(i128 %x, i128 %y) nounwind {
|
|
; X86-LABEL: add_i128:
|
|
; X86: # %bb.0:
|
|
; X86-NEXT: pushl %edi
|
|
; X86-NEXT: pushl %esi
|
|
; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
|
|
; 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: 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), %ecx
|
|
; X86-NEXT: addl $1, %esi
|
|
; X86-NEXT: adcl $0, %edi
|
|
; X86-NEXT: adcl $0, %edx
|
|
; X86-NEXT: adcl $0, %ecx
|
|
; X86-NEXT: movl %esi, (%eax)
|
|
; X86-NEXT: movl %edi, 4(%eax)
|
|
; X86-NEXT: movl %edx, 8(%eax)
|
|
; X86-NEXT: movl %ecx, 12(%eax)
|
|
; X86-NEXT: popl %esi
|
|
; X86-NEXT: popl %edi
|
|
; X86-NEXT: retl $4
|
|
;
|
|
; X64-LABEL: add_i128:
|
|
; X64: # %bb.0:
|
|
; X64-NEXT: movq %rdi, %rax
|
|
; X64-NEXT: addq %rdx, %rax
|
|
; X64-NEXT: adcq %rcx, %rsi
|
|
; X64-NEXT: addq $1, %rax
|
|
; X64-NEXT: adcq $0, %rsi
|
|
; X64-NEXT: movq %rsi, %rdx
|
|
; X64-NEXT: retq
|
|
%t0 = add i128 %x, 1
|
|
%t1 = add i128 %y, %t0
|
|
ret i128 %t1
|
|
}
|
|
|
|
; PR42486
|
|
define <1 x i128> @add_v1i128(<1 x i128> %x, <1 x i128> %y) nounwind {
|
|
; X86-LABEL: add_v1i128:
|
|
; X86: # %bb.0:
|
|
; X86-NEXT: pushl %edi
|
|
; X86-NEXT: pushl %esi
|
|
; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
|
|
; 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: 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), %ecx
|
|
; X86-NEXT: addl $1, %esi
|
|
; X86-NEXT: adcl $0, %edi
|
|
; X86-NEXT: adcl $0, %edx
|
|
; X86-NEXT: adcl $0, %ecx
|
|
; X86-NEXT: movl %esi, (%eax)
|
|
; X86-NEXT: movl %edi, 4(%eax)
|
|
; X86-NEXT: movl %edx, 8(%eax)
|
|
; X86-NEXT: movl %ecx, 12(%eax)
|
|
; X86-NEXT: popl %esi
|
|
; X86-NEXT: popl %edi
|
|
; X86-NEXT: retl $4
|
|
;
|
|
; X64-LABEL: add_v1i128:
|
|
; X64: # %bb.0:
|
|
; X64-NEXT: movq %rdi, %rax
|
|
; X64-NEXT: addq %rdx, %rax
|
|
; X64-NEXT: adcq %rcx, %rsi
|
|
; X64-NEXT: movq %rax, %xmm0
|
|
; X64-NEXT: movq %rsi, %xmm1
|
|
; X64-NEXT: punpcklqdq {{.*#+}} xmm0 = xmm0[0],xmm1[0]
|
|
; X64-NEXT: pshufd {{.*#+}} xmm0 = xmm0[2,3,0,1]
|
|
; X64-NEXT: movq %xmm0, %rdx
|
|
; X64-NEXT: addq $1, %rax
|
|
; X64-NEXT: adcq $0, %rdx
|
|
; X64-NEXT: retq
|
|
%t0 = add <1 x i128> %x, <i128 1>
|
|
%t1 = add <1 x i128> %y, %t0
|
|
ret <1 x i128> %t1
|
|
}
|