2011-01-17 03:06:15 +00:00
|
|
|
/*
|
|
|
|
defspace.c
|
|
|
|
|
|
|
|
management of data segments
|
|
|
|
|
|
|
|
Copyright (C) 2011 Bill Currie <bill@taniwha.org>
|
|
|
|
|
|
|
|
Author: Bill Currie <bill@taniwha.org>
|
|
|
|
Date: 2011/01/16
|
|
|
|
|
|
|
|
This program is free software; you can redistribute it and/or
|
|
|
|
modify it under the terms of the GNU General Public License
|
|
|
|
as published by the Free Software Foundation; either version 2
|
|
|
|
of the License, or (at your option) any later version.
|
|
|
|
|
|
|
|
This program is distributed in the hope that it will be useful,
|
|
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
|
|
|
|
|
|
|
|
See the GNU General Public License for more details.
|
|
|
|
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
|
|
along with this program; if not, write to:
|
|
|
|
|
|
|
|
Free Software Foundation, Inc.
|
|
|
|
59 Temple Place - Suite 330
|
|
|
|
Boston, MA 02111-1307, USA
|
|
|
|
|
|
|
|
*/
|
|
|
|
#ifdef HAVE_CONFIG_H
|
|
|
|
# include "config.h"
|
|
|
|
#endif
|
|
|
|
|
|
|
|
static __attribute__ ((used)) const char rcsid[] = "$Id$";
|
|
|
|
|
|
|
|
#ifdef HAVE_STRING_H
|
|
|
|
# include <string.h>
|
|
|
|
#endif
|
|
|
|
#ifdef HAVE_STRINGS_H
|
|
|
|
# include <strings.h>
|
|
|
|
#endif
|
|
|
|
#include <stdlib.h>
|
|
|
|
|
|
|
|
#include <QF/hash.h>
|
|
|
|
#include <QF/sys.h>
|
|
|
|
#include <QF/va.h>
|
|
|
|
|
|
|
|
#include "qfcc.h"
|
|
|
|
#include "defspace.h"
|
2011-01-24 12:54:57 +00:00
|
|
|
#include "diagnostic.h"
|
2011-01-17 03:06:15 +00:00
|
|
|
#include "expr.h"
|
|
|
|
#include "immediate.h"
|
|
|
|
#include "options.h"
|
|
|
|
#include "reloc.h"
|
|
|
|
#include "strpool.h"
|
|
|
|
#include "struct.h"
|
|
|
|
#include "type.h"
|
|
|
|
|
|
|
|
typedef struct locref_s {
|
|
|
|
struct locref_s *next;
|
|
|
|
int ofs;
|
|
|
|
int size;
|
|
|
|
} locref_t;
|
|
|
|
|
|
|
|
static defspace_t *free_spaces;
|
|
|
|
static locref_t *free_locrefs;
|
|
|
|
|
2011-01-25 03:14:56 +00:00
|
|
|
#define GROW 1024
|
|
|
|
|
2011-01-17 03:06:15 +00:00
|
|
|
static int
|
|
|
|
grow_space (defspace_t *space)
|
|
|
|
{
|
2011-01-25 03:14:56 +00:00
|
|
|
int size = space->max_size + GROW;
|
|
|
|
space->data = realloc (space->data, size * sizeof (pr_type_t));
|
|
|
|
memset (space->data + space->max_size, 0, GROW * sizeof (pr_type_t));
|
|
|
|
space->max_size = size;
|
2011-01-17 03:06:15 +00:00
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
defspace_t *
|
|
|
|
new_defspace (void)
|
|
|
|
{
|
|
|
|
defspace_t *space;
|
|
|
|
|
|
|
|
ALLOC (1024, defspace_t, spaces, space);
|
2011-01-25 00:36:00 +00:00
|
|
|
space->def_tail = &space->defs;
|
2011-01-17 03:06:15 +00:00
|
|
|
space->grow = grow_space;
|
|
|
|
return space;
|
|
|
|
}
|
|
|
|
|
|
|
|
int
|
|
|
|
defspace_new_loc (defspace_t *space, int size)
|
|
|
|
{
|
|
|
|
int ofs;
|
|
|
|
locref_t *loc;
|
|
|
|
locref_t **l = &space->free_locs;
|
|
|
|
|
|
|
|
while (*l && (*l)->size < size)
|
|
|
|
l = &(*l)->next;
|
|
|
|
if ((loc = *l)) {
|
|
|
|
ofs = (*l)->ofs;
|
|
|
|
if ((*l)->size == size) {
|
|
|
|
loc = *l;
|
|
|
|
*l = (*l)->next;
|
|
|
|
loc->next = free_locrefs;
|
|
|
|
free_locrefs = loc;
|
|
|
|
} else {
|
|
|
|
(*l)->ofs += size;
|
|
|
|
(*l)->size -= size;
|
|
|
|
}
|
|
|
|
return ofs;
|
|
|
|
}
|
|
|
|
ofs = space->size;
|
|
|
|
space->size += size;
|
|
|
|
if (space->size > space->max_size) {
|
|
|
|
if (!space->grow) {
|
|
|
|
error (0, "unable to allocate %d globals", size);
|
|
|
|
exit (1);
|
|
|
|
}
|
|
|
|
space->grow (space);
|
|
|
|
}
|
|
|
|
return ofs;
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
2011-01-24 06:41:43 +00:00
|
|
|
defspace_free_loc (defspace_t *space, int ofs, int size)
|
2011-01-17 03:06:15 +00:00
|
|
|
{
|
|
|
|
locref_t **l;
|
|
|
|
locref_t *loc;
|
|
|
|
|
|
|
|
if (!size)
|
|
|
|
internal_error (0, "defspace: freeing size 0 location");
|
|
|
|
if (ofs < 0 || ofs >= space->size || ofs + size > space->size)
|
|
|
|
internal_error (0, "defspace: freeing bogus location %d:%d",
|
|
|
|
ofs, size);
|
|
|
|
for (l = &space->free_locs; l; l = &(*l)->next) {
|
|
|
|
loc = *l;
|
|
|
|
// location to be freed is below the free block
|
|
|
|
// need to create a new free block
|
|
|
|
if (ofs + size < loc->ofs)
|
|
|
|
break;
|
|
|
|
// location to be freed is immediately below the free block
|
|
|
|
// merge with the free block
|
|
|
|
if (ofs + size == loc->ofs) {
|
|
|
|
loc->size += size;
|
|
|
|
loc->ofs = ofs;
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
// location to be freed overlaps the free block
|
|
|
|
// this is an error
|
|
|
|
if (ofs + size > loc->ofs && ofs < loc->ofs + loc->size)
|
|
|
|
internal_error (0, "defspace: freeing bogus location %d:%d",
|
|
|
|
ofs, size);
|
|
|
|
// location to be freed is immediately above the free block
|
|
|
|
// merge with the free block
|
|
|
|
if (ofs == loc->ofs + loc->size) {
|
|
|
|
loc->size += size;
|
|
|
|
// location to be freed is immediately below the next free block
|
|
|
|
// merge with the next block too, and unlink that block
|
|
|
|
if (loc->next && loc->next->ofs == loc->ofs + loc->size) {
|
|
|
|
loc->size += loc->next->size;
|
|
|
|
loc = loc->next;
|
|
|
|
*l = loc->next;
|
|
|
|
loc->next = free_locrefs;
|
|
|
|
free_locrefs = loc;
|
|
|
|
}
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
// insert a new free block for the location to be freed
|
|
|
|
ALLOC (1024, locref_t, locrefs, loc);
|
|
|
|
loc->ofs = ofs;
|
|
|
|
loc->size = size;
|
|
|
|
loc->next = *l;
|
|
|
|
*l = loc;
|
|
|
|
}
|
|
|
|
|
|
|
|
int
|
|
|
|
defspace_add_data (defspace_t *space, pr_type_t *data, int size)
|
|
|
|
{
|
|
|
|
int loc;
|
|
|
|
|
|
|
|
loc = defspace_new_loc (space, size);
|
|
|
|
if (data)
|
|
|
|
memcpy (space->data + loc, data, size * sizeof (pr_type_t));
|
|
|
|
return loc;
|
|
|
|
}
|