2 * Copyright (c) 2000-2001
3 * The Regents of the University of California. All rights reserved.
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions
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.
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
36 #include "jcollection.h"
40 typedef struct setif_var
*setif_var
;
42 DECLARE_LIST(setif_var_list
,setif_var
)
44 bool sv_lt(setif_var v1
, setif_var v2
);
45 bool sv_eq(setif_var v1
, setif_var v2
);
46 setif_var
sv_fresh(region r
, const char *name
);
47 setif_var
sv_fresh_large(region r
, const char *name
);
48 setif_var
sv_fresh_small(region r
, const char *name
);
49 stamp
sv_get_stamp(setif_var v
);
50 const char *sv_get_name(setif_var v
);
51 void sv_unify(setif_var v
,setif_var_list vars
);
52 gen_e_list
sv_get_lbs(setif_var v
);
53 gen_e_list
sv_get_ubs(setif_var v
);
54 bool sv_add_ub(setif_var v
, gen_e e
, stamp st
);
55 bool sv_add_lb(setif_var v
, gen_e e
, stamp st
);
56 bool sv_is_ub(setif_var v
, stamp st
);
57 bool sv_is_lb(setif_var v
, stamp st
);
58 void sv_set_tlb_cache(setif_var v
, jcoll j
);
59 jcoll
sv_get_tlb_cache(setif_var v
);
60 void sv_clear_tlb_cache(setif_var v
);
61 void sv_add_ub_proj(setif_var v
, gen_e e
);
63 gen_e
sv_get_ub_proj(setif_var v
, get_proj_fn_ptr get_proj
);
64 gen_e_list
sv_get_ub_projs(setif_var v
);
66 bool sv_union_component(setif_var v1
, setif_var v2
);
71 #endif /* SETIF_VAR_H */