diff options
| author | Amaury Sechet <deadalnix@gmail.com> | 2017-02-25 15:58:34 +0000 |
|---|---|---|
| committer | Amaury Sechet <deadalnix@gmail.com> | 2017-02-25 15:58:34 +0000 |
| commit | 7bda8cdef2c6067f66cb0652aec753fede81a7d2 (patch) | |
| tree | 038c62cabd40bbd7237a8f53544ef1d0b9b66175 | |
| parent | 2716910caf4787f03e4c18f4a94dda0eafe95d42 (diff) | |
| download | bcm5719-llvm-7bda8cdef2c6067f66cb0652aec753fede81a7d2.tar.gz bcm5719-llvm-7bda8cdef2c6067f66cb0652aec753fede81a7d2.zip | |
Add test for known bits in uaddo and saddo.
llvm-svn: 296255
| -rw-r--r-- | llvm/test/CodeGen/X86/known-bits.ll | 54 |
1 files changed, 54 insertions, 0 deletions
diff --git a/llvm/test/CodeGen/X86/known-bits.ll b/llvm/test/CodeGen/X86/known-bits.ll index e458d7ab621..a78539de808 100644 --- a/llvm/test/CodeGen/X86/known-bits.ll +++ b/llvm/test/CodeGen/X86/known-bits.ll @@ -166,3 +166,57 @@ define i128 @knownbits_mask_addc_shl(i64 %a0, i64 %a1, i64 %a2) nounwind { %9 = shl i128 %8, 54 ret i128 %9 } + +define {i32, i1} @knownbits_uaddo_saddo(i64 %a0, i64 %a1) nounwind { +; X32-LABEL: knownbits_uaddo_saddo: +; X32: # BB#0: +; X32-NEXT: pushl %ebx +; X32-NEXT: movl {{[0-9]+}}(%esp), %eax +; X32-NEXT: movl {{[0-9]+}}(%esp), %ecx +; X32-NEXT: leal (%ecx,%eax), %edx +; X32-NEXT: cmpl %ecx, %edx +; X32-NEXT: setb %bl +; X32-NEXT: testl %eax, %eax +; X32-NEXT: setns %al +; X32-NEXT: testl %ecx, %ecx +; X32-NEXT: setns %cl +; X32-NEXT: cmpb %al, %cl +; X32-NEXT: sete %al +; X32-NEXT: testl %edx, %edx +; X32-NEXT: setns %dl +; X32-NEXT: cmpb %dl, %cl +; X32-NEXT: setne %dl +; X32-NEXT: andb %al, %dl +; X32-NEXT: orb %bl, %dl +; X32-NEXT: xorl %eax, %eax +; X32-NEXT: popl %ebx +; X32-NEXT: retl +; +; X64-LABEL: knownbits_uaddo_saddo: +; X64: # BB#0: +; X64-NEXT: shlq $32, %rdi +; X64-NEXT: shlq $32, %rsi +; X64-NEXT: addq %rdi, %rsi +; X64-NEXT: setb %cl +; X64-NEXT: seto %dl +; X64-NEXT: leal (%rsi,%rsi), %eax +; X64-NEXT: orb %cl, %dl +; X64-NEXT: retq + %1 = shl i64 %a0, 32 + %2 = shl i64 %a1, 32 + %u = call {i64, i1} @llvm.uadd.with.overflow.i64(i64 %1, i64 %2) + %uval = extractvalue {i64, i1} %u, 0 + %uovf = extractvalue {i64, i1} %u, 1 + %s = call {i64, i1} @llvm.sadd.with.overflow.i64(i64 %1, i64 %2) + %sval = extractvalue {i64, i1} %s, 0 + %sovf = extractvalue {i64, i1} %s, 1 + %sum = add i64 %uval, %sval + %3 = trunc i64 %sum to i32 + %4 = or i1 %uovf, %sovf + %ret0 = insertvalue {i32, i1} undef, i32 %3, 0 + %ret1 = insertvalue {i32, i1} %ret0, i1 %4, 1 + ret {i32, i1} %ret1 +} + +declare {i64, i1} @llvm.uadd.with.overflow.i64(i64, i64) nounwind readnone +declare {i64, i1} @llvm.sadd.with.overflow.i64(i64, i64) nounwind readnone |
