add missing 'wgpu_*_destroy' functions

Author: DavidPeicho

ffi/wgpu.h

@@ -1,4 +1,4 @@
-/* Generated with cbindgen:0.14.1 */
+/* Generated with cbindgen:0.14.2 */
 
 /* DO NOT MODIFY THIS MANUALLY! This file was generated using cbindgen.
  * To generate this file:
@@ -324,6 +324,10 @@ typedef WGPUNonZeroU64 WGPUId_BindGroup_Dummy;
 
 typedef WGPUId_BindGroup_Dummy WGPUBindGroupId;
 
+typedef WGPUNonZeroU64 WGPUId_BindGroupLayout_Dummy;
+
+typedef WGPUId_BindGroupLayout_Dummy WGPUBindGroupLayoutId;
+
 typedef WGPUNonZeroU64 WGPUId_Buffer_Dummy;
 
 typedef WGPUId_Buffer_Dummy WGPUBufferId;
@@ -445,10 +449,6 @@ typedef WGPUNonZeroU64 WGPUId_Surface;
 
 typedef WGPUId_Surface WGPUSurfaceId;
 
-typedef WGPUNonZeroU64 WGPUId_BindGroupLayout_Dummy;
-
-typedef WGPUId_BindGroupLayout_Dummy WGPUBindGroupLayoutId;
-
 typedef struct {
   WGPUBufferId buffer;
   WGPUBufferAddress offset;
@@ -774,6 +774,8 @@ WGPUDeviceId wgpu_adapter_request_device(WGPUAdapterId adapter_id,
 
 void wgpu_bind_group_destroy(WGPUBindGroupId bind_group_id);
 
+void wgpu_bind_group_layout_destroy(WGPUBindGroupLayoutId bind_group_layout_id);
+
 void wgpu_buffer_destroy(WGPUBufferId buffer_id);
 
 void wgpu_buffer_map_read_async(WGPUBufferId buffer_id,
@@ -872,6 +874,8 @@ void wgpu_compute_pass_set_bind_group(WGPURawPass *pass,
 
 void wgpu_compute_pass_set_pipeline(WGPURawPass *pass, WGPUComputePipelineId pipeline_id);
 
+void wgpu_compute_pipeline_destroy(WGPUComputePipelineId compute_pipeline_id);
+
 WGPUSurfaceId wgpu_create_surface_from_android(void *a_native_window);
 
 WGPUSurfaceId wgpu_create_surface_from_metal_layer(void *layer);
@@ -933,6 +937,8 @@ void wgpu_device_poll(WGPUDeviceId device_id, bool force_wait);
 
 unsigned int wgpu_get_version(void);
 
+void wgpu_pipeline_layout_destroy(WGPUPipelineLayoutId pipeline_layout_id);
+
 /**
  * # Safety
  *
@@ -1040,6 +1046,8 @@ void wgpu_render_pass_set_viewport(WGPURawPass *pass,
                                    float depth_min,
                                    float depth_max);
 
+void wgpu_render_pipeline_destroy(WGPURenderPipelineId render_pipeline_id);
+
 /**
  * # Safety
  *
@@ -1056,6 +1064,8 @@ void wgpu_set_log_callback(WGPULogCallback callback);
 
 int wgpu_set_log_level(WGPULogLevel level);
 
+void wgpu_shader_module_destroy(WGPUShaderModuleId shader_module_id);
+
 WGPUSwapChainOutput wgpu_swap_chain_get_next_texture(WGPUSwapChainId swap_chain_id);
 
 void wgpu_swap_chain_present(WGPUSwapChainId swap_chain_id);

src/device.rs

@@ -234,6 +234,11 @@ pub extern "C" fn wgpu_device_create_bind_group_layout(
     gfx_select!(device_id => GLOBAL.device_create_bind_group_layout(device_id, desc, PhantomData))
 }
 
+#[no_mangle]
+pub extern "C" fn wgpu_bind_group_layout_destroy(bind_group_layout_id: id::BindGroupLayoutId) {
+    gfx_select!(bind_group_layout_id => GLOBAL.bind_group_layout_destroy(bind_group_layout_id))
+}
+
 #[no_mangle]
 pub extern "C" fn wgpu_device_create_pipeline_layout(
     device_id: id::DeviceId,
@@ -242,6 +247,11 @@ pub extern "C" fn wgpu_device_create_pipeline_layout(
     gfx_select!(device_id => GLOBAL.device_create_pipeline_layout(device_id, desc, PhantomData))
 }
 
+#[no_mangle]
+pub extern "C" fn wgpu_pipeline_layout_destroy(pipeline_layout_id: id::PipelineLayoutId) {
+    gfx_select!(pipeline_layout_id => GLOBAL.pipeline_layout_destroy(pipeline_layout_id))
+}
+
 #[no_mangle]
 pub extern "C" fn wgpu_device_create_bind_group(
     device_id: id::DeviceId,
@@ -263,6 +273,11 @@ pub extern "C" fn wgpu_device_create_shader_module(
     gfx_select!(device_id => GLOBAL.device_create_shader_module(device_id, desc, PhantomData))
 }
 
+#[no_mangle]
+pub extern "C" fn wgpu_shader_module_destroy(shader_module_id: id::ShaderModuleId) {
+    gfx_select!(shader_module_id => GLOBAL.shader_module_destroy(shader_module_id))
+}
+
 #[no_mangle]
 pub extern "C" fn wgpu_device_create_command_encoder(
     device_id: id::DeviceId,
@@ -325,6 +340,11 @@ pub extern "C" fn wgpu_device_create_render_pipeline(
     gfx_select!(device_id => GLOBAL.device_create_render_pipeline(device_id, desc, PhantomData))
 }
 
+#[no_mangle]
+pub extern "C" fn wgpu_render_pipeline_destroy(render_pipeline_id: id::RenderPipelineId) {
+    gfx_select!(render_pipeline_id => GLOBAL.render_pipeline_destroy(render_pipeline_id))
+}
+
 #[no_mangle]
 pub extern "C" fn wgpu_device_create_compute_pipeline(
     device_id: id::DeviceId,
@@ -333,6 +353,11 @@ pub extern "C" fn wgpu_device_create_compute_pipeline(
     gfx_select!(device_id => GLOBAL.device_create_compute_pipeline(device_id, desc, PhantomData))
 }
 
+#[no_mangle]
+pub extern "C" fn wgpu_compute_pipeline_destroy(compute_pipeline_id: id::ComputePipelineId) {
+    gfx_select!(compute_pipeline_id => GLOBAL.compute_pipeline_destroy(compute_pipeline_id))
+}
+
 #[no_mangle]
 pub extern "C" fn wgpu_device_create_swap_chain(
     device_id: id::DeviceId,