1
0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-24 19:52:54 +01:00

Make sure only one copy of a filter is placed in the

exception handling table if we encounter it multiple
times.  Filters could be folded harder than this, but
that would mean a lot more work for not much gain.

llvm-svn: 37908
This commit is contained in:
Duncan Sands 2007-07-05 15:15:01 +00:00
parent 0600ad407b
commit eca2fa295b
2 changed files with 26 additions and 3 deletions

View File

@ -1022,6 +1022,11 @@ private:
// //
std::vector<unsigned> FilterIds; std::vector<unsigned> FilterIds;
// FilterEnds - List of the indices in FilterIds corresponding to filter
// terminators.
//
std::vector<unsigned> FilterEnds;
// Personalities - Vector of all personality functions ever seen. Used to emit // Personalities - Vector of all personality functions ever seen. Used to emit
// common EH frames. // common EH frames.
std::vector<Function *> Personalities; std::vector<Function *> Personalities;

View File

@ -1522,6 +1522,7 @@ void MachineModuleInfo::EndFunction() {
LandingPads.clear(); LandingPads.clear();
TypeInfos.clear(); TypeInfos.clear();
FilterIds.clear(); FilterIds.clear();
FilterEnds.clear();
} }
/// getDescFor - Convert a Value to a debug information descriptor. /// getDescFor - Convert a Value to a debug information descriptor.
@ -1772,13 +1773,30 @@ unsigned MachineModuleInfo::getTypeIDFor(GlobalVariable *TI) {
/// getFilterIDFor - Return the filter id for the specified typeinfos. This is /// getFilterIDFor - Return the filter id for the specified typeinfos. This is
/// function wide. /// function wide.
int MachineModuleInfo::getFilterIDFor(std::vector<unsigned> &TyIds) { int MachineModuleInfo::getFilterIDFor(std::vector<unsigned> &TyIds) {
// TODO: map duplicate filters to the same filter id; a filter equal to the // If the new filter coincides with the tail of an existing filter, then
// tail of an existing filter also need not be added; re-order filters and // re-use the existing filter. Folding filters more than this requires
// filter elements to maximize this kind of sharing. // re-ordering filters and/or their elements - probably not worth it.
for (std::vector<unsigned>::iterator I = FilterEnds.begin(),
E = FilterEnds.end(); I != E; ++I) {
unsigned i = *I, j = TyIds.size();
while (i && j)
if (FilterIds[--i] != TyIds[--j])
goto try_next;
if (!j)
// The new filter coincides with range [i, end) of the existing filter.
return -(1 + i);
try_next:;
}
// Add the new filter.
int FilterID = -(1 + FilterIds.size()); int FilterID = -(1 + FilterIds.size());
FilterIds.reserve(FilterIds.size() + TyIds.size() + 1); FilterIds.reserve(FilterIds.size() + TyIds.size() + 1);
for (unsigned I = 0, N = TyIds.size(); I != N; ++I) for (unsigned I = 0, N = TyIds.size(); I != N; ++I)
FilterIds.push_back(TyIds[I]); FilterIds.push_back(TyIds[I]);
FilterEnds.push_back(FilterIds.size());
FilterIds.push_back(0); // terminator FilterIds.push_back(0); // terminator
return FilterID; return FilterID;
} }