2 * maskmap - Tcl extension for address mask map data structures
3 * Copyright 2006-2012 Ian Jackson
5 * This program is free software; you can redistribute it and/or
6 * modify it under the terms of the GNU General Public License as
7 * published by the Free Software Foundation; either version 2 of the
8 * License, or (at your option) any later version.
10 * This program is distributed in the hope that it will be useful, but
11 * WITHOUT ANY WARRANTY; without even the implied warranty of
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 * General Public License for more details.
15 * You should have received a copy of the GNU General Public License
16 * along with this library; if not, see <http://www.gnu.org/licenses/>.
20 #include "chiark_tcl_hbytes.h"
22 /*---------- operations on AddrMap_Entry ----------*/
24 static void ame_free(AddrMap_Entry *ame) {
25 TFREE(ame->start); ame->start=0;
26 if (ame->data) { Tcl_DecrRefCount(ame->data); ame->data=0; }
29 static const Byte *ame_parsecheck_addr(Tcl_Interp *ip, const AddrMap_Value *am,
30 const HBytes_Value *hb) {
31 int hbl= cht_hb_len(hb);
33 cht_staticerr(ip,"addr-map address too short","HBYTES ADDRMAP UNDERRUN");
37 cht_staticerr(ip,"addr-map address too long","HBYTES ADDRMAP OVERRUN");
40 return cht_hb_data(hb);
43 static int ame_parsecheck_range(Tcl_Interp *ip, const AddrMap_Value *am,
44 const HBytes_Value *starthb,
45 const HBytes_Value *endhb,
47 p_r[0]= ame_parsecheck_addr(ip,am,starthb); if (!p_r[0]) return TCL_ERROR;
48 p_r[1]= ame_parsecheck_addr(ip,am,endhb); if (!p_r[0]) return TCL_ERROR;
49 if (memcmp(p_r[0],p_r[1],am->byl) > 0)
50 return cht_staticerr(ip, "addr-map range start is after end",
51 "HBYTES ADDRMAP BADRANGE");
55 static int ame_ba_addsubtractone(Byte *out, const Byte *in, int byl,
56 unsigned signum, unsigned onoverflow) {
58 * *in is an array of byl bytes
59 * signum is 0xff or 0x01
60 * onoverflow is what counts as overflowed value,
61 * ie (for unsigned arith) 0x00 for add and 0xff for subtract
63 * *out is the resulting value (subject to overflow truncation)
64 * return value is TCL_OK, or TCL_ERROR if overflow happened
65 * (but interpreter result is not set on overflow)
69 for (j= byl, in += byl, out += byl;
72 *out = (*out) + signum;
73 if (*out != onoverflow)
79 /*---------- useful operations on AddrMap_Value etc. ----------*/
81 static void am_init0(AddrMap_Value *am, int byl) {
88 static void am_reallocentries(AddrMap_Value *am, int len) {
89 AddrMap_Entry *newentries;
91 assert(len >= am->space);
94 assert(len < INT_MAX/sizeof(*newentries));
95 newentries= TREALLOC(am->entries, sizeof(*newentries)*len);
99 am->entries= newentries;
102 static void am_free(AddrMap_Value *am) {
108 for (i=0, ame=am->entries; i<am->used; i++, ame++)
115 /*---------- Tcl type and arg parsing functions ----------*/
117 int cht_pat_addrmapv(Tcl_Interp *ip, Tcl_Obj *var, AddrMap_Var *agg) {
119 rc= cht_pat_somethingv(ip,var,&agg->sth,&cht_addrmap_type);
121 agg->am= agg->sth.obj->internalRep.otherValuePtr;
125 static void addrmap_t_free(Tcl_Obj *o) {
126 AddrMap_Value *am= o->internalRep.otherValuePtr;
130 static void addrmap_t_dup(Tcl_Obj *sob, Tcl_Obj *dob) {
131 AddrMap_Value *sm= sob->internalRep.otherValuePtr;
133 AddrMap_Entry *sme, *dme;
136 assert(sob->typePtr == &cht_addrmap_type);
138 dm= TALLOC(sizeof(*dm));
140 am_init0(dm,sm->byl);
141 am_reallocentries(dm,sm->used);
143 for (i=0, sme=sm->entries, dme=dm->entries;
147 dme->start= TALLOC(sm->byl); assert(dme->start);
148 memcpy(dme->start, sme->start, sm->byl);
149 Tcl_IncrRefCount(dme->data);
151 dob->internalRep.otherValuePtr= dm;
152 dob->typePtr= &cht_addrmap_type;
155 static void addrmap_t_ustr(Tcl_Obj *so) {
156 AddrMap_Value *sm= so->internalRep.otherValuePtr;
157 Tcl_Obj **mainlobjsl, *surrogate;
159 int entnum, listlength;
161 assert(so->typePtr == &cht_addrmap_type);
162 mainlobjsl= TALLOC(sizeof(*mainlobjsl) * (sm->used+1)); assert(mainlobjsl);
163 mainlobjsl[0]= Tcl_NewIntObj(sm->byl * 8);
166 for (entnum=0, sme=sm->entries; entnum<sm->used; entnum++, sme++) {
168 Tcl_Obj *subl[3], *sublo;
170 if (!sme->data) continue;
172 cht_hb_array(&hb, sme->start, sm->byl);
173 subl[0]= cht_ret_hb(0, hb); assert(subl[0]);
175 if (entnum+1 < sm->used) {
176 ame_ba_addsubtractone(cht_hb_arrayspace(&hb, sm->byl),
177 (sme+1)->start, sm->byl,
178 /*subtract:*/ 0x0ffu, 0x0ffu);
180 memset(cht_hb_arrayspace(&hb, sm->byl),
184 subl[1]= cht_ret_hb(0, hb); assert(subl[1]);
187 sublo= Tcl_NewListObj(3,subl); assert(sublo);
188 mainlobjsl[listlength++]= sublo;
190 assert(listlength <= sm->used+1);
191 surrogate= Tcl_NewListObj(listlength,mainlobjsl); assert(surrogate);
194 so->bytes= Tcl_GetStringFromObj(surrogate, &so->length); assert(so->bytes);
195 surrogate->bytes= 0; surrogate->length= 0; /* we stole it */
198 static AddrMap_Entry *ame_sfa_alloc(AddrMap_Value *am) {
201 ame= am->entries + am->used;
204 assert(am->used <= am->space);
206 ame->start= TALLOC(am->byl); assert(ame->start);
211 static int addrmap_t_sfa(Tcl_Interp *ip, Tcl_Obj *o) {
212 int rc, inlen, eol, innum, bitlen, cmp;
213 Tcl_Obj *eo, *starto, *endo;
214 HBytes_Value starthb, endhb;
215 const Byte *rangeptrs[2];
219 am= TALLOC(sizeof(*am)); assert(am);
222 rc= Tcl_ListObjLength(ip,o,&inlen); if (rc) goto x_badvalue_rc;
225 rc= cht_staticerr(ip, "addr-map overall length < 1", 0);
229 rc= Tcl_ListObjIndex(ip,o,0,&eo); if (rc) goto x_badvalue_rc;
230 rc= Tcl_GetIntFromObj(ip,eo,&bitlen); if (rc) goto x_badvalue_rc;
232 if (bitlen<0 || bitlen % 8) {
233 rc= cht_staticerr(ip, "addr-map overall length < 1", 0);
238 assert(inlen < INT_MAX/2);
239 am_reallocentries(am, (inlen-1)*2+1);
241 ame= ame_sfa_alloc(am);
242 memset(ame->start,0,am->byl);
244 for (innum=1; innum < inlen; innum++) {
245 rc= Tcl_ListObjIndex(ip,o,innum,&eo); if (rc) goto x_badvalue_rc;
246 rc= Tcl_ListObjLength(ip,eo,&eol); if (rc) goto x_badvalue_rc;
249 rc= cht_staticerr(ip, "addr-map entry length != 3", 0);
252 rc= Tcl_ListObjIndex(ip,eo,0,&starto); if (rc) goto x_badvalue_rc;
253 rc= Tcl_ListObjIndex(ip,eo,1,&endo); if (rc) goto x_badvalue_rc;
255 rc= cht_pat_hb(ip,starto,&starthb); if (rc) goto x_badvalue_rc;
256 rc= cht_pat_hb(ip,endo,&endhb); if (rc) goto x_badvalue_rc;
258 rc= ame_parsecheck_range(ip,am,&starthb,&endhb,rangeptrs);
259 if (rc) goto x_badvalue_rc;
261 cmp= memcmp(ame->start, rangeptrs[0], am->byl);
263 rc= cht_staticerr(ip, "addr-map entries out of order", 0);
267 ame= ame_sfa_alloc(am);
268 memcpy(ame->start, rangeptrs[0], am->byl);
272 rc= Tcl_ListObjIndex(ip,eo,2,&ame->data); if (rc) goto x_badvalue_rc;
273 Tcl_IncrRefCount(ame->data);
275 ame= ame_sfa_alloc(am);
276 rc= ame_ba_addsubtractone(ame->start, rangeptrs[1], am->byl,
277 /*add:*/ 0x01u, 0x00u);
279 /* we've overflowed. it must have been ffffffff.... */
280 if (innum != inlen-1) {
281 rc= cht_staticerr(ip, "addr-map non-last entry end is all-bits-1", 0);
292 o->internalRep.otherValuePtr= am;
293 o->typePtr= &cht_addrmap_type;
298 Tcl_SetObjErrorCode(ip, Tcl_NewStringObj("HBYTES ADDRMAP VALUE", -1));
304 Tcl_ObjType cht_addrmap_type = {
306 addrmap_t_free, addrmap_t_dup, addrmap_t_ustr, addrmap_t_sfa