text_section.hh 3 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
//
// 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
//
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
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
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
#ifndef INST_TEXT_SECTION_HH
# define INST_TEXT_SECTION_HH

# include <vector>
# include <list>
# include <map>
# include <iostream>

# include "misc/contract.hh"

# include "inst/label.hh"
# include "inst/inst.hh"

namespace inst
{
  
  class TextSection
  {
    typedef std::list<const Label*>	label_list_t;
    typedef std::map<const Label, int>	label_to_offset_t;

  public:
    TextSection()
    {
    }

  public:
    void		add_inst(inst::Inst& inst)
    {
      _insts.push_back(&inst);
    }

  public:
    void		add_label(Label& label)
    {
      // FIXME: check that this label has not already been added.
      _offsets[label] = _insts.size() * 4;
      _labels.resize (_insts.size() + 1);
      _labels[_insts.size()].push_back(&label);
    }

    bool		has_label(const Label& label) const
    {
      label_to_offset_t::const_iterator it = _offsets.find(label);
      return it != _offsets.end();
    }

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

  public:
    int			size() const
    {
      return _insts.size ();
    }

    const inst::Inst&	operator[](int offset) const
    {
      precondition(0 <= offset && (unsigned) offset < _insts.size());

      assertion(_insts[offset]);
      return *(_insts[offset]);
    }
    inst::Inst&		operator[](int offset)
    {
      precondition(0 <= offset && (unsigned) offset < _insts.size());

      assertion(_insts[offset]);
      return *(_insts[offset]);
    }


  public:
    void		print(std::ostream& ostr) const
    {
      ostr << "\t.text" << std::endl;
      for (unsigned i = 0; i < _insts.size(); ++i)
	{
	  if (i < _labels.size())
	    for (label_list_t::const_iterator it = _labels[i].begin();
		 it != _labels[i].end(); ++it)
	      ostr << *(*it) << ":" << std::endl;
	  ostr << '\t' << *(_insts[i]) << std::endl;
	}
    }

  protected:
    std::vector<inst::Inst*>	_insts;

    std::vector<label_list_t>	_labels;
    label_to_offset_t		_offsets;
  };

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

} // namespace inst

#endif // !INST_TEXT_SECTION_HH