Searched refs:while_body_replacements (Results 1 – 1 of 1) sorted by relevance
133 while_body_replacements = make_while_computation_replacements(while_body); in RemoveDeadTupleIndices() local140 while_body_replacements.emplace( in RemoveDeadTupleIndices()143 while_body->CloneWithReplacements(std::move(while_body_replacements)); in RemoveDeadTupleIndices()