コミット: 26403b7ea308694b661777edacfef806d318d7a3 - Saffron (git)

Graphics library for Mercury, including OpenGL bindings, TGA image reading, and X11, Win32, and SDL2 windowing and input.

コミットメタ情報

• リビジョン: 26403b7ea308694b661777edacfef806d318d7a3 (tree)
• 日時: 2022-03-14 14:08:38
• 作者: AlaskanEmily <emily@alas...>
• コミッター: AlaskanEmily

ログメッセージ

Add OpenGL buffer function bindings

変更サマリ

• modified: saffron.geometry.m
• modified: saffron.gl.buffer.m

差分

--- a/saffron.geometry.m
+++ b/saffron.geometry.m
@@ -36,6 +36,15 @@
 :- mode vertex(muo, muo, muo, muo) = (mdi) is det.
 :- mode vertex(in, in, in, in) = (in) is semidet. % Implied.
 
+:- pred vertex(float, float, float, float, vertex2d).
+:- mode vertex(in, in, in, in, out) is det.
+:- mode vertex(di, di, di, di, uo) is det.
+:- mode vertex(mdi, mdi, mdi, mdi, muo) is det.
+:- mode vertex(out, out, out, out, in) is det.
+:- mode vertex(uo, uo, uo, uo, di) is det.
+:- mode vertex(muo, muo, muo, muo, mdi) is det.
+:- mode vertex(in, in, in, in, in) is semidet. % Implied.
+
 %-----------------------------------------------------------------------------%
 % This is intended to be used as if it was a functor for vertex, to construct
 % or destructure the vector so that the vector's fields appear directly in the
@@ -49,6 +58,15 @@
 :- mode vertex(muo, muo, muo, muo, muo) = (mdi) is det.
 :- mode vertex(in, in, in, in, in) = (in) is semidet. % Implied.
 
+:- pred vertex(float, float, float, float, float, vertex3d).
+:- mode vertex(in, in, in, in, in, out) is det.
+:- mode vertex(di, di, di, di, di, uo) is det.
+:- mode vertex(mdi, mdi, mdi, mdi, mdi, muo) is det.
+:- mode vertex(out, out, out, out, out, in) is det.
+:- mode vertex(uo, uo, uo, uo, uo, di) is det.
+:- mode vertex(muo, muo, muo, muo, muo, mdi) is det.
+:- mode vertex(in, in, in, in, in, in) is semidet. % Implied.
+
 %-----------------------------------------------------------------------------%
 
 :- type primitive_type --->
@@ -174,11 +192,37 @@
 
 %-----------------------------------------------------------------------------%
 
+:- pragma foreign_export("C",
+    vertex(in, in, in, in) = (out),
+    "SaffronGeometry_CreateVertex2D").
+
+%-----------------------------------------------------------------------------%
+
+:- pragma foreign_export("C",
+    vertex(out, out, out, out, in),
+    "SaffronGeometry_GetVertex2D").
+
+%-----------------------------------------------------------------------------%
+
+:- pragma foreign_export("C",
+    vertex(in, in, in, in, in) = (out),
+    "SaffronGeometry_CreateVertex3D").
+
+%-----------------------------------------------------------------------------%
+
+:- pragma foreign_export("C",
+    vertex(out, out, out, out, out, in),
+    "SaffronGeometry_GetVertex3D").
+
+%-----------------------------------------------------------------------------%
+
 vertex(X, Y, U, V) = vertex(vector.vector2.vector(X, Y), U, V).
+vertex(X, Y, U, V, vertex(vector.vector2.vector(X, Y), U, V)).
 
 %-----------------------------------------------------------------------------%
 
 vertex(X, Y, Z, U, V) = vertex(vector.vector3.vector(X, Y, Z), U, V).
+vertex(X, Y, Z, U, V, vertex(vector.vector3.vector(X, Y, Z), U, V)).
 
 %-----------------------------------------------------------------------------%
 

--- a/saffron.gl.buffer.m
+++ b/saffron.gl.buffer.m
@@ -19,6 +19,11 @@
 :- interface.
 %=============================================================================%
 
+:- use_module array.
+:- use_module list.
+
+:- use_module saffron.geometry.
+
 %-----------------------------------------------------------------------------%
 % The function pointers to let us create buffers.
 :- type buffer_ctx.
