I don't know what I was thinking
[oota-llvm.git] / lib / Bytecode / Reader / Reader.cpp
1 //===- Reader.cpp - Code to read bytecode files ---------------------------===//
2 //
3 // This library implements the functionality defined in llvm/Bytecode/Reader.h
4 //
5 // Note that this library should be as fast as possible, reentrant, and 
6 // threadsafe!!
7 //
8 // TODO: Make error message outputs be configurable depending on an option?
9 // TODO: Allow passing in an option to ignore the symbol table
10 //
11 //===----------------------------------------------------------------------===//
12
13 #include "llvm/Bytecode/Reader.h"
14 #include "llvm/Bytecode/Format.h"
15 #include "llvm/GlobalVariable.h"
16 #include "llvm/Module.h"
17 #include "llvm/BasicBlock.h"
18 #include "llvm/DerivedTypes.h"
19 #include "llvm/ConstPoolVals.h"
20 #include "llvm/iOther.h"
21 #include "ReaderInternals.h"
22 #include <sys/types.h>
23 #include <sys/mman.h>
24 #include <sys/stat.h>
25 #include <fcntl.h>
26 #include <unistd.h>
27 #include <algorithm>
28
29 bool BytecodeParser::getTypeSlot(const Type *Ty, unsigned &Slot) {
30   if (Ty->isPrimitiveType()) {
31     Slot = Ty->getPrimitiveID();
32   } else {
33     // Check the method level types first...
34     TypeValuesListTy::iterator I = find(MethodTypeValues.begin(),
35                                         MethodTypeValues.end(), Ty);
36     if (I != MethodTypeValues.end()) {
37       Slot = FirstDerivedTyID+ModuleTypeValues.size()+
38              (&*I - &MethodTypeValues[0]);
39     } else {
40       I = find(ModuleTypeValues.begin(), ModuleTypeValues.end(), Ty);
41       if (I == ModuleTypeValues.end()) return true;   // Didn't find type!
42       Slot = FirstDerivedTyID + (&*I - &ModuleTypeValues[0]);
43     }
44   }
45   //cerr << "getTypeSlot '" << Ty->getName() << "' = " << Slot << endl;
46   return false;
47 }
48
49 const Type *BytecodeParser::getType(unsigned ID) {
50   const Type *T = Type::getPrimitiveType((Type::PrimitiveID)ID);
51   if (T) return T;
52   
53   //cerr << "Looking up Type ID: " << ID << endl;
54
55   const Value *D = getValue(Type::TypeTy, ID, false);
56   if (D == 0) return failure<const Type*>(0);
57
58   return cast<Type>(D);
59 }
60
61 int BytecodeParser::insertValue(Value *Val, vector<ValueList> &ValueTab) {
62   unsigned type;
63   if (getTypeSlot(Val->getType(), type)) return failure<int>(-1);
64   assert(type != Type::TypeTyID && "Types should never be insertValue'd!");
65  
66   if (ValueTab.size() <= type)
67     ValueTab.resize(type+1, ValueList());
68
69   //cerr << "insertValue Values[" << type << "][" << ValueTab[type].size() 
70   //     << "] = " << Val << endl;
71   ValueTab[type].push_back(Val);
72
73   return ValueTab[type].size()-1;
74 }
75
76 Value *BytecodeParser::getValue(const Type *Ty, unsigned oNum, bool Create) {
77   unsigned Num = oNum;
78   unsigned type;   // The type plane it lives in...
79
80   if (getTypeSlot(Ty, type)) return failure<Value*>(0); // TODO: true
81
82   if (type == Type::TypeTyID) {  // The 'type' plane has implicit values
83     assert(Create == false);
84     const Type *T = Type::getPrimitiveType((Type::PrimitiveID)Num);
85     if (T) return (Value*)T;   // Asked for a primitive type...
86
87     // Otherwise, derived types need offset...
88     Num -= FirstDerivedTyID;
89
90     // Is it a module level type?
91     if (Num < ModuleTypeValues.size())
92       return (Value*)ModuleTypeValues[Num].get();
93
94     // Nope, is it a method level type?
95     Num -= ModuleTypeValues.size();
96     if (Num < MethodTypeValues.size())
97       return (Value*)MethodTypeValues[Num].get();
98
99     return 0;
100   }
101
102   if (type < ModuleValues.size()) {
103     if (Num < ModuleValues[type].size())
104       return ModuleValues[type][Num];
105     Num -= ModuleValues[type].size();
106   }
107
108   if (Values.size() > type && Values[type].size() > Num)
109     return Values[type][Num];
110
111   if (!Create) return failure<Value*>(0);  // Do not create a placeholder?
112
113   Value *d = 0;
114   switch (Ty->getPrimitiveID()) {
115   case Type::LabelTyID: d = new    BBPHolder(Ty, oNum); break;
116   case Type::MethodTyID:
117     cerr << "Creating method pholder! : " << type << ":" << oNum << " " 
118          << Ty->getName() << endl;
119     d = new MethPHolder(Ty, oNum);
120     if (insertValue(d, LateResolveModuleValues) ==-1) return failure<Value*>(0);
121     return d;
122   default:                   d = new   DefPHolder(Ty, oNum); break;
123   }
124
125   assert(d != 0 && "How did we not make something?");
126   if (insertValue(d, LateResolveValues) == -1) return failure<Value*>(0);
127   return d;
128 }
129
130 bool BytecodeParser::postResolveValues(ValueTable &ValTab) {
131   bool Error = false;
132   for (unsigned ty = 0; ty < ValTab.size(); ++ty) {
133     ValueList &DL = ValTab[ty];
134     unsigned Size;
135     while ((Size = DL.size())) {
136       unsigned IDNumber = getValueIDNumberFromPlaceHolder(DL[Size-1]);
137
138       Value *D = DL[Size-1];
139       DL.pop_back();
140
141       Value *NewDef = getValue(D->getType(), IDNumber, false);
142       if (NewDef == 0) {
143         Error = true;  // Unresolved thinger
144         cerr << "Unresolvable reference found: <"
145               << D->getType()->getDescription() << ">:" << IDNumber << "!\n";
146       } else {
147         // Fixup all of the uses of this placeholder def...
148         D->replaceAllUsesWith(NewDef);
149
150         // Now that all the uses are gone, delete the placeholder...
151         // If we couldn't find a def (error case), then leak a little
152         delete D;  // memory, 'cause otherwise we can't remove all uses!
153       }
154     }
155   }
156
157   return Error;
158 }
159
160 bool BytecodeParser::ParseBasicBlock(const uchar *&Buf, const uchar *EndBuf, 
161                                      BasicBlock *&BB) {
162   BB = new BasicBlock();
163
164   while (Buf < EndBuf) {
165     Instruction *Inst;
166     if (ParseInstruction(Buf, EndBuf, Inst)) {
167       delete BB;
168       return failure(true);
169     }
170
171     if (Inst == 0) { delete BB; return failure(true); }
172     if (insertValue(Inst, Values) == -1) { delete BB; return failure(true); }
173
174     BB->getInstList().push_back(Inst);
175
176     BCR_TRACE(4, Inst);
177   }
178
179   return false;
180 }
181
182 bool BytecodeParser::ParseSymbolTable(const uchar *&Buf, const uchar *EndBuf,
183                                       SymbolTable *ST) {
184   while (Buf < EndBuf) {
185     // Symtab block header: [num entries][type id number]
186     unsigned NumEntries, Typ;
187     if (read_vbr(Buf, EndBuf, NumEntries) ||
188         read_vbr(Buf, EndBuf, Typ)) return failure(true);
189     const Type *Ty = getType(Typ);
190     if (Ty == 0) return failure(true);
191
192     BCR_TRACE(3, "Plane Type: '" << Ty << "' with " << NumEntries <<
193               " entries\n");
194
195     for (unsigned i = 0; i < NumEntries; ++i) {
196       // Symtab entry: [def slot #][name]
197       unsigned slot;
198       if (read_vbr(Buf, EndBuf, slot)) return failure(true);
199       string Name;
200       if (read(Buf, EndBuf, Name, false))  // Not aligned...
201         return failure(true);
202
203       Value *D = getValue(Ty, slot, false); // Find mapping...
204       if (D == 0) {
205         BCR_TRACE(3, "FAILED LOOKUP: Slot #" << slot << endl);
206         return failure(true);
207       }
208       BCR_TRACE(4, "Map: '" << Name << "' to #" << slot << ":" << D;
209                 if (!isa<Instruction>(D)) cerr << endl);
210
211       D->setName(Name, ST);
212     }
213   }
214
215   if (Buf > EndBuf) return failure(true);
216   return false;
217 }
218
219 // DeclareNewGlobalValue - Patch up forward references to global values in the
220 // form of ConstPoolPointerRef.
221 //
222 void BytecodeParser::DeclareNewGlobalValue(GlobalValue *GV, unsigned Slot) {
223   // Check to see if there is a forward reference to this global variable...
224   // if there is, eliminate it and patch the reference to use the new def'n.
225   GlobalRefsType::iterator I = GlobalRefs.find(make_pair(GV->getType(), Slot));
226
227   if (I != GlobalRefs.end()) {
228     GlobalVariable *OldGV = I->second;   // Get the placeholder...
229     BCR_TRACE(3, "Mutating CPPR Forward Ref!\n");
230       
231     // Loop over all of the uses of the GlobalValue.  The only thing they are
232     // allowed to be at this point is ConstPoolPointerRef's.
233     assert(OldGV->use_size() == 1 && "Only one reference should exist!");
234     while (!OldGV->use_empty()) {
235       User *U = OldGV->use_back();  // Must be a ConstPoolPointerRef...
236       ConstPoolPointerRef *CPPR = cast<ConstPoolPointerRef>(U);
237       assert(CPPR->getValue() == OldGV && "Something isn't happy");
238       
239       BCR_TRACE(4, "Mutating Forward Ref!\n");
240       
241       // Change the const pool reference to point to the real global variable
242       // now.  This should drop a use from the OldGV.
243       CPPR->mutateReference(GV);
244     }
245     
246     // Remove GV from the module...
247     GV->getParent()->getGlobalList().remove(OldGV);
248     delete OldGV;                        // Delete the old placeholder
249     
250     // Remove the map entry for the global now that it has been created...
251     GlobalRefs.erase(I);
252   }
253 }
254
255 bool BytecodeParser::ParseMethod(const uchar *&Buf, const uchar *EndBuf, 
256                                  Module *C) {
257   // Clear out the local values table...
258   Values.clear();
259   if (MethodSignatureList.empty()) {
260     Error = "Method found, but MethodSignatureList empty!";
261     return failure(true);  // Unexpected method!
262   }
263
264   const PointerType *PMTy = MethodSignatureList.front().first; // PtrMeth
265   const MethodType  *MTy  = dyn_cast<const MethodType>(PMTy->getValueType());
266   if (MTy == 0) return failure(true);  // Not ptr to method!
267
268   unsigned MethSlot = MethodSignatureList.front().second;
269   MethodSignatureList.pop_front();
270   Method *M = new Method(MTy);
271
272   BCR_TRACE(2, "METHOD TYPE: " << MTy << endl);
273
274   const MethodType::ParamTypes &Params = MTy->getParamTypes();
275   for (MethodType::ParamTypes::const_iterator It = Params.begin();
276        It != Params.end(); ++It) {
277     MethodArgument *MA = new MethodArgument(*It);
278     if (insertValue(MA, Values) == -1) {
279       Error = "Error reading method arguments!\n";
280       delete M; return failure(true); 
281     }
282     M->getArgumentList().push_back(MA);
283   }
284
285   while (Buf < EndBuf) {
286     unsigned Type, Size;
287     const uchar *OldBuf = Buf;
288     if (readBlock(Buf, EndBuf, Type, Size)) {
289       Error = "Error reading Method level block!";
290       delete M; return failure(true); 
291     }
292
293     switch (Type) {
294     case BytecodeFormat::ConstantPool:
295       BCR_TRACE(2, "BLOCK BytecodeFormat::ConstantPool: {\n");
296       if (ParseConstantPool(Buf, Buf+Size, Values, MethodTypeValues)) {
297         delete M; return failure(true);
298       }
299       break;
300
301     case BytecodeFormat::BasicBlock: {
302       BCR_TRACE(2, "BLOCK BytecodeFormat::BasicBlock: {\n");
303       BasicBlock *BB;
304       if (ParseBasicBlock(Buf, Buf+Size, BB) ||
305           insertValue(BB, Values) == -1) {
306         delete M; return failure(true);                // Parse error... :(
307       }
308
309       M->getBasicBlocks().push_back(BB);
310       break;
311     }
312
313     case BytecodeFormat::SymbolTable:
314       BCR_TRACE(2, "BLOCK BytecodeFormat::SymbolTable: {\n");
315       if (ParseSymbolTable(Buf, Buf+Size, M->getSymbolTableSure())) {
316         delete M; return failure(true);
317       }
318       break;
319
320     default:
321       BCR_TRACE(2, "BLOCK <unknown>:ignored! {\n");
322       Buf += Size;
323       if (OldBuf > Buf) return failure(true); // Wrap around!
324       break;
325     }
326     BCR_TRACE(2, "} end block\n");
327
328     if (align32(Buf, EndBuf)) {
329       Error = "Error aligning Method level block!";
330       delete M;    // Malformed bc file, read past end of block.
331       return failure(true);
332     }
333   }
334
335   if (postResolveValues(LateResolveValues) ||
336       postResolveValues(LateResolveModuleValues)) {
337     Error = "Error resolving method values!";
338     delete M; return failure(true);     // Unresolvable references!
339   }
340
341   Value *MethPHolder = getValue(PMTy, MethSlot, false);
342   assert(MethPHolder && "Something is broken no placeholder found!");
343   assert(isa<Method>(MethPHolder) && "Not a method?");
344
345   unsigned type;  // Type slot
346   assert(!getTypeSlot(MTy, type) && "How can meth type not exist?");
347   getTypeSlot(PMTy, type);
348
349   C->getMethodList().push_back(M);
350
351   // Replace placeholder with the real method pointer...
352   ModuleValues[type][MethSlot] = M;
353
354   // Clear out method level types...
355   MethodTypeValues.clear();
356
357   // If anyone is using the placeholder make them use the real method instead
358   MethPHolder->replaceAllUsesWith(M);
359
360   // We don't need the placeholder anymore!
361   delete MethPHolder;
362
363   // If the method is empty, we don't need the method argument entries...
364   if (M->isExternal())
365     M->getArgumentList().delete_all();
366
367   DeclareNewGlobalValue(M, MethSlot);
368
369   return false;
370 }
371
372 bool BytecodeParser::ParseModuleGlobalInfo(const uchar *&Buf, const uchar *End,
373                                            Module *Mod) {
374   if (!MethodSignatureList.empty()) {
375     Error = "Two ModuleGlobalInfo packets found!";
376     return failure(true);  // Two ModuleGlobal blocks?
377   }
378
379   // Read global variables...
380   unsigned VarType;
381   if (read_vbr(Buf, End, VarType)) return failure(true);
382   while (VarType != Type::VoidTyID) { // List is terminated by Void
383     // VarType Fields: bit0 = isConstant, bit1 = hasInitializer, bit2+ = slot#
384     const Type *Ty = getType(VarType >> 2);
385     if (!Ty || !Ty->isPointerType()) { 
386       Error = "Global not pointer type!  Ty = " + Ty->getDescription();
387       return failure(true); 
388     }
389
390     const PointerType *PTy = cast<const PointerType>(Ty);
391     const Type *ElTy = PTy->getValueType();
392
393     ConstPoolVal *Initializer = 0;
394     if (VarType & 2) { // Does it have an initalizer?
395       // Do not improvise... values must have been stored in the constant pool,
396       // which should have been read before now.
397       //
398       unsigned InitSlot;
399       if (read_vbr(Buf, End, InitSlot)) return failure(true);
400       
401       Value *V = getValue(ElTy, InitSlot, false);
402       if (V == 0) return failure(true);
403       Initializer = cast<ConstPoolVal>(V);
404     }
405
406     // Create the global variable...
407     GlobalVariable *GV = new GlobalVariable(ElTy, VarType & 1, Initializer);
408     int DestSlot = insertValue(GV, ModuleValues);
409     if (DestSlot == -1) return failure(true);
410
411     Mod->getGlobalList().push_back(GV);
412
413     DeclareNewGlobalValue(GV, unsigned(DestSlot));
414
415     BCR_TRACE(2, "Global Variable of type: " << PTy->getDescription() 
416               << " into slot #" << DestSlot << endl);
417
418     if (read_vbr(Buf, End, VarType)) return failure(true);
419   }
420
421   // Read the method signatures for all of the methods that are coming, and 
422   // create fillers in the Value tables.
423   unsigned MethSignature;
424   if (read_vbr(Buf, End, MethSignature)) return failure(true);
425   while (MethSignature != Type::VoidTyID) { // List is terminated by Void
426     const Type *Ty = getType(MethSignature);
427     if (!Ty || !isa<PointerType>(Ty) ||
428         !isa<MethodType>(cast<PointerType>(Ty)->getValueType())) { 
429       Error = "Method not ptr to meth type!  Ty = " + Ty->getDescription();
430       return failure(true); 
431     }
432     
433     // We create methods by passing the underlying MethodType to create...
434     Ty = cast<PointerType>(Ty)->getValueType();
435
436     // When the ModuleGlobalInfo section is read, we load the type of each 
437     // method and the 'ModuleValues' slot that it lands in.  We then load a 
438     // placeholder into its slot to reserve it.  When the method is loaded, this
439     // placeholder is replaced.
440
441     // Insert the placeholder...
442     Value *Val = new MethPHolder(Ty, 0);
443     if (insertValue(Val, ModuleValues) == -1) return failure(true);
444
445     // Figure out which entry of its typeslot it went into...
446     unsigned TypeSlot;
447     if (getTypeSlot(Val->getType(), TypeSlot)) return failure(true);
448
449     unsigned SlotNo = ModuleValues[TypeSlot].size()-1;
450     
451     // Keep track of this information in a linked list that is emptied as 
452     // methods are loaded...
453     //
454     MethodSignatureList.push_back(
455            make_pair(cast<const PointerType>(Val->getType()), SlotNo));
456     if (read_vbr(Buf, End, MethSignature)) return failure(true);
457     BCR_TRACE(2, "Method of type: " << Ty << endl);
458   }
459
460   if (align32(Buf, End)) return failure(true);
461
462   // This is for future proofing... in the future extra fields may be added that
463   // we don't understand, so we transparently ignore them.
464   //
465   Buf = End;
466   return false;
467 }
468
469 bool BytecodeParser::ParseModule(const uchar *Buf, const uchar *EndBuf, 
470                                 Module *&C) {
471
472   unsigned Type, Size;
473   if (readBlock(Buf, EndBuf, Type, Size)) return failure(true);
474   if (Type != BytecodeFormat::Module || Buf+Size != EndBuf) {
475     Error = "Expected Module packet!";
476     return failure(true);                      // Hrm, not a class?
477   }
478
479   BCR_TRACE(0, "BLOCK BytecodeFormat::Module: {\n");
480   MethodSignatureList.clear();                 // Just in case...
481
482   // Read into instance variables...
483   if (read_vbr(Buf, EndBuf, FirstDerivedTyID)) return failure(true);
484   if (align32(Buf, EndBuf)) return failure(true);
485   BCR_TRACE(1, "FirstDerivedTyID = " << FirstDerivedTyID << "\n");
486
487   TheModule = C = new Module();
488   while (Buf < EndBuf) {
489     const uchar *OldBuf = Buf;
490     if (readBlock(Buf, EndBuf, Type, Size)) { delete C; return failure(true); }
491     switch (Type) {
492     case BytecodeFormat::ConstantPool:
493       BCR_TRACE(1, "BLOCK BytecodeFormat::ConstantPool: {\n");
494       if (ParseConstantPool(Buf, Buf+Size, ModuleValues, ModuleTypeValues)) {
495         delete C; return failure(true);
496       }
497       break;
498
499     case BytecodeFormat::ModuleGlobalInfo:
500       BCR_TRACE(1, "BLOCK BytecodeFormat::ModuleGlobalInfo: {\n");
501
502       if (ParseModuleGlobalInfo(Buf, Buf+Size, C)) {
503         delete C; return failure(true);
504       }
505       break;
506
507     case BytecodeFormat::Method: {
508       BCR_TRACE(1, "BLOCK BytecodeFormat::Method: {\n");
509       if (ParseMethod(Buf, Buf+Size, C)) {
510         delete C; return failure(true);               // Error parsing method
511       }
512       break;
513     }
514
515     case BytecodeFormat::SymbolTable:
516       BCR_TRACE(1, "BLOCK BytecodeFormat::SymbolTable: {\n");
517       if (ParseSymbolTable(Buf, Buf+Size, C->getSymbolTableSure())) {
518         delete C; return failure(true);
519       }
520       break;
521
522     default:
523       Error = "Expected Module Block!";
524       Buf += Size;
525       if (OldBuf > Buf) return failure(true); // Wrap around!
526       break;
527     }
528     BCR_TRACE(1, "} end block\n");
529     if (align32(Buf, EndBuf)) { delete C; return failure(true); }
530   }
531
532   if (!MethodSignatureList.empty()) {     // Expected more methods!
533     Error = "Method expected, but bytecode stream at end!";
534     return failure(true);
535   }
536
537   BCR_TRACE(0, "} end block\n\n");
538   return false;
539 }
540
541 Module *BytecodeParser::ParseBytecode(const uchar *Buf, const uchar *EndBuf) {
542   LateResolveValues.clear();
543   unsigned Sig;
544   // Read and check signature...
545   if (read(Buf, EndBuf, Sig) ||
546       Sig != ('l' | ('l' << 8) | ('v' << 16) | 'm' << 24)) {
547     Error = "Invalid bytecode signature!";
548     return failure<Module*>(0);                          // Invalid signature!
549   }
550
551   Module *Result;
552   if (ParseModule(Buf, EndBuf, Result)) return 0;
553   return Result;
554 }
555
556
557 Module *ParseBytecodeBuffer(const uchar *Buffer, unsigned Length) {
558   BytecodeParser Parser;
559   return Parser.ParseBytecode(Buffer, Buffer+Length);
560 }
561
562 // Parse and return a class file...
563 //
564 Module *ParseBytecodeFile(const string &Filename, string *ErrorStr) {
565   struct stat StatBuf;
566   Module *Result = 0;
567
568   if (Filename != string("-")) {        // Read from a file...
569     int FD = open(Filename.c_str(), O_RDONLY);
570     if (FD == -1) {
571       if (ErrorStr) *ErrorStr = "Error opening file!";
572       return failure<Module*>(0);
573     }
574
575     if (fstat(FD, &StatBuf) == -1) { close(FD); return failure<Module*>(0); }
576
577     int Length = StatBuf.st_size;
578     if (Length == 0) { 
579       if (ErrorStr) *ErrorStr = "Error stat'ing file!";
580       close(FD); return failure<Module*>(0); 
581     }
582     uchar *Buffer = (uchar*)mmap(0, Length, PROT_READ, 
583                                 MAP_PRIVATE, FD, 0);
584     if (Buffer == (uchar*)-1) {
585       if (ErrorStr) *ErrorStr = "Error mmapping file!";
586       close(FD); return failure<Module*>(0);
587     }
588
589     BytecodeParser Parser;
590     Result  = Parser.ParseBytecode(Buffer, Buffer+Length);
591
592     munmap((char*)Buffer, Length);
593     close(FD);
594     if (ErrorStr) *ErrorStr = Parser.getError();
595   } else {                              // Read from stdin
596     size_t FileSize = 0;
597     int BlockSize;
598     uchar Buffer[4096], *FileData = 0;
599     while ((BlockSize = read(0, Buffer, 4))) {
600       if (BlockSize == -1) { free(FileData); return failure<Module*>(0); }
601
602       FileData = (uchar*)realloc(FileData, FileSize+BlockSize);
603       memcpy(FileData+FileSize, Buffer, BlockSize);
604       FileSize += BlockSize;
605     }
606
607     if (FileSize == 0) {
608       if (ErrorStr) *ErrorStr = "Standard Input empty!";
609       free(FileData); return failure<Module*>(0);
610     }
611
612 #define ALIGN_PTRS 1
613 #if ALIGN_PTRS
614     uchar *Buf = (uchar*)mmap(0, FileSize, PROT_READ|PROT_WRITE, 
615                               MAP_PRIVATE|MAP_ANONYMOUS, -1, 0);
616     assert((Buf != (uchar*)-1) && "mmap returned error!");
617     memcpy(Buf, FileData, FileSize);
618     free(FileData);
619 #else
620     uchar *Buf = FileData;
621 #endif
622
623     BytecodeParser Parser;
624     Result = Parser.ParseBytecode(Buf, Buf+FileSize);
625
626 #if ALIGN_PTRS
627     munmap((char*)Buf, FileSize);   // Free mmap'd data area
628 #else
629     free(FileData);          // Free realloc'd block of memory
630 #endif
631
632     if (ErrorStr) *ErrorStr = Parser.getError();
633   }
634
635   return Result;
636 }