blob: 7e9e18a5a917dfff8f495ecc86d62ec78186d9cb [file] [log] [blame]
Jim Grosbach946227d2011-11-15 16:46:22 +00001//===- lib/MC/MCModule.cpp - MCModule implementation ----------------------===//
Owen Anderson124e1822011-09-22 22:32:22 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
Owen Anderson124e1822011-09-22 22:32:22 +000010#include "llvm/MC/MCModule.h"
Ahmed Bougachaef993562013-05-24 01:07:04 +000011#include "llvm/MC/MCAtom.h"
12#include "llvm/MC/MCFunction.h"
13#include <algorithm>
Owen Anderson124e1822011-09-22 22:32:22 +000014
15using namespace llvm;
16
Ahmed Bougacha71dc2e62013-07-23 17:44:11 +000017static bool AtomComp(const MCAtom *L, uint64_t Addr) {
18 return L->getEndAddr() < Addr;
Ahmed Bougachaef993562013-05-24 01:07:04 +000019}
20
Ahmed Bougacha46d353f2013-08-21 07:28:17 +000021static bool AtomCompInv(uint64_t Addr, const MCAtom *R) {
22 return Addr < R->getEndAddr();
23}
24
Ahmed Bougachaef993562013-05-24 01:07:04 +000025void MCModule::map(MCAtom *NewAtom) {
Daniel Jasper35b2a7a2013-05-24 06:26:18 +000026 uint64_t Begin = NewAtom->Begin;
Ahmed Bougachaef993562013-05-24 01:07:04 +000027
Ahmed Bougacha7ab184a2013-06-19 20:18:59 +000028 assert(Begin <= NewAtom->End && "Creating MCAtom with endpoints reversed?");
Owen Anderson124e1822011-09-22 22:32:22 +000029
30 // Check for atoms already covering this range.
Ahmed Bougacha71dc2e62013-07-23 17:44:11 +000031 AtomListTy::iterator I = std::lower_bound(atom_begin(), atom_end(),
32 Begin, AtomComp);
Daniel Jasper35b2a7a2013-05-24 06:26:18 +000033 assert((I == atom_end() || (*I)->getBeginAddr() > NewAtom->End)
Ahmed Bougachaef993562013-05-24 01:07:04 +000034 && "Offset range already occupied!");
Owen Anderson124e1822011-09-22 22:32:22 +000035
Ahmed Bougachaef993562013-05-24 01:07:04 +000036 // Insert the new atom to the list.
37 Atoms.insert(I, NewAtom);
38}
39
40MCTextAtom *MCModule::createTextAtom(uint64_t Begin, uint64_t End) {
41 MCTextAtom *NewAtom = new MCTextAtom(this, Begin, End);
42 map(NewAtom);
43 return NewAtom;
44}
45
46MCDataAtom *MCModule::createDataAtom(uint64_t Begin, uint64_t End) {
47 MCDataAtom *NewAtom = new MCDataAtom(this, Begin, End);
48 map(NewAtom);
Owen Anderson124e1822011-09-22 22:32:22 +000049 return NewAtom;
50}
51
52// remap - Update the interval mapping for an atom.
53void MCModule::remap(MCAtom *Atom, uint64_t NewBegin, uint64_t NewEnd) {
54 // Find and erase the old mapping.
Ahmed Bougacha71dc2e62013-07-23 17:44:11 +000055 AtomListTy::iterator I = std::lower_bound(atom_begin(), atom_end(),
56 Atom->Begin, AtomComp);
Ahmed Bougachaef993562013-05-24 01:07:04 +000057 assert(I != atom_end() && "Atom offset not found in module!");
Owen Anderson124e1822011-09-22 22:32:22 +000058 assert(*I == Atom && "Previous atom mapping was invalid!");
Ahmed Bougachaef993562013-05-24 01:07:04 +000059 Atoms.erase(I);
Owen Anderson124e1822011-09-22 22:32:22 +000060
Ahmed Bougacha7dac32d2013-08-21 07:27:55 +000061 // FIXME: special case NewBegin == Atom->Begin
62
Owen Anderson124e1822011-09-22 22:32:22 +000063 // Insert the new mapping.
Ahmed Bougacha71dc2e62013-07-23 17:44:11 +000064 AtomListTy::iterator NewI = std::lower_bound(atom_begin(), atom_end(),
65 NewBegin, AtomComp);
Ahmed Bougacha7dac32d2013-08-21 07:27:55 +000066 assert((NewI == atom_end() || (*NewI)->getBeginAddr() > Atom->End)
67 && "Offset range already occupied!");
Ahmed Bougachaef993562013-05-24 01:07:04 +000068 Atoms.insert(NewI, Atom);
Owen Anderson124e1822011-09-22 22:32:22 +000069
70 // Update the atom internal bounds.
71 Atom->Begin = NewBegin;
72 Atom->End = NewEnd;
73}
74
Ahmed Bougachaef993562013-05-24 01:07:04 +000075const MCAtom *MCModule::findAtomContaining(uint64_t Addr) const {
Ahmed Bougacha71dc2e62013-07-23 17:44:11 +000076 AtomListTy::const_iterator I = std::lower_bound(atom_begin(), atom_end(),
77 Addr, AtomComp);
Ahmed Bougachaef993562013-05-24 01:07:04 +000078 if (I != atom_end() && (*I)->getBeginAddr() <= Addr)
79 return *I;
80 return 0;
81}
82
83MCAtom *MCModule::findAtomContaining(uint64_t Addr) {
Ahmed Bougacha46d353f2013-08-21 07:28:17 +000084 return const_cast<MCAtom*>(
85 const_cast<const MCModule *>(this)->findAtomContaining(Addr));
86}
87
88const MCAtom *MCModule::findFirstAtomAfter(uint64_t Addr) const {
89 AtomListTy::const_iterator I = std::upper_bound(atom_begin(), atom_end(),
90 Addr, AtomCompInv);
91 if (I != atom_end())
Ahmed Bougachaef993562013-05-24 01:07:04 +000092 return *I;
93 return 0;
94}
95
Ahmed Bougacha46d353f2013-08-21 07:28:17 +000096MCAtom *MCModule::findFirstAtomAfter(uint64_t Addr) {
97 return const_cast<MCAtom*>(
98 const_cast<const MCModule *>(this)->findFirstAtomAfter(Addr));
99}
100
Ahmed Bougacha7dac32d2013-08-21 07:27:55 +0000101MCFunction *MCModule::createFunction(StringRef Name) {
102 Functions.push_back(new MCFunction(Name, this));
Ahmed Bougachaef993562013-05-24 01:07:04 +0000103 return Functions.back();
104}
105
Ahmed Bougachaaeb2bbc2013-08-21 07:28:24 +0000106static bool CompBBToAtom(MCBasicBlock *BB, const MCTextAtom *Atom) {
107 return BB->getInsts() < Atom;
108}
109
110void MCModule::splitBasicBlocksForAtom(const MCTextAtom *TA,
111 const MCTextAtom *NewTA) {
112 BBsByAtomTy::iterator
113 I = std::lower_bound(BBsByAtom.begin(), BBsByAtom.end(),
114 TA, CompBBToAtom);
115 for (; I != BBsByAtom.end() && (*I)->getInsts() == TA; ++I) {
116 MCBasicBlock *BB = *I;
117 MCBasicBlock *NewBB = &BB->getParent()->createBlock(*NewTA);
118 BB->splitBasicBlock(NewBB);
119 }
120}
121
122void MCModule::trackBBForAtom(const MCTextAtom *Atom, MCBasicBlock *BB) {
123 assert(Atom == BB->getInsts() && "Text atom doesn't back the basic block!");
124 BBsByAtomTy::iterator I = std::lower_bound(BBsByAtom.begin(),
125 BBsByAtom.end(),
126 Atom, CompBBToAtom);
127 for (; I != BBsByAtom.end() && (*I)->getInsts() == Atom; ++I)
128 if (*I == BB)
129 return;
130 BBsByAtom.insert(I, BB);
131}
132
Ahmed Bougachaef993562013-05-24 01:07:04 +0000133MCModule::~MCModule() {
134 for (AtomListTy::iterator AI = atom_begin(),
135 AE = atom_end();
136 AI != AE; ++AI)
137 delete *AI;
138 for (FunctionListTy::iterator FI = func_begin(),
139 FE = func_end();
140 FI != FE; ++FI)
141 delete *FI;
142}