@@ -39,11 +44,68 @@
     <= saffron.gl.context(Ctx).
 :- mode create_buffer_ctx(in, out, di, uo) is det.
 
+%-----------------------------------------------------------------------------%
+
+:- pred destroy_buffer(buffer_ctx::in, buffer::in, io.io::di, io.io::uo) is det.
+
+%-----------------------------------------------------------------------------%
+
+:- pred create_buffer(buffer_ctx::in, buffer::uo, io.io::di, io.io::uo) is det.
+
+%-----------------------------------------------------------------------------%
+
+:- instance saffron.destroy(buffer_ctx, buffer).
+
+%-----------------------------------------------------------------------------%
+
+:- pred bind_buffer(buffer_ctx, buffer, buffer_type, io.io, io.io).
+:- mode bind_buffer(in, in, in, di, uo) is det.
+
+%-----------------------------------------------------------------------------%
+
+:- type buffer_data(T) == (pred(buffer_ctx, buffer_type, T, io.io, io.io)).
+:- inst buffer_data == (pred(in, in, in, di, uo) is det).
+
+:- pred buffer_data_float_array
+    `with_type` buffer_data(array.array(float))
+    `with_inst` buffer_data.
+
+:- pred buffer_data_float_list
+    `with_type` buffer_data(list.list(float))
+    `with_inst` buffer_data.
+
+:- pred buffer_data_int_array
+    `with_type` buffer_data(array.array(int))
+    `with_inst` buffer_data.
+
+:- pred buffer_data_int_list
+    `with_type` buffer_data(list.list(int))
+    `with_inst` buffer_data.
+
+:- pred buffer_data_vertex2d_array
+    `with_type` buffer_data(array.array(saffron.geometry.vertex2d))
+    `with_inst` buffer_data.
+
+:- pred buffer_data_vertex2d_list
+    `with_type` buffer_data(list.list(saffron.geometry.vertex2d))
+    `with_inst` buffer_data.
+
+:- pred buffer_data_vertex3d_array
+    `with_type` buffer_data(array.array(saffron.geometry.vertex3d))
+    `with_inst` buffer_data.
+
+:- pred buffer_data_vertex3d_list
+    `with_type` buffer_data(list.list(saffron.geometry.vertex3d))
+    `with_inst` buffer_data.
+
 %=============================================================================%
 :- implementation.
 %=============================================================================%
 
-:- use_module array.
+:- use_module vector.
+:- use_module vector.vector2.
+:- use_module vector.vector3.
+
 :- pragma foreign_import_module("C", saffron.gl).
 
 % Define the native prototypes to handle buffers.
@@ -256,7 +318,6 @@ saffron_gl_create_buffer_ctx_internal:
     IOo = IOi;
     ").
 
-
 %-----------------------------------------------------------------------------%
 
 create_buffer_ctx(Ctx, MaybeBufferCtx, !IO) :-
@@ -283,4 +344,235 @@ create_buffer_ctx(Ctx, MaybeBufferCtx, !IO) :-
     LoadFuncCtx = 'new gl_load_func_ctx'(Ctx),
     create_buffer_ctx_internal(LoadFuncCtx, Old, MaybeBufferCtx, !IO).
 
