// Copyright (c) Microsoft Corporation. All rights reserved. // Licensed under the MIT license. #include #include "utils.h" int main(int argc, char **argv) { if (argc != 3) { std::cout << argv[0] << " input_uint32_bin output_int8_bin" << std::endl; exit(-1); } uint32_t *input; size_t npts, nd; diskann::load_bin(argv[1], input, npts, nd); uint8_t *output = new uint8_t[npts * nd]; diskann::convert_types(input, output, npts, nd); diskann::save_bin(argv[2], output, npts, nd); delete[] output; delete[] input; }