mirror of
https://github.com/gfx-rs/wgpu.git
synced 2024-11-22 14:55:05 +00:00
41 lines
919 B
C
41 lines
919 B
C
#ifndef WGPU_H
|
|
#define WGPU_H
|
|
#include "wgpu.h"
|
|
#endif
|
|
|
|
#include <stdio.h>
|
|
#include <stdlib.h>
|
|
|
|
WGPUU32Array read_file(const char *name) {
|
|
FILE *file = fopen(name, "rb");
|
|
if (!file) {
|
|
printf("Unable to open %s\n", name);
|
|
exit(1);
|
|
}
|
|
fseek(file, 0, SEEK_END);
|
|
long length = ftell(file);
|
|
unsigned char *bytes = malloc(length);
|
|
fseek(file, 0, SEEK_SET);
|
|
fread(bytes, 1, length, file);
|
|
fclose(file);
|
|
return (WGPUU32Array){
|
|
.bytes = (uint32_t*) bytes,
|
|
.length = length / 4,
|
|
};
|
|
}
|
|
|
|
void read_buffer_map(
|
|
WGPUBufferMapAsyncStatus status,
|
|
const uint8_t *data,
|
|
uint8_t *userdata) {
|
|
(void)userdata;
|
|
if (status == WGPUBufferMapAsyncStatus_Success) {
|
|
uint32_t *times = (uint32_t *) data;
|
|
printf("Times: [%d, %d, %d, %d]\n",
|
|
times[0],
|
|
times[1],
|
|
times[2],
|
|
times[3]);
|
|
}
|
|
}
|