Move vertex format to utils.

Makefile

@@ -21,7 +21,7 @@ cpp/math.cpp
 
 OUTPUTFILE = engine.so
 
-CXXFLAGS = -Wall -Werror -O2 -msse2 -ffast-math -fpic -flto -fno-rtti -fno-exceptions
+CXXFLAGS = -std=c++17 -Wall -Werror -O2 -msse2 -fpic -flto -fno-rtti -fno-exceptions
 
 .PHONY: all
 all: clean $(OUTPUTFILE)

__init__.py

@@ -268,34 +268,28 @@ TEXTURE_FLAG_MAG_NEAREST = 0
 TEXTURE_FLAG_MAG_LINEAR = _flag(3)
 
 VERTEX_FORMAT_VEC3_FLOAT = 1
-VERTEX_FORMAT_VEC3_INT10 = 2
-VERTEX_FORMAT_VEC3_UINT10 = 3
+VERTEX_FORMAT_VEC3_SHORT = 2
+VERTEX_FORMAT_VEC3_INT10 = 3
+VERTEX_FORMAT_VEC3_UINT10 = 4
+VERTEX_FORMAT_MAT3_FLOAT = 5
+VERTEX_FORMAT_MAT3_INT10 = 6
 VERTEX_FORMAT_NORMALIZE = _flag(7)
+_VERTEX_FORMAT_MASK = VERTEX_FORMAT_NORMALIZE - 1
 
 def vertex_format(*format):
     return array('B', format).tobytes()
 
-PARAM_FORMAT_VEC3_FLOAT = 1
-PARAM_FORMAT_VEC3_SHORT = 2
-PARAM_FORMAT_VEC3_INT10 = 3
-PARAM_FORMAT_MAT3_FLOAT = 4
-PARAM_FORMAT_MAT3_INT10 = 5
-PARAM_FORMAT_NORMALIZE = _flag(7)
-_PARAM_FORMAT_MASK = PARAM_FORMAT_NORMALIZE - 1
-
-_PARAMS_TYPES = (
+_VERTEX_TYPES = (
     None,
-    vec3, # PARAM_FORMAT_VEC3_FLOAT
-    vec3, # PARAM_FORMAT_VEC3_SHORT
-    vec3, # PARAM_FORMAT_VEC3_INT10
-    mat3, # PARAM_FORMAT_MAT3_FLOAT
-    mat3) # PARAM_FORMAT_MAT3_INT10
+    vec3, # VERTEX_FORMAT_VEC3_FLOAT
+    vec3, # VERTEX_FORMAT_VEC3_SHORT
+    vec3, # VERTEX_FORMAT_VEC3_INT10
+    vec3, # VERTEX_FORMAT_VEC3_UINT10
+    mat3, # VERTEX_FORMAT_MAT3_FLOAT
+    mat3) # VERTEX_FORMAT_MAT3_INT10
 
-def param_type(format):
-    return _PARAMS_TYPES[format & _PARAM_FORMAT_MASK]
-
-def params_format(*format):
-    return array('B', format).tobytes()
+def vertex_type(format):
+    return _VERTEX_TYPES[format & _VERTEX_FORMAT_MASK]
 
 INSTANCE_FLAG_SPAWNED = _flag(0)
 INSTANCE_FLAG_VISIBLE = _flag(1)

cpp/render.hpp

@@ -29,7 +29,7 @@ typedef rk_handle_t rk_batch_t;
 
 typedef rk_uint rk_texture_format;
 
