mirror of
				https://github.com/ggml-org/llama.cpp.git
				synced 2025-10-30 08:42:00 +00:00 
			
		
		
		
	 043fb27d38
			
		
	
	043fb27d38
	
	
	
		
			
			* vulkan: use subgroup function for mul_mat_id shader even without coopmat * vulkan: fix compile warnings * vulkan: properly check for subgroup size control and require full subgroups for subgroup mul_mat_id * vulkan: disable subgroup mul_mat_id on devices with subgroups < 16
		
			
				
	
	
		
			884 lines
		
	
	
		
			44 KiB
		
	
	
	
		
			C++
		
	
	
	
	
	
			
		
		
	
	
			884 lines
		
	
	
		
			44 KiB
		
	
	
	
		
			C++
		
	
	
	
	
	
| 
 | |
| 
 | |
| #include <iostream>
 | |
| #include <fstream>
 | |
| #include <sstream>
 | |
| #include <string>
 | |
| #include <stdexcept>
 | |
| #include <array>
 | |
| #include <vector>
 | |
| #include <map>
 | |
| #include <thread>
 | |
| #include <mutex>
 | |
| #include <future>
 | |
| #include <queue>
 | |
| #include <condition_variable>
 | |
| #include <cstdio>
 | |
| #include <cstring>
 | |
| #include <cstdlib>
 | |
| #include <cassert>
 | |
| #include <algorithm>
 | |
| #include <sys/stat.h>
 | |
| #include <sys/types.h>
 | |
| 
 | |
| #ifdef _WIN32
 | |
|     #include <windows.h>
 | |
|     #include <direct.h> // For _mkdir on Windows
 | |
| #else
 | |
|     #include <unistd.h>
 | |
|     #include <sys/wait.h>
 | |
|     #include <fcntl.h>
 | |
| #endif
 | |
| 
 | |
| #define ASYNCIO_CONCURRENCY 64
 | |
| 
 | |
| std::mutex lock;
 | |
| std::vector<std::pair<std::string, std::string>> shader_fnames;
 | |
| 
 | |
| std::string GLSLC = "glslc";
 | |
| std::string input_dir = "vulkan-shaders";
 | |
| std::string output_dir = "/tmp";
 | |
| std::string target_hpp = "ggml-vulkan-shaders.hpp";
 | |
| std::string target_cpp = "ggml-vulkan-shaders.cpp";
 | |
| bool no_clean = false;
 | |
| 
 | |
| const std::vector<std::string> type_names = {
 | |
|     "f32",
 | |
|     "f16",
 | |
|     "q4_0",
 | |
|     "q4_1",
 | |
|     "q5_0",
 | |
|     "q5_1",
 | |
|     "q8_0",
 | |
|     "q2_k",
 | |
|     "q3_k",
 | |
|     "q4_k",
 | |
|     "q5_k",
 | |
|     "q6_k",
 | |
|     "iq1_s",
 | |
|     "iq1_m",
 | |
|     "iq2_xxs",
 | |
|     "iq2_xs",
 | |
|     "iq2_s",
 | |
|     "iq3_xxs",
 | |
|     "iq3_s",
 | |
|     "iq4_xs",
 | |
|     "iq4_nl",
 | |
|     "mxfp4",
 | |
|     "bf16",
 | |
| };
 | |
| 
 | |
| enum MatMulIdType {
 | |
|     NONE,
 | |
|     DEFAULT,
 | |
|     SUBGROUP,
 | |
| };
 | |
| 
 | |
