polly/lib/External/isl/isl_union_sub_templ.c

   1 /*
   2  * Copyright 2010      INRIA Saclay
   3  *
   4  * Use of this software is governed by the MIT license
   5  *
   6  * Written by Sven Verdoolaege,
   7  * INRIA Saclay - Ile-de-France, Parc Club Orsay Universite,
   8  * ZAC des vignes, 4 rue Jacques Monod, 91893 Orsay, France
   9  */
  10
  11 #include "isl_union_macro.h"
  12
  13 /* Subtract "u2" from "u1" and return the result.
  14  *
  15  * If the base expressions have a default zero value, then
  16  * reuse isl_union_*_add to ensure the result
  17  * is computed on the union of the domains of "u1" and "u2".
  18  * Otherwise, compute the result directly on their shared domain.
  19  */
  20 __isl_give UNION *FN(UNION,sub)(__isl_take UNION *u1, __isl_take UNION *u2)
  21 {
  22 #if DEFAULT_IS_ZERO
  23         return FN(UNION,add)(u1, FN(UNION,neg)(u2));
  24 #else
  25         return FN(UNION,match_bin_op)(u1, u2, &FN(PART,sub));
  26 #endif
  27 }