-enum : rk_uint {
+enum : rk_texture_format {
     RK_TEXTURE_FORMAT_SRGB8_A8 = 0,
     RK_TEXTURE_FORMAT_RGBA8 = 1,
     RK_TEXTURE_FORMAT_RGB10_A2 = 2,
@@ -38,7 +38,7 @@ enum : rk_uint {
 
 typedef rk_uint rk_texture_flags;
 
-enum : rk_uint {
+enum : rk_texture_flags {
     RK_TEXTURE_FLAG_3D = RK_FLAG(0),
     RK_TEXTURE_FLAG_MIPMAPS = RK_FLAG(1),
     RK_TEXTURE_FLAG_MIN_NEAREST = 0,
@@ -49,58 +49,40 @@ enum : rk_uint {
 
 typedef rk_ubyte rk_vertex_format;
 
-enum : rk_ubyte {
+enum : rk_vertex_format {
     RK_VERTEX_FORMAT_VEC3_FLOAT = 1,
-    RK_VERTEX_FORMAT_VEC3_INT10 = 2,
-    RK_VERTEX_FORMAT_VEC3_UINT10 = 3,
+    RK_VERTEX_FORMAT_VEC3_SHORT = 2,
+    RK_VERTEX_FORMAT_VEC3_INT10 = 3,
+    RK_VERTEX_FORMAT_VEC3_UINT10 = 4,
+    RK_VERTEX_FORMAT_MAT3_FLOAT = 5,
+    RK_VERTEX_FORMAT_MAT3_INT10 = 6,
     RK_VERTEX_FORMAT_NORMALIZE = RK_FLAG(7),
     RK_VERTEX_FORMAT_MASK = RK_VERTEX_FORMAT_NORMALIZE - 1
 };
 
-typedef rk_ubyte rk_param_format;
-
-enum : rk_ubyte {
-    RK_PARAM_FORMAT_VEC3_FLOAT = 1,
-    RK_PARAM_FORMAT_VEC3_SHORT = 2,
-    RK_PARAM_FORMAT_VEC3_INT10 = 3,
-    RK_PARAM_FORMAT_MAT3_FLOAT = 4,
-    RK_PARAM_FORMAT_MAT3_INT10 = 5,
-    RK_PARAM_FORMAT_NORMALIZE = RK_FLAG(7),
-    RK_PARAM_FORMAT_MASK = RK_PARAM_FORMAT_NORMALIZE - 1
-};
-
 typedef rk_ubyte rk_instance_flags;
 
-enum : rk_ubyte {
+enum : rk_instance_flags {
     RK_INSTANCE_FLAG_SPAWNED = RK_FLAG(0),
     RK_INSTANCE_FLAG_VISIBLE = RK_FLAG(1),
     RK_INSTANCE_FLAGS_SPAWNED_VISIBLE = RK_INSTANCE_FLAG_SPAWNED | RK_INSTANCE_FLAG_VISIBLE
 };
 
-typedef rk_ushort rk_instance_index;
-
 enum : rk_uint {
-    RK_BATCH_MAX_SIZE = 1 << (sizeof(rk_instance_index) * 8)
+    RK_BATCH_MAX_SIZE = 65536
 };
 
 typedef rk_ushort rk_vertex_index;
 typedef rk_ushort rk_mesh_index;
+typedef rk_ushort rk_instance_index;
+typedef rk_uint rk_vertex_input;
+typedef rk_uint rk_vertex_output;
 
 struct rk_mesh {
     rk_uint base_index;
     rk_uint ntriangles;
 };
 
-// param input types must be size compatible with an array of rk_param_input
-typedef rk_uint rk_param_input;
-
-template<typename _input_type>
-void rk_param_get_input_size(unsigned & _size, unsigned & _len) {
-    static_assert((sizeof(_input_type) % sizeof(rk_param_input)) == 0);
-    _size = sizeof(_input_type);
-    _len = sizeof(_input_type) / sizeof(rk_param_input);
-}
-
 RK_EXPORT void rk_render_initialize(
     rk_bool debug);
 
@@ -144,14 +126,14 @@ RK_EXPORT rk_vertices_t rk_create_vertices(
 RK_EXPORT rk_batch_t rk_create_batch(
     rk_vertices_t vertices,
     rk_uint max_size,
-    rk_param_format const * params_format);
+    rk_vertex_format const * params_format);
 
 RK_EXPORT void rk_fill_batch(
     rk_batch_t batch,
     rk_uint count,
     rk_instance_flags const * flags,
     rk_mesh_index const * meshes,
-    rk_param_input const * const * params);
+    rk_vertex_input const * const * params);
 
 RK_EXPORT void rk_clear_buffer(
     rk_bool pixels,

cpp/render/render_opengles.cpp

@@ -13,10 +13,10 @@
 // You should have received a copy of the GNU Affero General Public License
 // along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
-#include "../render.hpp"
 #include "render_opengles.hpp"
 #include "../display/display_glx.hpp"
-#include "../cmp_memcpy.hpp"
+#include "../utils/vertex_format.hpp"
+#include "../utils/cmp_memcpy.hpp"
 #include <cstdlib>
 #include <cstdio>
 #include <cstring>
@@ -331,13 +331,13 @@ rk_vertices_t rk_create_vertices(
     for (rk_vertex_format const * f = format; *f; ++f, ++format_size) {
         switch (*f & RK_VERTEX_FORMAT_MASK) {
             case RK_VERTEX_FORMAT_VEC3_FLOAT:
-                vertex_size += sizeof(rk_vec3_float);
+                vertex_size += rk_vec3_float::get_output_size();
                 break;
             case RK_VERTEX_FORMAT_VEC3_INT10:
-                vertex_size += sizeof(rk_vec3_int10);
+                vertex_size += rk_vec3_int10::get_output_size();
                 break;
             case RK_VERTEX_FORMAT_VEC3_UINT10:
-                vertex_size += sizeof(rk_vec3_uint10);
+                vertex_size += rk_vec3_uint10::get_output_size();
                 break;
             default:
                 rk_printf("rk_create_vertices(): invalid vertex format.");
@@ -421,147 +421,10 @@ static void rk_buckets_alloc(
     }
 }
 
-#define rk_pack_short_norm(_f) (static_cast<rk_int>((_f) * 32767.f) & 65536)
-// #define rk_pack_short_norm(_f) (((static_cast<rk_int>((_f) * 32767.f) - 1) / 2) & 65535)
-
-#define rk_pack_int10_norm(_f) (static_cast<rk_int>((_f) * 511.f) & 1023)
-// #define rk_pack_int10_norm(_f) (((static_cast<rk_int>((_f) * 1023.f) - 1) / 2) & 1023)
-
-static void rk_pack_vec3_float(
-    unsigned const count,
-    rk_instance_index const * const __restrict indices,
-    rk_param_output * __restrict _dst,
-    rk_param_input const * const __restrict _src) {
-    rk_instance_index const * const last_index = indices + count;
-    rk_vec3_float * __restrict dst = reinterpret_cast<rk_vec3_float *>(_dst);
-    rk_vec3_float const * const __restrict src = reinterpret_cast<rk_vec3_float const *>(_src);
-    for (rk_instance_index const * __restrict index = indices; index < last_index; ++index, ++dst) {
-        *dst = src[*index];
-    }
-}
-
-static void rk_pack_vec3_short(
-    unsigned const count,
-    rk_instance_index const * const __restrict indices,
-    rk_param_output * __restrict _dst,
-    rk_param_input const * const __restrict _src) {
-    rk_instance_index const * const last_index = indices + count;
-    rk_vec3_short * __restrict dst = reinterpret_cast<rk_vec3_short *>(_dst);
-    rk_vec3_float const * const __restrict src = reinterpret_cast<rk_vec3_float const *>(_src);
-    for (rk_instance_index const * __restrict index = indices; index < last_index; ++index, ++dst) {
-        rk_vec3_float const & input = src[*index];
-        dst->x = static_cast<rk_short>(input.x);
-        dst->y = static_cast<rk_short>(input.y);
-        dst->z = static_cast<rk_short>(input.z);
-        dst->pad = 0;
-    }
-}
-
-static void rk_pack_vec3_short_norm(
-    unsigned const count,
-    rk_instance_index const * const __restrict indices,
-    rk_param_output * __restrict _dst,
-    rk_param_input const * const __restrict _src) {
-    rk_instance_index const * const last_index = indices + count;
-    rk_vec3_short * __restrict dst = reinterpret_cast<rk_vec3_short *>(_dst);
-    rk_vec3_float const * const __restrict src = reinterpret_cast<rk_vec3_float const *>(_src);
-    #define _convert(s) rk_pack_short_norm(s)
-    for (rk_instance_index const * __restrict index = indices; index < last_index; ++index, ++dst) {
-        rk_vec3_float const & input = src[*index];
-        dst->x = _convert(input.x);
-        dst->y = _convert(input.y);
-        dst->z = _convert(input.z);
-        dst->pad = 0;
-    }
-    #undef _convert
-}
-
-static void rk_pack_vec3_int10(
-    unsigned const count,
-    rk_instance_index const * const __restrict indices,
-    rk_param_output * __restrict _dst,
-    rk_param_input const * const __restrict _src) {
-    rk_instance_index const * const last_index = indices + count;
-    rk_vec3_int10 * __restrict dst = reinterpret_cast<rk_vec3_int10 *>(_dst);
-    rk_vec3_float const * const __restrict src = reinterpret_cast<rk_vec3_float const *>(_src);
-    #define _convert(s) (static_cast<rk_int>((s)) & 1023)
-    for (rk_instance_index const * __restrict index = indices; index < last_index; ++index, ++dst) {
-        rk_vec3_float const & input = src[*index];
-        *dst = _convert(input.x) | (_convert(input.y) << 10) | (_convert(input.z) << 20);
-    }
-    #undef _convert
-}
-
-static void rk_pack_vec3_int10_norm(
-    unsigned const count,
-    rk_instance_index const * const __restrict indices,
-    rk_param_output * __restrict _dst,
-    rk_param_input const * const __restrict _src) {
-    rk_instance_index const * const last_index = indices + count;
-    rk_vec3_int10 * __restrict dst = reinterpret_cast<rk_vec3_int10 *>(_dst);
-    rk_vec3_float const * const __restrict src = reinterpret_cast<rk_vec3_float const *>(_src);
-    #define _convert(s) rk_pack_int10_norm(s)
-    for (rk_instance_index const * __restrict index = indices; index < last_index; ++index, ++dst) {
-        rk_vec3_float const & input = src[*index];
-        *dst = _convert(input.x) | (_convert(input.y) << 10) | (_convert(input.z) << 20);
-    }
-    #undef _convert
-}
-
-static void rk_pack_mat3_float(
-    unsigned const count,
-    rk_instance_index const * const __restrict indices,
-    rk_param_output * __restrict _dst,
-    rk_param_input const * const __restrict _src) {
-    rk_instance_index const * const last_index = indices + count;
-    rk_mat3_float * __restrict dst = reinterpret_cast<rk_mat3_float *>(_dst);
-    rk_mat3_float const * const __restrict src = reinterpret_cast<rk_mat3_float const *>(_src);
-    for (rk_instance_index const * __restrict index = indices; index < last_index; ++index, ++dst) {
-        *dst = src[*index];
-    }
-    #undef _convert
-}
-
-static void rk_pack_mat3_int10(
-    unsigned const count,
-    rk_instance_index const * const __restrict indices,
-    rk_param_output * __restrict _dst,
-    rk_param_input const * const __restrict _src) {
-    rk_instance_index const * const last_index = indices + count;
-    rk_mat3_int10 * __restrict dst = reinterpret_cast<rk_mat3_int10 *>(_dst);
-    rk_mat3_float const * const __restrict src = reinterpret_cast<rk_mat3_float const *>(_src);
-    #define _convert(s) (static_cast<rk_int>((s)) & 1023)
-    for (rk_instance_index const * __restrict index = indices; index < last_index; ++index, ++dst) {
-        rk_mat3_float const & input = src[*index];
-        dst->x = _convert(input.x.x) | (_convert(input.x.y) << 10) | (_convert(input.x.z) << 20);
-        dst->y = _convert(input.y.x) | (_convert(input.y.y) << 10) | (_convert(input.y.z) << 20);
-        dst->z = _convert(input.z.x) | (_convert(input.z.y) << 10) | (_convert(input.z.z) << 20);
-    }
-    #undef _convert
-}
-
-static void rk_pack_mat3_int10_norm(
-    unsigned const count,
-    rk_instance_index const * const __restrict indices,
-    rk_param_output * __restrict _dst,
-    rk_param_input const * const __restrict _src) {
-    rk_instance_index const * const last_index = indices + count;
-    rk_mat3_int10 * __restrict dst = reinterpret_cast<rk_mat3_int10 *>(_dst);
-    rk_mat3_float const * const __restrict src = reinterpret_cast<rk_mat3_float const *>(_src);
-    #define _convert(s) rk_pack_int10_norm(s)
-    for (rk_instance_index const * __restrict index = indices; index < last_index; ++index, ++dst) {
-        rk_mat3_float const & input = src[*index];
-        dst->x = _convert(input.x.x) | (_convert(input.x.y) << 10) | (_convert(input.x.z) << 20);
-        dst->y = _convert(input.y.x) | (_convert(input.y.y) << 10) | (_convert(input.y.z) << 20);
-        dst->z = _convert(input.z.x) | (_convert(input.z.y) << 10) | (_convert(input.z.z) << 20);
-    }
-    #undef _convert
-}
-
 rk_batch_t rk_create_batch(
     rk_vertices_t _vertices,
     rk_uint max_size,
-    rk_param_format const * params_format) {
+    rk_vertex_format const * params_format) {
     rk_vertices * const vertices = reinterpret_cast<rk_vertices *>(_vertices);
     if (!vertices || !max_size || max_size > RK_BATCH_MAX_SIZE) {
         rk_printf("rk_create_batch(): invalid params.");
@@ -571,35 +434,35 @@ rk_batch_t rk_create_batch(
     for (rk_vertex_format const * f = vertices->format; *f; ++f) {
         switch (*f & RK_VERTEX_FORMAT_MASK) {
             case RK_VERTEX_FORMAT_VEC3_FLOAT:
-                vertex_size += sizeof(rk_vec3_float);
+                vertex_size += rk_vec3_float::get_output_size();
                 break;
             case RK_VERTEX_FORMAT_VEC3_INT10:
-                vertex_size += sizeof(rk_vec3_int10);
+                vertex_size += rk_vec3_int10::get_output_size();
                 break;
             case RK_VERTEX_FORMAT_VEC3_UINT10:
-                vertex_size += sizeof(rk_vec3_uint10);
+                vertex_size += rk_vec3_uint10::get_output_size();
                 break;
         }
     }
     unsigned nparams = 0;
     unsigned params_size = 0;
     if (params_format) {
-        for (rk_param_format const * f = params_format; *f; ++f, ++nparams) {
-            switch (*f & RK_PARAM_FORMAT_MASK) {
-                case RK_PARAM_FORMAT_VEC3_FLOAT:
-                    params_size += sizeof(rk_vec3_float);
+        for (rk_vertex_format const * f = params_format; *f; ++f, ++nparams) {
+            switch (*f & RK_VERTEX_FORMAT_MASK) {
+                case RK_VERTEX_FORMAT_VEC3_FLOAT:
+                    params_size += rk_vec3_float::get_output_size();
                     break;
-                case RK_PARAM_FORMAT_VEC3_SHORT:
-                    params_size += sizeof(rk_vec3_short);
+                case RK_VERTEX_FORMAT_VEC3_SHORT:
+                    params_size += rk_vec3_short::get_output_size();
                     break;
-                case RK_PARAM_FORMAT_VEC3_INT10:
-                    params_size += sizeof(rk_vec3_int10);
+                case RK_VERTEX_FORMAT_VEC3_INT10:
+                    params_size += rk_vec3_int10::get_output_size();
                     break;
-                case RK_PARAM_FORMAT_MAT3_FLOAT:
-                    params_size += sizeof(rk_mat3_float);
+                case RK_VERTEX_FORMAT_MAT3_FLOAT:
+                    params_size += rk_mat3_float::get_output_size();
                     break;
-                case RK_PARAM_FORMAT_MAT3_INT10:
-                    params_size += sizeof(rk_mat3_int10);
+                case RK_VERTEX_FORMAT_MAT3_INT10:
+                    params_size += rk_mat3_int10::get_output_size();
                     break;
                 default:
                     rk_printf("rk_create_batch(): invalid param format.");
@@ -668,19 +531,19 @@ rk_batch_t rk_create_batch(
                 glEnableVertexAttribArray(attrib);
                 glVertexAttribFormat(attrib, 3, GL_FLOAT, GL_FALSE, offset);
                 glVertexAttribBinding(attrib++, binding);
-                offset += sizeof(rk_vec3_float);
+                offset += rk_vec3_float::get_output_size();
                 break;
             case RK_VERTEX_FORMAT_VEC3_INT10:
                 glEnableVertexAttribArray(attrib);
                 glVertexAttribFormat(attrib, 4, GL_INT_2_10_10_10_REV, norm, offset);
                 glVertexAttribBinding(attrib++, binding);
-                offset += sizeof(rk_vec3_int10);
+                offset += rk_vec3_int10::get_output_size();
                 break;
             case RK_VERTEX_FORMAT_VEC3_UINT10:
                 glEnableVertexAttribArray(attrib);
                 glVertexAttribFormat(attrib, 4, GL_UNSIGNED_INT_2_10_10_10_REV, norm, offset);
                 glVertexAttribBinding(attrib++, binding);
-                offset += sizeof(rk_vec3_uint10);
+                offset += rk_vec3_uint10::get_output_size();
                 break;
         }
     }
@@ -688,72 +551,74 @@ rk_batch_t rk_create_batch(
     if (nparams) {
         offset = 0;
         rk_parameter * param = batch->params;
-        for (rk_param_format const * f = params_format; *f; ++f, ++param, ++binding) {
-            GLboolean const norm = (*f & RK_PARAM_FORMAT_NORMALIZE) != 0;
+        for (rk_vertex_format const * f = params_format; *f; ++f, ++param, ++binding) {
+            GLboolean const norm = (*f & RK_VERTEX_FORMAT_NORMALIZE) != 0;
             param->dirty = false;
             param->binding = binding;
             param->offset = offset;
-            switch (*f & RK_PARAM_FORMAT_MASK) {
-                case RK_PARAM_FORMAT_VEC3_FLOAT:
-                    rk_param_get_input_size<rk_vec3>(param->src_size, param->src_len);
-                    rk_param_get_output_size<rk_vec3_float>(param->dst_size, param->dst_len);
-                    param->packer = rk_pack_vec3_float;
+            switch (*f & RK_VERTEX_FORMAT_MASK) {
+                case RK_VERTEX_FORMAT_VEC3_FLOAT:
+                    param->src_size = rk_vec3_float::get_input_size();
+                    param->dst_size = rk_vec3_float::get_output_size();
+                    param->packer = rk_vec3_float::param_packer;
                     glBindVertexBuffer(binding, batch->params_buffer, param->offset, param->dst_size);
                     glEnableVertexAttribArray(attrib);
                     glVertexAttribFormat(attrib, 3, GL_FLOAT, GL_FALSE, 0);
                     glVertexAttribBinding(attrib++, binding);
                     break;
-                case RK_PARAM_FORMAT_VEC3_SHORT:
-                    rk_param_get_input_size<rk_vec3>(param->src_size, param->src_len);
-                    rk_param_get_output_size<rk_vec3_short>(param->dst_size, param->dst_len);
-                    param->packer = norm ? rk_pack_vec3_short_norm : rk_pack_vec3_short;
+                case RK_VERTEX_FORMAT_VEC3_SHORT:
+                    param->src_size = rk_vec3_short::get_input_size();
+                    param->dst_size = rk_vec3_short::get_output_size();
+                    param->packer = norm ? rk_vec3_short_norm::param_packer : rk_vec3_short::param_packer;
                     glBindVertexBuffer(binding, batch->params_buffer, param->offset, param->dst_size);
                     glEnableVertexAttribArray(attrib);
                     glVertexAttribFormat(attrib, 3, GL_SHORT, norm, 0);
                     glVertexAttribBinding(attrib++, binding);
                     break;
-                case RK_PARAM_FORMAT_VEC3_INT10:
-                    rk_param_get_input_size<rk_vec3>(param->src_size, param->src_len);
-                    rk_param_get_output_size<rk_vec3_int10>(param->dst_size, param->dst_len);
-                    param->packer = norm ? rk_pack_vec3_int10_norm : rk_pack_vec3_int10;
+                case RK_VERTEX_FORMAT_VEC3_INT10:
+                    param->src_size = rk_vec3_int10::get_input_size();
+                    param->dst_size = rk_vec3_int10::get_output_size();
+                    param->packer = norm ? rk_vec3_int10_norm::param_packer : rk_vec3_int10::param_packer;
                     glBindVertexBuffer(binding, batch->params_buffer, param->offset, param->dst_size);
                     glEnableVertexAttribArray(attrib);
                     glVertexAttribFormat(attrib, 4, GL_INT_2_10_10_10_REV, norm, 0);
                     glVertexAttribBinding(attrib++, binding);
                     break;
-                case RK_PARAM_FORMAT_MAT3_FLOAT:
-                    rk_param_get_input_size<rk_mat3>(param->src_size, param->src_len);
-                    rk_param_get_output_size<rk_mat3_float>(param->dst_size, param->dst_len);
-                    param->packer = rk_pack_mat3_float;
+                case RK_VERTEX_FORMAT_MAT3_FLOAT:
+                    param->src_size = rk_mat3_float::get_input_size();
+                    param->dst_size = rk_mat3_float::get_output_size();
+                    param->packer = rk_mat3_float::param_packer;
                     glBindVertexBuffer(binding, batch->params_buffer, param->offset, param->dst_size);
                     glEnableVertexAttribArray(attrib);
-                    glVertexAttribFormat(attrib, 3, GL_FLOAT, GL_FALSE, offsetof(rk_mat3_float, x));
+                    glVertexAttribFormat(attrib, 3, GL_FLOAT, GL_FALSE, rk_mat3_float::get_output_offset(0));
                     glVertexAttribBinding(attrib++, binding);
                     glEnableVertexAttribArray(attrib);
-                    glVertexAttribFormat(attrib, 3, GL_FLOAT, GL_FALSE, offsetof(rk_mat3_float, y));
+                    glVertexAttribFormat(attrib, 3, GL_FLOAT, GL_FALSE, rk_mat3_float::get_output_offset(1));
                     glVertexAttribBinding(attrib++, binding);
                     glEnableVertexAttribArray(attrib);
-                    glVertexAttribFormat(attrib, 3, GL_FLOAT, GL_FALSE, offsetof(rk_mat3_float, z));
+                    glVertexAttribFormat(attrib, 3, GL_FLOAT, GL_FALSE, rk_mat3_float::get_output_offset(2));
                     glVertexAttribBinding(attrib++, binding);
                     break;
-                case RK_PARAM_FORMAT_MAT3_INT10:
-                    rk_param_get_input_size<rk_mat3>(param->src_size, param->src_len);
-                    rk_param_get_output_size<rk_mat3_int10>(param->dst_size, param->dst_len);
-                    param->packer = norm ? rk_pack_mat3_int10_norm : rk_pack_mat3_int10;
+                case RK_VERTEX_FORMAT_MAT3_INT10:
+                    param->src_size = rk_mat3_int10::get_input_size();
+                    param->dst_size = rk_mat3_int10::get_output_size();
+                    param->packer = norm ? rk_mat3_int10_norm::param_packer : rk_mat3_int10::param_packer;
                     glBindVertexBuffer(binding, batch->params_buffer, param->offset, param->dst_size);
                     glEnableVertexAttribArray(attrib);
-                    glVertexAttribFormat(attrib, 4, GL_INT_2_10_10_10_REV, norm, offsetof(rk_mat3_int10, x));
+                    glVertexAttribFormat(attrib, 4, GL_INT_2_10_10_10_REV, norm, rk_mat3_int10::get_output_offset(0));
                     glVertexAttribBinding(attrib++, binding);
                     glEnableVertexAttribArray(attrib);
-                    glVertexAttribFormat(attrib, 4, GL_INT_2_10_10_10_REV, norm, offsetof(rk_mat3_int10, y));
+                    glVertexAttribFormat(attrib, 4, GL_INT_2_10_10_10_REV, norm, rk_mat3_int10::get_output_offset(1));
                     glVertexAttribBinding(attrib++, binding);
                     glEnableVertexAttribArray(attrib);
-                    glVertexAttribFormat(attrib, 4, GL_INT_2_10_10_10_REV, norm, offsetof(rk_mat3_int10, z));
+                    glVertexAttribFormat(attrib, 4, GL_INT_2_10_10_10_REV, norm, rk_mat3_int10::get_output_offset(2));
                     glVertexAttribBinding(attrib++, binding);
                     break;
             }
             glVertexBindingDivisor(binding, 1);
-            param->source = new rk_param_input[max_size * param->src_len];
+            param->src_len = param->src_size / sizeof(rk_vertex_output);
+            param->dst_len = param->dst_size / sizeof(rk_vertex_output);
+            param->source = new rk_vertex_input[max_size * param->src_len];
             memset(param->source, 0xFF, max_size * param->src_size);
             offset += max_size * param->dst_size;
         }
@@ -763,6 +628,7 @@ rk_batch_t rk_create_batch(
     return reinterpret_cast<rk_batch_t>(batch);
 }
 
+[[RK_HOT, RK_FAST]]
 static void rk_sort_batch(
     rk_batch const & batch) {
     rk_bucket const * const last_bucket = rk_buckets + batch.vertices->nmeshes;
@@ -799,6 +665,7 @@ static void rk_sort_batch(
     batch.state = RK_BATCH_STATE_SORTED;
 }
 
+[[RK_HOT, RK_FAST]]
 static void rk_pack_batch(
     rk_batch const & batch) {
     if (batch.nparams) {
@@ -807,7 +674,7 @@ static void rk_pack_batch(
             if (param->dirty) {
                 param->dirty = false;
                 if (batch.ninstances) {
-                    rk_param_output * const dst = reinterpret_cast<rk_param_output *>(
+                    rk_vertex_output * const dst = reinterpret_cast<rk_vertex_output *>(
                         glMapBufferRange(GL_ARRAY_BUFFER, param->offset, batch.ninstances * param->dst_size,
                             GL_MAP_WRITE_BIT | GL_MAP_INVALIDATE_RANGE_BIT | GL_MAP_UNSYNCHRONIZED_BIT));
                     if (dst) {
@@ -822,12 +689,13 @@ static void rk_pack_batch(
     batch.state = RK_BATCH_STATE_PACKED;
 }
 
+[[RK_HOT, RK_FAST]]
 void rk_fill_batch(
     rk_batch_t _batch,
     rk_uint count,
     rk_instance_flags const * flags,
     rk_mesh_index const * meshes,
-    rk_param_input const * const * params) {
+    rk_vertex_input const * const * params) {
     rk_batch const * const batch = reinterpret_cast<rk_batch const *>(_batch);
     if (!batch || !count || count > batch->max_size) {
         rk_printf("rk_fill_batch(): invalid params.");
@@ -838,7 +706,7 @@ void rk_fill_batch(
     if (batch->nparams) {
         got_all_params = (params != nullptr);
         if (params) {
-            for (rk_param_input const * const * param = params; param < params + batch->nparams; ++param) {
+            for (rk_vertex_input const * const * param = params; param < params + batch->nparams; ++param) {
                 bool const got_param = (*param != nullptr);
                 got_any_params |= got_param;
                 got_all_params &= got_param;
@@ -862,7 +730,7 @@ void rk_fill_batch(
     if (batch->nparams) {
         rk_parameter const * const last_param = batch->params + batch->nparams;
         if (got_any_params) {
-            rk_param_input const * const * src = params;
+            rk_vertex_input const * const * src = params;
             for (rk_parameter const * param = batch->params; param < last_param; ++param, ++src) {
                 param->dirty =
                     ((*src && rk_cmp_memcpy(param->source, *src, batch->count * param->src_len)) || need_sorting);

cpp/render/render_opengles.hpp

@@ -16,12 +16,13 @@
 #ifndef _RK_ENGINE_RENDER_OPENGLES_H
 #define _RK_ENGINE_RENDER_OPENGLES_H
 
-#include "../types.hpp"
-#include "../math.hpp"
+#include "../render.hpp"
 #include <GLES3/gl32.h>
 #include <GLES3/gl3ext.h>
 #include <GLES3/gl3platform.h>
 
+static_assert(sizeof(rk_vertex_output) == 4);
+
 struct rk_shader {
     GLuint vertex;
     GLuint fragment;
@@ -59,53 +60,11 @@ struct rk_command {
     GLuint base_instance;
 };
 
-// param output types must be size compatible with an array of rk_param_output
-typedef rk_uint rk_param_output;
-
-template<typename _output_type>
-void rk_param_get_output_size(unsigned & _size, unsigned & _len) {
-    static_assert((sizeof(_output_type) % sizeof(rk_param_output)) == 0);
-    _size = sizeof(_output_type);
-    _len = sizeof(_output_type) / sizeof(rk_param_output);
-}
-
-struct rk_vec3_float {
-    float x;
-    float y;
-    float z;
-};
-
-static_assert(sizeof(rk_vec3_float) == sizeof(rk_vec3));
-
-struct rk_vec3_short {
-    rk_short x;
-    rk_short y;
-    rk_short z;
-    rk_short pad;
-};
-
-typedef rk_int rk_vec3_int10;
-typedef rk_uint rk_vec3_uint10;
-
-struct rk_mat3_float {
-    rk_vec3_float x;
-    rk_vec3_float y;
-    rk_vec3_float z;
-};
-
-static_assert(sizeof(rk_mat3_float) == sizeof(rk_mat3));
-
-struct rk_mat3_int10 {
-    rk_vec3_int10 x;
-    rk_vec3_int10 y;
-    rk_vec3_int10 z;
-};
-
 typedef void (*rk_packer)(
     unsigned const, // count
-    rk_instance_index const * const, // indices
-    rk_param_output *, // dst
-    rk_param_input const * const); // src
+    rk_instance_index const * const __restrict, // indices
+    rk_vertex_output * __restrict, // dst
+    rk_vertex_input const * const __restrict); // src
 
 struct rk_parameter {
     mutable bool dirty;
@@ -115,7 +74,7 @@ struct rk_parameter {
     unsigned src_len;
     unsigned dst_size;
     unsigned dst_len;
-    rk_param_input * source;
+    rk_vertex_input * source;
     rk_packer packer;
 };
 

cpp/types.hpp

@@ -20,6 +20,11 @@
 #include <cstdint>
 
 #define RK_EXPORT extern "C"
+#define RK_HOT gnu::hot
+#define RK_FLATTEN gnu::flatten
+#define RK_UNROLLED gnu::optimize("unroll-loops")
+#define RK_FAST gnu::optimize("Ofast")
+#define RK_INVALID_HANDLE nullptr
 #define RK_FLAG(_bit) (1 << (_bit))
 
 typedef bool rk_bool;
@@ -38,6 +43,28 @@ typedef unsigned __int128 rk_ullong;
 typedef float rk_float;
 typedef void * rk_handle_t;
 
-#define RK_INVALID_HANDLE nullptr
+static_assert(sizeof(rk_char) == 1);
+static_assert(sizeof(rk_wchar) == 4);
+static_assert(sizeof(rk_float) == 4);
+
+#pragma pack(push, 4)
+
+template<bool _signed, unsigned _cols>
+struct rk_packed {
+};
+
+template<unsigned _cols>
+struct alignas(alignof(rk_int)) rk_packed<true, _cols> {
+    typedef rk_int type;
+    rk_int packed;
+};
+
+template<unsigned _cols>
+struct alignas(alignof(rk_uint)) rk_packed<false, _cols> {
+    typedef rk_uint type;
+    rk_uint packed;
+};
+
+#pragma pack(pop)
 
 #endif // _RK_ENGINE_TYPES_H

cpp/utils/cmp_memcpy.hpp

@@ -16,10 +16,11 @@
 #ifndef RK_ENGINE_CMP_MEMCPY_H
 #define RK_ENGINE_CMP_MEMCPY_H
 
-#include "types.hpp"
+#include "../types.hpp"
 
 template<typename _small>
-bool _rk_cmp_memcpy_small(
+[[RK_FAST]]
+inline bool _rk_cmp_memcpy_small(
     _small * __restrict dst,
     _small const * __restrict src,
     unsigned count) {
@@ -32,7 +33,8 @@ bool _rk_cmp_memcpy_small(
 }
 
 template<typename _big, typename _small>
-bool _rk_cmp_memcpy_big(
+[[RK_FAST, RK_FLATTEN]]
+inline bool _rk_cmp_memcpy_big(
     _small * const __restrict _dst,
     _small const * const __restrict _src,
     unsigned const _count) {
@@ -61,6 +63,7 @@ bool _rk_cmp_memcpy_big(
 #endif
 
 template<typename _small>
+[[RK_HOT, RK_FAST, RK_FLATTEN]]
 bool rk_cmp_memcpy(
     _small * const __restrict _dst,
     _small const * const __restrict _src,

cpp/utils/vertex_format.hpp

@@ -0,0 +1,258 @@
+// Copyright (C) 2023 RozK
+//
+// This program is free software: you can redistribute it and/or modify
+// it under the terms of the GNU Affero General Public License as published by
+// the Free Software Foundation, either version 3 of the License, or
+// (at your option) any later version.
+//
+// This program is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU Affero General Public License for more details.
+//
+// You should have received a copy of the GNU Affero General Public License
+// along with this program.  If not, see <http://www.gnu.org/licenses/>.
+
+#ifndef RK_ENGINE_VERTEX_FORMAT_H
+#define RK_ENGINE_VERTEX_FORMAT_H
+
+#include "../render.hpp"
+#include <limits>
+
+namespace rk_vertex {
+
+#pragma pack(push, 1)
+
+template<typename _type>
+struct alignas(alignof(_type)) rk_input {
+    _type input;
+};
+
+template<typename _type, typename _input, bool _signed, bool _normalized>
+struct alignas(alignof(_type)) rk_output {
+    _type output;
+
+    [[RK_FAST]]
+    inline void convert(
+        rk_input<_input> const & __restrict src) {
+        output = static_cast<_type>(src.input);
+    }
+};
+
+template<typename _type, bool _signed>
+struct alignas(alignof(_type)) rk_output<_type, rk_float, _signed, true> {
+    _type output;
+
+    [[RK_FAST]]
+    inline void convert(
+        rk_input<rk_float> const & __restrict src) {
+        enum : _type { max = std::numeric_limits<_type>::max() };
+        output = static_cast<_type>(src.input * static_cast<float>(max));
+    }
+};
+
+#pragma pack(4)
+
+template<typename _input, unsigned _cols>
+struct alignas(4) rk_input_row {
+    rk_input<_input> input_col[_cols];
+};
+
+template<typename _output, typename _input, unsigned _cols, bool _signed, bool _normalized>
+struct alignas(4) rk_output_row {
+    rk_output<_output, _input, _signed, _normalized> output_col[_cols];
+
+    [[RK_FAST, RK_FLATTEN, RK_UNROLLED]]
+    inline void convert(
+        rk_input_row<_input, _cols> const & __restrict src) {
+        for (unsigned col = 0; col < _cols; ++col) {
+            output_col[col].convert(src.input_col[col]);
+        }
+    }
+};
+
+template<typename _output, unsigned _cols, bool _signed, bool _normalized>
+struct alignas(4) rk_output_row<_output, _output, _cols, _signed, _normalized> {
+    rk_output<_output, _output, _signed, _normalized> output_col[_cols];
+
+    [[RK_FAST]]
+    inline void convert(
+        rk_input_row<_output, _cols> const & __restrict src) {
+        static_assert(sizeof(output_col) == sizeof(src.input_col));
+        rk_output<_output, _output, _signed, _normalized> const * const input_col =
+            reinterpret_cast<rk_output<_output, _output, _signed, _normalized> const *>(src.input_col);
+        *output_col = *input_col;
+    }
+};
+
+template<typename _input, unsigned _cols, bool _signed, bool _normalized>
+struct alignas(4) rk_output_row<rk_packed<_signed, _cols>, _input, _cols, _signed, _normalized> {
+    rk_output<rk_packed<_signed, _cols>, _input, _signed, _normalized> output_cols;
+
+    [[RK_FAST, RK_FLATTEN]]
+    inline void convert(
+        rk_input_row<_input, _cols> const & __restrict src) {
+        output_cols.convert(src);
+    }
+};
+
+template<typename _input, unsigned _cols, unsigned _rows>
+struct alignas(4) rk_input_format {
+    rk_input_row<_input, _cols> input_row[_rows];
+};
+
+template<typename _output, typename _input, unsigned _cols, unsigned _rows, bool _signed, bool _normalized>
+struct alignas(4) rk_output_format {
+    rk_output_row<_output, _input, _cols, _signed, _normalized> output_row[_rows];
+
+    [[RK_FAST, RK_FLATTEN, RK_UNROLLED]]
+    inline void convert(
+        rk_input_format<_input, _cols, _rows> const & __restrict src) {
+        for (unsigned row = 0; row < _rows; ++row) {
+            output_row[row].convert(src.input_row[row]);
+        }
+    }
+};
+
+template<typename _output, unsigned _cols, unsigned _rows, bool _signed, bool _normalized>
+struct alignas(4) rk_output_format<_output, _output, _cols, _rows, _signed, _normalized> {
+    rk_output_row<_output, _output, _cols, _signed, _normalized> output_row[_rows];
+
+    [[RK_FAST]]
+    inline void convert(
+        rk_input_format<_output, _cols, _rows> const & __restrict src) {
+        static_assert(sizeof(output_row) == sizeof(src.input_row));
+        rk_output_row<_output, _output, _cols, _signed, _normalized> const * const input_row =
+            reinterpret_cast<rk_output_row<_output, _output, _cols, _signed, _normalized> const *>(src.input_row);
+        *output_row = *input_row;
+    }
+};
+
+template<typename _input, bool _signed, bool _normalized>
+struct alignas(alignof(rk_packed<_signed, 3>)) rk_output<rk_packed<_signed, 3>, _input, _signed, _normalized> {
+    rk_packed<_signed, 3> output;
+
+    [[RK_FAST]]
+    inline void convert(
+        rk_input_row<_input, 3> const & __restrict src) {
+        typedef typename rk_packed<_signed, 3>::type packed_type;
+        output.packed =
+            ((static_cast<packed_type>(src.input_col[0].input) & 1023)) |
+            ((static_cast<packed_type>(src.input_col[1].input) & 1023) << 10) |
+            ((static_cast<packed_type>(src.input_col[2].input) & 1023) << 20);
+    }
+};
+
+template<typename _input, bool _signed, bool _normalized>
+struct alignas(alignof(rk_packed<_signed, 4>)) rk_output<rk_packed<_signed, 4>, _input, _signed, _normalized> {
+    rk_packed<_signed, 4> output;
+
+    [[RK_FAST]]
+    inline void convert(
+        rk_input_row<_input, 4> const & __restrict src) {
+        typedef typename rk_packed<_signed, 4>::type packed_type;
+        output.packed =
+            ((static_cast<packed_type>(src.input_col[0].input) & 1023)) |
+            ((static_cast<packed_type>(src.input_col[1].input) & 1023) << 10) |
+            ((static_cast<packed_type>(src.input_col[2].input) & 1023) << 20) |
+            ((static_cast<packed_type>(src.input_col[3].input) &    3) << 30);
+    }
+};
+
+template<>
+struct alignas(alignof(rk_packed<true, 3>)) rk_output<rk_packed<true, 3>, rk_float, true, true> {
+    rk_packed<true, 3> output;
+
+    [[RK_FAST]]
+    inline void convert(
+        rk_input_row<rk_float, 3> const & __restrict src) {
+        output.packed =
+            ((static_cast<rk_int>(src.input_col[0].input * 511.f) & 1023)) |
+            ((static_cast<rk_int>(src.input_col[1].input * 511.f) & 1023) << 10) |
+            ((static_cast<rk_int>(src.input_col[2].input * 511.f) & 1023) << 20);
+    }
+};
+
+template<>
+struct alignas(alignof(rk_packed<true, 4>)) rk_output<rk_packed<true, 4>, rk_float, true, true> {
+    rk_packed<true, 4> output;
+
+    [[RK_FAST]]
+    inline void convert(
+        rk_input_row<rk_float, 4> const & __restrict src) {
+        output.packed =
+            ((static_cast<rk_uint>(src.input_col[0].input * 511.f) & 1023)) |
+            ((static_cast<rk_uint>(src.input_col[1].input * 511.f) & 1023) << 10) |
+            ((static_cast<rk_uint>(src.input_col[2].input * 511.f) & 1023) << 20) |
+            ((static_cast<rk_uint>(src.input_col[3].input)         &    3) << 30);
+    }
+};
+
+#pragma pack(pop)
+
+template<typename _output, typename _input, unsigned _cols, unsigned _rows, bool _signed, bool _normalized>
+struct rk_format {
+    typedef rk_input<_input> input;
+    typedef rk_output<_output, input, _signed, _normalized> output;
+
+    typedef rk_input_row<_input, _cols> input_row;
+    typedef rk_output_row<_output, _input, _cols, _signed, _normalized> output_row;
+
+    typedef rk_input_format<_input, _cols, _rows> input_format;
+    typedef rk_output_format<_output, _input, _cols, _rows, _signed, _normalized> output_format;
+
+    static_assert(sizeof(input) == sizeof(_input));
+    static_assert(sizeof(output) == sizeof(_output));
+    static_assert((sizeof(input_row) % sizeof(rk_vertex_input)) == 0);
+    static_assert((sizeof(output_row) % sizeof(rk_vertex_output)) == 0);
+    static_assert((sizeof(input_format) % sizeof(rk_vertex_input)) == 0);
+    static_assert((sizeof(output_format) % sizeof(rk_vertex_output)) == 0);
+
+    static unsigned get_input_size() {
+        return sizeof(input_format);
+    }
+
+    static unsigned get_output_size() {
+        return sizeof(output_format);
+    }
+
+    static unsigned get_output_offset(unsigned const index) {
+        return index * sizeof(output_row);
+    }
+
+    [[RK_FAST, RK_FLATTEN]]
+    inline static void convert(
+        output_format & __restrict dst,
+        input_format const & __restrict src) {
+        dst.convert(src);
+    }
+
+    [[RK_HOT, RK_FAST, RK_FLATTEN]]
+    static void param_packer(
+        unsigned const count,
+        rk_instance_index const * const __restrict indices,
+        rk_vertex_output * __restrict _dst,
+        rk_vertex_input const * const __restrict _src) {
+        rk_instance_index const * const last_index = indices + count;
+        output_format * __restrict dst = reinterpret_cast<output_format *>(_dst);
+        input_format const * const __restrict src = reinterpret_cast<input_format const *>(_src);
+        for (rk_instance_index const * __restrict index = indices; index < last_index; ++index, ++dst) {
+            dst->convert(src[*index]);
+        }
+    }
+};
+
+} // namepace rk_vertex
+
+typedef rk_vertex::rk_format<rk_float,            rk_float, 3, 1, true,  false> rk_vec3_float;
+typedef rk_vertex::rk_format<rk_short,            rk_float, 3, 1, true,  false> rk_vec3_short;
+typedef rk_vertex::rk_format<rk_short,            rk_float, 3, 1, true,  true>  rk_vec3_short_norm;
+typedef rk_vertex::rk_format<rk_packed<true,  3>, rk_float, 3, 1, true,  false> rk_vec3_int10;
+typedef rk_vertex::rk_format<rk_packed<true,  3>, rk_float, 3, 1, true,  true>  rk_vec3_int10_norm;
+typedef rk_vertex::rk_format<rk_packed<false, 3>, rk_float, 3, 1, false, false> rk_vec3_uint10;
+typedef rk_vertex::rk_format<rk_packed<false, 3>, rk_float, 3, 1, false, true>  rk_vec3_uint10_norm;
+typedef rk_vertex::rk_format<rk_float,            rk_float, 3, 3, true,  false> rk_mat3_float;
+typedef rk_vertex::rk_format<rk_packed<true,  3>, rk_float, 3, 3, true,  false> rk_mat3_int10;
+typedef rk_vertex::rk_format<rk_packed<true,  3>, rk_float, 3, 3, true,  true>  rk_mat3_int10_norm;
+
+#endif // RK_ENGINE_VERTEX_FORMAT_H