blob: a27573f93b97c70afe935b451e15a0be7aa15f7e [file] [log] [blame]
Lang Hames93de2a12015-01-23 21:25:00 +00001//===---- OrcMCJITReplacement.h - Orc based MCJIT replacement ---*- C++ -*-===//
2//
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//
10// Orc based MCJIT replacement.
11//
12//===----------------------------------------------------------------------===//
13
14#ifndef LLVM_LIB_EXECUTIONENGINE_ORC_ORCMCJITREPLACEMENT_H
15#define LLVM_LIB_EXECUTIONENGINE_ORC_ORCMCJITREPLACEMENT_H
16
Eugene Zelenkoa3fe70d2016-11-30 17:48:10 +000017#include "llvm/ADT/ArrayRef.h"
18#include "llvm/ADT/STLExtras.h"
19#include "llvm/ADT/StringRef.h"
Lang Hames93de2a12015-01-23 21:25:00 +000020#include "llvm/ExecutionEngine/ExecutionEngine.h"
Eugene Zelenkoa3fe70d2016-11-30 17:48:10 +000021#include "llvm/ExecutionEngine/GenericValue.h"
22#include "llvm/ExecutionEngine/JITSymbol.h"
23#include "llvm/ExecutionEngine/RuntimeDyld.h"
Lang Hames93de2a12015-01-23 21:25:00 +000024#include "llvm/ExecutionEngine/Orc/CompileUtils.h"
25#include "llvm/ExecutionEngine/Orc/IRCompileLayer.h"
26#include "llvm/ExecutionEngine/Orc/LazyEmittingLayer.h"
Lang Hames67de5d22017-02-20 05:45:14 +000027#include "llvm/ExecutionEngine/Orc/RTDyldObjectLinkingLayer.h"
Eugene Zelenkoa3fe70d2016-11-30 17:48:10 +000028#include "llvm/IR/Function.h"
29#include "llvm/IR/Mangler.h"
Lang Hames93de2a12015-01-23 21:25:00 +000030#include "llvm/Object/Archive.h"
Eugene Zelenkoa3fe70d2016-11-30 17:48:10 +000031#include "llvm/Object/Binary.h"
32#include "llvm/Object/ObjectFile.h"
33#include "llvm/Support/Error.h"
34#include "llvm/Support/ErrorHandling.h"
35#include "llvm/Support/raw_ostream.h"
36#include "llvm/Target/TargetMachine.h"
37#include <cassert>
38#include <cstddef>
39#include <cstdint>
40#include <algorithm>
41#include <map>
42#include <memory>
43#include <set>
44#include <string>
45#include <vector>
Lang Hames93de2a12015-01-23 21:25:00 +000046
47namespace llvm {
Lang Hamese7380612015-02-21 20:44:36 +000048namespace orc {
Lang Hames93de2a12015-01-23 21:25:00 +000049
50class OrcMCJITReplacement : public ExecutionEngine {
Lang Hames633fe142015-03-30 03:37:06 +000051 // OrcMCJITReplacement needs to do a little extra book-keeping to ensure that
52 // Orc's automatic finalization doesn't kick in earlier than MCJIT clients are
53 // expecting - see finalizeMemory.
54 class MCJITReplacementMemMgr : public MCJITMemoryManager {
Lang Hames93de2a12015-01-23 21:25:00 +000055 public:
Lang Hames633fe142015-03-30 03:37:06 +000056 MCJITReplacementMemMgr(OrcMCJITReplacement &M,
57 std::shared_ptr<MCJITMemoryManager> ClientMM)
58 : M(M), ClientMM(std::move(ClientMM)) {}
Lang Hames93de2a12015-01-23 21:25:00 +000059
60 uint8_t *allocateCodeSection(uintptr_t Size, unsigned Alignment,
61 unsigned SectionID,
62 StringRef SectionName) override {
63 uint8_t *Addr =
Lang Hames633fe142015-03-30 03:37:06 +000064 ClientMM->allocateCodeSection(Size, Alignment, SectionID,
65 SectionName);
Lang Hames93de2a12015-01-23 21:25:00 +000066 M.SectionsAllocatedSinceLastLoad.insert(Addr);
67 return Addr;
68 }
69
70 uint8_t *allocateDataSection(uintptr_t Size, unsigned Alignment,
71 unsigned SectionID, StringRef SectionName,
72 bool IsReadOnly) override {
Lang Hames633fe142015-03-30 03:37:06 +000073 uint8_t *Addr = ClientMM->allocateDataSection(Size, Alignment, SectionID,
74 SectionName, IsReadOnly);
Lang Hames93de2a12015-01-23 21:25:00 +000075 M.SectionsAllocatedSinceLastLoad.insert(Addr);
76 return Addr;
77 }
78
Lang Hamesb2b7a3c2016-01-10 18:51:50 +000079 void reserveAllocationSpace(uintptr_t CodeSize, uint32_t CodeAlign,
80 uintptr_t RODataSize, uint32_t RODataAlign,
81 uintptr_t RWDataSize,
82 uint32_t RWDataAlign) override {
83 return ClientMM->reserveAllocationSpace(CodeSize, CodeAlign,
84 RODataSize, RODataAlign,
85 RWDataSize, RWDataAlign);
Lang Hames93de2a12015-01-23 21:25:00 +000086 }
87
88 bool needsToReserveAllocationSpace() override {
Lang Hames633fe142015-03-30 03:37:06 +000089 return ClientMM->needsToReserveAllocationSpace();
Lang Hames93de2a12015-01-23 21:25:00 +000090 }
91
92 void registerEHFrames(uint8_t *Addr, uint64_t LoadAddr,
93 size_t Size) override {
Lang Hames633fe142015-03-30 03:37:06 +000094 return ClientMM->registerEHFrames(Addr, LoadAddr, Size);
Lang Hames93de2a12015-01-23 21:25:00 +000095 }
96
Lang Hamesc936ac72017-05-09 21:32:18 +000097 void deregisterEHFrames() override {
98 return ClientMM->deregisterEHFrames();
Lang Hames93de2a12015-01-23 21:25:00 +000099 }
100
Lang Hames9d7a2692016-01-11 16:35:55 +0000101 void notifyObjectLoaded(RuntimeDyld &RTDyld,
102 const object::ObjectFile &O) override {
103 return ClientMM->notifyObjectLoaded(RTDyld, O);
104 }
105
Lang Hames93de2a12015-01-23 21:25:00 +0000106 void notifyObjectLoaded(ExecutionEngine *EE,
107 const object::ObjectFile &O) override {
Lang Hames633fe142015-03-30 03:37:06 +0000108 return ClientMM->notifyObjectLoaded(EE, O);
Lang Hames93de2a12015-01-23 21:25:00 +0000109 }
110
111 bool finalizeMemory(std::string *ErrMsg = nullptr) override {
112 // Each set of objects loaded will be finalized exactly once, but since
113 // symbol lookup during relocation may recursively trigger the
114 // loading/relocation of other modules, and since we're forwarding all
115 // finalizeMemory calls to a single underlying memory manager, we need to
116 // defer forwarding the call on until all necessary objects have been
117 // loaded. Otherwise, during the relocation of a leaf object, we will end
118 // up finalizing memory, causing a crash further up the stack when we
119 // attempt to apply relocations to finalized memory.
120 // To avoid finalizing too early, look at how many objects have been
121 // loaded but not yet finalized. This is a bit of a hack that relies on
122 // the fact that we're lazily emitting object files: The only way you can
123 // get more than one set of objects loaded but not yet finalized is if
124 // they were loaded during relocation of another set.
125 if (M.UnfinalizedSections.size() == 1)
Lang Hames633fe142015-03-30 03:37:06 +0000126 return ClientMM->finalizeMemory(ErrMsg);
Lang Hames93de2a12015-01-23 21:25:00 +0000127 return false;
128 }
129
130 private:
131 OrcMCJITReplacement &M;
Lang Hames633fe142015-03-30 03:37:06 +0000132 std::shared_ptr<MCJITMemoryManager> ClientMM;
133 };
134
Lang Hamesad4a9112016-08-01 20:49:11 +0000135 class LinkingResolver : public JITSymbolResolver {
Lang Hames633fe142015-03-30 03:37:06 +0000136 public:
137 LinkingResolver(OrcMCJITReplacement &M) : M(M) {}
138
Lang Hamesad4a9112016-08-01 20:49:11 +0000139 JITSymbol findSymbol(const std::string &Name) override {
Lang Hamesbb9431a2016-08-09 19:27:17 +0000140 return M.ClientResolver->findSymbol(Name);
Lang Hames633fe142015-03-30 03:37:06 +0000141 }
142
Lang Hamesad4a9112016-08-01 20:49:11 +0000143 JITSymbol findSymbolInLogicalDylib(const std::string &Name) override {
Lang Hamesbb9431a2016-08-09 19:27:17 +0000144 if (auto Sym = M.findMangledSymbol(Name))
145 return Sym;
146 return M.ClientResolver->findSymbolInLogicalDylib(Name);
Lang Hames633fe142015-03-30 03:37:06 +0000147 }
148
149 private:
150 OrcMCJITReplacement &M;
Lang Hames93de2a12015-01-23 21:25:00 +0000151 };
152
153private:
Lang Hamese7380612015-02-21 20:44:36 +0000154
Lang Hames93de2a12015-01-23 21:25:00 +0000155 static ExecutionEngine *
156 createOrcMCJITReplacement(std::string *ErrorMsg,
Lang Hames633fe142015-03-30 03:37:06 +0000157 std::shared_ptr<MCJITMemoryManager> MemMgr,
Lang Hamesad4a9112016-08-01 20:49:11 +0000158 std::shared_ptr<JITSymbolResolver> Resolver,
Lang Hamese7380612015-02-21 20:44:36 +0000159 std::unique_ptr<TargetMachine> TM) {
Lang Hames633fe142015-03-30 03:37:06 +0000160 return new OrcMCJITReplacement(std::move(MemMgr), std::move(Resolver),
161 std::move(TM));
Lang Hames93de2a12015-01-23 21:25:00 +0000162 }
163
164public:
165 static void Register() {
166 OrcMCJITReplacementCtor = createOrcMCJITReplacement;
167 }
168
Lang Hames633fe142015-03-30 03:37:06 +0000169 OrcMCJITReplacement(
Mehdi Aminia3fcefb2015-07-16 16:34:23 +0000170 std::shared_ptr<MCJITMemoryManager> MemMgr,
Lang Hamesad4a9112016-08-01 20:49:11 +0000171 std::shared_ptr<JITSymbolResolver> ClientResolver,
Mehdi Aminia3fcefb2015-07-16 16:34:23 +0000172 std::unique_ptr<TargetMachine> TM)
Mehdi Amini26d48132015-07-24 16:04:22 +0000173 : ExecutionEngine(TM->createDataLayout()), TM(std::move(TM)),
Mehdi Aminia3fcefb2015-07-16 16:34:23 +0000174 MemMgr(*this, std::move(MemMgr)), Resolver(*this),
175 ClientResolver(std::move(ClientResolver)), NotifyObjectLoaded(*this),
176 NotifyFinalized(*this),
Lang Hames633fe142015-03-30 03:37:06 +0000177 ObjectLayer(NotifyObjectLoaded, NotifyFinalized),
Lang Hames93de2a12015-01-23 21:25:00 +0000178 CompileLayer(ObjectLayer, SimpleCompiler(*this->TM)),
Mehdi Aminia3fcefb2015-07-16 16:34:23 +0000179 LazyEmitLayer(CompileLayer) {}
Lang Hames93de2a12015-01-23 21:25:00 +0000180
Reid Kleckner7b23b432015-01-23 22:25:47 +0000181 void addModule(std::unique_ptr<Module> M) override {
Lang Hames93de2a12015-01-23 21:25:00 +0000182
183 // If this module doesn't have a DataLayout attached then attach the
184 // default.
Mehdi Aminia3fcefb2015-07-16 16:34:23 +0000185 if (M->getDataLayout().isDefault()) {
186 M->setDataLayout(getDataLayout());
187 } else {
188 assert(M->getDataLayout() == getDataLayout() && "DataLayout Mismatch");
189 }
Lang Hamesa3e710d2015-02-02 04:34:02 +0000190 Modules.push_back(std::move(M));
Lang Hames93de2a12015-01-23 21:25:00 +0000191 std::vector<Module *> Ms;
Lang Hamesa3e710d2015-02-02 04:34:02 +0000192 Ms.push_back(&*Modules.back());
Lang Hames633fe142015-03-30 03:37:06 +0000193 LazyEmitLayer.addModuleSet(std::move(Ms), &MemMgr, &Resolver);
Lang Hames93de2a12015-01-23 21:25:00 +0000194 }
195
196 void addObjectFile(std::unique_ptr<object::ObjectFile> O) override {
197 std::vector<std::unique_ptr<object::ObjectFile>> Objs;
198 Objs.push_back(std::move(O));
Lang Hames633fe142015-03-30 03:37:06 +0000199 ObjectLayer.addObjectSet(std::move(Objs), &MemMgr, &Resolver);
Lang Hames93de2a12015-01-23 21:25:00 +0000200 }
201
202 void addObjectFile(object::OwningBinary<object::ObjectFile> O) override {
Lang Hames2fe7acb2016-01-19 21:06:38 +0000203 std::vector<std::unique_ptr<object::OwningBinary<object::ObjectFile>>> Objs;
204 Objs.push_back(
205 llvm::make_unique<object::OwningBinary<object::ObjectFile>>(
206 std::move(O)));
Lang Hamesf7c4f182015-10-28 22:10:27 +0000207 ObjectLayer.addObjectSet(std::move(Objs), &MemMgr, &Resolver);
Lang Hames93de2a12015-01-23 21:25:00 +0000208 }
209
210 void addArchive(object::OwningBinary<object::Archive> A) override {
211 Archives.push_back(std::move(A));
212 }
213
214 uint64_t getSymbolAddress(StringRef Name) {
Lang Hames633fe142015-03-30 03:37:06 +0000215 return findSymbol(Name).getAddress();
216 }
217
Lang Hamesad4a9112016-08-01 20:49:11 +0000218 JITSymbol findSymbol(StringRef Name) {
Lang Hames633fe142015-03-30 03:37:06 +0000219 return findMangledSymbol(Mangle(Name));
Lang Hames93de2a12015-01-23 21:25:00 +0000220 }
221
222 void finalizeObject() override {
223 // This is deprecated - Aim to remove in ExecutionEngine.
224 // REMOVE IF POSSIBLE - Doesn't make sense for New JIT.
225 }
226
227 void mapSectionAddress(const void *LocalAddress,
228 uint64_t TargetAddress) override {
229 for (auto &P : UnfinalizedSections)
230 if (P.second.count(LocalAddress))
231 ObjectLayer.mapSectionAddress(P.first, LocalAddress, TargetAddress);
232 }
233
234 uint64_t getGlobalValueAddress(const std::string &Name) override {
235 return getSymbolAddress(Name);
236 }
237
238 uint64_t getFunctionAddress(const std::string &Name) override {
239 return getSymbolAddress(Name);
240 }
241
242 void *getPointerToFunction(Function *F) override {
243 uint64_t FAddr = getSymbolAddress(F->getName());
244 return reinterpret_cast<void *>(static_cast<uintptr_t>(FAddr));
245 }
246
247 void *getPointerToNamedFunction(StringRef Name,
248 bool AbortOnFailure = true) override {
249 uint64_t Addr = getSymbolAddress(Name);
250 if (!Addr && AbortOnFailure)
251 llvm_unreachable("Missing symbol!");
252 return reinterpret_cast<void *>(static_cast<uintptr_t>(Addr));
253 }
254
255 GenericValue runFunction(Function *F,
Benjamin Kramerbd7b1c82015-06-13 19:50:29 +0000256 ArrayRef<GenericValue> ArgValues) override;
Lang Hames93de2a12015-01-23 21:25:00 +0000257
258 void setObjectCache(ObjectCache *NewCache) override {
259 CompileLayer.setObjectCache(NewCache);
260 }
261
Lang Hames645a22a2015-10-29 03:52:58 +0000262 void setProcessAllSections(bool ProcessAllSections) override {
263 ObjectLayer.setProcessAllSections(ProcessAllSections);
264 }
265
Lang Hames93de2a12015-01-23 21:25:00 +0000266private:
Lang Hamesad4a9112016-08-01 20:49:11 +0000267 JITSymbol findMangledSymbol(StringRef Name) {
Lang Hames633fe142015-03-30 03:37:06 +0000268 if (auto Sym = LazyEmitLayer.findSymbol(Name, false))
Lang Hamesad4a9112016-08-01 20:49:11 +0000269 return Sym;
Lang Hames633fe142015-03-30 03:37:06 +0000270 if (auto Sym = ClientResolver->findSymbol(Name))
Lang Hames65653202016-05-31 23:14:26 +0000271 return Sym;
Lang Hames633fe142015-03-30 03:37:06 +0000272 if (auto Sym = scanArchives(Name))
Lang Hamesad4a9112016-08-01 20:49:11 +0000273 return Sym;
Lang Hames633fe142015-03-30 03:37:06 +0000274
275 return nullptr;
Lang Hames93de2a12015-01-23 21:25:00 +0000276 }
277
Lang Hames633fe142015-03-30 03:37:06 +0000278 JITSymbol scanArchives(StringRef Name) {
Lang Hames93de2a12015-01-23 21:25:00 +0000279 for (object::OwningBinary<object::Archive> &OB : Archives) {
280 object::Archive *A = OB.getBinary();
281 // Look for our symbols in each Archive
Lang Hames69f49022016-07-14 20:44:27 +0000282 auto OptionalChildOrErr = A->findSym(Name);
283 if (!OptionalChildOrErr)
284 report_fatal_error(OptionalChildOrErr.takeError());
285 auto &OptionalChild = *OptionalChildOrErr;
286 if (OptionalChild) {
Lang Hames93de2a12015-01-23 21:25:00 +0000287 // FIXME: Support nested archives?
Kevin Enderbyac9e1552016-05-17 17:10:12 +0000288 Expected<std::unique_ptr<object::Binary>> ChildBinOrErr =
Lang Hames69f49022016-07-14 20:44:27 +0000289 OptionalChild->getAsBinary();
Kevin Enderbyac9e1552016-05-17 17:10:12 +0000290 if (!ChildBinOrErr) {
291 // TODO: Actually report errors helpfully.
292 consumeError(ChildBinOrErr.takeError());
Lang Hames93de2a12015-01-23 21:25:00 +0000293 continue;
Kevin Enderbyac9e1552016-05-17 17:10:12 +0000294 }
Lang Hames93de2a12015-01-23 21:25:00 +0000295 std::unique_ptr<object::Binary> &ChildBin = ChildBinOrErr.get();
296 if (ChildBin->isObject()) {
297 std::vector<std::unique_ptr<object::ObjectFile>> ObjSet;
298 ObjSet.push_back(std::unique_ptr<object::ObjectFile>(
299 static_cast<object::ObjectFile *>(ChildBin.release())));
Lang Hames633fe142015-03-30 03:37:06 +0000300 ObjectLayer.addObjectSet(std::move(ObjSet), &MemMgr, &Resolver);
301 if (auto Sym = ObjectLayer.findSymbol(Name, true))
302 return Sym;
Lang Hames93de2a12015-01-23 21:25:00 +0000303 }
304 }
305 }
Lang Hames633fe142015-03-30 03:37:06 +0000306 return nullptr;
Lang Hames93de2a12015-01-23 21:25:00 +0000307 }
308
309 class NotifyObjectLoadedT {
310 public:
Lang Hames93de2a12015-01-23 21:25:00 +0000311 typedef std::vector<std::unique_ptr<RuntimeDyld::LoadedObjectInfo>>
312 LoadedObjInfoListT;
313
314 NotifyObjectLoadedT(OrcMCJITReplacement &M) : M(M) {}
315
Lang Hames2fe7acb2016-01-19 21:06:38 +0000316 template <typename ObjListT>
Lang Hames67de5d22017-02-20 05:45:14 +0000317 void operator()(RTDyldObjectLinkingLayerBase::ObjSetHandleT H,
Lang Hames93de2a12015-01-23 21:25:00 +0000318 const ObjListT &Objects,
319 const LoadedObjInfoListT &Infos) const {
320 M.UnfinalizedSections[H] = std::move(M.SectionsAllocatedSinceLastLoad);
NAKAMURA Takumi2fb9a5232015-01-25 11:41:49 +0000321 M.SectionsAllocatedSinceLastLoad = SectionAddrSet();
Lang Hames93de2a12015-01-23 21:25:00 +0000322 assert(Objects.size() == Infos.size() &&
323 "Incorrect number of Infos for Objects.");
324 for (unsigned I = 0; I < Objects.size(); ++I)
Lang Hames2fe7acb2016-01-19 21:06:38 +0000325 M.MemMgr.notifyObjectLoaded(&M, getObject(*Objects[I]));
Hans Wennborg13958b72015-07-22 20:46:11 +0000326 }
Lang Hames93de2a12015-01-23 21:25:00 +0000327
328 private:
Lang Hames2fe7acb2016-01-19 21:06:38 +0000329 static const object::ObjectFile& getObject(const object::ObjectFile &Obj) {
330 return Obj;
331 }
332
333 template <typename ObjT>
334 static const object::ObjectFile&
335 getObject(const object::OwningBinary<ObjT> &Obj) {
336 return *Obj.getBinary();
337 }
338
Lang Hames93de2a12015-01-23 21:25:00 +0000339 OrcMCJITReplacement &M;
340 };
341
342 class NotifyFinalizedT {
343 public:
344 NotifyFinalizedT(OrcMCJITReplacement &M) : M(M) {}
Eugene Zelenkoa3fe70d2016-11-30 17:48:10 +0000345
Lang Hames67de5d22017-02-20 05:45:14 +0000346 void operator()(RTDyldObjectLinkingLayerBase::ObjSetHandleT H) {
Lang Hames93de2a12015-01-23 21:25:00 +0000347 M.UnfinalizedSections.erase(H);
348 }
349
350 private:
351 OrcMCJITReplacement &M;
352 };
353
354 std::string Mangle(StringRef Name) {
355 std::string MangledName;
356 {
357 raw_string_ostream MangledNameStream(MangledName);
Mehdi Aminia3fcefb2015-07-16 16:34:23 +0000358 Mang.getNameWithPrefix(MangledNameStream, Name, getDataLayout());
Lang Hames93de2a12015-01-23 21:25:00 +0000359 }
360 return MangledName;
361 }
362
Lang Hames67de5d22017-02-20 05:45:14 +0000363 typedef RTDyldObjectLinkingLayer<NotifyObjectLoadedT> ObjectLayerT;
Lang Hames93de2a12015-01-23 21:25:00 +0000364 typedef IRCompileLayer<ObjectLayerT> CompileLayerT;
365 typedef LazyEmittingLayer<CompileLayerT> LazyEmitLayerT;
366
367 std::unique_ptr<TargetMachine> TM;
Lang Hames633fe142015-03-30 03:37:06 +0000368 MCJITReplacementMemMgr MemMgr;
369 LinkingResolver Resolver;
Lang Hamesad4a9112016-08-01 20:49:11 +0000370 std::shared_ptr<JITSymbolResolver> ClientResolver;
Lang Hames93de2a12015-01-23 21:25:00 +0000371 Mangler Mang;
372
373 NotifyObjectLoadedT NotifyObjectLoaded;
374 NotifyFinalizedT NotifyFinalized;
375
376 ObjectLayerT ObjectLayer;
377 CompileLayerT CompileLayer;
378 LazyEmitLayerT LazyEmitLayer;
379
Lang Hames93de2a12015-01-23 21:25:00 +0000380 // We need to store ObjLayerT::ObjSetHandles for each of the object sets
381 // that have been emitted but not yet finalized so that we can forward the
382 // mapSectionAddress calls appropriately.
383 typedef std::set<const void *> SectionAddrSet;
384 struct ObjSetHandleCompare {
385 bool operator()(ObjectLayerT::ObjSetHandleT H1,
386 ObjectLayerT::ObjSetHandleT H2) const {
387 return &*H1 < &*H2;
388 }
389 };
390 SectionAddrSet SectionsAllocatedSinceLastLoad;
391 std::map<ObjectLayerT::ObjSetHandleT, SectionAddrSet, ObjSetHandleCompare>
392 UnfinalizedSections;
393
394 std::vector<object::OwningBinary<object::Archive>> Archives;
395};
Lang Hamese7380612015-02-21 20:44:36 +0000396
Eugene Zelenkoa3fe70d2016-11-30 17:48:10 +0000397} // end namespace orc
398} // end namespace llvm
Lang Hames93de2a12015-01-23 21:25:00 +0000399
400#endif // LLVM_LIB_EXECUTIONENGINE_ORC_MCJITREPLACEMENT_H