util/ego/ra/ra_interv.h

   1 /* $Id: ra_interv.h,v 1.4 1994/06/24 10:27:42 ceriel Exp $ */
   2 /*
   3  * (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands.
   4  * See the copyright notice in the ACK home directory, in the file "Copyright".
   5  */
   6
   7 /*  R E G I S T E R   A L L O C A T I O N
   8  *
   9  *  R A _ I N T E R V A L . H
  10  */
  11
  12
  13 extern interv_p cons_interval();/* (short t_start,t_stop)
  14                                  * construct an interval
  15                                  */
  16 extern add_interval();          /* (short t1,t2; interv_p *list)
  17                                  * Add interval (t1,t2) to the list of
  18                                  * intervals (which is an in-out parameter!).
  19                                  */
  20 extern interv_p loop_lifetime();/* (loop_p lp)
  21                                  * Determine the timespan of the loop,
  22                                  * expressed as a list of intervals.
  23                                  */
  24 extern interv_p proc_lifetime();/* (proc_p p)
  25                                  * Determine the timespan of a procedure,
  26                                  * expressed as an interval.
  27                                  */
  28 extern interv_p  intersect();   /* (interv_p list1,list2)
  29                                  * Intersect two lifetimes, each denoted
  30                                  * by a list of intervals.
  31                                  */
  32 extern bool not_disjoint();     /* (interv_p list1,list2)
  33                                  * See if list1 and list2 do overlap somewhere.
  34                                  */
  35 extern bool contains();         /* (short t;interv_p timespan)
  36                                  * See if t is part of the timespan.
  37                                  */
  38 extern interv_p copy_timespan();/* (interv_p list)
  39                                  * Make a copy of the timespan.
  40                                  */