1017 lines
32 KiB
LLVM
1017 lines
32 KiB
LLVM
; 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@PLT
|
|
; 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@PLT
|
|
; 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 $11, %edx
|
|
; X86-64-NEXT: xorl %ecx, %ecx
|
|
; X86-64-NEXT: callq __umodti3@PLT
|
|
; 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 $11, {{[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, 11
|
|
%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: addq %rdi, %rsi
|
|
; X86-64-NEXT: adcq $0, %rsi
|
|
; X86-64-NEXT: movabsq $-6148914691236517205, %rcx # imm = 0xAAAAAAAAAAAAAAAB
|
|
; X86-64-NEXT: movq %rsi, %rax
|
|
; X86-64-NEXT: mulq %rcx
|
|
; X86-64-NEXT: shrq %rdx
|
|
; X86-64-NEXT: leaq (%rdx,%rdx,2), %rax
|
|
; X86-64-NEXT: subq %rsi, %rax
|
|
; X86-64-NEXT: addq %rdi, %rax
|
|
; X86-64-NEXT: imulq %rcx, %rax
|
|
; X86-64-NEXT: retq
|
|
;
|
|
; WIN64-LABEL: udiv128:
|
|
; WIN64: # %bb.0:
|
|
; WIN64-NEXT: movq %rdx, %r8
|
|
; WIN64-NEXT: addq %rcx, %r8
|
|
; WIN64-NEXT: adcq $0, %r8
|
|
; WIN64-NEXT: movabsq $-6148914691236517205, %r9 # imm = 0xAAAAAAAAAAAAAAAB
|
|
; WIN64-NEXT: movq %r8, %rax
|
|
; WIN64-NEXT: mulq %r9
|
|
; WIN64-NEXT: shrq %rdx
|
|
; WIN64-NEXT: leaq (%rdx,%rdx,2), %rax
|
|
; WIN64-NEXT: subq %r8, %rax
|
|
; WIN64-NEXT: addq %rcx, %rax
|
|
; WIN64-NEXT: imulq %r9, %rax
|
|
; WIN64-NEXT: retq
|
|
|
|
|
|
%1 = udiv i128 %x, 3
|
|
%2 = trunc i128 %1 to i64
|
|
ret i64 %2
|
|
}
|
|
|
|
define i128 @urem_i128_3(i128 %x) nounwind {
|
|
; X86-64-LABEL: urem_i128_3:
|
|
; X86-64: # %bb.0: # %entry
|
|
; X86-64-NEXT: addq %rsi, %rdi
|
|
; X86-64-NEXT: adcq $0, %rdi
|
|
; X86-64-NEXT: movabsq $-6148914691236517205, %rcx # imm = 0xAAAAAAAAAAAAAAAB
|
|
; X86-64-NEXT: movq %rdi, %rax
|
|
; X86-64-NEXT: mulq %rcx
|
|
; X86-64-NEXT: shrq %rdx
|
|
; X86-64-NEXT: leaq (%rdx,%rdx,2), %rax
|
|
; X86-64-NEXT: subq %rax, %rdi
|
|
; X86-64-NEXT: movq %rdi, %rax
|
|
; X86-64-NEXT: xorl %edx, %edx
|
|
; X86-64-NEXT: retq
|
|
;
|
|
; WIN64-LABEL: urem_i128_3:
|
|
; WIN64: # %bb.0: # %entry
|
|
; WIN64-NEXT: addq %rdx, %rcx
|
|
; WIN64-NEXT: adcq $0, %rcx
|
|
; WIN64-NEXT: movabsq $-6148914691236517205, %rdx # imm = 0xAAAAAAAAAAAAAAAB
|
|
; WIN64-NEXT: movq %rcx, %rax
|
|
; WIN64-NEXT: mulq %rdx
|
|
; WIN64-NEXT: shrq %rdx
|
|
; WIN64-NEXT: leaq (%rdx,%rdx,2), %rax
|
|
; WIN64-NEXT: subq %rax, %rcx
|
|
; WIN64-NEXT: movq %rcx, %rax
|
|
; WIN64-NEXT: xorl %edx, %edx
|
|
; WIN64-NEXT: retq
|
|
entry:
|
|
%rem = urem i128 %x, 3
|
|
ret i128 %rem
|
|
}
|
|
|
|
define i128 @urem_i128_5(i128 %x) nounwind {
|
|
; X86-64-LABEL: urem_i128_5:
|
|
; X86-64: # %bb.0: # %entry
|
|
; X86-64-NEXT: addq %rsi, %rdi
|
|
; X86-64-NEXT: adcq $0, %rdi
|
|
; X86-64-NEXT: movabsq $-3689348814741910323, %rcx # imm = 0xCCCCCCCCCCCCCCCD
|
|
; X86-64-NEXT: movq %rdi, %rax
|
|
; X86-64-NEXT: mulq %rcx
|
|
; X86-64-NEXT: shrq $2, %rdx
|
|
; X86-64-NEXT: leaq (%rdx,%rdx,4), %rax
|
|
; X86-64-NEXT: subq %rax, %rdi
|
|
; X86-64-NEXT: movq %rdi, %rax
|
|
; X86-64-NEXT: xorl %edx, %edx
|
|
; X86-64-NEXT: retq
|
|
;
|
|
; WIN64-LABEL: urem_i128_5:
|
|
; WIN64: # %bb.0: # %entry
|
|
; WIN64-NEXT: addq %rdx, %rcx
|
|
; WIN64-NEXT: adcq $0, %rcx
|
|
; WIN64-NEXT: movabsq $-3689348814741910323, %rdx # imm = 0xCCCCCCCCCCCCCCCD
|
|
; WIN64-NEXT: movq %rcx, %rax
|
|
; WIN64-NEXT: mulq %rdx
|
|
; WIN64-NEXT: shrq $2, %rdx
|
|
; WIN64-NEXT: leaq (%rdx,%rdx,4), %rax
|
|
; WIN64-NEXT: subq %rax, %rcx
|
|
; WIN64-NEXT: movq %rcx, %rax
|
|
; WIN64-NEXT: xorl %edx, %edx
|
|
; WIN64-NEXT: retq
|
|
entry:
|
|
%rem = urem i128 %x, 5
|
|
ret i128 %rem
|
|
}
|
|
|
|
define i128 @urem_i128_15(i128 %x) nounwind {
|
|
; X86-64-LABEL: urem_i128_15:
|
|
; X86-64: # %bb.0: # %entry
|
|
; X86-64-NEXT: addq %rsi, %rdi
|
|
; X86-64-NEXT: adcq $0, %rdi
|
|
; X86-64-NEXT: movabsq $-8608480567731124087, %rcx # imm = 0x8888888888888889
|
|
; X86-64-NEXT: movq %rdi, %rax
|
|
; X86-64-NEXT: mulq %rcx
|
|
; X86-64-NEXT: shrq $3, %rdx
|
|
; X86-64-NEXT: leaq (%rdx,%rdx,4), %rax
|
|
; X86-64-NEXT: leaq (%rax,%rax,2), %rax
|
|
; X86-64-NEXT: subq %rax, %rdi
|
|
; X86-64-NEXT: movq %rdi, %rax
|
|
; X86-64-NEXT: xorl %edx, %edx
|
|
; X86-64-NEXT: retq
|
|
;
|
|
; WIN64-LABEL: urem_i128_15:
|
|
; WIN64: # %bb.0: # %entry
|
|
; WIN64-NEXT: addq %rdx, %rcx
|
|
; WIN64-NEXT: adcq $0, %rcx
|
|
; WIN64-NEXT: movabsq $-8608480567731124087, %rdx # imm = 0x8888888888888889
|
|
; WIN64-NEXT: movq %rcx, %rax
|
|
; WIN64-NEXT: mulq %rdx
|
|
; WIN64-NEXT: shrq $3, %rdx
|
|
; WIN64-NEXT: leaq (%rdx,%rdx,4), %rax
|
|
; WIN64-NEXT: leaq (%rax,%rax,2), %rax
|
|
; WIN64-NEXT: subq %rax, %rcx
|
|
; WIN64-NEXT: movq %rcx, %rax
|
|
; WIN64-NEXT: xorl %edx, %edx
|
|
; WIN64-NEXT: retq
|
|
entry:
|
|
%rem = urem i128 %x, 15
|
|
ret i128 %rem
|
|
}
|
|
|
|
define i128 @urem_i128_17(i128 %x) nounwind {
|
|
; X86-64-LABEL: urem_i128_17:
|
|
; X86-64: # %bb.0: # %entry
|
|
; X86-64-NEXT: addq %rsi, %rdi
|
|
; X86-64-NEXT: adcq $0, %rdi
|
|
; X86-64-NEXT: movabsq $-1085102592571150095, %rcx # imm = 0xF0F0F0F0F0F0F0F1
|
|
; X86-64-NEXT: movq %rdi, %rax
|
|
; X86-64-NEXT: mulq %rcx
|
|
; X86-64-NEXT: movq %rdx, %rax
|
|
; X86-64-NEXT: andq $-16, %rax
|
|
; X86-64-NEXT: shrq $4, %rdx
|
|
; X86-64-NEXT: addq %rax, %rdx
|
|
; X86-64-NEXT: subq %rdx, %rdi
|
|
; X86-64-NEXT: movq %rdi, %rax
|
|
; X86-64-NEXT: xorl %edx, %edx
|
|
; X86-64-NEXT: retq
|
|
;
|
|
; WIN64-LABEL: urem_i128_17:
|
|
; WIN64: # %bb.0: # %entry
|
|
; WIN64-NEXT: addq %rdx, %rcx
|
|
; WIN64-NEXT: adcq $0, %rcx
|
|
; WIN64-NEXT: movabsq $-1085102592571150095, %rdx # imm = 0xF0F0F0F0F0F0F0F1
|
|
; WIN64-NEXT: movq %rcx, %rax
|
|
; WIN64-NEXT: mulq %rdx
|
|
; WIN64-NEXT: movq %rdx, %rax
|
|
; WIN64-NEXT: andq $-16, %rax
|
|
; WIN64-NEXT: shrq $4, %rdx
|
|
; WIN64-NEXT: addq %rax, %rdx
|
|
; WIN64-NEXT: subq %rdx, %rcx
|
|
; WIN64-NEXT: movq %rcx, %rax
|
|
; WIN64-NEXT: xorl %edx, %edx
|
|
; WIN64-NEXT: retq
|
|
entry:
|
|
%rem = urem i128 %x, 17
|
|
ret i128 %rem
|
|
}
|
|
|
|
define i128 @urem_i128_255(i128 %x) nounwind {
|
|
; X86-64-LABEL: urem_i128_255:
|
|
; X86-64: # %bb.0: # %entry
|
|
; X86-64-NEXT: movq %rdi, %rax
|
|
; X86-64-NEXT: addq %rsi, %rax
|
|
; X86-64-NEXT: adcq $0, %rax
|
|
; X86-64-NEXT: movabsq $-9187201950435737471, %rcx # imm = 0x8080808080808081
|
|
; X86-64-NEXT: mulq %rcx
|
|
; X86-64-NEXT: shrq $7, %rdx
|
|
; X86-64-NEXT: movq %rdx, %rax
|
|
; X86-64-NEXT: shlq $8, %rax
|
|
; X86-64-NEXT: subq %rax, %rdx
|
|
; X86-64-NEXT: addq %rsi, %rdi
|
|
; X86-64-NEXT: adcq %rdx, %rdi
|
|
; X86-64-NEXT: movq %rdi, %rax
|
|
; X86-64-NEXT: xorl %edx, %edx
|
|
; X86-64-NEXT: retq
|
|
;
|
|
; WIN64-LABEL: urem_i128_255:
|
|
; WIN64: # %bb.0: # %entry
|
|
; WIN64-NEXT: movq %rdx, %r8
|
|
; WIN64-NEXT: movq %rcx, %rax
|
|
; WIN64-NEXT: addq %rdx, %rax
|
|
; WIN64-NEXT: adcq $0, %rax
|
|
; WIN64-NEXT: movabsq $-9187201950435737471, %rdx # imm = 0x8080808080808081
|
|
; WIN64-NEXT: mulq %rdx
|
|
; WIN64-NEXT: shrq $7, %rdx
|
|
; WIN64-NEXT: movq %rdx, %rax
|
|
; WIN64-NEXT: shlq $8, %rax
|
|
; WIN64-NEXT: subq %rax, %rdx
|
|
; WIN64-NEXT: addq %rcx, %r8
|
|
; WIN64-NEXT: adcq %rdx, %r8
|
|
; WIN64-NEXT: movq %r8, %rax
|
|
; WIN64-NEXT: xorl %edx, %edx
|
|
; WIN64-NEXT: retq
|
|
entry:
|
|
%rem = urem i128 %x, 255
|
|
ret i128 %rem
|
|
}
|
|
|
|
define i128 @urem_i128_257(i128 %x) nounwind {
|
|
; X86-64-LABEL: urem_i128_257:
|
|
; X86-64: # %bb.0: # %entry
|
|
; X86-64-NEXT: addq %rsi, %rdi
|
|
; X86-64-NEXT: adcq $0, %rdi
|
|
; X86-64-NEXT: movabsq $-71777214294589695, %rcx # imm = 0xFF00FF00FF00FF01
|
|
; X86-64-NEXT: movq %rdi, %rax
|
|
; X86-64-NEXT: mulq %rcx
|
|
; X86-64-NEXT: movq %rdx, %rax
|
|
; X86-64-NEXT: andq $-256, %rax
|
|
; X86-64-NEXT: shrq $8, %rdx
|
|
; X86-64-NEXT: addq %rax, %rdx
|
|
; X86-64-NEXT: subq %rdx, %rdi
|
|
; X86-64-NEXT: movq %rdi, %rax
|
|
; X86-64-NEXT: xorl %edx, %edx
|
|
; X86-64-NEXT: retq
|
|
;
|
|
; WIN64-LABEL: urem_i128_257:
|
|
; WIN64: # %bb.0: # %entry
|
|
; WIN64-NEXT: addq %rdx, %rcx
|
|
; WIN64-NEXT: adcq $0, %rcx
|
|
; WIN64-NEXT: movabsq $-71777214294589695, %rdx # imm = 0xFF00FF00FF00FF01
|
|
; WIN64-NEXT: movq %rcx, %rax
|
|
; WIN64-NEXT: mulq %rdx
|
|
; WIN64-NEXT: movq %rdx, %rax
|
|
; WIN64-NEXT: andq $-256, %rax
|
|
; WIN64-NEXT: shrq $8, %rdx
|
|
; WIN64-NEXT: addq %rax, %rdx
|
|
; WIN64-NEXT: subq %rdx, %rcx
|
|
; WIN64-NEXT: movq %rcx, %rax
|
|
; WIN64-NEXT: xorl %edx, %edx
|
|
; WIN64-NEXT: retq
|
|
entry:
|
|
%rem = urem i128 %x, 257
|
|
ret i128 %rem
|
|
}
|
|
|
|
define i128 @urem_i128_65535(i128 %x) nounwind {
|
|
; X86-64-LABEL: urem_i128_65535:
|
|
; X86-64: # %bb.0: # %entry
|
|
; X86-64-NEXT: movq %rdi, %rax
|
|
; X86-64-NEXT: addq %rsi, %rax
|
|
; X86-64-NEXT: adcq $0, %rax
|
|
; X86-64-NEXT: movabsq $-9223231297218904063, %rcx # imm = 0x8000800080008001
|
|
; X86-64-NEXT: mulq %rcx
|
|
; X86-64-NEXT: shrq $15, %rdx
|
|
; X86-64-NEXT: movq %rdx, %rax
|
|
; X86-64-NEXT: shlq $16, %rax
|
|
; X86-64-NEXT: subq %rax, %rdx
|
|
; X86-64-NEXT: addq %rsi, %rdi
|
|
; X86-64-NEXT: adcq %rdx, %rdi
|
|
; X86-64-NEXT: movq %rdi, %rax
|
|
; X86-64-NEXT: xorl %edx, %edx
|
|
; X86-64-NEXT: retq
|
|
;
|
|
; WIN64-LABEL: urem_i128_65535:
|
|
; WIN64: # %bb.0: # %entry
|
|
; WIN64-NEXT: movq %rdx, %r8
|
|
; WIN64-NEXT: movq %rcx, %rax
|
|
; WIN64-NEXT: addq %rdx, %rax
|
|
; WIN64-NEXT: adcq $0, %rax
|
|
; WIN64-NEXT: movabsq $-9223231297218904063, %rdx # imm = 0x8000800080008001
|
|
; WIN64-NEXT: mulq %rdx
|
|
; WIN64-NEXT: shrq $15, %rdx
|
|
; WIN64-NEXT: movq %rdx, %rax
|
|
; WIN64-NEXT: shlq $16, %rax
|
|
; WIN64-NEXT: subq %rax, %rdx
|
|
; WIN64-NEXT: addq %rcx, %r8
|
|
; WIN64-NEXT: adcq %rdx, %r8
|
|
; WIN64-NEXT: movq %r8, %rax
|
|
; WIN64-NEXT: xorl %edx, %edx
|
|
; WIN64-NEXT: retq
|
|
entry:
|
|
%rem = urem i128 %x, 65535
|
|
ret i128 %rem
|
|
}
|
|
|
|
define i128 @urem_i128_65537(i128 %x) nounwind {
|
|
; X86-64-LABEL: urem_i128_65537:
|
|
; X86-64: # %bb.0: # %entry
|
|
; X86-64-NEXT: addq %rsi, %rdi
|
|
; X86-64-NEXT: adcq $0, %rdi
|
|
; X86-64-NEXT: movabsq $-281470681808895, %rcx # imm = 0xFFFF0000FFFF0001
|
|
; X86-64-NEXT: movq %rdi, %rax
|
|
; X86-64-NEXT: mulq %rcx
|
|
; X86-64-NEXT: movq %rdx, %rax
|
|
; X86-64-NEXT: andq $-65536, %rax # imm = 0xFFFF0000
|
|
; X86-64-NEXT: shrq $16, %rdx
|
|
; X86-64-NEXT: addq %rax, %rdx
|
|
; X86-64-NEXT: subq %rdx, %rdi
|
|
; X86-64-NEXT: movq %rdi, %rax
|
|
; X86-64-NEXT: xorl %edx, %edx
|
|
; X86-64-NEXT: retq
|
|
;
|
|
; WIN64-LABEL: urem_i128_65537:
|
|
; WIN64: # %bb.0: # %entry
|
|
; WIN64-NEXT: addq %rdx, %rcx
|
|
; WIN64-NEXT: adcq $0, %rcx
|
|
; WIN64-NEXT: movabsq $-281470681808895, %rdx # imm = 0xFFFF0000FFFF0001
|
|
; WIN64-NEXT: movq %rcx, %rax
|
|
; WIN64-NEXT: mulq %rdx
|
|
; WIN64-NEXT: movq %rdx, %rax
|
|
; WIN64-NEXT: andq $-65536, %rax # imm = 0xFFFF0000
|
|
; WIN64-NEXT: shrq $16, %rdx
|
|
; WIN64-NEXT: addq %rax, %rdx
|
|
; WIN64-NEXT: subq %rdx, %rcx
|
|
; WIN64-NEXT: movq %rcx, %rax
|
|
; WIN64-NEXT: xorl %edx, %edx
|
|
; WIN64-NEXT: retq
|
|
entry:
|
|
%rem = urem i128 %x, 65537
|
|
ret i128 %rem
|
|
}
|
|
|
|
define i128 @urem_i128_12(i128 %x) nounwind {
|
|
; X86-64-LABEL: urem_i128_12:
|
|
; X86-64: # %bb.0: # %entry
|
|
; X86-64-NEXT: movq %rsi, %rax
|
|
; X86-64-NEXT: shldq $62, %rdi, %rax
|
|
; X86-64-NEXT: shrq $2, %rsi
|
|
; X86-64-NEXT: addq %rax, %rsi
|
|
; X86-64-NEXT: adcq $0, %rsi
|
|
; X86-64-NEXT: movabsq $-6148914691236517205, %rcx # imm = 0xAAAAAAAAAAAAAAAB
|
|
; X86-64-NEXT: movq %rsi, %rax
|
|
; X86-64-NEXT: mulq %rcx
|
|
; X86-64-NEXT: shrq %rdx
|
|
; X86-64-NEXT: leaq (%rdx,%rdx,2), %rax
|
|
; X86-64-NEXT: subq %rax, %rsi
|
|
; X86-64-NEXT: andl $3, %edi
|
|
; X86-64-NEXT: leaq (%rdi,%rsi,4), %rax
|
|
; X86-64-NEXT: xorl %edx, %edx
|
|
; X86-64-NEXT: retq
|
|
;
|
|
; WIN64-LABEL: urem_i128_12:
|
|
; WIN64: # %bb.0: # %entry
|
|
; WIN64-NEXT: movq %rdx, %r8
|
|
; WIN64-NEXT: movq %rdx, %rax
|
|
; WIN64-NEXT: shldq $62, %rcx, %rax
|
|
; WIN64-NEXT: shrq $2, %r8
|
|
; WIN64-NEXT: addq %rax, %r8
|
|
; WIN64-NEXT: adcq $0, %r8
|
|
; WIN64-NEXT: movabsq $-6148914691236517205, %rdx # imm = 0xAAAAAAAAAAAAAAAB
|
|
; WIN64-NEXT: movq %r8, %rax
|
|
; WIN64-NEXT: mulq %rdx
|
|
; WIN64-NEXT: shrq %rdx
|
|
; WIN64-NEXT: leaq (%rdx,%rdx,2), %rax
|
|
; WIN64-NEXT: subq %rax, %r8
|
|
; WIN64-NEXT: andl $3, %ecx
|
|
; WIN64-NEXT: leaq (%rcx,%r8,4), %rax
|
|
; WIN64-NEXT: xorl %edx, %edx
|
|
; WIN64-NEXT: retq
|
|
entry:
|
|
%rem = urem i128 %x, 12
|
|
ret i128 %rem
|
|
}
|
|
|
|
define i128 @udiv_i128_3(i128 %x) nounwind {
|
|
; X86-64-LABEL: udiv_i128_3:
|
|
; X86-64: # %bb.0: # %entry
|
|
; X86-64-NEXT: movq %rdi, %rcx
|
|
; X86-64-NEXT: addq %rsi, %rcx
|
|
; X86-64-NEXT: adcq $0, %rcx
|
|
; X86-64-NEXT: movabsq $-6148914691236517205, %r8 # imm = 0xAAAAAAAAAAAAAAAB
|
|
; X86-64-NEXT: movq %rcx, %rax
|
|
; X86-64-NEXT: mulq %r8
|
|
; X86-64-NEXT: shrq %rdx
|
|
; X86-64-NEXT: leaq (%rdx,%rdx,2), %rax
|
|
; X86-64-NEXT: subq %rax, %rcx
|
|
; X86-64-NEXT: subq %rcx, %rdi
|
|
; X86-64-NEXT: sbbq $0, %rsi
|
|
; X86-64-NEXT: movabsq $-6148914691236517206, %rcx # imm = 0xAAAAAAAAAAAAAAAA
|
|
; X86-64-NEXT: imulq %rdi, %rcx
|
|
; X86-64-NEXT: movq %rdi, %rax
|
|
; X86-64-NEXT: mulq %r8
|
|
; X86-64-NEXT: imulq %rsi, %r8
|
|
; X86-64-NEXT: addq %rcx, %r8
|
|
; X86-64-NEXT: addq %r8, %rdx
|
|
; X86-64-NEXT: retq
|
|
;
|
|
; WIN64-LABEL: udiv_i128_3:
|
|
; WIN64: # %bb.0: # %entry
|
|
; WIN64-NEXT: movq %rdx, %r8
|
|
; WIN64-NEXT: movq %rcx, %r9
|
|
; WIN64-NEXT: addq %rdx, %r9
|
|
; WIN64-NEXT: adcq $0, %r9
|
|
; WIN64-NEXT: movabsq $-6148914691236517205, %r10 # imm = 0xAAAAAAAAAAAAAAAB
|
|
; WIN64-NEXT: movq %r9, %rax
|
|
; WIN64-NEXT: mulq %r10
|
|
; WIN64-NEXT: shrq %rdx
|
|
; WIN64-NEXT: leaq (%rdx,%rdx,2), %rax
|
|
; WIN64-NEXT: subq %rax, %r9
|
|
; WIN64-NEXT: subq %r9, %rcx
|
|
; WIN64-NEXT: sbbq $0, %r8
|
|
; WIN64-NEXT: movabsq $-6148914691236517206, %r9 # imm = 0xAAAAAAAAAAAAAAAA
|
|
; WIN64-NEXT: imulq %rcx, %r9
|
|
; WIN64-NEXT: movq %rcx, %rax
|
|
; WIN64-NEXT: mulq %r10
|
|
; WIN64-NEXT: imulq %r10, %r8
|
|
; WIN64-NEXT: addq %r9, %r8
|
|
; WIN64-NEXT: addq %r8, %rdx
|
|
; WIN64-NEXT: retq
|
|
entry:
|
|
%rem = udiv i128 %x, 3
|
|
ret i128 %rem
|
|
}
|
|
|
|
define i128 @udiv_i128_5(i128 %x) nounwind {
|
|
; X86-64-LABEL: udiv_i128_5:
|
|
; X86-64: # %bb.0: # %entry
|
|
; X86-64-NEXT: movq %rdi, %rcx
|
|
; X86-64-NEXT: addq %rsi, %rcx
|
|
; X86-64-NEXT: adcq $0, %rcx
|
|
; X86-64-NEXT: movabsq $-3689348814741910323, %r8 # imm = 0xCCCCCCCCCCCCCCCD
|
|
; X86-64-NEXT: movq %rcx, %rax
|
|
; X86-64-NEXT: mulq %r8
|
|
; X86-64-NEXT: shrq $2, %rdx
|
|
; X86-64-NEXT: leaq (%rdx,%rdx,4), %rax
|
|
; X86-64-NEXT: subq %rax, %rcx
|
|
; X86-64-NEXT: subq %rcx, %rdi
|
|
; X86-64-NEXT: sbbq $0, %rsi
|
|
; X86-64-NEXT: movabsq $-3689348814741910324, %rcx # imm = 0xCCCCCCCCCCCCCCCC
|
|
; X86-64-NEXT: imulq %rdi, %rcx
|
|
; X86-64-NEXT: movq %rdi, %rax
|
|
; X86-64-NEXT: mulq %r8
|
|
; X86-64-NEXT: imulq %rsi, %r8
|
|
; X86-64-NEXT: addq %rcx, %r8
|
|
; X86-64-NEXT: addq %r8, %rdx
|
|
; X86-64-NEXT: retq
|
|
;
|
|
; WIN64-LABEL: udiv_i128_5:
|
|
; WIN64: # %bb.0: # %entry
|
|
; WIN64-NEXT: movq %rdx, %r8
|
|
; WIN64-NEXT: movq %rcx, %r9
|
|
; WIN64-NEXT: addq %rdx, %r9
|
|
; WIN64-NEXT: adcq $0, %r9
|
|
; WIN64-NEXT: movabsq $-3689348814741910323, %r10 # imm = 0xCCCCCCCCCCCCCCCD
|
|
; WIN64-NEXT: movq %r9, %rax
|
|
; WIN64-NEXT: mulq %r10
|
|
; WIN64-NEXT: shrq $2, %rdx
|
|
; WIN64-NEXT: leaq (%rdx,%rdx,4), %rax
|
|
; WIN64-NEXT: subq %rax, %r9
|
|
; WIN64-NEXT: subq %r9, %rcx
|
|
; WIN64-NEXT: sbbq $0, %r8
|
|
; WIN64-NEXT: movabsq $-3689348814741910324, %r9 # imm = 0xCCCCCCCCCCCCCCCC
|
|
; WIN64-NEXT: imulq %rcx, %r9
|
|
; WIN64-NEXT: movq %rcx, %rax
|
|
; WIN64-NEXT: mulq %r10
|
|
; WIN64-NEXT: imulq %r10, %r8
|
|
; WIN64-NEXT: addq %r9, %r8
|
|
; WIN64-NEXT: addq %r8, %rdx
|
|
; WIN64-NEXT: retq
|
|
entry:
|
|
%rem = udiv i128 %x, 5
|
|
ret i128 %rem
|
|
}
|
|
|
|
define i128 @udiv_i128_15(i128 %x) nounwind {
|
|
; X86-64-LABEL: udiv_i128_15:
|
|
; X86-64: # %bb.0: # %entry
|
|
; X86-64-NEXT: movq %rdi, %rcx
|
|
; X86-64-NEXT: addq %rsi, %rcx
|
|
; X86-64-NEXT: adcq $0, %rcx
|
|
; X86-64-NEXT: movabsq $-8608480567731124087, %rdx # imm = 0x8888888888888889
|
|
; X86-64-NEXT: movq %rcx, %rax
|
|
; X86-64-NEXT: mulq %rdx
|
|
; X86-64-NEXT: shrq $3, %rdx
|
|
; X86-64-NEXT: leaq (%rdx,%rdx,4), %rax
|
|
; X86-64-NEXT: leaq (%rax,%rax,2), %rax
|
|
; X86-64-NEXT: subq %rax, %rcx
|
|
; X86-64-NEXT: subq %rcx, %rdi
|
|
; X86-64-NEXT: sbbq $0, %rsi
|
|
; X86-64-NEXT: movabsq $-1229782938247303442, %rcx # imm = 0xEEEEEEEEEEEEEEEE
|
|
; X86-64-NEXT: imulq %rdi, %rcx
|
|
; X86-64-NEXT: movabsq $-1229782938247303441, %r8 # imm = 0xEEEEEEEEEEEEEEEF
|
|
; X86-64-NEXT: movq %rdi, %rax
|
|
; X86-64-NEXT: mulq %r8
|
|
; X86-64-NEXT: imulq %rsi, %r8
|
|
; X86-64-NEXT: addq %rcx, %r8
|
|
; X86-64-NEXT: addq %r8, %rdx
|
|
; X86-64-NEXT: retq
|
|
;
|
|
; WIN64-LABEL: udiv_i128_15:
|
|
; WIN64: # %bb.0: # %entry
|
|
; WIN64-NEXT: movq %rdx, %r8
|
|
; WIN64-NEXT: movq %rcx, %r9
|
|
; WIN64-NEXT: addq %rdx, %r9
|
|
; WIN64-NEXT: adcq $0, %r9
|
|
; WIN64-NEXT: movabsq $-8608480567731124087, %rdx # imm = 0x8888888888888889
|
|
; WIN64-NEXT: movq %r9, %rax
|
|
; WIN64-NEXT: mulq %rdx
|
|
; WIN64-NEXT: shrq $3, %rdx
|
|
; WIN64-NEXT: leaq (%rdx,%rdx,4), %rax
|
|
; WIN64-NEXT: leaq (%rax,%rax,2), %rax
|
|
; WIN64-NEXT: subq %rax, %r9
|
|
; WIN64-NEXT: subq %r9, %rcx
|
|
; WIN64-NEXT: sbbq $0, %r8
|
|
; WIN64-NEXT: movabsq $-1229782938247303442, %r9 # imm = 0xEEEEEEEEEEEEEEEE
|
|
; WIN64-NEXT: imulq %rcx, %r9
|
|
; WIN64-NEXT: movabsq $-1229782938247303441, %r10 # imm = 0xEEEEEEEEEEEEEEEF
|
|
; WIN64-NEXT: movq %rcx, %rax
|
|
; WIN64-NEXT: mulq %r10
|
|
; WIN64-NEXT: imulq %r10, %r8
|
|
; WIN64-NEXT: addq %r9, %r8
|
|
; WIN64-NEXT: addq %r8, %rdx
|
|
; WIN64-NEXT: retq
|
|
entry:
|
|
%rem = udiv i128 %x, 15
|
|
ret i128 %rem
|
|
}
|
|
|
|
define i128 @udiv_i128_17(i128 %x) nounwind {
|
|
; X86-64-LABEL: udiv_i128_17:
|
|
; X86-64: # %bb.0: # %entry
|
|
; X86-64-NEXT: movq %rdi, %rcx
|
|
; X86-64-NEXT: addq %rsi, %rcx
|
|
; X86-64-NEXT: adcq $0, %rcx
|
|
; X86-64-NEXT: movabsq $-1085102592571150095, %r8 # imm = 0xF0F0F0F0F0F0F0F1
|
|
; X86-64-NEXT: movq %rcx, %rax
|
|
; X86-64-NEXT: mulq %r8
|
|
; X86-64-NEXT: movq %rdx, %rax
|
|
; X86-64-NEXT: andq $-16, %rax
|
|
; X86-64-NEXT: shrq $4, %rdx
|
|
; X86-64-NEXT: addq %rax, %rdx
|
|
; X86-64-NEXT: subq %rdx, %rcx
|
|
; X86-64-NEXT: subq %rcx, %rdi
|
|
; X86-64-NEXT: sbbq $0, %rsi
|
|
; X86-64-NEXT: movabsq $-1085102592571150096, %rcx # imm = 0xF0F0F0F0F0F0F0F0
|
|
; X86-64-NEXT: imulq %rdi, %rcx
|
|
; X86-64-NEXT: movq %rdi, %rax
|
|
; X86-64-NEXT: mulq %r8
|
|
; X86-64-NEXT: imulq %rsi, %r8
|
|
; X86-64-NEXT: addq %rcx, %r8
|
|
; X86-64-NEXT: addq %r8, %rdx
|
|
; X86-64-NEXT: retq
|
|
;
|
|
; WIN64-LABEL: udiv_i128_17:
|
|
; WIN64: # %bb.0: # %entry
|
|
; WIN64-NEXT: movq %rdx, %r8
|
|
; WIN64-NEXT: movq %rcx, %r9
|
|
; WIN64-NEXT: addq %rdx, %r9
|
|
; WIN64-NEXT: adcq $0, %r9
|
|
; WIN64-NEXT: movabsq $-1085102592571150095, %r10 # imm = 0xF0F0F0F0F0F0F0F1
|
|
; WIN64-NEXT: movq %r9, %rax
|
|
; WIN64-NEXT: mulq %r10
|
|
; WIN64-NEXT: movq %rdx, %rax
|
|
; WIN64-NEXT: andq $-16, %rax
|
|
; WIN64-NEXT: shrq $4, %rdx
|
|
; WIN64-NEXT: addq %rax, %rdx
|
|
; WIN64-NEXT: subq %rdx, %r9
|
|
; WIN64-NEXT: subq %r9, %rcx
|
|
; WIN64-NEXT: sbbq $0, %r8
|
|
; WIN64-NEXT: movabsq $-1085102592571150096, %r9 # imm = 0xF0F0F0F0F0F0F0F0
|
|
; WIN64-NEXT: imulq %rcx, %r9
|
|
; WIN64-NEXT: movq %rcx, %rax
|
|
; WIN64-NEXT: mulq %r10
|
|
; WIN64-NEXT: imulq %r10, %r8
|
|
; WIN64-NEXT: addq %r9, %r8
|
|
; WIN64-NEXT: addq %r8, %rdx
|
|
; WIN64-NEXT: retq
|
|
entry:
|
|
%rem = udiv i128 %x, 17
|
|
ret i128 %rem
|
|
}
|
|
|
|
define i128 @udiv_i128_255(i128 %x) nounwind {
|
|
; X86-64-LABEL: udiv_i128_255:
|
|
; X86-64: # %bb.0: # %entry
|
|
; X86-64-NEXT: movq %rdi, %rax
|
|
; X86-64-NEXT: addq %rsi, %rax
|
|
; X86-64-NEXT: adcq $0, %rax
|
|
; X86-64-NEXT: movabsq $-9187201950435737471, %rcx # imm = 0x8080808080808081
|
|
; X86-64-NEXT: mulq %rcx
|
|
; X86-64-NEXT: shrq $7, %rdx
|
|
; X86-64-NEXT: movq %rdx, %rax
|
|
; X86-64-NEXT: shlq $8, %rax
|
|
; X86-64-NEXT: subq %rax, %rdx
|
|
; X86-64-NEXT: movq %rdi, %rax
|
|
; X86-64-NEXT: addq %rsi, %rax
|
|
; X86-64-NEXT: adcq %rdx, %rax
|
|
; X86-64-NEXT: subq %rax, %rdi
|
|
; X86-64-NEXT: sbbq $0, %rsi
|
|
; X86-64-NEXT: movabsq $-72340172838076674, %rcx # imm = 0xFEFEFEFEFEFEFEFE
|
|
; X86-64-NEXT: imulq %rdi, %rcx
|
|
; X86-64-NEXT: movabsq $-72340172838076673, %r8 # imm = 0xFEFEFEFEFEFEFEFF
|
|
; X86-64-NEXT: movq %rdi, %rax
|
|
; X86-64-NEXT: mulq %r8
|
|
; X86-64-NEXT: imulq %rsi, %r8
|
|
; X86-64-NEXT: addq %rcx, %r8
|
|
; X86-64-NEXT: addq %r8, %rdx
|
|
; X86-64-NEXT: retq
|
|
;
|
|
; WIN64-LABEL: udiv_i128_255:
|
|
; WIN64: # %bb.0: # %entry
|
|
; WIN64-NEXT: movq %rdx, %r8
|
|
; WIN64-NEXT: movq %rcx, %rax
|
|
; WIN64-NEXT: addq %rdx, %rax
|
|
; WIN64-NEXT: adcq $0, %rax
|
|
; WIN64-NEXT: movabsq $-9187201950435737471, %rdx # imm = 0x8080808080808081
|
|
; WIN64-NEXT: mulq %rdx
|
|
; WIN64-NEXT: shrq $7, %rdx
|
|
; WIN64-NEXT: movq %rdx, %rax
|
|
; WIN64-NEXT: shlq $8, %rax
|
|
; WIN64-NEXT: subq %rax, %rdx
|
|
; WIN64-NEXT: movq %rcx, %rax
|
|
; WIN64-NEXT: addq %r8, %rax
|
|
; WIN64-NEXT: adcq %rdx, %rax
|
|
; WIN64-NEXT: subq %rax, %rcx
|
|
; WIN64-NEXT: sbbq $0, %r8
|
|
; WIN64-NEXT: movabsq $-72340172838076674, %r9 # imm = 0xFEFEFEFEFEFEFEFE
|
|
; WIN64-NEXT: imulq %rcx, %r9
|
|
; WIN64-NEXT: movabsq $-72340172838076673, %r10 # imm = 0xFEFEFEFEFEFEFEFF
|
|
; WIN64-NEXT: movq %rcx, %rax
|
|
; WIN64-NEXT: mulq %r10
|
|
; WIN64-NEXT: imulq %r10, %r8
|
|
; WIN64-NEXT: addq %r9, %r8
|
|
; WIN64-NEXT: addq %r8, %rdx
|
|
; WIN64-NEXT: retq
|
|
entry:
|
|
%rem = udiv i128 %x, 255
|
|
ret i128 %rem
|
|
}
|
|
|
|
define i128 @udiv_i128_257(i128 %x) nounwind {
|
|
; X86-64-LABEL: udiv_i128_257:
|
|
; X86-64: # %bb.0: # %entry
|
|
; X86-64-NEXT: movq %rdi, %rcx
|
|
; X86-64-NEXT: addq %rsi, %rcx
|
|
; X86-64-NEXT: adcq $0, %rcx
|
|
; X86-64-NEXT: movabsq $-71777214294589695, %r8 # imm = 0xFF00FF00FF00FF01
|
|
; X86-64-NEXT: movq %rcx, %rax
|
|
; X86-64-NEXT: mulq %r8
|
|
; X86-64-NEXT: movq %rdx, %rax
|
|
; X86-64-NEXT: andq $-256, %rax
|
|
; X86-64-NEXT: shrq $8, %rdx
|
|
; X86-64-NEXT: addq %rax, %rdx
|
|
; X86-64-NEXT: subq %rdx, %rcx
|
|
; X86-64-NEXT: subq %rcx, %rdi
|
|
; X86-64-NEXT: sbbq $0, %rsi
|
|
; X86-64-NEXT: movabsq $-71777214294589696, %rcx # imm = 0xFF00FF00FF00FF00
|
|
; X86-64-NEXT: imulq %rdi, %rcx
|
|
; X86-64-NEXT: movq %rdi, %rax
|
|
; X86-64-NEXT: mulq %r8
|
|
; X86-64-NEXT: imulq %rsi, %r8
|
|
; X86-64-NEXT: addq %rcx, %r8
|
|
; X86-64-NEXT: addq %r8, %rdx
|
|
; X86-64-NEXT: retq
|
|
;
|
|
; WIN64-LABEL: udiv_i128_257:
|
|
; WIN64: # %bb.0: # %entry
|
|
; WIN64-NEXT: movq %rdx, %r8
|
|
; WIN64-NEXT: movq %rcx, %r9
|
|
; WIN64-NEXT: addq %rdx, %r9
|
|
; WIN64-NEXT: adcq $0, %r9
|
|
; WIN64-NEXT: movabsq $-71777214294589695, %r10 # imm = 0xFF00FF00FF00FF01
|
|
; WIN64-NEXT: movq %r9, %rax
|
|
; WIN64-NEXT: mulq %r10
|
|
; WIN64-NEXT: movq %rdx, %rax
|
|
; WIN64-NEXT: andq $-256, %rax
|
|
; WIN64-NEXT: shrq $8, %rdx
|
|
; WIN64-NEXT: addq %rax, %rdx
|
|
; WIN64-NEXT: subq %rdx, %r9
|
|
; WIN64-NEXT: subq %r9, %rcx
|
|
; WIN64-NEXT: sbbq $0, %r8
|
|
; WIN64-NEXT: movabsq $-71777214294589696, %r9 # imm = 0xFF00FF00FF00FF00
|
|
; WIN64-NEXT: imulq %rcx, %r9
|
|
; WIN64-NEXT: movq %rcx, %rax
|
|
; WIN64-NEXT: mulq %r10
|
|
; WIN64-NEXT: imulq %r10, %r8
|
|
; WIN64-NEXT: addq %r9, %r8
|
|
; WIN64-NEXT: addq %r8, %rdx
|
|
; WIN64-NEXT: retq
|
|
entry:
|
|
%rem = udiv i128 %x, 257
|
|
ret i128 %rem
|
|
}
|
|
|
|
define i128 @udiv_i128_65535(i128 %x) nounwind {
|
|
; X86-64-LABEL: udiv_i128_65535:
|
|
; X86-64: # %bb.0: # %entry
|
|
; X86-64-NEXT: movq %rdi, %rax
|
|
; X86-64-NEXT: addq %rsi, %rax
|
|
; X86-64-NEXT: adcq $0, %rax
|
|
; X86-64-NEXT: movabsq $-9223231297218904063, %rcx # imm = 0x8000800080008001
|
|
; X86-64-NEXT: mulq %rcx
|
|
; X86-64-NEXT: shrq $15, %rdx
|
|
; X86-64-NEXT: movq %rdx, %rax
|
|
; X86-64-NEXT: shlq $16, %rax
|
|
; X86-64-NEXT: subq %rax, %rdx
|
|
; X86-64-NEXT: movq %rdi, %rax
|
|
; X86-64-NEXT: addq %rsi, %rax
|
|
; X86-64-NEXT: adcq %rdx, %rax
|
|
; X86-64-NEXT: subq %rax, %rdi
|
|
; X86-64-NEXT: sbbq $0, %rsi
|
|
; X86-64-NEXT: movabsq $-281479271743490, %rcx # imm = 0xFFFEFFFEFFFEFFFE
|
|
; X86-64-NEXT: imulq %rdi, %rcx
|
|
; X86-64-NEXT: movabsq $-281479271743489, %r8 # imm = 0xFFFEFFFEFFFEFFFF
|
|
; X86-64-NEXT: movq %rdi, %rax
|
|
; X86-64-NEXT: mulq %r8
|
|
; X86-64-NEXT: imulq %rsi, %r8
|
|
; X86-64-NEXT: addq %rcx, %r8
|
|
; X86-64-NEXT: addq %r8, %rdx
|
|
; X86-64-NEXT: retq
|
|
;
|
|
; WIN64-LABEL: udiv_i128_65535:
|
|
; WIN64: # %bb.0: # %entry
|
|
; WIN64-NEXT: movq %rdx, %r8
|
|
; WIN64-NEXT: movq %rcx, %rax
|
|
; WIN64-NEXT: addq %rdx, %rax
|
|
; WIN64-NEXT: adcq $0, %rax
|
|
; WIN64-NEXT: movabsq $-9223231297218904063, %rdx # imm = 0x8000800080008001
|
|
; WIN64-NEXT: mulq %rdx
|
|
; WIN64-NEXT: shrq $15, %rdx
|
|
; WIN64-NEXT: movq %rdx, %rax
|
|
; WIN64-NEXT: shlq $16, %rax
|
|
; WIN64-NEXT: subq %rax, %rdx
|
|
; WIN64-NEXT: movq %rcx, %rax
|
|
; WIN64-NEXT: addq %r8, %rax
|
|
; WIN64-NEXT: adcq %rdx, %rax
|
|
; WIN64-NEXT: subq %rax, %rcx
|
|
; WIN64-NEXT: sbbq $0, %r8
|
|
; WIN64-NEXT: movabsq $-281479271743490, %r9 # imm = 0xFFFEFFFEFFFEFFFE
|
|
; WIN64-NEXT: imulq %rcx, %r9
|
|
; WIN64-NEXT: movabsq $-281479271743489, %r10 # imm = 0xFFFEFFFEFFFEFFFF
|
|
; WIN64-NEXT: movq %rcx, %rax
|
|
; WIN64-NEXT: mulq %r10
|
|
; WIN64-NEXT: imulq %r10, %r8
|
|
; WIN64-NEXT: addq %r9, %r8
|
|
; WIN64-NEXT: addq %r8, %rdx
|
|
; WIN64-NEXT: retq
|
|
entry:
|
|
%rem = udiv i128 %x, 65535
|
|
ret i128 %rem
|
|
}
|
|
|
|
define i128 @udiv_i128_65537(i128 %x) nounwind {
|
|
; X86-64-LABEL: udiv_i128_65537:
|
|
; X86-64: # %bb.0: # %entry
|
|
; X86-64-NEXT: movq %rdi, %rcx
|
|
; X86-64-NEXT: addq %rsi, %rcx
|
|
; X86-64-NEXT: adcq $0, %rcx
|
|
; X86-64-NEXT: movabsq $-281470681808895, %r8 # imm = 0xFFFF0000FFFF0001
|
|
; X86-64-NEXT: movq %rcx, %rax
|
|
; X86-64-NEXT: mulq %r8
|
|
; X86-64-NEXT: movq %rdx, %rax
|
|
; X86-64-NEXT: andq $-65536, %rax # imm = 0xFFFF0000
|
|
; X86-64-NEXT: shrq $16, %rdx
|
|
; X86-64-NEXT: addq %rax, %rdx
|
|
; X86-64-NEXT: subq %rdx, %rcx
|
|
; X86-64-NEXT: subq %rcx, %rdi
|
|
; X86-64-NEXT: sbbq $0, %rsi
|
|
; X86-64-NEXT: movabsq $-281470681808896, %rcx # imm = 0xFFFF0000FFFF0000
|
|
; X86-64-NEXT: imulq %rdi, %rcx
|
|
; X86-64-NEXT: movq %rdi, %rax
|
|
; X86-64-NEXT: mulq %r8
|
|
; X86-64-NEXT: imulq %rsi, %r8
|
|
; X86-64-NEXT: addq %rcx, %r8
|
|
; X86-64-NEXT: addq %r8, %rdx
|
|
; X86-64-NEXT: retq
|
|
;
|
|
; WIN64-LABEL: udiv_i128_65537:
|
|
; WIN64: # %bb.0: # %entry
|
|
; WIN64-NEXT: movq %rdx, %r8
|
|
; WIN64-NEXT: movq %rcx, %r9
|
|
; WIN64-NEXT: addq %rdx, %r9
|
|
; WIN64-NEXT: adcq $0, %r9
|
|
; WIN64-NEXT: movabsq $-281470681808895, %r10 # imm = 0xFFFF0000FFFF0001
|
|
; WIN64-NEXT: movq %r9, %rax
|
|
; WIN64-NEXT: mulq %r10
|
|
; WIN64-NEXT: movq %rdx, %rax
|
|
; WIN64-NEXT: andq $-65536, %rax # imm = 0xFFFF0000
|
|
; WIN64-NEXT: shrq $16, %rdx
|
|
; WIN64-NEXT: addq %rax, %rdx
|
|
; WIN64-NEXT: subq %rdx, %r9
|
|
; WIN64-NEXT: subq %r9, %rcx
|
|
; WIN64-NEXT: sbbq $0, %r8
|
|
; WIN64-NEXT: movabsq $-281470681808896, %r9 # imm = 0xFFFF0000FFFF0000
|
|
; WIN64-NEXT: imulq %rcx, %r9
|
|
; WIN64-NEXT: movq %rcx, %rax
|
|
; WIN64-NEXT: mulq %r10
|
|
; WIN64-NEXT: imulq %r10, %r8
|
|
; WIN64-NEXT: addq %r9, %r8
|
|
; WIN64-NEXT: addq %r8, %rdx
|
|
; WIN64-NEXT: retq
|
|
entry:
|
|
%rem = udiv i128 %x, 65537
|
|
ret i128 %rem
|
|
}
|
|
|
|
define i128 @udiv_i128_12(i128 %x) nounwind {
|
|
; X86-64-LABEL: udiv_i128_12:
|
|
; X86-64: # %bb.0: # %entry
|
|
; X86-64-NEXT: shrdq $2, %rsi, %rdi
|
|
; X86-64-NEXT: shrq $2, %rsi
|
|
; X86-64-NEXT: movq %rdi, %rcx
|
|
; X86-64-NEXT: addq %rsi, %rcx
|
|
; X86-64-NEXT: adcq $0, %rcx
|
|
; X86-64-NEXT: movabsq $-6148914691236517205, %r8 # imm = 0xAAAAAAAAAAAAAAAB
|
|
; X86-64-NEXT: movq %rcx, %rax
|
|
; X86-64-NEXT: mulq %r8
|
|
; X86-64-NEXT: shrq %rdx
|
|
; X86-64-NEXT: leaq (%rdx,%rdx,2), %rax
|
|
; X86-64-NEXT: subq %rax, %rcx
|
|
; X86-64-NEXT: subq %rcx, %rdi
|
|
; X86-64-NEXT: sbbq $0, %rsi
|
|
; X86-64-NEXT: movabsq $-6148914691236517206, %rcx # imm = 0xAAAAAAAAAAAAAAAA
|
|
; X86-64-NEXT: imulq %rdi, %rcx
|
|
; X86-64-NEXT: movq %rdi, %rax
|
|
; X86-64-NEXT: mulq %r8
|
|
; X86-64-NEXT: imulq %rsi, %r8
|
|
; X86-64-NEXT: addq %rcx, %r8
|
|
; X86-64-NEXT: addq %r8, %rdx
|
|
; X86-64-NEXT: retq
|
|
;
|
|
; WIN64-LABEL: udiv_i128_12:
|
|
; WIN64: # %bb.0: # %entry
|
|
; WIN64-NEXT: movq %rdx, %r8
|
|
; WIN64-NEXT: shrdq $2, %rdx, %rcx
|
|
; WIN64-NEXT: shrq $2, %r8
|
|
; WIN64-NEXT: movq %rcx, %r9
|
|
; WIN64-NEXT: addq %r8, %r9
|
|
; WIN64-NEXT: adcq $0, %r9
|
|
; WIN64-NEXT: movabsq $-6148914691236517205, %r10 # imm = 0xAAAAAAAAAAAAAAAB
|
|
; WIN64-NEXT: movq %r9, %rax
|
|
; WIN64-NEXT: mulq %r10
|
|
; WIN64-NEXT: shrq %rdx
|
|
; WIN64-NEXT: leaq (%rdx,%rdx,2), %rax
|
|
; WIN64-NEXT: subq %rax, %r9
|
|
; WIN64-NEXT: subq %r9, %rcx
|
|
; WIN64-NEXT: sbbq $0, %r8
|
|
; WIN64-NEXT: movabsq $-6148914691236517206, %r9 # imm = 0xAAAAAAAAAAAAAAAA
|
|
; WIN64-NEXT: imulq %rcx, %r9
|
|
; WIN64-NEXT: movq %rcx, %rax
|
|
; WIN64-NEXT: mulq %r10
|
|
; WIN64-NEXT: imulq %r10, %r8
|
|
; WIN64-NEXT: addq %r9, %r8
|
|
; WIN64-NEXT: addq %r8, %rdx
|
|
; WIN64-NEXT: retq
|
|
entry:
|
|
%rem = udiv i128 %x, 12
|
|
ret i128 %rem
|
|
}
|
|
|
|
; Make sure we don't inline expand for minsize.
|
|
define i128 @urem_i128_3_minsize(i128 %x) nounwind minsize {
|
|
; X86-64-LABEL: urem_i128_3_minsize:
|
|
; X86-64: # %bb.0: # %entry
|
|
; X86-64-NEXT: pushq %rax
|
|
; X86-64-NEXT: pushq $3
|
|
; X86-64-NEXT: popq %rdx
|
|
; X86-64-NEXT: xorl %ecx, %ecx
|
|
; X86-64-NEXT: callq __umodti3@PLT
|
|
; X86-64-NEXT: popq %rcx
|
|
; X86-64-NEXT: retq
|
|
;
|
|
; WIN64-LABEL: urem_i128_3_minsize:
|
|
; WIN64: # %bb.0: # %entry
|
|
; WIN64-NEXT: subq $72, %rsp
|
|
; WIN64-NEXT: leaq {{[0-9]+}}(%rsp), %rax
|
|
; WIN64-NEXT: movq %rdx, 8(%rax)
|
|
; WIN64-NEXT: movq %rcx, (%rax)
|
|
; WIN64-NEXT: leaq {{[0-9]+}}(%rsp), %rdx
|
|
; WIN64-NEXT: movq $3, (%rdx)
|
|
; WIN64-NEXT: andq $0, 8(%rdx)
|
|
; WIN64-NEXT: movq %rax, %rcx
|
|
; WIN64-NEXT: callq __umodti3
|
|
; WIN64-NEXT: movq %xmm0, %rax
|
|
; WIN64-NEXT: pshufd {{.*#+}} xmm0 = xmm0[2,3,2,3]
|
|
; WIN64-NEXT: movq %xmm0, %rdx
|
|
; WIN64-NEXT: addq $72, %rsp
|
|
; WIN64-NEXT: retq
|
|
entry:
|
|
%rem = urem i128 %x, 3
|
|
ret i128 %rem
|
|
}
|
|
|
|
; Make sure we don't inline expand for optsize.
|
|
define i128 @urem_i128_3_optsize(i128 %x) nounwind optsize {
|
|
; X86-64-LABEL: urem_i128_3_optsize:
|
|
; X86-64: # %bb.0: # %entry
|
|
; X86-64-NEXT: pushq %rax
|
|
; X86-64-NEXT: movl $3, %edx
|
|
; X86-64-NEXT: xorl %ecx, %ecx
|
|
; X86-64-NEXT: callq __umodti3@PLT
|
|
; X86-64-NEXT: popq %rcx
|
|
; X86-64-NEXT: retq
|
|
;
|
|
; WIN64-LABEL: urem_i128_3_optsize:
|
|
; WIN64: # %bb.0: # %entry
|
|
; WIN64-NEXT: subq $72, %rsp
|
|
; WIN64-NEXT: leaq {{[0-9]+}}(%rsp), %rax
|
|
; WIN64-NEXT: movq %rdx, 8(%rax)
|
|
; WIN64-NEXT: movq %rcx, (%rax)
|
|
; WIN64-NEXT: leaq {{[0-9]+}}(%rsp), %rdx
|
|
; WIN64-NEXT: movq $3, (%rdx)
|
|
; WIN64-NEXT: movq $0, 8(%rdx)
|
|
; WIN64-NEXT: movq %rax, %rcx
|
|
; WIN64-NEXT: callq __umodti3
|
|
; WIN64-NEXT: movq %xmm0, %rax
|
|
; WIN64-NEXT: pshufd {{.*#+}} xmm0 = xmm0[2,3,2,3]
|
|
; WIN64-NEXT: movq %xmm0, %rdx
|
|
; WIN64-NEXT: addq $72, %rsp
|
|
; WIN64-NEXT: retq
|
|
entry:
|
|
%rem = urem i128 %x, 3
|
|
ret i128 %rem
|
|
}
|