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

#include "irif.h"
#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);
    int lim = (x >> 31) ^ INT_MAX;
    return c ? lim : 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);
    long lim = (x >> 63) ^ LONG_MAX;
    return c ? lim : 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;
}