} else if (results[i].getDefiningOp()) {
      FindConsumedOp(results[i].getDefiningOp(), consumed_ops);
    }
  }
  // Remove elements and operations in while_body that are not indispensable.
  yield_op.eraseOperands(erase_indices);
  // Remove ops from bottom to top.
  for (Operation &op :
       llvm::make_early_inc_range(reverse(body.getOperations())))
    // Constant will not be removed in case it is implicitly used.

    new_body_block.eraseArguments(removed_operand);
    new_body_yield.eraseOperands(removed_operand);
    if (cond_forwards_args) {
      BitVector removed_operand_plus_one = removed_operand;
      removed_operand_plus_one.resize(removed_operand.size() + 1);
      removed_operand_plus_one <<= 1;
      new_cond_yield.eraseOperands(removed_operand_plus_one);
    }