section.hh 2.22 KB
Newer Older
Benoit Perrot's avatar
Benoit Perrot committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
//
// This file is part of Mipsy, a tiny MIPS simulator
// Copyright (C) 2003 Benoit Perrot <benoit@lrde.epita.fr>
//
// Mipsy 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.
// 
// Mipsy 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 the Free Software
// Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
//
#ifndef INST_SECTION_HH
# define INST_SECTION_HH

# include <list>
# include <map>

# include "misc/contract.hh"

# include "inst/label.hh"

namespace inst
{
  
  class Section
  {
  protected:
    typedef std::list<const Label*>	label_list_t;
36
    typedef std::map<int, label_list_t>	offset_label_t;
Benoit Perrot's avatar
Benoit Perrot committed
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
    typedef std::map<const Label, int>	label_offset_t;

  public:
    Section()
    {
    }
    virtual ~Section()
    {
    }
    
  protected:
    void		add_label(Label& label, int offset)
    {
      // FIXME: check that this label has not already been added.
      offsets[label] = offset;
      labels[offset].push_back(&label);
    }
  public:
    bool		has_label(const Label& label) const
    {
      label_offset_t::const_iterator it = offsets.find(label);
      return it != offsets.end();
    }

    int			get_offset(const Label& label) const
    {
      label_offset_t::const_iterator it = offsets.find(label);
      assertion(it != offsets.end());
      return (*it).second;
    }

Benoit Perrot's avatar
Benoit Perrot committed
68
    const label_offset_t&	get_offsets() const
69
70
71
72
    {
      return offsets;
    }

Benoit Perrot's avatar
Benoit Perrot committed
73
74
75
76
77
  public:
    virtual void	print(std::ostream& ostr) const = 0;

  protected:
    // FIXME: Might be static, to avoid multi-definition of labels.
78
    offset_label_t			labels;
Benoit Perrot's avatar
Benoit Perrot committed
79
80
81
82
83
84
85
86
87
88
89
90
91
92
    label_offset_t			offsets;
  };

  inline std::ostream&
  operator<<(std::ostream& ostr, const Section& s)
  {
    s.print(ostr);
    return ostr;
  }


} // namespace inst

#endif // !INST_SECTION_HH