void
Win64Object::DirEndProcFrame(DirectiveInfo& info, Diagnostic& diags)
{
assert(info.isObject(m_object));
SourceLocation source = info.getSource();
if (!m_proc_frame.isValid())
{
diags.Report(source,
diags.getCustomDiagID(Diagnostic::Error,
"no preceding [PROC_FRAME]"));
return;
}
if (!m_done_prolog.isValid())
{
diags.Report(info.getSource(),
diags.getCustomDiagID(Diagnostic::Error,
"ended procedure without ending prologue"));
diags.Report(m_proc_frame,
diags.getCustomDiagID(Diagnostic::Note,
"procedure started here"));
m_unwind.reset(0);
m_proc_frame = SourceLocation();
return;
}
assert(m_unwind.get() != 0 && "unwind info not present");
SymbolRef proc_sym = m_unwind->getProc();
SymbolRef curpos = m_object.getSymbol(info.getLocation());
//
// Add unwind info to end of .xdata section.
//
Section* xdata = m_object.FindSection(".xdata");
// Create xdata section if needed.
if (!xdata)
xdata = AppendSection(".xdata", source, diags);
// Get current position in .xdata section.
SymbolRef unwindpos = m_object.AddNonTableSymbol("$");
Location unwindpos_loc =
{&xdata->bytecodes_back(), xdata->bytecodes_back().getFixedLen()};
unwindpos->DefineLabel(unwindpos_loc);
// Get symbol for .xdata as we'll want to reference it with WRT.
SymbolRef xdata_sym = xdata->getAssocData<CoffSection>()->m_sym;
// Add unwind info. Use line number of start of procedure.
Arch& arch = *m_object.getArch();
Generate(m_unwind, *xdata, m_proc_frame, arch, diags);
//
// Add function lookup to end of .pdata section.
//
Section* pdata = m_object.FindSection(".pdata");
// Initialize pdata section if needed.
if (!pdata)
pdata = AppendSection(".pdata", source, diags);
// Add function structure to end of .pdata
AppendData(*pdata, std::auto_ptr<Expr>(new Expr(proc_sym)), 4, arch,
source, diags);
AppendData(*pdata, std::auto_ptr<Expr>(new Expr(WRT(curpos, proc_sym))),
4, arch, source, diags);
AppendData(*pdata,
std::auto_ptr<Expr>(new Expr(WRT(unwindpos, xdata_sym))),
4, arch, source, diags);
m_proc_frame = SourceLocation();
m_done_prolog = SourceLocation();
}
void
XdfOutput::OutputSection(Section& sect)
{
BytecodeOutput* outputter = this;
XdfSection* xsect = sect.getAssocData<XdfSection>();
assert(xsect != NULL);
uint64_t pos;
if (sect.isBSS())
{
// Don't output BSS sections.
outputter = &m_no_output;
pos = 0; // position = 0 because it's not in the file
}
else
{
pos = m_os.tell();
if (m_os.has_error())
{
Diag(SourceLocation(), diag::err_file_output_position);
return;
}
}
// Output bytecodes
xsect->size = 0;
for (Section::bc_iterator i=sect.bytecodes_begin(),
end=sect.bytecodes_end(); i != end; ++i)
{
if (i->Output(*outputter))
xsect->size += i->getTotalLen();
}
// Sanity check final section size
assert(xsect->size == sect.bytecodes_back().getNextOffset());
// Empty? Go on to next section
if (xsect->size == 0)
return;
sect.setFilePos(static_cast<unsigned long>(pos));
// No relocations to output? Go on to next section
if (sect.getRelocs().size() == 0)
return;
pos = m_os.tell();
if (m_os.has_error())
{
Diag(SourceLocation(), diag::err_file_output_position);
return;
}
xsect->relptr = static_cast<unsigned long>(pos);
for (Section::const_reloc_iterator i=sect.relocs_begin(),
end=sect.relocs_end(); i != end; ++i)
{
const XdfReloc& reloc = static_cast<const XdfReloc&>(*i);
Bytes& scratch = getScratch();
reloc.Write(scratch);
assert(scratch.size() == RELOC_SIZE);
m_os << scratch;
}
}
