1 //===- DWARFDebugFrame.h - Parsing of .debug_frame ------------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 
9 #include "llvm/DebugInfo/DWARF/DWARFDebugFrame.h"
10 #include "llvm/ADT/DenseMap.h"
11 #include "llvm/ADT/Optional.h"
12 #include "llvm/ADT/StringExtras.h"
13 #include "llvm/ADT/StringRef.h"
14 #include "llvm/BinaryFormat/Dwarf.h"
15 #include "llvm/Support/Casting.h"
16 #include "llvm/Support/Compiler.h"
17 #include "llvm/Support/DataExtractor.h"
18 #include "llvm/Support/Errc.h"
19 #include "llvm/Support/ErrorHandling.h"
20 #include "llvm/Support/Format.h"
21 #include "llvm/Support/raw_ostream.h"
22 #include <algorithm>
23 #include <cassert>
24 #include <cinttypes>
25 #include <cstdint>
26 #include <string>
27 #include <vector>
28 
29 using namespace llvm;
30 using namespace dwarf;
31 
32 
33 // See DWARF standard v3, section 7.23
34 const uint8_t DWARF_CFI_PRIMARY_OPCODE_MASK = 0xc0;
35 const uint8_t DWARF_CFI_PRIMARY_OPERAND_MASK = 0x3f;
36 
37 Error CFIProgram::parse(DWARFDataExtractor Data, uint64_t *Offset,
38                         uint64_t EndOffset) {
39   while (*Offset < EndOffset) {
40     uint8_t Opcode = Data.getRelocatedValue(1, Offset);
41     // Some instructions have a primary opcode encoded in the top bits.
42     uint8_t Primary = Opcode & DWARF_CFI_PRIMARY_OPCODE_MASK;
43 
44     if (Primary) {
45       // If it's a primary opcode, the first operand is encoded in the bottom
46       // bits of the opcode itself.
47       uint64_t Op1 = Opcode & DWARF_CFI_PRIMARY_OPERAND_MASK;
48       switch (Primary) {
49       default:
50         return createStringError(errc::illegal_byte_sequence,
51                                  "Invalid primary CFI opcode 0x%" PRIx8,
52                                  Primary);
53       case DW_CFA_advance_loc:
54       case DW_CFA_restore:
55         addInstruction(Primary, Op1);
56         break;
57       case DW_CFA_offset:
58         addInstruction(Primary, Op1, Data.getULEB128(Offset));
59         break;
60       }
61     } else {
62       // Extended opcode - its value is Opcode itself.
63       switch (Opcode) {
64       default:
65         return createStringError(errc::illegal_byte_sequence,
66                                  "Invalid extended CFI opcode 0x%" PRIx8,
67                                  Opcode);
68       case DW_CFA_nop:
69       case DW_CFA_remember_state:
70       case DW_CFA_restore_state:
71       case DW_CFA_GNU_window_save:
72         // No operands
73         addInstruction(Opcode);
74         break;
75       case DW_CFA_set_loc:
76         // Operands: Address
77         addInstruction(Opcode, Data.getRelocatedAddress(Offset));
78         break;
79       case DW_CFA_advance_loc1:
80         // Operands: 1-byte delta
81         addInstruction(Opcode, Data.getRelocatedValue(1, Offset));
82         break;
83       case DW_CFA_advance_loc2:
84         // Operands: 2-byte delta
85         addInstruction(Opcode, Data.getRelocatedValue(2, Offset));
86         break;
87       case DW_CFA_advance_loc4:
88         // Operands: 4-byte delta
89         addInstruction(Opcode, Data.getRelocatedValue(4, Offset));
90         break;
91       case DW_CFA_restore_extended:
92       case DW_CFA_undefined:
93       case DW_CFA_same_value:
94       case DW_CFA_def_cfa_register:
95       case DW_CFA_def_cfa_offset:
96       case DW_CFA_GNU_args_size:
97         // Operands: ULEB128
98         addInstruction(Opcode, Data.getULEB128(Offset));
99         break;
100       case DW_CFA_def_cfa_offset_sf:
101         // Operands: SLEB128
102         addInstruction(Opcode, Data.getSLEB128(Offset));
103         break;
104       case DW_CFA_offset_extended:
105       case DW_CFA_register:
106       case DW_CFA_def_cfa:
107       case DW_CFA_val_offset: {
108         // Operands: ULEB128, ULEB128
109         // Note: We can not embed getULEB128 directly into function
110         // argument list. getULEB128 changes Offset and order of evaluation
111         // for arguments is unspecified.
112         auto op1 = Data.getULEB128(Offset);
113         auto op2 = Data.getULEB128(Offset);
114         addInstruction(Opcode, op1, op2);
115         break;
116         }
117         case DW_CFA_offset_extended_sf:
118         case DW_CFA_def_cfa_sf:
119         case DW_CFA_val_offset_sf: {
120           // Operands: ULEB128, SLEB128
121           // Note: see comment for the previous case
122           auto op1 = Data.getULEB128(Offset);
123           auto op2 = (uint64_t)Data.getSLEB128(Offset);
124           addInstruction(Opcode, op1, op2);
125           break;
126         }
127         case DW_CFA_def_cfa_expression: {
128           uint32_t ExprLength = Data.getULEB128(Offset);
129           addInstruction(Opcode, 0);
130           DataExtractor Extractor(
131               Data.getData().slice(*Offset, *Offset + ExprLength),
132               Data.isLittleEndian(), Data.getAddressSize());
133           Instructions.back().Expression =
134               DWARFExpression(Extractor, Data.getAddressSize());
135           *Offset += ExprLength;
136           break;
137         }
138         case DW_CFA_expression:
139         case DW_CFA_val_expression: {
140           auto RegNum = Data.getULEB128(Offset);
141           auto BlockLength = Data.getULEB128(Offset);
142           addInstruction(Opcode, RegNum, 0);
143           DataExtractor Extractor(
144               Data.getData().slice(*Offset, *Offset + BlockLength),
145               Data.isLittleEndian(), Data.getAddressSize());
146           Instructions.back().Expression =
147               DWARFExpression(Extractor, Data.getAddressSize());
148           *Offset += BlockLength;
149           break;
150         }
151       }
152     }
153   }
154 
155   return Error::success();
156 }
157 
158 namespace {
159 
160 
161 } // end anonymous namespace
162 
163 ArrayRef<CFIProgram::OperandType[2]> CFIProgram::getOperandTypes() {
164   static OperandType OpTypes[DW_CFA_restore+1][2];
165   static bool Initialized = false;
166   if (Initialized) {
167     return ArrayRef<OperandType[2]>(&OpTypes[0], DW_CFA_restore+1);
168   }
169   Initialized = true;
170 
171 #define DECLARE_OP2(OP, OPTYPE0, OPTYPE1)       \
172   do {                                          \
173     OpTypes[OP][0] = OPTYPE0;                   \
174     OpTypes[OP][1] = OPTYPE1;                   \
175   } while (false)
176 #define DECLARE_OP1(OP, OPTYPE0) DECLARE_OP2(OP, OPTYPE0, OT_None)
177 #define DECLARE_OP0(OP) DECLARE_OP1(OP, OT_None)
178 
179   DECLARE_OP1(DW_CFA_set_loc, OT_Address);
180   DECLARE_OP1(DW_CFA_advance_loc, OT_FactoredCodeOffset);
181   DECLARE_OP1(DW_CFA_advance_loc1, OT_FactoredCodeOffset);
182   DECLARE_OP1(DW_CFA_advance_loc2, OT_FactoredCodeOffset);
183   DECLARE_OP1(DW_CFA_advance_loc4, OT_FactoredCodeOffset);
184   DECLARE_OP1(DW_CFA_MIPS_advance_loc8, OT_FactoredCodeOffset);
185   DECLARE_OP2(DW_CFA_def_cfa, OT_Register, OT_Offset);
186   DECLARE_OP2(DW_CFA_def_cfa_sf, OT_Register, OT_SignedFactDataOffset);
187   DECLARE_OP1(DW_CFA_def_cfa_register, OT_Register);
188   DECLARE_OP1(DW_CFA_def_cfa_offset, OT_Offset);
189   DECLARE_OP1(DW_CFA_def_cfa_offset_sf, OT_SignedFactDataOffset);
190   DECLARE_OP1(DW_CFA_def_cfa_expression, OT_Expression);
191   DECLARE_OP1(DW_CFA_undefined, OT_Register);
192   DECLARE_OP1(DW_CFA_same_value, OT_Register);
193   DECLARE_OP2(DW_CFA_offset, OT_Register, OT_UnsignedFactDataOffset);
194   DECLARE_OP2(DW_CFA_offset_extended, OT_Register, OT_UnsignedFactDataOffset);
195   DECLARE_OP2(DW_CFA_offset_extended_sf, OT_Register, OT_SignedFactDataOffset);
196   DECLARE_OP2(DW_CFA_val_offset, OT_Register, OT_UnsignedFactDataOffset);
197   DECLARE_OP2(DW_CFA_val_offset_sf, OT_Register, OT_SignedFactDataOffset);
198   DECLARE_OP2(DW_CFA_register, OT_Register, OT_Register);
199   DECLARE_OP2(DW_CFA_expression, OT_Register, OT_Expression);
200   DECLARE_OP2(DW_CFA_val_expression, OT_Register, OT_Expression);
201   DECLARE_OP1(DW_CFA_restore, OT_Register);
202   DECLARE_OP1(DW_CFA_restore_extended, OT_Register);
203   DECLARE_OP0(DW_CFA_remember_state);
204   DECLARE_OP0(DW_CFA_restore_state);
205   DECLARE_OP0(DW_CFA_GNU_window_save);
206   DECLARE_OP1(DW_CFA_GNU_args_size, OT_Offset);
207   DECLARE_OP0(DW_CFA_nop);
208 
209 #undef DECLARE_OP0
210 #undef DECLARE_OP1
211 #undef DECLARE_OP2
212 
213   return ArrayRef<OperandType[2]>(&OpTypes[0], DW_CFA_restore+1);
214 }
215 
216 /// Print \p Opcode's operand number \p OperandIdx which has value \p Operand.
217 void CFIProgram::printOperand(raw_ostream &OS, const MCRegisterInfo *MRI,
218                               bool IsEH, const Instruction &Instr,
219                               unsigned OperandIdx, uint64_t Operand) const {
220   assert(OperandIdx < 2);
221   uint8_t Opcode = Instr.Opcode;
222   OperandType Type = getOperandTypes()[Opcode][OperandIdx];
223 
224   switch (Type) {
225   case OT_Unset: {
226     OS << " Unsupported " << (OperandIdx ? "second" : "first") << " operand to";
227     auto OpcodeName = CallFrameString(Opcode, Arch);
228     if (!OpcodeName.empty())
229       OS << " " << OpcodeName;
230     else
231       OS << format(" Opcode %x",  Opcode);
232     break;
233   }
234   case OT_None:
235     break;
236   case OT_Address:
237     OS << format(" %" PRIx64, Operand);
238     break;
239   case OT_Offset:
240     // The offsets are all encoded in a unsigned form, but in practice
241     // consumers use them signed. It's most certainly legacy due to
242     // the lack of signed variants in the first Dwarf standards.
243     OS << format(" %+" PRId64, int64_t(Operand));
244     break;
245   case OT_FactoredCodeOffset: // Always Unsigned
246     if (CodeAlignmentFactor)
247       OS << format(" %" PRId64, Operand * CodeAlignmentFactor);
248     else
249       OS << format(" %" PRId64 "*code_alignment_factor" , Operand);
250     break;
251   case OT_SignedFactDataOffset:
252     if (DataAlignmentFactor)
253       OS << format(" %" PRId64, int64_t(Operand) * DataAlignmentFactor);
254     else
255       OS << format(" %" PRId64 "*data_alignment_factor" , int64_t(Operand));
256     break;
257   case OT_UnsignedFactDataOffset:
258     if (DataAlignmentFactor)
259       OS << format(" %" PRId64, Operand * DataAlignmentFactor);
260     else
261       OS << format(" %" PRId64 "*data_alignment_factor" , Operand);
262     break;
263   case OT_Register:
264     OS << format(" reg%" PRId64, Operand);
265     break;
266   case OT_Expression:
267     assert(Instr.Expression && "missing DWARFExpression object");
268     OS << " ";
269     Instr.Expression->print(OS, MRI, nullptr, IsEH);
270     break;
271   }
272 }
273 
274 void CFIProgram::dump(raw_ostream &OS, const MCRegisterInfo *MRI, bool IsEH,
275                       unsigned IndentLevel) const {
276   for (const auto &Instr : Instructions) {
277     uint8_t Opcode = Instr.Opcode;
278     if (Opcode & DWARF_CFI_PRIMARY_OPCODE_MASK)
279       Opcode &= DWARF_CFI_PRIMARY_OPCODE_MASK;
280     OS.indent(2 * IndentLevel);
281     OS << CallFrameString(Opcode, Arch) << ":";
282     for (unsigned i = 0; i < Instr.Ops.size(); ++i)
283       printOperand(OS, MRI, IsEH, Instr, i, Instr.Ops[i]);
284     OS << '\n';
285   }
286 }
287 
288 void CIE::dump(raw_ostream &OS, const MCRegisterInfo *MRI, bool IsEH) const {
289   OS << format("%08x %08x %08x CIE", (uint32_t)Offset, (uint32_t)Length,
290                IsEH ? 0 : DW_CIE_ID)
291      << "\n";
292   OS << format("  Version:               %d\n", Version);
293   OS << "  Augmentation:          \"" << Augmentation << "\"\n";
294   if (Version >= 4) {
295     OS << format("  Address size:          %u\n", (uint32_t)AddressSize);
296     OS << format("  Segment desc size:     %u\n",
297                  (uint32_t)SegmentDescriptorSize);
298   }
299   OS << format("  Code alignment factor: %u\n", (uint32_t)CodeAlignmentFactor);
300   OS << format("  Data alignment factor: %d\n", (int32_t)DataAlignmentFactor);
301   OS << format("  Return address column: %d\n", (int32_t)ReturnAddressRegister);
302   if (Personality)
303     OS << format("  Personality Address: %016" PRIx64 "\n", *Personality);
304   if (!AugmentationData.empty()) {
305     OS << "  Augmentation data:    ";
306     for (uint8_t Byte : AugmentationData)
307       OS << ' ' << hexdigit(Byte >> 4) << hexdigit(Byte & 0xf);
308     OS << "\n";
309   }
310   OS << "\n";
311   CFIs.dump(OS, MRI, IsEH);
312   OS << "\n";
313 }
314 
315 void FDE::dump(raw_ostream &OS, const MCRegisterInfo *MRI, bool IsEH) const {
316   OS << format("%08x %08x %08x", (uint32_t)Offset, (uint32_t)Length,
317                (uint32_t)CIEPointer)
318      << " FDE cie=";
319   if (LinkedCIE)
320     OS << format("%08x", (uint32_t)(LinkedCIE->getOffset()));
321   else
322     OS << "<invalid offset>";
323   OS << format(" pc=%08x...%08x\n", (uint32_t)InitialLocation,
324                (uint32_t)InitialLocation + (uint32_t)AddressRange);
325   if (LSDAAddress)
326     OS << format("  LSDA Address: %016" PRIx64 "\n", *LSDAAddress);
327   CFIs.dump(OS, MRI, IsEH);
328   OS << "\n";
329 }
330 
331 DWARFDebugFrame::DWARFDebugFrame(Triple::ArchType Arch,
332     bool IsEH, uint64_t EHFrameAddress)
333     : Arch(Arch), IsEH(IsEH), EHFrameAddress(EHFrameAddress) {}
334 
335 DWARFDebugFrame::~DWARFDebugFrame() = default;
336 
337 static void LLVM_ATTRIBUTE_UNUSED dumpDataAux(DataExtractor Data,
338                                               uint64_t Offset, int Length) {
339   errs() << "DUMP: ";
340   for (int i = 0; i < Length; ++i) {
341     uint8_t c = Data.getU8(&Offset);
342     errs().write_hex(c); errs() << " ";
343   }
344   errs() << "\n";
345 }
346 
347 // This is a workaround for old compilers which do not allow
348 // noreturn attribute usage in lambdas. Once the support for those
349 // compilers are phased out, we can remove this and return back to
350 // a ReportError lambda: [StartOffset](const char *ErrorMsg).
351 static void LLVM_ATTRIBUTE_NORETURN ReportError(uint64_t StartOffset,
352                                                 const char *ErrorMsg) {
353   std::string Str;
354   raw_string_ostream OS(Str);
355   OS << format(ErrorMsg, StartOffset);
356   OS.flush();
357   report_fatal_error(Str);
358 }
359 
360 void DWARFDebugFrame::parse(DWARFDataExtractor Data) {
361   uint64_t Offset = 0;
362   DenseMap<uint64_t, CIE *> CIEs;
363 
364   while (Data.isValidOffset(Offset)) {
365     uint64_t StartOffset = Offset;
366 
367     uint64_t Length;
368     DwarfFormat Format;
369     std::tie(Length, Format) = Data.getInitialLength(&Offset);
370     uint64_t Id;
371 
372     // At this point, Offset points to the next field after Length.
373     // Length is the structure size excluding itself. Compute an offset one
374     // past the end of the structure (needed to know how many instructions to
375     // read).
376     uint64_t StartStructureOffset = Offset;
377     uint64_t EndStructureOffset = Offset + Length;
378 
379     // The Id field's size depends on the DWARF format
380     bool IsDWARF64 = Format == DWARF64;
381     Id = Data.getRelocatedValue((IsDWARF64 && !IsEH) ? 8 : 4, &Offset);
382     bool IsCIE =
383         ((IsDWARF64 && Id == DW64_CIE_ID) || Id == DW_CIE_ID || (IsEH && !Id));
384 
385     if (IsCIE) {
386       uint8_t Version = Data.getU8(&Offset);
387       const char *Augmentation = Data.getCStr(&Offset);
388       StringRef AugmentationString(Augmentation ? Augmentation : "");
389       uint8_t AddressSize = Version < 4 ? Data.getAddressSize() :
390                                           Data.getU8(&Offset);
391       Data.setAddressSize(AddressSize);
392       uint8_t SegmentDescriptorSize = Version < 4 ? 0 : Data.getU8(&Offset);
393       uint64_t CodeAlignmentFactor = Data.getULEB128(&Offset);
394       int64_t DataAlignmentFactor = Data.getSLEB128(&Offset);
395       uint64_t ReturnAddressRegister =
396           Version == 1 ? Data.getU8(&Offset) : Data.getULEB128(&Offset);
397 
398       // Parse the augmentation data for EH CIEs
399       StringRef AugmentationData("");
400       uint32_t FDEPointerEncoding = DW_EH_PE_absptr;
401       uint32_t LSDAPointerEncoding = DW_EH_PE_omit;
402       Optional<uint64_t> Personality;
403       Optional<uint32_t> PersonalityEncoding;
404       if (IsEH) {
405         Optional<uint64_t> AugmentationLength;
406         uint64_t StartAugmentationOffset;
407         uint64_t EndAugmentationOffset;
408 
409         // Walk the augmentation string to get all the augmentation data.
410         for (unsigned i = 0, e = AugmentationString.size(); i != e; ++i) {
411           switch (AugmentationString[i]) {
412             default:
413               ReportError(
414                   StartOffset,
415                   "Unknown augmentation character in entry at %" PRIx64);
416             case 'L':
417               LSDAPointerEncoding = Data.getU8(&Offset);
418               break;
419             case 'P': {
420               if (Personality)
421                 ReportError(StartOffset,
422                             "Duplicate personality in entry at %" PRIx64);
423               PersonalityEncoding = Data.getU8(&Offset);
424               Personality = Data.getEncodedPointer(
425                   &Offset, *PersonalityEncoding,
426                   EHFrameAddress ? EHFrameAddress + Offset : 0);
427               break;
428             }
429             case 'R':
430               FDEPointerEncoding = Data.getU8(&Offset);
431               break;
432             case 'S':
433               // Current frame is a signal trampoline.
434               break;
435             case 'z':
436               if (i)
437                 ReportError(StartOffset,
438                             "'z' must be the first character at %" PRIx64);
439               // Parse the augmentation length first.  We only parse it if
440               // the string contains a 'z'.
441               AugmentationLength = Data.getULEB128(&Offset);
442               StartAugmentationOffset = Offset;
443               EndAugmentationOffset = Offset + *AugmentationLength;
444               break;
445             case 'B':
446               // B-Key is used for signing functions associated with this
447               // augmentation string
448               break;
449           }
450         }
451 
452         if (AugmentationLength.hasValue()) {
453           if (Offset != EndAugmentationOffset)
454             ReportError(StartOffset,
455                         "Parsing augmentation data at %" PRIx64 " failed");
456 
457           AugmentationData = Data.getData().slice(StartAugmentationOffset,
458                                                   EndAugmentationOffset);
459         }
460       }
461 
462       auto Cie = std::make_unique<CIE>(
463           StartOffset, Length, Version, AugmentationString, AddressSize,
464           SegmentDescriptorSize, CodeAlignmentFactor, DataAlignmentFactor,
465           ReturnAddressRegister, AugmentationData, FDEPointerEncoding,
466           LSDAPointerEncoding, Personality, PersonalityEncoding, Arch);
467       CIEs[StartOffset] = Cie.get();
468       Entries.emplace_back(std::move(Cie));
469     } else {
470       // FDE
471       uint64_t CIEPointer = Id;
472       uint64_t InitialLocation = 0;
473       uint64_t AddressRange = 0;
474       Optional<uint64_t> LSDAAddress;
475       CIE *Cie = CIEs[IsEH ? (StartStructureOffset - CIEPointer) : CIEPointer];
476 
477       if (IsEH) {
478         // The address size is encoded in the CIE we reference.
479         if (!Cie)
480           ReportError(StartOffset, "Parsing FDE data at %" PRIx64
481                                    " failed due to missing CIE");
482 
483         if (auto Val = Data.getEncodedPointer(
484                 &Offset, Cie->getFDEPointerEncoding(),
485                 EHFrameAddress ? EHFrameAddress + Offset : 0)) {
486           InitialLocation = *Val;
487         }
488         if (auto Val = Data.getEncodedPointer(
489                 &Offset, Cie->getFDEPointerEncoding(), 0)) {
490           AddressRange = *Val;
491         }
492 
493         StringRef AugmentationString = Cie->getAugmentationString();
494         if (!AugmentationString.empty()) {
495           // Parse the augmentation length and data for this FDE.
496           uint64_t AugmentationLength = Data.getULEB128(&Offset);
497 
498           uint64_t EndAugmentationOffset = Offset + AugmentationLength;
499 
500           // Decode the LSDA if the CIE augmentation string said we should.
501           if (Cie->getLSDAPointerEncoding() != DW_EH_PE_omit) {
502             LSDAAddress = Data.getEncodedPointer(
503                 &Offset, Cie->getLSDAPointerEncoding(),
504                 EHFrameAddress ? Offset + EHFrameAddress : 0);
505           }
506 
507           if (Offset != EndAugmentationOffset)
508             ReportError(StartOffset,
509                         "Parsing augmentation data at %" PRIx64 " failed");
510         }
511       } else {
512         InitialLocation = Data.getRelocatedAddress(&Offset);
513         AddressRange = Data.getRelocatedAddress(&Offset);
514       }
515 
516       Entries.emplace_back(new FDE(StartOffset, Length, CIEPointer,
517                                    InitialLocation, AddressRange,
518                                    Cie, LSDAAddress, Arch));
519     }
520 
521     if (Error E =
522             Entries.back()->cfis().parse(Data, &Offset, EndStructureOffset)) {
523       report_fatal_error(toString(std::move(E)));
524     }
525 
526     if (Offset != EndStructureOffset)
527       ReportError(StartOffset,
528                   "Parsing entry instructions at %" PRIx64 " failed");
529   }
530 }
531 
532 FrameEntry *DWARFDebugFrame::getEntryAtOffset(uint64_t Offset) const {
533   auto It = partition_point(Entries, [=](const std::unique_ptr<FrameEntry> &E) {
534     return E->getOffset() < Offset;
535   });
536   if (It != Entries.end() && (*It)->getOffset() == Offset)
537     return It->get();
538   return nullptr;
539 }
540 
541 void DWARFDebugFrame::dump(raw_ostream &OS, const MCRegisterInfo *MRI,
542                            Optional<uint64_t> Offset) const {
543   if (Offset) {
544     if (auto *Entry = getEntryAtOffset(*Offset))
545       Entry->dump(OS, MRI, IsEH);
546     return;
547   }
548 
549   OS << "\n";
550   for (const auto &Entry : Entries)
551     Entry->dump(OS, MRI, IsEH);
552 }
553