libbanshee/engine/flow-var.c

   1 /*
   2  * Copyright (c) 2000-2001
   3  *      The Regents of the University of California.  All rights reserved.
   4  *
   5  * Redistribution and use in source and binary forms, with or without
   6  * modification, are permitted provided that the following conditions
   7  * are met:
   8  * 1. Redistributions of source code must retain the above copyright
   9  *    notice, this list of conditions and the following disclaimer.
  10  * 2. Redistributions in binary form must reproduce the above copyright
  11  *    notice, this list of conditions and the following disclaimer in the
  12  *    documentation and/or other materials provided with the distribution.
  13  * 3. Neither the name of the University nor the names of its contributors
  14  *    may be used to endorse or promote products derived from this software
  15  *    without specific prior written permission.
  16  *
  17  * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
  18  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  19  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
  20  * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
  21  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  22  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
  23  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
  24  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
  25  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
  26  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
  27  * SUCH DAMAGE.
  28  *
  29  */
  30
  31 #include <stdio.h>
  32 #include <assert.h>
  33 #include "banshee.h"
  34 #include "flow-var.h"
  35 #include "ufind.h"
  36 #include "bounds.h"
  37
  38 DECLARE_UFIND(contour_elt,contour)
  39
  40 struct flow_var /* extends gen_e */
  41 {
  42 #ifdef NONSPEC
  43   sort_kind sort;
  44 #endif
  45   int type; /* alias or var */
  46   stamp st;
  47   gen_e alias;
  48   bounds sameregion ubs;
  49   bounds sameregion lbs;
  50   contour_elt elt;
  51   const char *name;
  52 };
  53
  54 DEFINE_UFIND(contour_elt,contour)
  55 DEFINE_LIST(flow_var_list, flow_var)
  56
  57 #define get_contour(x) (contour_elt_get_info((x)->elt))
  58
  59 static flow_var make_var(region r, const char *name, stamp st)
  60 {
  61   flow_var result = ralloc(r,struct flow_var);
  62
  63   result->type = VAR_TYPE;
  64   result->st = st;
  65   result->alias = NULL;
  66   result->ubs = bounds_create(r);
  67   result->lbs = bounds_create(r);
  68   result->elt = new_contour_elt(r,NULL);
  69   result->name = name;
  70
  71 #ifdef NONSPEC
  72   result->sort = flow_sort;
  73 #endif
  74
  75   return result;
  76 }
  77
  78 flow_var fv_fresh(region r, const char *name)
  79 {
  80   return make_var(r,name,stamp_fresh());
  81 }
  82
  83 flow_var fv_fresh_large(region r, const char *name)
  84 {
  85   return make_var(r,name,stamp_fresh_large());
  86 }
  87
  88 flow_var fv_fresh_small(region r, const char *name)
  89 {
  90   return make_var(r,name,stamp_fresh_small());
  91 }
  92
  93 const char * fv_get_name(flow_var v)
  94 {
  95   return v->name;
  96 }
  97
  98 gen_e_list fv_get_lbs(flow_var v)
  99 {
 100   return bounds_exprs(v->lbs);
 101 }
 102
 103 gen_e_list fv_get_ubs(flow_var v)
 104 {
 105   return bounds_exprs(v->ubs);
 106 }
 107
 108 bool fv_add_ub(flow_var v, gen_e e, stamp st)
 109 {
 110   return bounds_add(v->ubs,e,st);
 111 }
 112
 113 bool fv_add_lb(flow_var v, gen_e e, stamp st)
 114 {
 115   return bounds_add(v->lbs,e,st);
 116 }
 117
 118 bool fv_is_ub(flow_var v, stamp st)
 119 {
 120   bool self_edge = v->st == st,
 121     in_bounds = bounds_query(v->ubs,st);
 122
 123   return (self_edge || in_bounds);
 124 }
 125
 126 bool fv_is_lb(flow_var v, stamp st)
 127 {
 128   bool self_edge = v->st == st,
 129     in_bounds = bounds_query(v->lbs,st);
 130
 131   return (self_edge || in_bounds);
 132 }
 133
 134 void fv_set_alias(flow_var v, gen_e e)
 135 {
 136   assert(v->type == VAR_TYPE);
 137
 138   v->type = ALIAS_TYPE;
 139   v->alias = e;
 140 }
 141
 142 gen_e fv_get_alias(flow_var v)
 143 {
 144   return v->alias;
 145 }
 146
 147 bool fv_has_contour(flow_var v)
 148 {
 149   return (get_contour(v) != NULL);
 150 }
 151
 152 void fv_set_contour(flow_var v, contour c)
 153 {
 154   contour_elt_update(v->elt,c);
 155 }
 156
 157 static contour combine_contour(contour c1, contour c2)
 158 {
 159   if (c1 == NULL)
 160     return c2;
 161   else if (c2 == NULL)
 162     return c1;
 163
 164   else
 165     {
 166       fail("Attempt to unify two distinct contours\n");
 167       return NULL;
 168     }
 169
 170 }
 171 void fv_unify_contour(flow_var v1, flow_var v2)
 172 {
 173   contour_elt_unify(combine_contour,v1->elt,v2->elt);
 174 }
 175
 176
 177 gen_e fv_instantiate_contour(flow_var v) deletes
 178 {
 179   contour c = get_contour(v);
 180   return c->instantiate(c->fresh,c->get_stamp,c->shape);
 181 }