llvm-mirror/add-of-carry.ll at db71d8971614ab278526ac848cbb949509f9f1c5 - llvm-mirror - Git.je (Gitea)

RPCS3/llvm-mirror

mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-01 16:33:37 +01:00

Owen Anderson 97a8fdc19c When adding the carry bit to another value on X86, exploit the fact that the carry-materialization

(sbbl x, x) sets the registers to 0 or ~0.  Combined with two's complement arithmetic, we can fold
the intermediate AND and the ADD into a single SUB.

This fixes <rdar://problem/8449754>.

llvm-svn: 114460

2010-09-21 18:41:19 +00:00

15 lines

344 B

LLVM

Raw Blame History

 ; RUN: llc < %s -march=x86 | FileCheck %s
 ; <rdar://problem/8449754>
 define i32 @add32carry(i32 %sum, i32 %x) nounwind readnone ssp {
 entry:
 ; CHECK:	sbbl	%ecx, %ecx
 ; CHECK-NOT: addl
 ; CHECK: subl	%ecx, %eax
   %add4 = add i32 %x, %sum
   %cmp = icmp ult i32 %add4, %x
   %inc = zext i1 %cmp to i32
   %z.0 = add i32 %add4, %inc
   ret i32 %z.0
 }