How to do unsigned saturating addition in C?

by

You probably want portable C code here, which your compiler will turn into proper ARM assembly. ARM has conditional moves, and these can be conditional on overflow. The algorithm then becomes: add and conditionally set the destination to unsigned(-1), if overflow was detected.

uint16_t add16(uint16_t a, uint16_t b)
{
  uint16_t c = a + b;
  if (c < a)  /* Can only happen due to overflow */
    c = -1;
  return c;
}

Note that this differs from the other algorithms in that it corrects overflow, instead of relying on another calculation to detect overflow.

x86-64 clang 3.7 -O3 output for adds32: significantly better than any other answer:

add     edi, esi
mov     eax, -1
cmovae  eax, edi
ret

ARMv7: gcc 4.8 -O3 -mcpu=cortex-a15 -fverbose-asm output for adds32:

adds    r0, r0, r1      @ c, a, b
it      cs
movcs   r0, #-1         @ conditional-move
bx      lr

16bit: still doesn’t use ARM’s unsigned-saturating add instruction (UADD16)

add     r1, r1, r0        @ tmp114, a
movw    r3, #65535      @ tmp116,
uxth    r1, r1  @ c, tmp114
cmp     r0, r1    @ a, c
ite     ls        @
movls   r0, r1        @,, c
movhi   r0, r3        @,, tmp116
bx      lr  @

More Related Contents:

  1. how to show time performance for merge sort? [closed]
  2. Matrix multiplication: Small difference in matrix size, large difference in timings
  3. read line by line in the most efficient way *platform specific*
  4. Given an audio stream, find when a door slams (sound pressure level calculation?)
  5. Algorithm to find all the exact divisors of a given integer
  6. Which is better way to calculate nCr
  7. Recursive and non-recursive traversal of three degree tree
  8. Why this C code makes infinite loop?
  9. Efficient Algorithm for Bit Reversal (from MSB->LSB to LSB->MSB) in C
  10. Is there a performance difference between i++ and ++i in C?
  11. What integer hash function are good that accepts an integer hash key?
  12. How to reverse a singly linked list using only two pointers?
  13. Unique random number generation in an integer array [duplicate]
  14. Calculating factorial of large numbers in C
  15. Combine Gyroscope and Accelerometer Data
  16. In an OpenMP parallel code, would there be any benefit for memset to be run in parallel?
  17. Power by squaring for negative exponents
  18. Is a Recursive-Iterative Method Better than a Purely Iterative Method to find out if a number is prime?
  19. Is Fortran easier to optimize than C for heavy calculations?
  20. How to get 100% CPU usage from a C program
  21. Measuring Cache Latencies
  22. Cache size estimation on your system?
  23. Traverse Matrix in Diagonal strips
  24. Do temp variables slow down my program?
  25. Rolling median in C – Turlach implementation
  26. Find maximum of three number in C without using conditional statement and ternary operator
  27. Merging two sorted linked lists
  28. Is it possible to map string to int faster than using hashmap?
  29. A possible algorithm for determining whether two strings are anagrams of one another? [closed]
  30. Why vectorizing the loop over 64-bit elements does not have performance improvement over large buffers?

Leave a Comment