user/lib: shared libdraw for framebuffer handling

1 files changed, 8 insertions, 109 deletions

diff --git a/src/user/app/dvd/dvd.c b/src/user/app/dvd/dvd.c
index 1b85fb4..ed9778c 100644
--- a/src/user/app/dvd/dvd.c
+++ b/src/user/app/dvd/dvd.c
@@ -4,129 +4,28 @@
 #include <stdlib.h>
 #include <string.h>
 #include <unistd.h>
+#include <user/lib/draw/draw.h>
 
 #define eprintf(fmt, ...) fprintf(stderr, "vterm: "fmt"\n" __VA_OPT__(,) __VA_ARGS__)
 
-struct framebuf {
-	size_t len, width, height, pitch;
-	uint8_t bpp;
-	char *b;
-};
-
-struct rect {
-	uint32_t x1, y1, x2, y2;
-};
-
 struct framebuf fb;
-handle_t fb_fd;
 struct rect dirty;
 
-
-void dirty_mark(uint32_t x, uint32_t y) {
-	if (dirty.x1 > x) dirty.x1 = x;
-	if (dirty.x2 < x) dirty.x2 = x;
-	if (dirty.y1 > y) dirty.y1 = y;
-	if (dirty.y2 < y) dirty.y2 = y;
-}
-
-static void flush_combined(struct rect pix) {
-	size_t low  = fb.pitch * pix.y1 + 4 * pix.x1;
-	size_t high = fb.pitch * pix.y2 + 4 * pix.y2 + 4;
-
-	_syscall_write(fb_fd, fb.b + low, high - low, low, 0);
-}
-
-static void flush_split(struct rect pix) {
-	static uint64_t execbuf[EXECBUF_MAX_LEN / sizeof(uint64_t)];
-	if (7 * (pix.y2 - pix.y1) * sizeof(uint64_t) >= sizeof execbuf) {
-		flush_combined(pix);
-		return;
-	}
-
-	size_t epos = 0;
-	for (uint32_t y = pix.y1; y < pix.y2; y++) {
-		size_t low  = fb.pitch * y + 4 * pix.x1;
-		size_t high = fb.pitch * y + 4 * pix.x2 + 4;
-
-		execbuf[epos++] = EXECBUF_SYSCALL;
-		execbuf[epos++] = _SYSCALL_WRITE;
-		execbuf[epos++] = fb_fd;
-		execbuf[epos++] = fb.b + low;
-		execbuf[epos++] = high - low;
-		execbuf[epos++] = low;
-		execbuf[epos++] = 0;
-	}
-	_syscall_execbuf(execbuf, epos * sizeof(uint64_t));
-}
-
-void flush(void) {
-	if (~dirty.x1 == 0) return;
-
-	if (dirty.x2 >= fb.width)  dirty.x2 = fb.width - 1;
-	if (dirty.y2 >= fb.height) dirty.y2 = fb.height - 1;
-
-	/* the threshold is mostly arbitrary, wasn't based on any real benchmarks */
-	if (dirty.x2 - dirty.x1 > fb.width - 600) flush_combined(dirty);
-	else flush_split(dirty);
-
-	dirty.x1 = ~0; dirty.y1 = ~0;
-	dirty.x2 =  0; dirty.y2 =  0;
-}
-
 void draw_rect(uint32_t x, uint32_t y, uint32_t w, uint32_t h, uint32_t col) {
 	for (uint32_t i = 0; i < w; i++) {
 		for (uint32_t j = 0; j < h; j++) {
 			*((uint32_t*)(fb.b + fb.pitch * (y+j) + 4 * (x+i))) = col;
 		}
 	}
-	if (dirty.x1 > x) dirty.x1 = x;
-	if (dirty.y1 > y) dirty.y1 = y;
-	if (dirty.x2 < x + w) dirty.x2 = x + w;
-	if (dirty.y2 < y + h) dirty.y2 = y + h;
-}
-
-void fb_setup(void) {
-	#define BASEPATH "/kdev/video/"
-	char path[64], *spec;
-	size_t pos;
-	FILE *f;
-
-	f = fopen(BASEPATH, "r");
-	if (!f) {
-		eprintf("couldn't open %s", BASEPATH);
-		exit(1);
-	}
-
-	pos = strlen(BASEPATH);
-	memcpy(path, BASEPATH, pos);
-	spec = path + pos;
-	fread(spec, 1, sizeof(path) - pos, f);
-	/* assumes the read went correctly */
-	fclose(f);
-
-	fb_fd = _syscall_open(path, strlen(path), 0);
-	if (fb_fd < 0) {
-		eprintf("failed to open %s", path);
-		exit(1);
-	}
-
-	fb.width  = strtol(spec, &spec, 0);
-	if (*spec++ != 'x') { eprintf("bad filename format"); exit(1); }
-	fb.height = strtol(spec, &spec, 0);
-	if (*spec++ != 'x') { eprintf("bad filename format"); exit(1); }
-	fb.bpp = strtol(spec, &spec, 0);
-	fb.len = _syscall_getsize(fb_fd);
-	fb.pitch = fb.len / fb.height;
-	fb.b = malloc(fb.len);
-
-	if (fb.bpp != 32) {
-		eprintf("unsupported format %ux%ux%u", fb.width, fb.height, fb.bpp);
-		exit(1);
-	}
+	dirty_mark(&dirty, x, y);
+	dirty_mark(&dirty, x + w, y + h);
 }
 
 int main(void) {
-	fb_setup();
+	if (fb_setup(&fb, "/kdev/video/") < 0) {
+		eprintf("fb_setup error");
+		return 1;
+	}
 	int dx = 2, dy = 2, x = 100, y = 100, w = 150, h = 70;
 	uint32_t col = 0x800000;
 
@@ -136,7 +35,7 @@ int main(void) {
 		x += dx;
 		y += dy;
 		draw_rect(x, y, w, h, col++);
-		flush();
+		dirty_flush(&dirty, &fb);
 		_syscall_sleep(1000 / 60);
 	}