+%-----------------------------------------------------------------------------%
+
+:- pragma foreign_proc("C",
+    create_buffer(Ctx::in, Buffer::uo, IOi::di, IOo::uo),
+    [will_not_call_mercury, promise_pure, thread_safe, will_not_throw_exception,
+    tabled_for_io, may_duplicate, does_not_affect_liveness],
+    "
+    GLuint b;
+    SAFFRON_GL_BUFFER_FUNC(Ctx, GenBuffers)(1, &b);
+    Buffer = b;
+    IOo = IOi;
+    ").
+
+%-----------------------------------------------------------------------------%
+
+:- pragma foreign_proc("C",
+    destroy_buffer(Ctx::in, Buffer::in, IOi::di, IOo::uo),
+    [will_not_call_mercury, promise_pure, thread_safe, will_not_throw_exception,
+    tabled_for_io, may_duplicate, does_not_affect_liveness],
+    "
+    GLuint b = Buffer;
+    SAFFRON_GL_BUFFER_FUNC(Ctx, DeleteBuffers)(1, &b);
+    IOo = IOi;
+    ").
+
+%-----------------------------------------------------------------------------%
+
+:- instance saffron.destroy(buffer_ctx, buffer) where [
+    pred(saffron.destroy/4) is saffron.gl.buffer.destroy_buffer
+].
+
+%-----------------------------------------------------------------------------%
+
+:- pragma foreign_proc("C",
+    bind_buffer(Ctx::in, Buffer::in, Type::in, IOi::di, IOo::uo),
+    [will_not_call_mercury, promise_pure, thread_safe, will_not_throw_exception,
+    may_duplicate, does_not_affect_liveness],
+    "
+    SAFFRON_GL_BUFFER_FUNC(Ctx, BindBuffer)(Type, Buffer);
+    IOo = IOi;
+    ").
+
+%-----------------------------------------------------------------------------%
+
+:- pragma foreign_proc("C",
+    buffer_data_float_array(Ctx::in, Type::in, T::in, IOi::di, IOo::uo),
+    [will_not_call_mercury, promise_pure, thread_safe, will_not_throw_exception,
+    may_duplicate, does_not_affect_liveness],
+    "
+    const MR_Integer len = T->size;
+    MR_Float *array;
+#ifdef MR_UNBOXED_FLOAT
+    array = (void*)(T->elements);
+#else
+    MR_Integer i;
+    
+    /* Attempt to avoid allocations if necessary. */
+    MR_Float small_array[32];
+    const int do_alloc = (len >= sizeof(small_array) / sizeof(MR_Float));
+    array = (do_alloc) ? MR_malloc(sizeof(MR_Float) * len) : small_array;
+    
+    /* Copy the data. */
+    for(i = 0; i < len; i++){
+        array[i] = MR_word_to_float(T->elements[i]);
+    }
+#endif
+    
+    SAFFRON_GL_BUFFER_FUNC(Ctx, BufferData)(
+        Type,
+        sizeof(MR_Float) * len,
+        array,
+        GL_STATIC_DRAW);
+    
+#ifndef MR_UNBOXED_FLOAT
+    if(do_alloc)
+        MR_free(array);
+#endif
+    IOo = IOi;
+    ").
+
+%-----------------------------------------------------------------------------%
+
+:- pragma foreign_proc("C",
+    buffer_data_int_array(Ctx::in, Type::in, T::in, IOi::di, IOo::uo),
+    [will_not_call_mercury, promise_pure, thread_safe, will_not_throw_exception,
+    may_duplicate, does_not_affect_liveness],
+    "
+    /* MR_Integer is guaranteed to be unboxed. */
+    SAFFRON_GL_BUFFER_FUNC(Ctx, BufferData)(
+        Type,
+        sizeof(MR_Integer) * T->size,
+        T->elements,
+        GL_STATIC_DRAW);
+    IOo = IOi;
+    ").
+
+%-----------------------------------------------------------------------------%
+% TODO: This should work, and is optimal when we have unboxed floats, but
+% we should eventually implement a better C version for when we have boxed
+% floats.
+buffer_data_float_list(Ctx, Type, List, !IO) :-
+    buffer_data_float_array(Ctx, Type, array.from_list(List), !IO).
+
+%-----------------------------------------------------------------------------%
+% As integers are always unboxed, this actually is optimal.
+buffer_data_int_list(Ctx, Type, List, !IO) :-
+    buffer_data_int_array(Ctx, Type, array.from_list(List), !IO).
+
+%-----------------------------------------------------------------------------%
+
+:- pragma foreign_proc("C",
+    buffer_data_vertex2d_array(Ctx::in, Type::in, T::in, IOi::di, IOo::uo),
+    [may_call_mercury, promise_pure, thread_safe, will_not_throw_exception,
+    may_duplicate],
+    "
+    MR_Word X, Y, U, V;
+    const MR_Integer len = T->size;
+    const MR_Integer buffer_size = len * sizeof(MR_Float) * 4;
+    MR_Float *const buffer = MR_malloc(buffer_size);
+    MR_Integer i;
+    
+    for(i = 0; i < len; i++){
+        SaffronGeometry_GetVertex2D(&X, &Y, &U, &V, T->elements[i]);
+        buffer[(i * 4) + 0] = MR_word_to_float(X);
+        buffer[(i * 4) + 1] = MR_word_to_float(Y);
+        buffer[(i * 4) + 2] = MR_word_to_float(U);
+        buffer[(i * 4) + 3] = MR_word_to_float(V);
+    }
+    
+    SAFFRON_GL_BUFFER_FUNC(Ctx, BufferData)(
+        Type,
+        buffer_size,
+        buffer,
+        GL_STATIC_DRAW);
+    MR_free(buffer);
+    IOo = IOi;
+    ").
+
+:- pragma foreign_proc("C",
+    buffer_data_vertex2d_list(Ctx::in, Type::in, T::in, IOi::di, IOo::uo),
+    [may_call_mercury, promise_pure, thread_safe, will_not_throw_exception,
+    may_duplicate],
+    "
+    MR_Word X, Y, U, V;
+    MR_Integer i = 0, alloc_size = 32;
+    MR_Float *buffer = MR_malloc(alloc_size * sizeof(MR_Float));
+    
+    while(!MR_list_is_empty(T)){
+        SaffronGeometry_GetVertex2D(&X, &Y, &U, &V, MR_list_head(T));
+        T = MR_list_tail(T);
+        if(i + 5 >= alloc_size){
+            alloc_size <<= 1;
+            buffer = MR_realloc(buffer, alloc_size * sizeof(MR_Float));
+        }
+        buffer[i++] = MR_word_to_float(X);
+        buffer[i++] = MR_word_to_float(Y);
+        buffer[i++] = MR_word_to_float(U);
+        buffer[i++] = MR_word_to_float(V);
+        
+    }
+    SAFFRON_GL_BUFFER_FUNC(Ctx, BufferData)(
+        Type,
+        i * sizeof(MR_Float),
+        buffer,
+        GL_STATIC_DRAW);
+    MR_free(buffer);
+    IOo = IOi;
+    ").
+
+%-----------------------------------------------------------------------------%
+
+:- pragma foreign_proc("C",
+    buffer_data_vertex3d_array(Ctx::in, Type::in, T::in, IOi::di, IOo::uo),
+    [may_call_mercury, promise_pure, thread_safe, will_not_throw_exception,
+    may_duplicate],
+    "
+    MR_Word X, Y, Z, U, V;
+    const MR_Integer len = T->size;
+    const MR_Integer buffer_size = len * sizeof(MR_Float) * 5;
+    MR_Float *const buffer = MR_malloc(buffer_size);
+    MR_Integer i;
+    
+    for(i = 0; i < len; i++){
+        SaffronGeometry_GetVertex3D(&X, &Y, &Z, &U, &V, T->elements[i]);
+        buffer[(i * 5) + 0] = MR_word_to_float(X);
+        buffer[(i * 5) + 1] = MR_word_to_float(Y);
+        buffer[(i * 5) + 2] = MR_word_to_float(Z);
+        buffer[(i * 5) + 3] = MR_word_to_float(U);
+        buffer[(i * 5) + 4] = MR_word_to_float(V);
+    }
+    
+    SAFFRON_GL_BUFFER_FUNC(Ctx, BufferData)(
+        Type,
+        buffer_size,
+        buffer,
+        GL_STATIC_DRAW);
+    MR_free(buffer);
+    IOo = IOi;
+    ").
+
+:- pragma foreign_proc("C",
+    buffer_data_vertex3d_list(Ctx::in, Type::in, T::in, IOi::di, IOo::uo),
+    [may_call_mercury, promise_pure, thread_safe, will_not_throw_exception,
+    may_duplicate],
+    "
+    MR_Word X, Y, Z, U, V;
+    MR_Integer i = 0, alloc_size = 32;
+    MR_Float *buffer = MR_malloc(alloc_size * sizeof(MR_Float));
+    
+    while(!MR_list_is_empty(T)){
+        SaffronGeometry_GetVertex3D(&X, &Y, &Z, &U, &V, MR_list_head(T));
+        T = MR_list_tail(T);
+        if(i + 5 >= alloc_size){
+            alloc_size <<= 1;
+            buffer = MR_realloc(buffer, alloc_size * sizeof(MR_Float));
+        }
+        buffer[i++] = MR_word_to_float(X);
+        buffer[i++] = MR_word_to_float(Y);
+        buffer[i++] = MR_word_to_float(Z);
+        buffer[i++] = MR_word_to_float(U);
+        buffer[i++] = MR_word_to_float(V);
+        
+    }
+    SAFFRON_GL_BUFFER_FUNC(Ctx, BufferData)(
+        Type,
+        i * sizeof(MR_Float),
+        buffer,
+        GL_STATIC_DRAW);
+    MR_free(buffer);
+    IOo = IOi;
+    ").