| namespace {
 | |
| void execute_command(const std::string& command, std::string& stdout_str, std::string& stderr_str) {
 | |
| #ifdef _WIN32
 | |
|     HANDLE stdout_read, stdout_write;
 | |
|     HANDLE stderr_read, stderr_write;
 | |
|     SECURITY_ATTRIBUTES sa = { sizeof(SECURITY_ATTRIBUTES), NULL, TRUE };
 | |
| 
 | |
|     if (!CreatePipe(&stdout_read, &stdout_write, &sa, 0) ||
 | |
|         !SetHandleInformation(stdout_read, HANDLE_FLAG_INHERIT, 0)) {
 | |
|         throw std::runtime_error("Failed to create stdout pipe");
 | |
|     }
 | |
| 
 | |
|     if (!CreatePipe(&stderr_read, &stderr_write, &sa, 0) ||
 | |
|         !SetHandleInformation(stderr_read, HANDLE_FLAG_INHERIT, 0)) {
 | |
|         throw std::runtime_error("Failed to create stderr pipe");
 | |
|     }
 | |
| 
 | |
|     PROCESS_INFORMATION pi;
 | |
|     STARTUPINFOA si = {};
 | |
|     si.cb = sizeof(STARTUPINFOA);
 | |
|     si.dwFlags = STARTF_USESTDHANDLES;
 | |
|     si.hStdOutput = stdout_write;
 | |
|     si.hStdError = stderr_write;
 | |
| 
 | |
|     std::vector<char> cmd(command.begin(), command.end());
 | |
|     cmd.push_back('\0');
 | |
| 
 | |
|     if (!CreateProcessA(NULL, cmd.data(), NULL, NULL, TRUE, 0, NULL, NULL, &si, &pi)) {
 | |
|         throw std::runtime_error("Failed to create process");
 | |
|     }
 | |
| 
 | |
|     CloseHandle(stdout_write);
 | |
|     CloseHandle(stderr_write);
 | |
| 
 | |
|     std::array<char, 128> buffer;
 | |
|     DWORD bytes_read;
 | |
| 
 | |
|     while (ReadFile(stdout_read, buffer.data(), (DWORD)buffer.size(), &bytes_read, NULL) && bytes_read > 0) {
 | |
|         stdout_str.append(buffer.data(), bytes_read);
 | |
|     }
 | |
| 
 | |
|     while (ReadFile(stderr_read, buffer.data(), (DWORD)buffer.size(), &bytes_read, NULL) && bytes_read > 0) {
 | |
|         stderr_str.append(buffer.data(), bytes_read);
 | |
|     }
 | |
| 
 | |
|     CloseHandle(stdout_read);
 | |
|     CloseHandle(stderr_read);
 | |
|     WaitForSingleObject(pi.hProcess, INFINITE);
 | |
|     CloseHandle(pi.hProcess);
 | |
|     CloseHandle(pi.hThread);
 | |
| #else
 | |
|     int stdout_pipe[2];
 | |
|     int stderr_pipe[2];
 | |
| 
 | |
|     if (pipe(stdout_pipe) != 0 || pipe(stderr_pipe) != 0) {
 | |
|         throw std::runtime_error("Failed to create pipes");
 | |
|     }
 | |
| 
 | |
|     pid_t pid = fork();
 | |
|     if (pid < 0) {
 | |
|         throw std::runtime_error("Failed to fork process");
 | |
|     }
 | |
| 
 | |
|     if (pid == 0) {
 | |
|         close(stdout_pipe[0]);
 | |
|         close(stderr_pipe[0]);
 | |
|         dup2(stdout_pipe[1], STDOUT_FILENO);
 | |
|         dup2(stderr_pipe[1], STDERR_FILENO);
 | |
|         close(stdout_pipe[1]);
 | |
|         close(stderr_pipe[1]);
 | |
|         execl("/bin/sh", "sh", "-c", command.c_str(), (char*) nullptr);
 | |
|         _exit(EXIT_FAILURE);
 | |
|     } else {
 | |
|         close(stdout_pipe[1]);
 | |
|         close(stderr_pipe[1]);
 | |
| 
 | |
|         std::array<char, 128> buffer;
 | |
|         ssize_t bytes_read;
 | |
| 
 | |
|         while ((bytes_read = read(stdout_pipe[0], buffer.data(), buffer.size())) > 0) {
 | |
|             stdout_str.append(buffer.data(), bytes_read);
 | |
|         }
 | |
| 
 | |
|         while ((bytes_read = read(stderr_pipe[0], buffer.data(), buffer.size())) > 0) {
 | |
|             stderr_str.append(buffer.data(), bytes_read);
 | |
|         }
 | |
| 
 | |
|         close(stdout_pipe[0]);
 | |
|         close(stderr_pipe[0]);
 | |
|         waitpid(pid, nullptr, 0);
 | |
|     }
 | |
| #endif
 | |
| }
 | |
| 
 | |
| bool directory_exists(const std::string& path) {
 | |
|     struct stat info;
 | |
|     if (stat(path.c_str(), &info) != 0) {
 | |
|         return false; // Path doesn't exist or can't be accessed
 | |
|     }
 | |
|     return (info.st_mode & S_IFDIR) != 0; // Check if it is a directory
 | |
| }
 | |
| 
 | |
| bool create_directory(const std::string& path) {
 | |
| #ifdef _WIN32
 | |
|     return _mkdir(path.c_str()) == 0 || errno == EEXIST; // EEXIST means the directory already exists
 | |
| #else
 | |
|     return mkdir(path.c_str(), 0755) == 0 || errno == EEXIST; // 0755 is the directory permissions
 | |
| #endif
 | |
| }
 | |
| 
 | |
| std::string to_uppercase(const std::string& input) {
 | |
|     std::string result = input;
 | |
|     for (char& c : result) {
 | |
|         c = std::toupper(c);
 | |
|     }
 | |
|     return result;
 | |
| }
 | |
| 
 | |
| bool string_starts_with(const std::string& str, const std::string& prefix) {
 | |
|     if (prefix.size() > str.size()) {
 | |
|         return false;
 | |
|     }
 | |
|     return std::equal(prefix.begin(), prefix.end(), str.begin());
 | |
| }
 | |
| 
 | |
| bool string_ends_with(const std::string& str, const std::string& suffix) {
 | |
|     if (suffix.size() > str.size()) {
 | |
|         return false;
 | |
|     }
 | |
|     return std::equal(suffix.rbegin(), suffix.rend(), str.rbegin());
 | |
| }
 | |
| 
 | |
| static const char path_separator = '/';
 | |
| 
 | |
| std::string join_paths(const std::string& path1, const std::string& path2) {
 | |
|     return path1 + path_separator + path2;
 | |
| }
 | |
| 
 | |
| std::string basename(const std::string &path) {
 | |
|     return path.substr(path.find_last_of("/\\") + 1);
 | |
| }
 | |
| 
 | |
| // variables to track number of compiles in progress
 | |
| static uint32_t compile_count = 0;
 | |
| static std::mutex compile_count_mutex;
 | |
| static std::condition_variable compile_count_cond;
 | |
| 
 | |
| void string_to_spv_func(const std::string& _name, const std::string& in_fname, const std::map<std::string, std::string>& defines, bool fp16 = true, bool coopmat = false, bool coopmat2 = false, bool f16acc = false) {
 | |
|     std::string name = _name + (f16acc ? "_f16acc" : "") + (coopmat ? "_cm1" : "") + (coopmat2 ? "_cm2" : (fp16 ? "" : "_fp32"));
 | |
|     std::string out_fname = join_paths(output_dir, name + ".spv");
 | |
|     std::string in_path = join_paths(input_dir, in_fname);
 | |
| 
 | |
|     std::string target_env = (name.find("_cm2") != std::string::npos) ? "--target-env=vulkan1.3" : "--target-env=vulkan1.2";
 | |
| 
 | |
|     // disable spirv-opt for coopmat shaders for https://github.com/ggerganov/llama.cpp/issues/10734
 | |
|     // disable spirv-opt for bf16 shaders for https://github.com/ggml-org/llama.cpp/issues/15344
 | |
|     std::string opt_level = (coopmat || name.find("bf16") != std::string::npos) ? "" : "-O";
 | |
| 
 | |
|     #ifdef _WIN32
 | |
|         std::vector<std::string> cmd = {GLSLC, "-fshader-stage=compute", target_env, opt_level, "\"" + in_path + "\"", "-o", "\"" + out_fname + "\""};
 | |
|     #else
 | |
|         std::vector<std::string> cmd = {GLSLC, "-fshader-stage=compute", target_env, opt_level, in_path, "-o",  out_fname};
 | |
|     #endif
 | |
| 
 | |
|     #ifdef GGML_VULKAN_SHADER_DEBUG_INFO
 | |
|         cmd.push_back("-g");
 | |
|     #endif
 | |
| 
 | |
|     for (const auto& define : defines) {
 | |
|         cmd.push_back("-D" + define.first + "=" + define.second);
 | |
|     }
 | |
| 
 | |
|     std::string command;
 | |
|     for (const auto& part : cmd) {
 | |
|         command += part + " ";
 | |
|     }
 | |
| 
 | |
|     std::string stdout_str, stderr_str;
 | |
|     try {
 | |
|         // std::cout << "Executing command: ";
 | |
|         // for (const auto& part : cmd) {
 | |
|         //     std::cout << part << " ";
 | |
|         // }
 | |
|         // std::cout << std::endl;
 | |
| 
 | |
|         execute_command(command, stdout_str, stderr_str);
 | |
|         if (!stderr_str.empty()) {
 | |
|             std::cerr << "cannot compile " << name << "\n\n" << command << "\n\n" << stderr_str << std::endl;
 | |
|             return;
 | |
|         }
 | |
| 
 | |
|         std::lock_guard<std::mutex> guard(lock);
 | |
|         shader_fnames.push_back(std::make_pair(name, out_fname));
 | |
|     } catch (const std::exception& e) {
 | |
|         std::cerr << "Error executing command for " << name << ": " << e.what() << std::endl;
 | |
|     }
 | |
|     {
 | |
|         std::lock_guard<std::mutex> guard(compile_count_mutex);
 | |
|         assert(compile_count > 0);
 | |
|         compile_count--;
 | |
|     }
 | |
|     compile_count_cond.notify_all();
 | |
| }
 | |
| 
 | |
| std::map<std::string, std::string> merge_maps(const std::map<std::string, std::string>& a, const std::map<std::string, std::string>& b) {
 | |
|     std::map<std::string, std::string> result = a;
 | |
|     result.insert(b.begin(), b.end());
 | |
|     return result;
 | |
| }
 | |
| 
 | |
| static std::vector<std::future<void>> compiles;
 | |
| void string_to_spv(const std::string& _name, const std::string& in_fname, const std::map<std::string, std::string>& defines, bool fp16 = true, bool coopmat = false, bool coopmat2 = false, bool f16acc = false) {
 | |
|     {
 | |
|         // wait until fewer than N compiles are in progress.
 | |
|         // 16 is an arbitrary limit, the goal is to avoid "failed to create pipe" errors.
 | |
|         uint32_t N = 16;
 | |
|         std::unique_lock<std::mutex> guard(compile_count_mutex);
 | |
|         while (compile_count >= N) {
 | |
|             compile_count_cond.wait(guard);
 | |
|         }
 | |
|         compile_count++;
 | |
|     }
 | |
|     compiles.push_back(std::async(string_to_spv_func, _name, in_fname, defines, fp16, coopmat, coopmat2, f16acc));
 | |
| }
 | |
| 
 | |
| void matmul_shaders(bool fp16, MatMulIdType matmul_id_type, bool coopmat, bool coopmat2, bool f16acc) {
 | |
|     std::string load_vec = coopmat2 ? "1" : fp16 ? "8" : "4";
 | |
|     std::string aligned_b_type_f32 = coopmat2 ? "float" : fp16 ? "mat2x4" : "vec4";
 | |
|     std::string aligned_b_type_f16 = coopmat2 ? "float16_t" : fp16 ? "f16mat2x4" : "f16vec4";
 | |
| 
 | |
|     std::map<std::string, std::string> base_dict = {
 | |
|         {"FLOAT_TYPE_VEC2", (coopmat2 || fp16) ? "f16vec2" : "vec2"},
 | |
|     };
 | |
|     std::string shader_name = "matmul";
 | |
| 
 | |
|     if (matmul_id_type == MatMulIdType::DEFAULT) {
 | |
|         base_dict["MUL_MAT_ID"] = "1";
 | |
|         shader_name = "matmul_id";
 | |
|     } else if (matmul_id_type == MatMulIdType::SUBGROUP) {
 | |
|         base_dict["MUL_MAT_ID"] = "1";
 | |
|         base_dict["MUL_MAT_ID_USE_SUBGROUPS"] = "1";
 | |
|         shader_name = "matmul_id_subgroup";
 | |
|     }
 | |
| 
 | |
|     if (fp16) {
 | |
|         base_dict["FLOAT16"] = "1";
 | |
|     }
 | |
| 
 | |
|     base_dict["ACC_TYPE"] = f16acc ? "float16_t" : "float";
 | |
| 
 | |
|     if (coopmat) {
 | |
|         base_dict["COOPMAT"] = "1";
 | |
|     }
 | |
| 
 | |
|     const std::string source_name = coopmat2 ? "mul_mm_cm2.comp" : "mul_mm.comp";
 | |
| 
 | |
|     auto const &FLOAT_TYPE = [&](const std::string &t) -> std::string {
 | |
|         if (t == "bf16") {
 | |
|             // scalar path promotes to float
 | |
|             if (!coopmat && !coopmat2) {
 | |
|                 return "float";
 | |
|             }
 | |
|             return "bfloat16_t";
 | |
|         }
 | |
|         if (coopmat2 || fp16) {
 | |
|             return "float16_t";
 | |
|         }
 | |
|         return "float";
 | |
|     };
 | |
| 
 | |
|     // Shaders with f16 B_TYPE
 | |
|     string_to_spv(shader_name + "_f32_f16", source_name, merge_maps(base_dict, {{"FLOAT_TYPE", FLOAT_TYPE("f16")}, {"DATA_A_F32", "1"}, {"B_TYPE", "float16_t"}, {"D_TYPE", "float"}, }), fp16, coopmat, coopmat2, f16acc);
 | |
|     string_to_spv(shader_name + "_f32_f16_aligned", source_name, merge_maps(base_dict, {{"FLOAT_TYPE", FLOAT_TYPE("f16")}, {"DATA_A_F32", "1"}, {"LOAD_VEC_A", load_vec}, {"LOAD_VEC_B", load_vec}, {"B_TYPE", aligned_b_type_f16}, {"D_TYPE", "float"}, {"ALIGNED", "1"}}), fp16, coopmat, coopmat2, f16acc);
 | |
| 
 | |
|     string_to_spv(shader_name + "_f16_aligned", source_name, merge_maps(base_dict, {{"FLOAT_TYPE", FLOAT_TYPE("f16")}, {"DATA_A_F16", "1"}, {"LOAD_VEC_A", load_vec}, {"LOAD_VEC_B", load_vec}, {"B_TYPE", aligned_b_type_f16}, {"D_TYPE", "float"}, {"ALIGNED", "1"}}), fp16, coopmat, coopmat2, f16acc);
 | |
|     string_to_spv(shader_name + "_f16", source_name, merge_maps(base_dict, {{"FLOAT_TYPE", FLOAT_TYPE("f16")}, {"DATA_A_F16", "1"}, {"B_TYPE", "float16_t"}, {"D_TYPE", "float"}}), fp16, coopmat, coopmat2, f16acc);
 | |
| 
 | |
|     // bf16
 | |
|     {
 | |
|         std::string load_vec_a_unaligned = "1";
 | |
|         // For aligned matmul loads
 | |
|         std::string load_vec_a = coopmat2 ? "1" : "4";
 | |
| 
 | |
|         // scalar path promotes to float
 | |
|         std::string to_float_type = (coopmat || coopmat2) ? "uintBitsToBFloat16EXT" : "bf16_to_fp32";
 | |
| 
 | |
|         // If bfloat16 is not supported, then only compile the scalar (promote to fp32) shader
 | |
| #if !defined(GGML_VULKAN_BFLOAT16_GLSLC_SUPPORT)
 | |
|         if (!(coopmat || coopmat2))
 | |
| #endif
 | |
|         {
 | |
|             string_to_spv(shader_name + "_bf16_aligned", source_name, merge_maps(base_dict, {{"FLOAT_TYPE", FLOAT_TYPE("bf16")}, {"TO_FLOAT_TYPE", to_float_type}, {"DATA_A_BF16", "1"}, {"LOAD_VEC_A", load_vec_a},           {"LOAD_VEC_B", "4"}, {"B_TYPE", coopmat2 ? "bfloat16_t" : "u16vec4"},   {"D_TYPE", "float"}, {"B_IS_FLOAT", "1"}, {"ALIGNED", "1"}}), fp16, coopmat, coopmat2, f16acc);
 | |
|             string_to_spv(shader_name + "_bf16",         source_name, merge_maps(base_dict, {{"FLOAT_TYPE", FLOAT_TYPE("bf16")}, {"TO_FLOAT_TYPE", to_float_type}, {"DATA_A_BF16", "1"}, {"LOAD_VEC_A", load_vec_a_unaligned},                      {"B_TYPE", coopmat2 ? "bfloat16_t" : "uint16_t"},                          {"D_TYPE", "float"}, {"B_IS_FLOAT", "1"}}),                   fp16, coopmat, coopmat2, f16acc);
 | |
|         }
 | |
|     }
 | |
| 
 | |
|     for (const auto& tname : type_names) {
 | |
|         std::string load_vec_quant = "2";
 | |
|         if ((tname == "q4_0") || (tname == "q4_1") || (tname == "iq1_s") || (tname == "iq1_m") || (tname == "iq2_xxs") || (tname == "iq2_xs") || (tname == "iq2_s"))
 | |
|             load_vec_quant = "8";
 | |
|         else if ((tname == "q5_0") || (tname == "q5_1") || (tname == "q8_0") || (tname == "iq3_xxs") || (tname == "iq3_s") || (tname == "iq4_nl") || (tname == "mxfp4"))
 | |
|             load_vec_quant = "4";
 | |
| 
 | |
|         if (tname == "bf16") {
 | |
|             continue;
 | |
|         }
 | |
| 
 | |
|         std::string data_a_key = "DATA_A_" + to_uppercase(tname);
 | |
|         // For unaligned, load one at a time for f32/f16, or two at a time for quants
 | |
|         std::string load_vec_a_unaligned = (coopmat2 || tname == "f32" || tname == "f16" || tname == "bf16") ? "1" : load_vec_quant;
 | |
|         // For aligned matmul loads
 | |
|         std::string load_vec_a = (coopmat2 || tname == "f32" || tname == "f16" || tname == "bf16") ? load_vec : load_vec_quant;
 | |
| 
 | |
|         // don't generate f32 variants for coopmat2
 | |
|         if (!coopmat2) {
 | |
|             string_to_spv(shader_name + "_" + tname + "_f32",         source_name, merge_maps(base_dict, {{"FLOAT_TYPE", FLOAT_TYPE(tname)}, {data_a_key, "1"}, {"LOAD_VEC_A", load_vec_a_unaligned},                           {"B_TYPE", "float"},            {"D_TYPE", "float"}}), fp16, coopmat, coopmat2, f16acc);
 | |
|             string_to_spv(shader_name + "_" + tname + "_f32_aligned", source_name, merge_maps(base_dict, {{"FLOAT_TYPE", FLOAT_TYPE(tname)}, {data_a_key, "1"}, {"LOAD_VEC_A", load_vec_a},           {"LOAD_VEC_B", load_vec}, {"B_TYPE", aligned_b_type_f32}, {"D_TYPE", "float"}, {"ALIGNED", "1"}}), fp16, coopmat, coopmat2, f16acc);
 | |
|         }
 | |
| 
 | |
|         if (tname != "f16" && tname != "f32") {
 | |
|             string_to_spv(shader_name + "_" + tname + "_f16",         source_name,  merge_maps(base_dict, {{"FLOAT_TYPE", FLOAT_TYPE(tname)}, {data_a_key, "1"}, {"LOAD_VEC_A", load_vec_a_unaligned},                           {"B_TYPE", "float16_t"},        {"D_TYPE", "float"}}), fp16, coopmat, coopmat2, f16acc);
 | |
|             string_to_spv(shader_name + "_" + tname + "_f16_aligned", source_name,  merge_maps(base_dict, {{"FLOAT_TYPE", FLOAT_TYPE(tname)}, {data_a_key, "1"}, {"LOAD_VEC_A", load_vec_a},           {"LOAD_VEC_B", load_vec}, {"B_TYPE", aligned_b_type_f16}, {"D_TYPE", "float"}, {"ALIGNED", "1"}}), fp16, coopmat, coopmat2, f16acc);
 | |
|         }
 | |
| 
 | |
| #if defined(GGML_VULKAN_INTEGER_DOT_GLSLC_SUPPORT)
 | |
|         if (!coopmat && !coopmat2 && matmul_id_type == MatMulIdType::NONE && (tname == "q4_0" || tname == "q4_1" || tname == "q5_0" || tname == "q5_1" || tname == "q8_0")) {
 | |
|             string_to_spv(shader_name + "_" + tname + "_q8_1", "mul_mmq.comp", merge_maps(base_dict, {{"FLOAT_TYPE", FLOAT_TYPE(tname)}, {data_a_key, "1"}, {"D_TYPE", "float"},}), fp16, coopmat, coopmat2, f16acc);
 | |
|         }
 | |
| #endif
 | |
|     }
 | |
| }
 | |
| 
 | |
| void process_shaders() {
 | |
|     std::cout << "ggml_vulkan: Generating and compiling shaders to SPIR-V" << std::endl;
 | |
|     std::map<std::string, std::string> base_dict = {{"FLOAT_TYPE", "float"}};
 | |
| 
 | |
|     // matmul
 | |
|     for (const MatMulIdType& matmul_id_type : {MatMulIdType::NONE, MatMulIdType::DEFAULT, MatMulIdType::SUBGROUP}) {
 | |
|         // No coopmats
 | |
|         // fp32
 | |
|         matmul_shaders(false, matmul_id_type, false, false, false);
 | |
| 
 | |
|         // fp16, fp32acc and fp16acc
 | |
|         matmul_shaders(true, matmul_id_type, false, false, false);
 | |
|         matmul_shaders(true, matmul_id_type, false, false, true);
 | |
| 
 | |
|         if (matmul_id_type != MatMulIdType::DEFAULT) {
 | |
| #if defined(GGML_VULKAN_COOPMAT_GLSLC_SUPPORT)
 | |
|             // Coopmat, fp32acc and fp16acc
 | |
|             matmul_shaders(true, matmul_id_type, true, false, false);
 | |
|             matmul_shaders(true, matmul_id_type, true, false, true);
 | |
| #endif
 | |
| 
 | |
| #if defined(GGML_VULKAN_COOPMAT2_GLSLC_SUPPORT)
 | |
|             // Coopmat2, fp32acc and fp16acc
 | |
|             matmul_shaders(true, matmul_id_type, false, true, false);
 | |
|             matmul_shaders(true, matmul_id_type, false, true, true);
 | |
| #endif
 | |
|         }
 | |
|     }
 | |
| 
 | |
|     // flash attention
 | |
|     for (const auto& f16acc : {false, true}) {
 | |
|         std::string acctype = f16acc ? "float16_t" : "float";
 | |
|         std::string acctypev4 = f16acc ? "f16vec4" : "vec4";
 | |
| 
 | |
|         for (const auto& tname : type_names) {
 | |
|             if (tname == "f32") {
 | |
|                 continue;
 | |
|             }
 | |
|             if (tname == "bf16") continue;
 | |
| 
 | |
| #if defined(GGML_VULKAN_COOPMAT2_GLSLC_SUPPORT)
 | |
|             if (tname == "f16") {
 | |
|                 string_to_spv("flash_attn_f32_f16_" + tname, "flash_attn_cm2.comp",
 | |
|                     merge_maps(base_dict, {{"Q_TYPE", "float"}, {"D_TYPE", "float"}, {"ACC_TYPE", acctype}}), true, false, true, f16acc);
 | |
|             } else {
 | |
|                 std::string data_a_key = "DATA_A_" + to_uppercase(tname);
 | |
|                 string_to_spv("flash_attn_f32_f16_" + tname, "flash_attn_cm2.comp",
 | |
|                     merge_maps(base_dict, {{data_a_key, "1"}, {"Q_TYPE", "float"}, {"D_TYPE", "float"}, {"ACC_TYPE", acctype}, {"DEQUANTFUNC", "dequantFunc"+to_uppercase(tname) }, {"BLOCK_SIZE", "QUANT_K_"+to_uppercase(tname) }}), true, false, true, f16acc);
 | |
|             }
 | |
| #endif
 | |
| #if defined(GGML_VULKAN_COOPMAT_GLSLC_SUPPORT)
 | |
|             if (tname == "f16") {
 | |
|                 string_to_spv("flash_attn_f32_f16_" + tname, "flash_attn_cm1.comp",
 | |
|                     merge_maps(base_dict, {{"Q_TYPE", "float"}, {"D_TYPE", "float"}, {"ACC_TYPE", acctype}, {"ACC_TYPEV4", acctypev4}, {"COOPMAT", "1"}}), true, true, false, f16acc);
 | |
|             } else if (tname == "q4_0" || tname == "q8_0") {
 | |
|                 std::string data_a_key = "DATA_A_" + to_uppercase(tname);
 | |
|                 string_to_spv("flash_attn_f32_f16_" + tname, "flash_attn_cm1.comp",
 | |
|                     merge_maps(base_dict, {{data_a_key, "1"}, {"Q_TYPE", "float"}, {"D_TYPE", "float"}, {"ACC_TYPE", acctype}, {"ACC_TYPEV4", acctypev4}, {"BLOCK_SIZE", "QUANT_K_"+to_uppercase(tname)}, {"COOPMAT", "1"}}), true, true, false, f16acc);
 | |
|             }
 | |
| #endif
 | |
|             if (tname == "f16") {
 | |
|                 string_to_spv("flash_attn_f32_f16_" + tname, "flash_attn.comp",
 | |
|                     merge_maps(base_dict, {{"Q_TYPE", "float"}, {"D_TYPE", "float"}, {"ACC_TYPE", acctype}}), true, false, false, f16acc);
 | |
|             } else if (tname == "q4_0" || tname == "q8_0") {
 | |
|                 std::string data_a_key = "DATA_A_" + to_uppercase(tname);
 | |
|                 string_to_spv("flash_attn_f32_f16_" + tname, "flash_attn.comp",
 | |
|                     merge_maps(base_dict, {{data_a_key, "1"}, {"Q_TYPE", "float"}, {"D_TYPE", "float"}, {"ACC_TYPE", acctype}, {"BLOCK_SIZE", "QUANT_K_"+to_uppercase(tname) }}), true, false, false, f16acc);
 | |
|             }
 | |
|         }
 | |
|     }
 | |
| 
 | |
|     for (const auto& tname : type_names) {
 | |
|         // mul mat vec
 | |
|         std::string data_a_key = "DATA_A_" + to_uppercase(tname);
 | |
|         std::string shader = (string_ends_with(tname, "_k") || string_starts_with(tname, "iq1_") || string_starts_with(tname, "iq2_") || string_starts_with(tname, "iq3_")) ? "mul_mat_vec_" + tname + ".comp" : "mul_mat_vec.comp";
 | |
| 
 | |
|         string_to_spv("mul_mat_vec_" + tname + "_f32_f32", shader, merge_maps(base_dict, {{data_a_key, "1"}, {"B_TYPE", "float"}, {"B_TYPE_VEC2", "vec2"}, {"B_TYPE_VEC4", "vec4"}, {"D_TYPE", "float"}}));
 | |
|         string_to_spv("mul_mat_vec_" + tname + "_f16_f32", shader, merge_maps(base_dict, {{data_a_key, "1"}, {"B_TYPE", "float16_t"}, {"B_TYPE_VEC2", "f16vec2"}, {"B_TYPE_VEC4", "f16vec4"}, {"D_TYPE", "float"}}));
 | |
| 
 | |
|         string_to_spv("mul_mat_vec_" + tname + "_f32_f32_subgroup", shader, merge_maps(base_dict, {{data_a_key, "1"}, {"B_TYPE", "float"}, {"B_TYPE_VEC2", "vec2"}, {"B_TYPE_VEC4", "vec4"}, {"D_TYPE", "float"}, {"USE_SUBGROUP_ADD", "1"}}));
 | |
|         string_to_spv("mul_mat_vec_" + tname + "_f16_f32_subgroup", shader, merge_maps(base_dict, {{data_a_key, "1"}, {"B_TYPE", "float16_t"}, {"B_TYPE_VEC2", "f16vec2"}, {"B_TYPE_VEC4", "f16vec4"}, {"D_TYPE", "float"}, {"USE_SUBGROUP_ADD", "1"}}));
 | |
| 
 | |
|         string_to_spv("mul_mat_vec_id_" + tname + "_f32", shader, merge_maps(base_dict, {{"MUL_MAT_ID", "1"}, {data_a_key, "1"}, {"B_TYPE", "float"}, {"B_TYPE_VEC2", "vec2"}, {"B_TYPE_VEC4", "vec4"}, {"D_TYPE", "float"}}));
 | |
| 
 | |
|         // Dequant shaders
 | |
|         if (tname != "f16" && tname != "bf16") {
 | |
|             string_to_spv("dequant_" + tname, "dequant_" + tname + ".comp", merge_maps(base_dict, {{data_a_key, "1"}, {"D_TYPE", "float16_t"}}));
 | |
|         }
 | |
| 
 | |
|         if (!string_ends_with(tname, "_k")) {
 | |
|             shader = (tname == "f32" || tname == "f16" || tname == "bf16") ? "get_rows.comp" : "get_rows_quant.comp";
 | |
| 
 | |
|             if (tname == "f16") {
 | |
|                 string_to_spv("get_rows_" + tname, shader, merge_maps(base_dict, {{data_a_key, "1"}, {"B_TYPE", "int"}, {"D_TYPE", "float16_t"}, {"OPTIMIZATION_ERROR_WORKAROUND", "1"}}));
 | |
|             } else {
 | |
|                 string_to_spv("get_rows_" + tname, shader, merge_maps(base_dict, {{data_a_key, "1"}, {"B_TYPE", "int"}, {"D_TYPE", "float16_t"}}));
 | |
|             }
 | |
|             string_to_spv("get_rows_" + tname + "_f32", shader, merge_maps(base_dict, {{data_a_key, "1"}, {"B_TYPE", "int"}, {"D_TYPE", "float"}}));
 | |
|         }
 | |
|     }
 | |
| 
 | |
|     string_to_spv("mul_mat_vec_p021_f16_f32_subgroup_add", "mul_mat_vec_p021.comp", {{"A_TYPE", "float16_t"}, {"A_TYPE_VEC4", "f16vec4"}, {"B_TYPE", "float"}, {"B_TYPE_VEC4", "vec4"}, {"D_TYPE", "float"}, {"USE_SUBGROUP_ADD", "1"}});
 | |
|     string_to_spv("mul_mat_vec_p021_f16_f32",              "mul_mat_vec_p021.comp", {{"A_TYPE", "float16_t"}, {"A_TYPE_VEC4", "f16vec4"}, {"B_TYPE", "float"}, {"B_TYPE_VEC4", "vec4"}, {"D_TYPE", "float"}});
 | |
|     string_to_spv("mul_mat_vec_nc_f16_f32", "mul_mat_vec_nc.comp", {{"A_TYPE", "float16_t"}, {"A_TYPE_VEC4", "f16vec4"}, {"B_TYPE", "float"}, {"B_TYPE_VEC4", "vec4"}, {"D_TYPE", "float"}});
 | |
| 
 | |
|     // Norms
 | |
|     string_to_spv("norm_f32", "norm.comp", merge_maps(base_dict, {{"A_TYPE", "float"}, {"D_TYPE", "float"}}));
 | |
|     string_to_spv("group_norm_f32", "group_norm.comp", merge_maps(base_dict, {{"A_TYPE", "float"}, {"D_TYPE", "float"}}));
 | |
|     string_to_spv("rms_norm_f32", "rms_norm.comp", merge_maps(base_dict, {{"A_TYPE", "float"}, {"B_TYPE", "float"}, {"D_TYPE", "float"}}));
 | |
|     string_to_spv("rms_norm_partials_f32", "rms_norm_partials.comp", merge_maps(base_dict, {{"A_TYPE", "float"}, {"B_TYPE", "float"}, {"D_TYPE", "float"}}));
 | |
|     string_to_spv("rms_norm_back_f32", "rms_norm_back.comp", merge_maps(base_dict, {{"A_TYPE", "float"}, {"B_TYPE", "float"}, {"D_TYPE", "float"}}));
 | |
|     string_to_spv("l2_norm_f32", "l2_norm.comp", merge_maps(base_dict, {{"A_TYPE", "float"}, {"D_TYPE", "float"}}));
 | |
| 
 | |
|     string_to_spv("cpy_f32_f32", "copy.comp", {{"A_TYPE", "float"}, {"D_TYPE", "float"}});
 | |
|     string_to_spv("cpy_f32_f16", "copy.comp", {{"A_TYPE", "float"}, {"D_TYPE", "float16_t"}});
 | |
|     string_to_spv("cpy_f16_f16", "copy.comp", {{"A_TYPE", "float16_t"}, {"D_TYPE", "float16_t"}, {"OPTIMIZATION_ERROR_WORKAROUND", "1"}});
 | |
|     string_to_spv("cpy_f16_f32", "copy.comp", {{"A_TYPE", "float16_t"}, {"D_TYPE", "float"}, {"OPTIMIZATION_ERROR_WORKAROUND", "1"}});
 | |
|     string_to_spv("cpy_f32_bf16","copy.comp", {{"A_TYPE", "float"}, {"D_TYPE", "uint16_t"}, {"DATA_D_BF16", "1"}});
 | |
|     string_to_spv("contig_cpy_f32_f32", "contig_copy.comp", {{"A_TYPE", "float"}, {"D_TYPE", "float"}});
 | |
|     string_to_spv("contig_cpy_f32_f16", "contig_copy.comp", {{"A_TYPE", "float"}, {"D_TYPE", "float16_t"}});
 | |
|     string_to_spv("contig_cpy_f16_f16", "contig_copy.comp", {{"A_TYPE", "float16_t"}, {"D_TYPE", "float16_t"}, {"OPTIMIZATION_ERROR_WORKAROUND", "1"}});
 | |
|     string_to_spv("contig_cpy_f16_f32", "contig_copy.comp", {{"A_TYPE", "float16_t"}, {"D_TYPE", "float"}, {"OPTIMIZATION_ERROR_WORKAROUND", "1"}});
 | |
|     string_to_spv("contig_cpy_f32_bf16","contig_copy.comp",{{"A_TYPE", "float"}, {"D_TYPE", "uint16_t"}, {"DATA_D_BF16", "1"}});
 | |
| 
 | |
|     for (std::string t : {"q4_0", "q4_1", "q5_0", "q5_1", "q8_0", "iq4_nl"}) {
 | |
|         string_to_spv("cpy_f32_" + t, "copy_to_quant.comp", {{"DATA_A_" + to_uppercase(t), "1"}, {"D_TYPE", "float"}, {"FLOAT_TYPE", "float"}});
 | |
|         string_to_spv("cpy_f32_" + t + "_rte", "copy_to_quant.comp", {{"DATA_A_" + to_uppercase(t), "1"}, {"D_TYPE", "float"}, {"FLOAT_TYPE", "float"}, {"RTE16", "1"}});
 | |
|         string_to_spv("cpy_" + t + "_f32", "copy_from_quant.comp", {{"DATA_A_" + to_uppercase(t), "1"}, {"D_TYPE", "float"}, {"FLOAT_TYPE", "float"}});
 | |
|     }
 | |
| 
 | |
|     for (std::string t : {"f32", "f16", "bf16", "q4_0", "q4_1", "q5_0", "q5_1", "q8_0", "iq4_nl"}) {
 | |
|         string_to_spv("set_rows_" + t, "copy_to_quant.comp", {{"SET_ROWS", "1"}, {"DATA_A_" + to_uppercase(t), "1"}, {"B_TYPE", "uvec2"}, {"D_TYPE", "float"}, {"FLOAT_TYPE", "float"}});
 | |
|         string_to_spv("set_rows_" + t + "_rte", "copy_to_quant.comp", {{"SET_ROWS", "1"}, {"DATA_A_" + to_uppercase(t), "1"}, {"B_TYPE", "uvec2"}, {"D_TYPE", "float"}, {"FLOAT_TYPE", "float"}, {"RTE16", "1"}});
 | |
|     }
 | |
| 
 | |
|     auto get_type_str = [](bool f16) {
 | |
|         return f16 ? "float16_t" : "float";
 | |
|     };
 | |
|     auto get_suffix = [](bool src0_f16, bool src1_f16, bool dst_f16) {
 | |
|         std::string s;
 | |
|         s += std::string(src0_f16 ? "_f16" : "_f32");
 | |
|         s += std::string(src1_f16 ? "_f16" : "_f32");
 | |
|         s += std::string(dst_f16 ? "_f16" : "_f32");
 | |
|         return s;
 | |
|     };
 | |
|     for (std::string op : {"add", "sub", "mul", "div", "add_rms", }) {
 | |
|     for (auto src0_f16 : {false, true}) {
 | |
|     for (auto src1_f16 : {false, true}) {
 | |
|     for (auto dst_f16  : {false, true}) {
 | |
|     for (auto rte      : {false, true}) {
 | |
|         auto source = op == "add_rms" ? std::string("add") : op;
 | |
|         auto name = op + get_suffix(src0_f16, src1_f16, dst_f16) + (rte ? "_rte" : "");
 | |
|         auto add_rms = op == "add_rms" ? "1" : "0";
 | |
|         string_to_spv(name.c_str(), source + ".comp", {{"A_TYPE", get_type_str(src0_f16)}, {"B_TYPE", get_type_str(src1_f16)}, {"D_TYPE", get_type_str(dst_f16)}, {"FLOAT_TYPE", "float"}, {"RTE16", rte ? "1" : "0"}, {"ADD_RMS" , add_rms}});
 | |
|     }
 | |
|     }
 | |
|     }
 | |
|     }
 | |
|     }
 | |
| 
 | |
|     string_to_spv("sub_f32", "sub.comp", {{"A_TYPE", "float"}, {"B_TYPE", "float"}, {"D_TYPE", "float"}, {"FLOAT_TYPE", "float"}});
 | |
| 
 | |
|     string_to_spv("acc_f32", "acc.comp", {{"A_TYPE", "float"}, {"B_TYPE", "float"}, {"D_TYPE", "float"}, {"FLOAT_TYPE", "float"}});
 | |
| 
 | |
|     string_to_spv("split_k_reduce", "mul_mat_split_k_reduce.comp", {});
 | |
|     string_to_spv("fa_split_k_reduce", "flash_attn_split_k_reduce.comp", {});
 | |
|     string_to_spv("quantize_q8_1", "quantize_q8_1.comp", {});
 | |
| 
 | |
|     string_to_spv("mul_f32", "mul.comp", {{"A_TYPE", "float"}, {"B_TYPE", "float"}, {"D_TYPE", "float"}, {"FLOAT_TYPE", "float"}});
 | |
| 
 | |
|     string_to_spv("div_f32", "div.comp", {{"A_TYPE", "float"}, {"B_TYPE", "float"}, {"D_TYPE", "float"}, {"FLOAT_TYPE", "float"}});
 | |
| 
 | |
|     string_to_spv("repeat_f32", "repeat.comp", {{"A_TYPE", "float"}, {"D_TYPE", "float"}});
 | |
|     string_to_spv("repeat_back_f32", "repeat_back.comp", {{"A_TYPE", "float"}, {"D_TYPE", "float"}});
 | |
| 
 | |
|     string_to_spv("scale_f32", "scale.comp", {{"A_TYPE", "float"}, {"D_TYPE", "float"}, {"FLOAT_TYPE", "float"}});
 | |
| 
 | |
|     string_to_spv("sqr_f32", "square.comp", {{"A_TYPE", "float"}, {"D_TYPE", "float"}, {"FLOAT_TYPE", "float"}});
 | |
| 
 | |
|     string_to_spv("sqrt_f32", "sqrt.comp", {{"A_TYPE", "float"}, {"D_TYPE", "float"}, {"FLOAT_TYPE", "float"}});
 | |
| 
 | |
|     string_to_spv("sin_f32", "sin.comp", {{"A_TYPE", "float"}, {"D_TYPE", "float"}, {"FLOAT_TYPE", "float"}});
 | |
| 
 | |
|     string_to_spv("cos_f32", "cos.comp", {{"A_TYPE", "float"}, {"D_TYPE", "float"}, {"FLOAT_TYPE", "float"}});
 | |
| 
 | |
|     string_to_spv("clamp_f32", "clamp.comp", {{"A_TYPE", "float"}, {"D_TYPE", "float"}, {"FLOAT_TYPE", "float"}});
 | |
| 
 | |
|     string_to_spv("pad_f32", "pad.comp", {{"A_TYPE", "float"}, {"D_TYPE", "float"}});
 | |
| 
 | |
|     string_to_spv("concat_f32", "concat.comp", {{"A_TYPE", "float"}, {"B_TYPE", "float"}, {"D_TYPE", "float"}});
 | |
|     string_to_spv("concat_f16", "concat.comp", {{"A_TYPE", "float16_t"}, {"B_TYPE", "float16_t"}, {"D_TYPE", "float16_t"}, {"OPTIMIZATION_ERROR_WORKAROUND", "1"}});
 | |
|     string_to_spv("concat_i32", "concat.comp", {{"A_TYPE", "int"}, {"B_TYPE", "int"}, {"D_TYPE", "int"}});
 | |
| 
 | |
|     string_to_spv("upscale_f32", "upscale.comp", {{"A_TYPE", "float"}, {"B_TYPE", "float"}, {"D_TYPE", "float"}});
 | |
| 
 | |
|     string_to_spv("exp_f16",        "exp.comp",         {{"A_TYPE", "float16_t"},   {"D_TYPE", "float16_t"}});
 | |
|     string_to_spv("exp_f32",        "exp.comp",         {{"A_TYPE", "float"},       {"D_TYPE", "float"}});
 | |
|     string_to_spv("gelu_f16",       "gelu.comp",        {{"A_TYPE", "float16_t"},   {"D_TYPE", "float16_t"}});
 | |
|     string_to_spv("gelu_f32",       "gelu.comp",        {{"A_TYPE", "float"},       {"D_TYPE", "float"}});
 | |
|     string_to_spv("gelu_erf_f16",   "gelu_erf.comp",    {{"A_TYPE", "float16_t"},   {"D_TYPE", "float16_t"}});
 | |
|     string_to_spv("gelu_erf_f32",   "gelu_erf.comp",    {{"A_TYPE", "float"},       {"D_TYPE", "float"}});
 | |
|     string_to_spv("gelu_quick_f16", "gelu_quick.comp",  {{"A_TYPE", "float16_t"},   {"D_TYPE", "float16_t"}});
 | |
|     string_to_spv("gelu_quick_f32", "gelu_quick.comp",  {{"A_TYPE", "float"},       {"D_TYPE", "float"}});
 | |
|     string_to_spv("silu_f16",       "silu.comp",        {{"A_TYPE", "float16_t"},   {"D_TYPE", "float16_t"}});
 | |
|     string_to_spv("silu_f32",       "silu.comp",        {{"A_TYPE", "float"},       {"D_TYPE", "float"}});
 | |
|     string_to_spv("relu_f16",       "relu.comp",        {{"A_TYPE", "float16_t"},   {"D_TYPE", "float16_t"}});
 | |
|     string_to_spv("relu_f32",       "relu.comp",        {{"A_TYPE", "float"},       {"D_TYPE", "float"}});
 | |
|     string_to_spv("tanh_f16",       "tanh.comp",        {{"A_TYPE", "float16_t"},   {"D_TYPE", "float16_t"}});
 | |
|     string_to_spv("tanh_f32",       "tanh.comp",        {{"A_TYPE", "float"},       {"D_TYPE", "float"}});
 | |
|     string_to_spv("sigmoid_f16",    "sigmoid.comp",     {{"A_TYPE", "float16_t"},   {"D_TYPE", "float16_t"}});
 | |
|     string_to_spv("sigmoid_f32",    "sigmoid.comp",     {{"A_TYPE", "float"},       {"D_TYPE", "float"}});
 | |
| 
 | |
|     for (auto rte : {false, true}) {
 | |
|         std::string suffix = rte ? "_rte" : "";
 | |
|         string_to_spv("geglu_f16" + suffix,      "geglu.comp",       {{"A_TYPE", "float16_t"},   {"D_TYPE", "float16_t"},   {"RTE16", rte ? "1" : "0"}});
 | |
|         string_to_spv("geglu_f32" + suffix,      "geglu.comp",       {{"A_TYPE", "float"},       {"D_TYPE", "float"},       {"RTE16", rte ? "1" : "0"}});
 | |
|         string_to_spv("reglu_f16" + suffix,      "reglu.comp",       {{"A_TYPE", "float16_t"},   {"D_TYPE", "float16_t"},   {"RTE16", rte ? "1" : "0"}});
 | |
|         string_to_spv("reglu_f32" + suffix,      "reglu.comp",       {{"A_TYPE", "float"},       {"D_TYPE", "float"},       {"RTE16", rte ? "1" : "0"}});
 | |
|         string_to_spv("swiglu_f16" + suffix,     "swiglu.comp",      {{"A_TYPE", "float16_t"},   {"D_TYPE", "float16_t"},   {"RTE16", rte ? "1" : "0"}});
 | |
|         string_to_spv("swiglu_f32" + suffix,     "swiglu.comp",      {{"A_TYPE", "float"},       {"D_TYPE", "float"},       {"RTE16", rte ? "1" : "0"}});
 | |
|         string_to_spv("swiglu_oai_f16" + suffix, "swiglu_oai.comp",  {{"A_TYPE", "float16_t"},   {"D_TYPE", "float16_t"},   {"RTE16", rte ? "1" : "0"}});
 | |
|         string_to_spv("swiglu_oai_f32" + suffix, "swiglu_oai.comp",  {{"A_TYPE", "float"},       {"D_TYPE", "float"},       {"RTE16", rte ? "1" : "0"}});
 | |
|         string_to_spv("geglu_erf_f16" + suffix,  "geglu_erf.comp",   {{"A_TYPE", "float16_t"},   {"D_TYPE", "float16_t"},   {"RTE16", rte ? "1" : "0"}});
 | |
|         string_to_spv("geglu_erf_f32" + suffix,  "geglu_erf.comp",   {{"A_TYPE", "float"},       {"D_TYPE", "float"},       {"RTE16", rte ? "1" : "0"}});
 | |
|         string_to_spv("geglu_quick_f16" + suffix,"geglu_quick.comp", {{"A_TYPE", "float16_t"},   {"D_TYPE", "float16_t"},   {"RTE16", rte ? "1" : "0"}});
 | |
|         string_to_spv("geglu_quick_f32" + suffix,"geglu_quick.comp", {{"A_TYPE", "float"},       {"D_TYPE", "float"},       {"RTE16", rte ? "1" : "0"}});
 | |
|     }
 | |
| 
 | |
|     string_to_spv("leaky_relu_f32", "leaky_relu.comp",  {{"A_TYPE", "float"}, {"D_TYPE", "float"}});
 | |
|     string_to_spv("silu_back_f32",  "silu_back.comp",   {{"A_TYPE", "float"}, {"B_TYPE", "float"}, {"D_TYPE", "float"}});
 | |
| 
 | |
|     string_to_spv("diag_mask_inf_f32", "diag_mask_inf.comp", {{"A_TYPE", "float"}, {"D_TYPE", "float"}});
 | |
| 
 | |
|     string_to_spv("soft_max_f32", "soft_max.comp", merge_maps(base_dict, {{"A_TYPE", "float"}, {"B_TYPE", "float"}, {"D_TYPE", "float"}}));
 | |
|     string_to_spv("soft_max_f32_f16", "soft_max.comp", merge_maps(base_dict, {{"A_TYPE", "float"}, {"B_TYPE", "float16_t"}, {"D_TYPE", "float"}}));
 | |
|     string_to_spv("soft_max_back_f32", "soft_max_back.comp", merge_maps(base_dict, {{"A_TYPE", "float"}, {"B_TYPE", "float"}, {"D_TYPE", "float"}}));
 | |
| 
 | |
|     string_to_spv("rope_norm_f32", "rope_norm.comp", {{"A_TYPE", "float"}, {"D_TYPE", "float"}});
 | |
|     string_to_spv("rope_norm_f16", "rope_norm.comp", {{"A_TYPE", "float16_t"}, {"D_TYPE", "float16_t"}});
 | |
|     string_to_spv("rope_norm_f16_rte", "rope_norm.comp", {{"A_TYPE", "float16_t"}, {"D_TYPE", "float16_t"}, {"RTE16", "1"}});
 | |
| 
 | |
|     string_to_spv("rope_neox_f32", "rope_neox.comp", {{"A_TYPE", "float"}, {"D_TYPE", "float"}});
 | |
|     string_to_spv("rope_neox_f16", "rope_neox.comp", {{"A_TYPE", "float16_t"}, {"D_TYPE", "float16_t"}});
 | |
|     string_to_spv("rope_neox_f16_rte", "rope_neox.comp", {{"A_TYPE", "float16_t"}, {"D_TYPE", "float16_t"}, {"RTE16", "1"}});
 | |
| 
 | |
|     string_to_spv("rope_multi_f32", "rope_multi.comp", {{"A_TYPE", "float"}, {"D_TYPE", "float"}});
 | |
|     string_to_spv("rope_multi_f16", "rope_multi.comp", {{"A_TYPE", "float16_t"}, {"D_TYPE", "float16_t"}});
 | |
|     string_to_spv("rope_multi_f16_rte", "rope_multi.comp", {{"A_TYPE", "float16_t"}, {"D_TYPE", "float16_t"}, {"RTE16", "1"}});
 | |
| 
 | |
|     string_to_spv("rope_vision_f32", "rope_vision.comp", {{"A_TYPE", "float"}, {"D_TYPE", "float"}});
 | |
|     string_to_spv("rope_vision_f16", "rope_vision.comp", {{"A_TYPE", "float16_t"}, {"D_TYPE", "float16_t"}});
 | |
|     string_to_spv("rope_vision_f16_rte", "rope_vision.comp", {{"A_TYPE", "float16_t"}, {"D_TYPE", "float16_t"}, {"RTE16", "1"}});
 | |
| 
 | |
|     string_to_spv("argsort_f32", "argsort.comp", {{"A_TYPE", "float"}});
 | |
| 
 | |
|     string_to_spv("argmax_f32", "argmax.comp", merge_maps(base_dict, {{"A_TYPE", "float"}, {"D_TYPE", "int"}}));
 | |
|     string_to_spv("sum_rows_f32", "sum_rows.comp", merge_maps(base_dict, {{"A_TYPE", "float"}, {"D_TYPE", "float"}}));
 | |
|     string_to_spv("count_equal_i32", "count_equal.comp", merge_maps(base_dict, {{"A_TYPE", "int"}, {"B_TYPE", "int"}, {"D_TYPE", "int"}}));
 | |
| 
 | |
|     string_to_spv("im2col_f32", "im2col.comp", merge_maps(base_dict, {{"A_TYPE", "float"}, {"D_TYPE", "float"}}));
 | |
|     string_to_spv("im2col_f32_f16", "im2col.comp", merge_maps(base_dict, {{"A_TYPE", "float"}, {"D_TYPE", "float16_t"}}));
 | |
|     string_to_spv("im2col_f32_f16_rte", "im2col.comp", merge_maps(base_dict, {{"A_TYPE", "float"}, {"D_TYPE", "float16_t"}, {"RTE16", "1"}}));
 | |
| 
 | |
|     string_to_spv("timestep_embedding_f32", "timestep_embedding.comp", merge_maps(base_dict, {{"A_TYPE", "float"}, {"D_TYPE", "float"}}));
 | |
| 
 | |
|     string_to_spv("conv_transpose_1d_f32", "conv_transpose_1d.comp", {{"A_TYPE", "float"},  {"B_TYPE", "float"}, {"D_TYPE", "float"}});
 | |
| 
 | |
|     string_to_spv("pool2d_f32", "pool2d.comp", merge_maps(base_dict, {{"A_TYPE", "float"}, {"D_TYPE", "float"}}));
 | |
| 
 | |
|     string_to_spv("rwkv_wkv6_f32", "wkv6.comp", merge_maps(base_dict, {{"A_TYPE", "float"}}));
 | |
| 
 | |
|     string_to_spv("rwkv_wkv7_f32", "wkv7.comp", merge_maps(base_dict, {{"A_TYPE", "float"}}));
 | |
| 
 | |
|     string_to_spv("opt_step_adamw_f32", "opt_step_adamw.comp", merge_maps(base_dict, {{"A_TYPE", "float"}}));
 | |
|     string_to_spv("opt_step_sgd_f32", "opt_step_sgd.comp", merge_maps(base_dict, {{"A_TYPE", "float"}}));
 | |
| 
 | |
|     string_to_spv("conv2d_f32_unroll", "conv2d_mm.comp", {{"A_TYPE", "float"}, {"B_TYPE", "float"}, {"D_TYPE", "float"}, {"USE_COLLECTIVES", "1"}, {"UNROLL", "[[unroll]]"}});
 | |
|     string_to_spv("conv2d_f16_f32_unroll", "conv2d_mm.comp", {{"A_TYPE", "float16_t"}, {"B_TYPE", "float"}, {"D_TYPE", "float"}, {"USE_COLLECTIVES", "1"}, {"UNROLL", "[[unroll]]"}});
 | |
| 
 | |
|     string_to_spv("conv2d_f32", "conv2d_mm.comp", {{"A_TYPE", "float"}, {"B_TYPE", "float"}, {"D_TYPE", "float"}, {"USE_COLLECTIVES", "1"}, {"UNROLL", ""}});
 | |
|     string_to_spv("conv2d_f16_f32", "conv2d_mm.comp", {{"A_TYPE", "float16_t"}, {"B_TYPE", "float"}, {"D_TYPE", "float"}, {"USE_COLLECTIVES", "1"}, {"UNROLL", ""}});
 | |
| 
 | |
| #if defined(GGML_VULKAN_COOPMAT2_GLSLC_SUPPORT)
 | |
|     string_to_spv("conv2d_f32", "conv2d_mm.comp", {{"A_TYPE", "float"}, {"B_TYPE", "float"}, {"D_TYPE", "float"}, {"USE_COLLECTIVES", "1"}, {"UNROLL", "[[unroll]]"}, {"COOPMAT2", "1"}}, true, false, true);
 | |
|     string_to_spv("conv2d_f16_f32", "conv2d_mm.comp", {{"A_TYPE", "float16_t"}, {"B_TYPE", "float"}, {"D_TYPE", "float"}, {"USE_COLLECTIVES", "1"}, {"UNROLL", "[[unroll]]"}, {"COOPMAT2", "1"}}, true, false, true);
 | |
| #endif
 | |
| 
 | |
|     string_to_spv("conv2d_dw_whcn_f32", "conv2d_dw.comp", merge_maps(base_dict, {{"A_TYPE", "float"}, {"B_TYPE", "float"}, {"D_TYPE", "float"}, {"WHCN", "1"}}));
 | |
|     string_to_spv("conv2d_dw_cwhn_f32", "conv2d_dw.comp", merge_maps(base_dict, {{"A_TYPE", "float"}, {"B_TYPE", "float"}, {"D_TYPE", "float"}, {"CWHN", "1"}}));
 | |
|     string_to_spv("conv2d_dw_whcn_f16_f32", "conv2d_dw.comp", merge_maps(base_dict, {{"A_TYPE", "float16_t"}, {"B_TYPE", "float"}, {"D_TYPE", "float"}, {"WHCN", "1"}}));
 | |
|     string_to_spv("conv2d_dw_cwhn_f16_f32", "conv2d_dw.comp", merge_maps(base_dict, {{"A_TYPE", "float16_t"}, {"B_TYPE", "float"}, {"D_TYPE", "float"}, {"CWHN", "1"}}));
 | |
| 
 | |
|     string_to_spv("roll_f32", "roll.comp", merge_maps(base_dict, {{"A_TYPE", "float"}, {"D_TYPE", "float"}}));
 | |
| 
 | |
|     string_to_spv("add_id_f32", "add_id.comp", merge_maps(base_dict, {{"A_TYPE", "float"}, {"B_TYPE", "float"}, {"D_TYPE", "float"}}));
 | |
| 
 | |
|     string_to_spv("multi_add_f32", "multi_add.comp", {{"A_TYPE", "float"}, {"B_TYPE", "float"}, {"D_TYPE", "float"}, {"FLOAT_TYPE", "float"}, {"RTE16", "1"}, {"ADD_RMS" , "0"}});
 | |
|     string_to_spv("multi_add_rms_f32", "multi_add.comp", {{"A_TYPE", "float"}, {"B_TYPE", "float"}, {"D_TYPE", "float"}, {"FLOAT_TYPE", "float"}, {"RTE16", "1"}, {"ADD_RMS" , "1"}});
 | |
| 
 | |
|     for (auto &c : compiles) {
 | |
|         c.wait();
 | |
|     }
 | |
| }
 | |
| 
 | |
| void write_output_files() {
 | |
|     FILE* hdr = fopen(target_hpp.c_str(), "w");
 | |
|     FILE* src = fopen(target_cpp.c_str(), "w");
 | |
| 
 | |
|     fprintf(hdr, "#include <cstdint>\n\n");
 | |
|     fprintf(src, "#include \"%s\"\n\n", basename(target_hpp).c_str());
 | |
| 
 | |
|     std::sort(shader_fnames.begin(), shader_fnames.end());
 | |
|     for (const auto& pair : shader_fnames) {
 | |
|         const std::string& name = pair.first;
 | |
|         #ifdef _WIN32
 | |
|             std::string path = pair.second;
 | |
|             std::replace(path.begin(), path.end(), '/', '\\' );
 | |
|         #else
 | |
|             const std::string& path = pair.second;
 | |
|         #endif
 | |
| 
 | |
|         FILE* spv = fopen(path.c_str(), "rb");
 | |
|         if (!spv) {
 | |
|             std::cerr << "Error opening SPIR-V file: " << path << " (" << strerror(errno) << ")\n";
 | |
|             continue;
 | |
|         }
 | |
| 
 | |
|         fseek(spv, 0, SEEK_END);
 | |
|         size_t size = ftell(spv);
 | |
|         fseek(spv, 0, SEEK_SET);
 | |
| 
 | |
|         std::vector<unsigned char> data(size);
 | |
|         size_t read_size = fread(data.data(), 1, size, spv);
 | |
|         fclose(spv);
 | |
|         if (read_size != size) {
 | |
|             std::cerr << "Error reading SPIR-V file: " << path << " (" << strerror(errno) << ")\n";
 | |
|             continue;
 | |
|         }
 | |
| 
 | |
|         fprintf(hdr, "extern unsigned char %s_data[%zu];\n", name.c_str(), size);
 | |
|         fprintf(hdr, "const uint64_t %s_len = %zu;\n\n", name.c_str(), size);
 | |
| 
 | |
|         fprintf(src, "unsigned char %s_data[%zu] = {\n", name.c_str(), size);
 | |
|         for (size_t i = 0; i < size; ++i) {
 | |
|             fprintf(src, "0x%02x,", data[i]);
 | |
|             if ((i + 1) % 12 == 0) fprintf(src, "\n");
 | |
|         }
 | |
|         fprintf(src, "\n};\n\n");
 | |
| 
 | |
|         if (!no_clean) {
 | |
|             std::remove(path.c_str());
 | |
|         }
 | |
|     }
 | |
| 
 | |
|     std::string suffixes[2] = {"_f32", "_f16"};
 | |
|     for (const char *op : {"add", "sub", "mul", "div", "add_rms"}) {
 | |
|         fprintf(hdr, "extern unsigned char *%s_data[2][2][2][2];\n", op);
 | |
|         fprintf(hdr, "extern uint64_t %s_len[2][2][2][2];\n", op);
 | |
|         std::string data = "unsigned char *" + std::string(op) + "_data[2][2][2][2] = ";
 | |
|         std::string len = "uint64_t " + std::string(op) + "_len[2][2][2][2] = ";
 | |
|         for (uint32_t t0 = 0; t0 < 2; ++t0) {
 | |
|             if (t0 == 0) {
 | |
|                 data += "{";
 | |
|                 len += "{";
 | |
|             }
 | |
|             for (uint32_t t1 = 0; t1 < 2; ++t1) {
 | |
|                 if (t1 == 0) {
 | |
|                     data += "{";
 | |
|                     len += "{";
 | |
|                 }
 | |
|                 for (uint32_t t2 = 0; t2 < 2; ++t2) {
 | |
|                     if (t2 == 0) {
 | |
|                         data += "{";
 | |
|                         len += "{";
 | |
|                     }
 | |
|                     for (uint32_t rte = 0; rte < 2; ++rte) {
 | |
|                         if (rte == 0) {
 | |
|                             data += "{";
 | |
|                             len += "{";
 | |
|                         }
 | |
|                         data += op + suffixes[t0] + suffixes[t1] + suffixes[t2] + ((rte != 0) ? "_rte" : "");
 | |
|                         len  += op + suffixes[t0] + suffixes[t1] + suffixes[t2] + ((rte != 0) ? "_rte" : "");
 | |
|                         data += "_data,";
 | |
|                         len  += "_len,";
 | |
|                         if (rte == 1) {
 | |
|                             data += "}, ";
 | |
|                             len += "}, ";
 | |
|                         }
 | |
|                     }
 | |
|                     if (t2 == 1) {
 | |
|                         data += "}, ";
 | |
|                         len += "}, ";
 | |
|                     }
 | |
|                 }
 | |
|                 if (t1 == 1) {
 | |
|                     data += "}, ";
 | |
|                     len += "}, ";
 | |
|                 }
 | |
|             }
 | |
|             if (t0 == 1) {
 | |
|                 data += "};\n";
 | |
|                 len += "};\n";
 | |
|             }
 | |
|         }
 | |
|         fputs(data.c_str(), src);
 | |
|         fputs(len.c_str(), src);
 | |
|     }
 | |
| 
 | |
|     for (const std::string& btype : {"f16", "f32"}) {
 | |
|     for (const auto& tname : type_names) {
 | |
|         fprintf(hdr, "extern unsigned char *arr_dmmv_%s_%s_f32_data[2];\n", tname.c_str(), btype.c_str());
 | |
|         fprintf(hdr, "extern uint64_t arr_dmmv_%s_%s_f32_len[2];\n", tname.c_str(), btype.c_str());
 | |
|         std::string data = "unsigned char *arr_dmmv_" + tname + "_" + btype + "_f32_data[2] = {mul_mat_vec_" + tname + "_" + btype + "_f32_data, mul_mat_vec_" + tname + "_" + btype + "_f32_subgroup_data};\n";
 | |
|         std::string len =  "uint64_t arr_dmmv_"       + tname + "_" + btype + "_f32_len[2] =  {mul_mat_vec_" + tname + "_" + btype + "_f32_len,  mul_mat_vec_" + tname + "_" + btype + "_f32_subgroup_len};\n";
 | |
|         fputs(data.c_str(), src);
 | |
|         fputs(len.c_str(), src);
 | |
|     }
 | |
|     }
 | |
| 
 | |
|     fclose(hdr);
 | |
|     fclose(src);
 | |
| }
 | |
| }
 | |
