| |
| |
| |
| |
| |
| |
| |
| #include <fstream> |
| #include <iostream> |
| #include <json.hpp> |
| #include <string> |
|
|
| #include "chat-template.hpp" |
| #include "chat.hpp" |
| #include "llama-grammar.h" |
| #include "unicode.h" |
|
|
| using json = nlohmann::ordered_json; |
|
|
| static common_chat_msg msg_from_json(const json & message) { |
| common_chat_msg ret; |
| ret.role = "assistant"; |
| if (message.contains("content") && !message.at("content").is_null()) { |
| ret.content = message.at("content"); |
| } |
| if (message.contains("tool_plan")) { |
| ret.tool_plan = message.at("tool_plan"); |
| } |
| auto has_tool_calls = message.contains("tool_calls"); |
| if (has_tool_calls) { |
| for (const auto & tc : message.at("tool_calls")) { |
| const auto & arguments = tc.at("function").at("arguments"); |
| ret.tool_calls.push_back({ |
| tc.at("function").at("name").get<std::string>(), |
| arguments.is_string() ? arguments.get<std::string>() : arguments.dump(), |
| tc.contains("id") ? tc.at("id").get<std::string>() : "", |
| }); |
| } |
| } |
| return ret; |
| } |
|
|
| template <class T> static void assert_equals(const T & expected, const T & actual) { |
| if (expected != actual) { |
| std::cerr << "Expected: " << expected << std::endl; |
| std::cerr << "Actual: " << actual << std::endl; |
| std::cerr << std::flush; |
| throw std::runtime_error("Test failed"); |
| } |
| } |
|
|
| static std::string read_file(const std::string & path) { |
| std::cerr << "# Reading: " << path << std::endl << std::flush; |
| std::ifstream fs(path, std::ios_base::binary); |
| if (!fs.is_open()) { |
| fs = std::ifstream("../" + path, std::ios_base::binary); |
| if (!fs.is_open()) { |
| throw std::runtime_error("Failed to open file: " + path); |
| } |
| } |
| fs.seekg(0, std::ios_base::end); |
| auto size = fs.tellg(); |
| fs.seekg(0); |
| std::string out; |
| out.resize(static_cast<size_t>(size)); |
| fs.read(&out[0], static_cast<std::streamsize>(size)); |
| return out; |
| } |
|
|
| static std::unique_ptr<llama_grammar> build_grammar(const std::string & grammar_str) { |
| return std::unique_ptr<llama_grammar>( |
| llama_grammar_init_impl(nullptr, grammar_str.c_str(), "root", false, nullptr, 0, nullptr, 0)); |
| } |
|
|
| |
| static bool match_string(const std::string & input, llama_grammar * grammar) { |
| const auto cpts = unicode_cpts_from_utf8(input); |
|
|
| auto & stacks_cur = llama_grammar_get_stacks(grammar); |
|
|
| for (const auto & cpt : cpts) { |
| llama_grammar_accept(grammar, cpt); |
|
|
| if (stacks_cur.empty()) { |
| |
| return false; |
| } |
| } |
|
|
| for (const auto & stack : stacks_cur) { |
| if (stack.empty()) { |
| |
| return true; |
| } |
| } |
|
|
| return false; |
| } |
|
|
| |
| static std::string dump(const json & j) { |
| return minja::Value(j).dump(-1, true); |
| } |
|
|
| static void assert_msg_equals(const common_chat_msg & expected, const common_chat_msg & actual) { |
| assert_equals(expected.role, actual.role); |
| assert_equals(expected.content, actual.content); |
| assert_equals(expected.tool_calls.size(), actual.tool_calls.size()); |
| for (size_t i = 0; i < expected.tool_calls.size(); i++) { |
| const auto & expected_tool_call = expected.tool_calls[i]; |
| const auto & actual_tool_call = actual.tool_calls[i]; |
| assert_equals(expected_tool_call.name, actual_tool_call.name); |
| assert_equals(dump(json::parse(expected_tool_call.arguments)), dump(json::parse(actual_tool_call.arguments))); |
| assert_equals(expected_tool_call.id, actual_tool_call.id); |
| } |
| } |
|
|
| const auto special_function_tool = json::parse(R"({ |
| "type": "function", |
| "function": { |
| "name": "special_function", |
| "description": "I'm special", |
| "parameters": { |
| "type": "object", |
| "properties": { |
| "arg1": { |
| "type": "integer", |
| "description": "The arg." |
| } |
| }, |
| "required": ["arg1"] |
| } |
| } |
| })"); |
| const auto python_tool = json::parse(R"({ |
| "type": "function", |
| "function": { |
| "name": "python", |
| "description": "an ipython interpreter", |
| "parameters": { |
| "type": "object", |
| "properties": { |
| "code": { |
| "type": "string", |
| "description": "Python code to execute." |
| } |
| }, |
| "required": ["code"] |
| } |
| } |
| })"); |
| const auto code_interpreter_tool = json::parse(R"({ |
| "type": "function", |
| "function": { |
| "name": "code_interpreter", |
| "description": "an ipython interpreter", |
| "parameters": { |
| "type": "object", |
| "properties": { |
| "code": { |
| "type": "string", |
| "description": "Python code to execute." |
| } |
| }, |
| "required": ["code"] |
| } |
| } |
| })"); |
| const json tools = { special_function_tool, python_tool }; |
| const json llama_3_1_tools = { special_function_tool, code_interpreter_tool }; |
|
|
| struct delta_data { |
| std::string delta; |
| common_chat_params params; |
| }; |
|
|
| static delta_data init_delta(const common_chat_template & tmpl, const std::vector<std::string> & end_tokens, |
| const json & user_message, const json & delta_message, const json & tools, |
| const json & tool_choice) { |
| common_chat_inputs inputs; |
| inputs.parallel_tool_calls = true; |
| inputs.messages = json::array(); |
| inputs.messages.push_back(user_message); |
| inputs.tools = tools; |
| inputs.tool_choice = tool_choice; |
| auto params_prefix = common_chat_params_init(tmpl, inputs); |
|
|
| inputs.messages.push_back(delta_message); |
| inputs.add_generation_prompt = false; |
| auto params_full = common_chat_params_init(tmpl, inputs); |
|
|
| std::string prefix = params_prefix.prompt; |
| std::string full = params_full.prompt; |
|
|
| |
| if (full.find(prefix) != 0) { |
| fprintf(stderr, "Full:\n%s\n\nPrefix:\n%s\n\n", full.c_str(), prefix.c_str()); |
| throw std::runtime_error("Full message does not start with prefix"); |
| } |
|
|
| if (full == prefix) { |
| throw std::runtime_error("Full message is the same as the prefix"); |
| } |
|
|
| auto delta = full.substr(prefix.size()); |
|
|
| |
| for (const auto & end_token : end_tokens) { |
| |
| auto pos = delta.rfind(end_token); |
| if (pos != std::string::npos) { |
| delta = delta.substr(0, pos); |
| break; |
| } |
| } |
| return { delta, params_full }; |
| } |
|
|
| |
| |
| |
| |
| |
| static void test_template(const common_chat_template & tmpl, const std::vector<std::string> & end_tokens, |
| const json & test_message, const json & tools = {}, const std::string & expected_delta = "", |
| bool expect_grammar_triggered = true) { |
| common_chat_msg expected_msg = msg_from_json(test_message); |
|
|
| auto user_message = json{ |
| { "role", "user" }, |
| { "content", "Hello, world!" } |
| }; |
|
|
| for (const auto & tool_choice : json({ "auto", "required" })) { |
| auto data = init_delta(tmpl, end_tokens, user_message, test_message, tools, tool_choice); |
| if (!expected_delta.empty()) { |
| assert_equals(expected_delta, data.delta); |
| } |
|
|
| if (expect_grammar_triggered) { |
| const auto msg = common_chat_parse(data.delta, data.params.format); |
| assert_msg_equals(expected_msg, msg); |
| } |
|
|
| if (!expected_msg.tool_calls.empty()) { |
| GGML_ASSERT(!data.params.grammar.empty()); |
| } |
| if (!data.params.grammar.empty()) { |
| auto grammar = build_grammar(data.params.grammar); |
| if (!grammar) { |
| throw std::runtime_error("Failed to build grammar"); |
| } |
| auto earliest_trigger_pos = std::string::npos; |
| auto constrained = data.delta; |
| for (const auto & trigger : data.params.grammar_triggers) { |
| auto pos = constrained.find(trigger.word); |
| if (pos == std::string::npos) { |
| continue; |
| } |
| if (pos > 0 && trigger.at_start) { |
| fprintf(stderr, "Trigger %s not at start of message, skipping:\n\n%s\n\n", trigger.word.c_str(), constrained.c_str()); |
| continue; |
| } |
| if (earliest_trigger_pos == std::string::npos || pos < earliest_trigger_pos) { |
| earliest_trigger_pos = pos; |
| } |
| } |
| auto grammar_triggered = false; |
| if (earliest_trigger_pos != std::string::npos) { |
| constrained = constrained.substr(earliest_trigger_pos); |
| grammar_triggered = true; |
| } |
| if (data.params.grammar_lazy) { |
| assert_equals(expect_grammar_triggered, grammar_triggered); |
| } |
|
|
| if (grammar_triggered && !match_string(constrained, grammar.get())) { |
| throw std::runtime_error("Failed to match delta against grammar:\n\n" + data.delta + |
| "\n\nGrammar: " + data.params.grammar); |
| } |
| } |
| } |
| } |
|
|
| static void test_template_output_parsers() { |
| json text_message { |
| { "role", "assistant" }, |
| { "content", "Hello, world!\nWhat's up?" }, |
| }; |
| json tool_calls = json::array({{ |
| { "type", "function" }, |
| { "function", { { "name", "special_function" }, { "arguments", "{\"arg1\": 1}" } } }, |
| }}); |
|
|
| json tool_call_message { |
| { "role", "assistant"}, |
| { "content", {}}, |
| { "tool_calls", { |
| { |
| { "type", "function" }, |
| { "function", { |
| { "name", "special_function" }, |
| { "arguments", "{\"arg1\": 1}" }, |
| }}, |
| }, |
| }}, |
| }; |
| json tool_call_message_with_id { |
| { "role", "assistant"}, |
| { "content", {}}, |
| { "tool_calls", { |
| { |
| { "type", "function" }, |
| { "function", { |
| { "name", "special_function" }, |
| { "arguments", "{\"arg1\": 1}" }, |
| }}, |
| {"id", "123456789"}, |
| }, |
| }}, |
| { "role", "assistant" }, |
| { "content", {} }, |
| { "tool_calls", tool_calls } |
| }; |
| json tool_call_plan_message_with_idx { |
| { "role", "assistant"}, |
| { "content", {}}, |
| { "tool_plan", "I'm not so sure"}, |
| { "tool_calls", { |
| { |
| { "type", "function" }, |
| { "function", { |
| { "name", "special_function" }, |
| { "arguments", "{\"arg1\": 1}" }, |
| }}, |
| |
| {"id", "0"}, |
| }, |
| }}, |
| { "role", "assistant" }, |
| { "content", {} }, |
| { "tool_calls", tool_calls } |
| }; |
|
|
| auto python_tool_call_message = json{ |
| { "role", "assistant" }, |
| { "content", {} }, |
| { "tool_calls", json{ { |
| { "type", "function" }, |
| { "function", |
| { |
| { "name", "python" }, |
| { "arguments", |
| { |
| { "code", "print('hey')" }, |
| } }, |
| } }, |
| } } } |
| }; |
| auto code_interpreter_tool_call_message = json{ |
| { "role", "assistant" }, |
| { "content", {} }, |
| { "tool_calls", json{ { |
| { "type", "function" }, |
| { "function", |
| { |
| { "name", "code_interpreter" }, |
| { "arguments", |
| { |
| { "code", "print('hey')" }, |
| } }, |
| } }, |
| } } } |
| }; |
|
|
| common_chat_inputs inputs_no_tools; |
| inputs_no_tools.messages = { |
| { { "role", "user" }, { "content", "Hey\nThere" } } |
| }; |
|
|
| common_chat_inputs inputs_tools = inputs_no_tools; |
| inputs_tools.tools = json::array(); |
| inputs_tools.tools.push_back(special_function_tool); |
|
|
| common_chat_inputs inputs_tools_builtin = inputs_no_tools; |
| inputs_tools_builtin.tools = json::array(); |
| inputs_tools_builtin.tools.push_back(python_tool); |
|
|
| { |
| |
| const common_chat_template tmpl(read_file("models/templates/CohereForAI-c4ai-command-r-plus-tool_use.jinja"), "<s>", "</s>"); |
| assert_equals(COMMON_CHAT_FORMAT_GENERIC, common_chat_params_init(tmpl, inputs_tools).format); |
| } |
| { |
| const common_chat_template tmpl(read_file("models/templates/CohereForAI-c4ai-command-r7b-12-2024-tool_use.jinja"), "<s>", "</s>"); |
| std::vector<std::string> end_tokens{ "<|END_OF_TURN_TOKEN|>" }; |
|
|
| assert_equals(COMMON_CHAT_FORMAT_CONTENT_ONLY, common_chat_params_init(tmpl, inputs_no_tools).format); |
| assert_equals(COMMON_CHAT_FORMAT_COMMAND_R7B, common_chat_params_init(tmpl, inputs_tools).format); |
|
|
| test_template(tmpl, end_tokens, tool_call_plan_message_with_idx, tools, |
| "<|START_THINKING|>I'm not so sure<|END_THINKING|>" |
| "<|START_ACTION|>[\n" |
| " {\"tool_call_id\": \"0\", \"tool_name\": \"special_function\", \"parameters\": {\"arg1\": 1}}\n" |
| "]<|END_ACTION|>"); |
| test_template(tmpl, end_tokens, text_message, tools, |
| "<|START_RESPONSE|>Hello, world!\n" |
| "What's up?<|END_RESPONSE|>", |
| false); |
| } |
| { |
| const common_chat_template tmpl(read_file("models/templates/google-gemma-2-2b-it.jinja"), "<s>", "</s>"); |
| std::vector<std::string> end_tokens{ "<end_of_turn>" }; |
|
|
| assert_equals(COMMON_CHAT_FORMAT_CONTENT_ONLY, common_chat_params_init(tmpl, inputs_no_tools).format); |
| assert_equals(COMMON_CHAT_FORMAT_GENERIC, common_chat_params_init(tmpl, inputs_tools).format); |
| assert_equals(COMMON_CHAT_FORMAT_GENERIC, |
| common_chat_params_init( |
| common_chat_template(read_file("models/templates/microsoft-Phi-3.5-mini-instruct.jinja"), |
| "<s>", "</s>"), |
| inputs_tools) |
| .format); |
|
|
| |
|
|
| assert_msg_equals(msg_from_json(text_message), |
| common_chat_parse("{\n" |
| " \"response\": \"Hello, world!\\nWhat's up?\"\n" |
| "}", |
| common_chat_params_init(tmpl, inputs_tools).format)); |
| test_template(tmpl, end_tokens, tool_call_message_with_id, tools, |
| "{\n" |
| " \"tool_calls\": [\n" |
| " {\n" |
| " \"name\": \"special_function\",\n" |
| " \"arguments\": {\n" |
| " \"arg1\": 1\n" |
| " },\n" |
| " \"id\": \"123456789\"\n" |
| " }\n" |
| " ]\n" |
| "}"); |
| } |
| { |
| const common_chat_template tmpl(read_file("models/templates/mistralai-Mistral-Nemo-Instruct-2407.jinja"), "<s>", |
| "</s>"); |
| std::vector<std::string> end_tokens{ "</s>" }; |
|
|
| assert_equals(COMMON_CHAT_FORMAT_MISTRAL_NEMO, common_chat_params_init(tmpl, inputs_tools).format); |
|
|
| test_template(tmpl, end_tokens, text_message, tools, "Hello, world!\nWhat's up?", false); |
| test_template( |
| tmpl, end_tokens, tool_call_message_with_id, tools, |
| "[TOOL_CALLS][{\"name\": \"special_function\", \"arguments\": {\"arg1\": 1}, \"id\": \"123456789\"}]"); |
| } |
| { |
| const common_chat_template tmpl( |
| read_file("models/templates/NousResearch-Hermes-2-Pro-Llama-3-8B-tool_use.jinja"), "<s>", "</s>"); |
| std::vector<std::string> end_tokens{ "<|im_end|>" }; |
|
|
| assert_equals(COMMON_CHAT_FORMAT_HERMES_2_PRO, common_chat_params_init(tmpl, inputs_tools).format); |
| assert_equals( |
| COMMON_CHAT_FORMAT_HERMES_2_PRO, |
| common_chat_params_init( |
| common_chat_template(read_file("models/templates/NousResearch-Hermes-3-Llama-3.1-8B-tool_use.jinja"), |
| "<s>", "</s>"), |
| inputs_tools) |
| .format); |
| assert_equals( |
| COMMON_CHAT_FORMAT_HERMES_2_PRO, |
| common_chat_params_init( |
| common_chat_template(read_file("models/templates/Qwen-Qwen2.5-7B-Instruct.jinja"), "<s>", "</s>"), |
| inputs_tools) |
| .format); |
|
|
| test_template(tmpl, end_tokens, text_message, tools, "Hello, world!\nWhat's up?", false); |
| test_template(tmpl, end_tokens, tool_call_message, tools, |
| "<tool_call>\n" |
| "{\"name\": \"special_function\", \"arguments\": {\"arg1\": 1}}\n" |
| "</tool_call>"); |
| test_template(tmpl, end_tokens, python_tool_call_message, tools, |
| "<tool_call>\n" |
| "{\"name\": \"python\", \"arguments\": {\"code\": \"print('hey')\"}}\n" |
| "</tool_call>"); |
| } |
| { |
| const common_chat_template tmpl(read_file("models/templates/meta-llama-Llama-3.1-8B-Instruct.jinja"), "<s>", |
| "</s>"); |
| std::vector<std::string> end_tokens{ "<|eom_id|>", "<|eot_id|>" }; |
|
|
| assert_equals(COMMON_CHAT_FORMAT_LLAMA_3_X, common_chat_params_init(tmpl, inputs_tools).format); |
| assert_equals(COMMON_CHAT_FORMAT_LLAMA_3_X_WITH_BUILTIN_TOOLS, |
| common_chat_params_init(tmpl, inputs_tools_builtin).format); |
| assert_equals(COMMON_CHAT_FORMAT_LLAMA_3_X_WITH_BUILTIN_TOOLS, |
| common_chat_params_init( |
| common_chat_template(read_file("models/templates/meta-llama-Llama-3.3-70B-Instruct.jinja"), |
| "<s>", "</s>"), |
| inputs_tools_builtin) |
| .format); |
|
|
| |
| test_template(tmpl, end_tokens, code_interpreter_tool_call_message, llama_3_1_tools, |
| "<|python_tag|>code_interpreter.call(code=\"print('hey')\")"); |
| test_template(tmpl, end_tokens, python_tool_call_message, tools, |
| "<|python_tag|>python.call(code=\"print('hey')\")"); |
| test_template(tmpl, end_tokens, tool_call_message, tools, |
| "{\"name\": \"special_function\", \"parameters\": {\"arg1\": 1}}"); |
| } |
| { |
| const common_chat_template tmpl(read_file("models/templates/meta-llama-Llama-3.2-3B-Instruct.jinja"), "<s>", |
| "</s>"); |
| std::vector<std::string> end_tokens{ "<|eom_id|>", "<|eot_id|>" }; |
|
|
| assert_equals(COMMON_CHAT_FORMAT_LLAMA_3_X, common_chat_params_init(tmpl, inputs_tools).format); |
|
|
| test_template(tmpl, end_tokens, text_message, tools, "Hello, world!\nWhat's up?", false); |
| test_template(tmpl, end_tokens, tool_call_message, tools, |
| "{\"name\": \"special_function\", \"parameters\": {\"arg1\": 1}}"); |
| } |
| { |
| const common_chat_template tmpl(read_file("models/templates/meetkai-functionary-medium-v3.1.jinja"), "<s>", |
| "</s>"); |
| std::vector<std::string> end_tokens{ "<|eom_id|>", "<|eot_id|>" }; |
|
|
| assert_equals(COMMON_CHAT_FORMAT_FUNCTIONARY_V3_1_LLAMA_3_1, |
| common_chat_params_init(tmpl, inputs_tools).format); |
|
|
| test_template(tmpl, end_tokens, text_message, tools, "Hello, world!\nWhat's up?", false); |
| test_template(tmpl, end_tokens, tool_call_message, tools, |
| "<function=special_function>{\"arg1\": 1}</function>"); |
| } |
| { |
| const common_chat_template tmpl(read_file("models/templates/meetkai-functionary-medium-v3.2.jinja"), "<s>", |
| "</s>"); |
| std::vector<std::string> end_tokens{ "<|eom_id|>", "<|eot_id|>" }; |
|
|
| assert_equals(COMMON_CHAT_FORMAT_FUNCTIONARY_V3_2, common_chat_params_init(tmpl, inputs_no_tools).format); |
| assert_equals(COMMON_CHAT_FORMAT_FUNCTIONARY_V3_2, common_chat_params_init(tmpl, inputs_tools).format); |
|
|
| test_template(tmpl, end_tokens, text_message, {}, |
| "all\n" |
| "Hello, world!\n" |
| "What's up?", |
| false); |
| test_template(tmpl, end_tokens, tool_call_message, tools, |
| "special_function\n" |
| "{\"arg1\": 1}"); |
| } |
| { |
| const common_chat_template tmpl(read_file("models/templates/fireworks-ai-llama-3-firefunction-v2.jinja"), "<s>", |
| "</s>"); |
| std::vector<std::string> end_tokens{ "<|eot_id|>" }; |
|
|
| assert_equals(COMMON_CHAT_FORMAT_FIREFUNCTION_V2, common_chat_params_init(tmpl, inputs_tools).format); |
|
|
| test_template(tmpl, end_tokens, text_message, tools, "Hello, world!\nWhat's up?", false); |
| test_template(tmpl, end_tokens, tool_call_message, tools, |
| " functools[{\"name\": \"special_function\", \"arguments\": {\"arg1\": 1}}]"); |
| } |
| { |
| const common_chat_template tmpl(read_file("models/templates/deepseek-ai-DeepSeek-R1-Distill-Llama-8B.jinja"), |
| "<s>", "</s>"); |
| std::vector<std::string> end_tokens{ "<|end▁of▁sentence|>" }; |
|
|
| assert_equals(COMMON_CHAT_FORMAT_DEEPSEEK_R1, common_chat_params_init(tmpl, inputs_tools).format); |
|
|
| test_template(tmpl, end_tokens, text_message, tools, "Hello, world!\nWhat's up?", false); |
| test_template(tmpl, end_tokens, tool_call_message, tools, |
| "<|tool▁calls▁begin|><|tool▁call▁begin|>function<|tool▁sep|>special_function\n" |
| "```json\n" |
| "{\"arg1\": 1}\n" |
| "```<|tool▁call▁end|>"); |
| } |
| } |
|
|
| int main(int argc, char ** argv) { |
| #ifndef _WIN32 |
| if (argc > 1) { |
| common_chat_inputs inputs; |
| inputs.messages = { |
| { { "role", "user" }, { "content", "Hey" } } |
| }; |
| inputs.tools = json::array({ special_function_tool }); |
|
|
| std::cout << "| Template | Format |\n"; |
| std::cout << "|----------|--------|\n"; |
|
|
| for (int i = 1; i < argc; i++) { |
| std::string path = argv[i]; |
| if (path.rfind(".jinja") != path.size() - 6) { |
| std::cerr << "Skipping non-jinja file: " << path << std::endl; |
| continue; |
| } |
| common_chat_template tmpl(read_file(path), "", ""); |
| auto parts = string_split(path, "/"); |
| auto name = parts[parts.size() - 1]; |
| std::cout << "| " << name << " | " << common_chat_format_name(common_chat_params_init(tmpl, inputs).format) |
| << " |\n"; |
| } |
| } else |
| #endif |
| { |
| test_template_output_parsers(); |
| std::cout << "\n[chat] All tests passed!" << std::endl; |
| } |
| return 0; |
| } |
|
|