137a6a455466e5b197311771a777ab241e471ed8aEdward O'Callaghan/* ===-- addvsi3.c - Implement __addvsi3 -----------------------------------===
237a6a455466e5b197311771a777ab241e471ed8aEdward O'Callaghan *
337a6a455466e5b197311771a777ab241e471ed8aEdward O'Callaghan *                    The LLVM Compiler Infrastructure
437a6a455466e5b197311771a777ab241e471ed8aEdward O'Callaghan *
59ad441ffec97db647fee3725b3424284fb913e14Howard Hinnant * This file is dual licensed under the MIT and the University of Illinois Open
69ad441ffec97db647fee3725b3424284fb913e14Howard Hinnant * Source Licenses. See LICENSE.TXT for details.
737a6a455466e5b197311771a777ab241e471ed8aEdward O'Callaghan *
837a6a455466e5b197311771a777ab241e471ed8aEdward O'Callaghan * ===----------------------------------------------------------------------===
937a6a455466e5b197311771a777ab241e471ed8aEdward O'Callaghan *
1037a6a455466e5b197311771a777ab241e471ed8aEdward O'Callaghan * This file implements __addvsi3 for the compiler_rt library.
1137a6a455466e5b197311771a777ab241e471ed8aEdward O'Callaghan *
1237a6a455466e5b197311771a777ab241e471ed8aEdward O'Callaghan * ===----------------------------------------------------------------------===
1337a6a455466e5b197311771a777ab241e471ed8aEdward O'Callaghan */
14b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar
15b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar#include "int_lib.h"
16b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar
1737a6a455466e5b197311771a777ab241e471ed8aEdward O'Callaghan/* Returns: a + b */
18b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar
1937a6a455466e5b197311771a777ab241e471ed8aEdward O'Callaghan/* Effects: aborts if a + b overflows */
20b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar
211c5f89b1dd741135a4007ab577723d422f421eecAnton KorobeynikovCOMPILER_RT_ABI si_int
22b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar__addvsi3(si_int a, si_int b)
23b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar{
24b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    si_int s = a + b;
25b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    if (b >= 0)
26b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    {
27b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        if (s < a)
2848f46ac1d9a82210f6e469567cb60aa7e7cd2f3bDaniel Dunbar            compilerrt_abort();
29b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    }
30b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    else
31b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    {
32b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar        if (s >= a)
3348f46ac1d9a82210f6e469567cb60aa7e7cd2f3bDaniel Dunbar            compilerrt_abort();
34b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    }
35b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar    return s;
36b3a6901e66f55b35aa9e01bcb24134e6a65ea004Daniel Dunbar}
37