template<typename T>

void handleResume(T* curr) {

// Connect handled tags with their branch targets, and materialize non-null

// exnref values.

auto numTags = curr->handlerTags.size();

for (Index tagIndex = 0; tagIndex < numTags; tagIndex++) {

auto tag = curr->handlerTags[tagIndex];

auto target = curr->handlerBlocks[tagIndex];

auto params = getModule()->getTag(tag)->params();

// Add the values from the tag.

for (Index i = 0; i < params.size(); i++) {

if (isRelevant(params[i])) {

info.links.push_back(

{TagLocation{tag, i}, getBreakTargetLocation(target, i)});

}

}

// Add the continuation.

auto location = getRootLocation(Type(HeapType::cont, NonNullable));

info.links.push_back(

{location, getBreakTargetLocation(target, params.size())});

}

}

void visitResume(Resume* curr) {

handleResume(curr);

handleResume(curr);