2023-09-13 15:19:44 +02:00
|
|
|
#include "llama.h"
|
|
|
|
#include "common.h"
|
2023-10-03 09:16:26 +02:00
|
|
|
#include "unicode.h"
|
2023-09-13 15:19:44 +02:00
|
|
|
#include "console.h"
|
|
|
|
|
|
|
|
#include <cassert>
|
2024-02-13 14:14:22 +01:00
|
|
|
#include <codecvt>
|
2023-09-13 15:19:44 +02:00
|
|
|
#include <cstdio>
|
|
|
|
#include <cstring>
|
2024-02-13 14:14:22 +01:00
|
|
|
#include <locale>
|
2023-09-13 15:19:44 +02:00
|
|
|
#include <string>
|
2024-02-13 14:14:22 +01:00
|
|
|
#include <thread>
|
2023-09-13 15:19:44 +02:00
|
|
|
#include <vector>
|
2024-07-05 19:01:35 +02:00
|
|
|
#include <atomic>
|
2023-09-13 15:19:44 +02:00
|
|
|
|
2024-04-29 15:58:41 +02:00
|
|
|
int main(int argc, char ** argv) {
|
2023-09-13 15:19:44 +02:00
|
|
|
if (argc < 2) {
|
|
|
|
fprintf(stderr, "Usage: %s <vocab-file>\n", argv[0]);
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
const std::string fname = argv[1];
|
|
|
|
|
|
|
|
fprintf(stderr, "%s : reading vocab from: '%s'\n", __func__, fname.c_str());
|
|
|
|
|
|
|
|
llama_model * model;
|
|
|
|
llama_context * ctx;
|
|
|
|
|
2024-02-16 10:31:07 +01:00
|
|
|
llama_backend_init();
|
2023-09-13 15:19:44 +02:00
|
|
|
|
|
|
|
// load the vocab
|
|
|
|
{
|
2023-09-28 21:42:38 +02:00
|
|
|
auto mparams = llama_model_default_params();
|
2023-09-13 15:19:44 +02:00
|
|
|
|
2023-09-28 21:42:38 +02:00
|
|
|
mparams.vocab_only = true;
|
2023-09-13 15:19:44 +02:00
|
|
|
|
2023-09-28 21:42:38 +02:00
|
|
|
model = llama_load_model_from_file(fname.c_str(), mparams);
|
2023-09-13 15:19:44 +02:00
|
|
|
|
|
|
|
if (model == NULL) {
|
|
|
|
fprintf(stderr, "%s: error: failed to load vocab '%s'\n", __func__, fname.c_str());
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
2023-09-28 21:42:38 +02:00
|
|
|
auto cparams = llama_context_default_params();
|
|
|
|
|
|
|
|
ctx = llama_new_context_with_model(model, cparams);
|
2023-09-13 15:19:44 +02:00
|
|
|
|
|
|
|
if (ctx == NULL) {
|
|
|
|
fprintf(stderr, "%s: error: failed to load vocab '%s'\n", __func__, fname.c_str());
|
|
|
|
llama_free_model(model);
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2024-07-05 19:01:35 +02:00
|
|
|
//GGML_ASSERT(llama_vocab_type(model) == LLAMA_VOCAB_TYPE_SPM);
|
|
|
|
if (llama_vocab_type(model) != LLAMA_VOCAB_TYPE_SPM) {
|
|
|
|
return 99;
|
|
|
|
}
|
2023-09-13 15:19:44 +02:00
|
|
|
|
|
|
|
#ifdef _WIN32
|
|
|
|
// We need this for unicode console support
|
|
|
|
console::init(false, false);
|
|
|
|
atexit([]() { console::cleanup(); });
|
|
|
|
#endif
|
|
|
|
|
2023-09-28 21:42:38 +02:00
|
|
|
const int n_vocab = llama_n_vocab(model);
|
2023-09-13 15:19:44 +02:00
|
|
|
|
|
|
|
for (int i = 0; i < n_vocab; ++i) {
|
2024-07-05 19:01:35 +02:00
|
|
|
std::string str = llama_detokenize(ctx, std::vector<int>(1, i), true);
|
|
|
|
std::vector<llama_token> tokens = llama_tokenize(ctx, str, false, true);
|
|
|
|
std::string check = llama_detokenize(ctx, tokens);
|
2023-09-13 15:19:44 +02:00
|
|
|
if (check != str) {
|
2023-09-16 13:41:33 +02:00
|
|
|
fprintf(stderr, "%s : error: token %d detokenizes to '%s'(%zu) but tokenization of this detokenizes to '%s'(%zu)\n",
|
2023-09-13 15:19:44 +02:00
|
|
|
__func__, i, str.c_str(), str.length(), check.c_str(), check.length());
|
2023-09-16 13:41:33 +02:00
|
|
|
return 2;
|
2023-09-13 15:19:44 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2024-02-13 14:14:22 +01:00
|
|
|
// unicode
|
|
|
|
{
|
|
|
|
const int nthread = std::thread::hardware_concurrency();
|
|
|
|
|
|
|
|
std::vector<std::thread> threads(nthread);
|
|
|
|
|
2024-07-05 19:01:35 +02:00
|
|
|
std::atomic_int errcode = {};
|
|
|
|
|
2024-02-13 14:14:22 +01:00
|
|
|
for (int i = 0; i < nthread; ++i) {
|
2024-07-05 19:01:35 +02:00
|
|
|
threads[i] = std::thread([i, nthread, ctx, &errcode]() {
|
|
|
|
for (uint32_t cp = i; !errcode && cp < 0x00110000; cp += nthread) {
|
|
|
|
if ((0x0000D800 <= cp && cp <= 0x0000DFFF) || // surrogates \p{Cs}
|
|
|
|
(0x00040000 <= cp && cp <= 0x000E0000)) { // undefined \p{Cn}
|
2024-02-13 14:14:22 +01:00
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
2024-03-11 16:47:47 +01:00
|
|
|
std::string str = unicode_cpt_to_utf8(cp);
|
2024-07-05 19:01:35 +02:00
|
|
|
std::vector<llama_token> tokens = llama_tokenize(ctx, str, false, true);
|
|
|
|
std::string check = llama_detokenize(ctx, tokens);
|
2024-02-13 14:14:22 +01:00
|
|
|
if (cp != 9601 && str != check) {
|
2024-07-05 19:01:35 +02:00
|
|
|
fprintf(stderr, "error: codepoint 0x%x detokenizes to '%s'(%zu) instead of '%s'(%zu)\n",
|
2024-02-13 14:14:22 +01:00
|
|
|
cp, check.c_str(), check.length(), str.c_str(), str.length());
|
2024-07-05 19:01:35 +02:00
|
|
|
errcode = 3;
|
2024-02-13 14:14:22 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
});
|
2023-09-13 15:19:44 +02:00
|
|
|
}
|
2024-02-13 14:14:22 +01:00
|
|
|
|
|
|
|
for (auto & t : threads) {
|
|
|
|
t.join();
|
2023-09-13 15:19:44 +02:00
|
|
|
}
|
2024-07-05 19:01:35 +02:00
|
|
|
|
|
|
|
if(errcode) {
|
|
|
|
return errcode;
|
|
|
|
}
|
2023-09-13 15:19:44 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
llama_free_model(model);
|
|
|
|
llama_free(ctx);
|
|
|
|
|
|
|
|
llama_backend_free();
|
|
|
|
|
|
|
|
return 0;
|
|
|
|
}
|