max = llvm::APIntOps::smax(val, max);
  }

  for (int64_t bw = 8; bw < min.getBitWidth(); bw += bw) {
    mlir::APInt limitMin =
        mlir::APInt::getSignedMinValue(bw).sext(min.getBitWidth());
    mlir::APInt limitMax =
        mlir::APInt::getSignedMaxValue(bw).sext(min.getBitWidth());

    // Skips to the next bitwidth if the min and max values are out of the range
    // for the current bitwidth.

  }
  for (auto element : attr) {
    if (mlir::isa<StringAttr>(element)) {
      continue;
    }
    if (auto integer = mlir::dyn_cast<IntegerAttr>(element)) {
      if (integer.getValue().getBitWidth() == 64) {
        continue;
      }
    }
    return op->emitError() << "'" << kTfSavedModelIndexPathAttr
                           << "' elements should be strings or 64-bit integers";
  }