/*===--------------------------------------------------------------------------
 *                   ROCm Device Libraries
 *
 * This file is distributed under the University of Illinois Open Source
 * License. See LICENSE.TXT for details.
 *===------------------------------------------------------------------------*/

#include "ockl.h"

__attribute__((const)) int
OCKL_MANGLE_I32(sub_sat)(int x, int y)
{
    int s;
    bool c = __builtin_ssub_overflow(x, y, &s);
    return c ? (x < 0 ? INT_MIN : INT_MAX) : s;
}

__attribute__((const)) uint
OCKL_MANGLE_U32(sub_sat)(uint x, uint y)
{
    uint s;
    bool c = __builtin_usub_overflow(x, y, &s);
    return c ? 0U : s;
}

__attribute__((const)) long
OCKL_MANGLE_I64(sub_sat)(long x, long y)
{
    long s;
    bool c = __builtin_ssubl_overflow(x, y, &s);
    return c ? (x < 0 ? LONG_MIN : LONG_MAX) : s;
}

__attribute__((const)) ulong
OCKL_MANGLE_U64(sub_sat)(ulong x, ulong y)
{
    ulong s;
    bool c = __builtin_usubl_overflow(x, y, &s);
    return c ? 0UL : s;
}