---

memorymodel.h

Go to the documentation of this file.

// ----------------------------------------------------------------------
//
//  C-Breeze
//  C Compiler Framework
// 
//  Copyright (c) 2000 University of Texas at Austin
// 
//  Samuel Z. Guyer
//  Daniel A. Jimenez
//  Calvin Lin
// 
//  Permission is hereby granted, free of charge, to any person
//  obtaining a copy of this software and associated documentation
//  files (the "Software"), to deal in the Software without
//  restriction, including without limitation the rights to use, copy,
//  modify, merge, publish, distribute, sublicense, and/or sell copies
//  of the Software, and to permit persons to whom the Software is
//  furnished to do so, subject to the following conditions:
//  
//  The above copyright notice and this permission notice shall be
//  included in all copies or substantial portions of the Software.
//  
//  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
//  EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
//  MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
//  NONINFRINGEMENT.  IN NO EVENT SHALL THE UNIVERSITY OF TEXAS AT
//  AUSTIN BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
//  IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF
//  OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
//  THE SOFTWARE.
//
//  We acknowledge the C-to-C Translator from MIT Laboratory for
//  Computer Science for inspiring parts of the C-Breeze design.
//
// ----------------------------------------------------------------------

#ifndef CBZ_MEMORYMODEL_H
#define CBZ_MEMORYMODEL_H

#include "location.h"

class memoryBlock;

class memoryModel
{
private:

  typedef pair< Location *, declNode * > memorymodel_key;

  typedef map< memorymodel_key , memoryBlock *> memoryblock_map;
  typedef memoryblock_map::iterator memoryblock_map_p;
  typedef memoryblock_map::const_iterator memoryblock_map_cp;

  TREE memoryblock_map Memory;

  int Counter;

  memoryBlock * Null;

public:

  memoryModel();

  ~memoryModel();

  void clear();

  const memoryblock_map & memory() const { return Memory; }

  memoryBlock * null() const { return Null; }

  memoryBlock * lookup(Location * location, declNode * decl);

  memoryBlock * lookup_variable(Location * location,
                                declNode * decl,
                                procNode * local_to);

  memoryBlock * generate_heap_object(const string & name,
                                     Location * location);

  memoryBlock * generate_su_field(const string & field_name,
                                  declNode * field_decl,
                                  memoryBlock * container);

  void update_def_use_chains();

  void stats(ostream & out);

  void print(ostream & o) const;

private:

  memoryBlock * create_memory_object(Location * location, declNode * decl, bool synthetic_decl,
                                     memoryBlock * container, procNode * local_to);

  void generate_array_elements_for(memoryBlock * array_object);

};

#endif // 

---