| 
 | |
| int main(int argc, char** argv) {
 | |
|     std::map<std::string, std::string> args;
 | |
|     for (int i = 1; i < argc; ++i) {
 | |
|         std::string arg = argv[i];
 | |
|         if (arg.rfind("--", 0) == 0) {
 | |
|             if (i + 1 < argc && argv[i + 1][0] != '-') {
 | |
|                 args[arg] = argv[i + 1];
 | |
|                 ++i;
 | |
|             } else {
 | |
|                 args[arg] = "";
 | |
|             }
 | |
|         }
 | |
|     }
 | |
| 
 | |
|     if (args.find("--glslc") != args.end()) {
 | |
|         GLSLC = args["--glslc"]; // Path to glslc
 | |
|     }
 | |
|     if (args.find("--input-dir") != args.end()) {
 | |
|         input_dir = args["--input-dir"]; // Directory containing shader sources
 | |
|     }
 | |
|     if (args.find("--output-dir") != args.end()) {
 | |
|         output_dir = args["--output-dir"]; // Directory for containing SPIR-V output
 | |
|     }
 | |
|     if (args.find("--target-hpp") != args.end()) {
 | |
|         target_hpp = args["--target-hpp"]; // Path to generated header file
 | |
|     }
 | |
|     if (args.find("--target-cpp") != args.end()) {
 | |
|         target_cpp = args["--target-cpp"]; // Path to generated cpp file
 | |
|     }
 | |
|     if (args.find("--no-clean") != args.end()) {
 | |
|         no_clean = true; // Keep temporary SPIR-V files in output-dir after build
 | |
|     }
 | |
| 
 | |
|     if (!directory_exists(input_dir)) {
 | |
|         std::cerr << "\"" << input_dir << "\" must be a valid directory containing shader sources" << std::endl;
 | |
|         return EXIT_FAILURE;
 | |
|     }
 | |
| 
 | |
|     if (!directory_exists(output_dir)) {
 | |
|         if (!create_directory(output_dir)) {
 | |
|             std::cerr << "Error creating output directory: " << output_dir << "\n";
 | |
|             return EXIT_FAILURE;
 | |
|         }
 | |
|     }
 | |
| 
 | |
|     process_shaders();
 | |
| 
 | |
|     write_output_files();
 | |
| 
 | |
|     return EXIT_SUCCESS;
 | |
| }
 |