/*
 * Copyright 2010      INRIA Saclay
 *
 * Use of this software is governed by the MIT license
 *
 * Written by Sven Verdoolaege,
 * INRIA Saclay - Ile-de-France, Parc Club Orsay Universite,
 * ZAC des vignes, 4 rue Jacques Monod, 91893 Orsay, France
 */

#include "isl_union_macro.h"

/* Subtract "u2" from "u1" and return the result.
 *
 * If the base expressions have a default zero value, then
 * reuse isl_union_*_add to ensure the result
 * is computed on the union of the domains of "u1" and "u2".
 * Otherwise, compute the result directly on their shared domain.
 */
__isl_give UNION *FN(UNION,sub)(__isl_take UNION *u1, __isl_take UNION *u2)
{
#if DEFAULT_IS_ZERO
	return FN(UNION,add)(u1, FN(UNION,neg)(u2));
#else
	return FN(UNION,match_bin_op)(u1, u2, &FN(PART,sub));
#endif
}