added basic functionalities to the debugger mode
This commit is contained in:
@@ -1,5 +1,5 @@
|
|||||||
|
|
||||||
if false
|
if true
|
||||||
a = 1;
|
a = 1;
|
||||||
else
|
else
|
||||||
a = 2;
|
a = 2;
|
||||||
|
|||||||
@@ -141,6 +141,28 @@ Source *Executable_GetSource(Executable *exe)
|
|||||||
return exe->src;
|
return exe->src;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
int Executable_GetInstrOffset(Executable *exe, int index)
|
||||||
|
{
|
||||||
|
if(index < 0 || index >= exe->bodyl)
|
||||||
|
return -1;
|
||||||
|
|
||||||
|
if(exe->src)
|
||||||
|
return exe->body[index].offset;
|
||||||
|
else
|
||||||
|
return -1;
|
||||||
|
}
|
||||||
|
|
||||||
|
int Executable_GetInstrLength(Executable *exe, int index)
|
||||||
|
{
|
||||||
|
if(index < 0 || index >= exe->bodyl)
|
||||||
|
return -1;
|
||||||
|
|
||||||
|
if(exe->src)
|
||||||
|
return exe->body[index].length;
|
||||||
|
else
|
||||||
|
return -1;
|
||||||
|
}
|
||||||
|
|
||||||
_Bool Executable_Fetch(Executable *exe, int index, Opcode *opcode, Operand *ops, int *opc)
|
_Bool Executable_Fetch(Executable *exe, int index, Opcode *opcode, Operand *ops, int *opc)
|
||||||
{
|
{
|
||||||
assert(index >= 0);
|
assert(index >= 0);
|
||||||
|
|||||||
@@ -51,6 +51,8 @@ void Executable_Dump(Executable *exe);
|
|||||||
_Bool Executable_Fetch(Executable *exe, int index, Opcode *opcode, Operand *ops, int *opc);
|
_Bool Executable_Fetch(Executable *exe, int index, Opcode *opcode, Operand *ops, int *opc);
|
||||||
_Bool Executable_SetSource(Executable *exe, Source *src);
|
_Bool Executable_SetSource(Executable *exe, Source *src);
|
||||||
Source *Executable_GetSource(Executable *exe);
|
Source *Executable_GetSource(Executable *exe);
|
||||||
|
int Executable_GetInstrOffset(Executable *exe, int index);
|
||||||
|
int Executable_GetInstrLength(Executable *exe, int index);
|
||||||
|
|
||||||
ExeBuilder *ExeBuilder_New(BPAlloc *alloc);
|
ExeBuilder *ExeBuilder_New(BPAlloc *alloc);
|
||||||
_Bool ExeBuilder_Append(ExeBuilder *exeb, Error *error, Opcode opcode, Operand *opv, int opc, int off, int len);
|
_Bool ExeBuilder_Append(ExeBuilder *exeb, Error *error, Opcode opcode, Operand *opv, int opc, int off, int len);
|
||||||
|
|||||||
@@ -267,13 +267,18 @@ Executable *compile(AST *ast, BPAlloc *alloc, Error *error)
|
|||||||
Executable *exe = NULL;
|
Executable *exe = NULL;
|
||||||
ExeBuilder *exeb = ExeBuilder_New(alloc2);
|
ExeBuilder *exeb = ExeBuilder_New(alloc2);
|
||||||
|
|
||||||
if(exeb)
|
if(exeb != NULL)
|
||||||
{
|
{
|
||||||
if(!emit_instr_for_node(exeb, ast->root, error))
|
if(!emit_instr_for_node(exeb, ast->root, error))
|
||||||
return 0;
|
return 0;
|
||||||
|
|
||||||
if(ExeBuilder_Append(exeb, error, OPCODE_RETURN, NULL, 0, Source_GetSize(ast->src), 0))
|
if(ExeBuilder_Append(exeb, error, OPCODE_RETURN, NULL, 0, Source_GetSize(ast->src), 0))
|
||||||
exe = ExeBuilder_Finalize(exeb, error);
|
{
|
||||||
|
exe = ExeBuilder_Finalize(exeb, error);
|
||||||
|
|
||||||
|
if(exe != NULL)
|
||||||
|
Executable_SetSource(exe, ast->src);
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
if(alloc == NULL)
|
if(alloc == NULL)
|
||||||
|
|||||||
+217
-19
@@ -1,9 +1,12 @@
|
|||||||
#include <stdlib.h>
|
#include <stdlib.h>
|
||||||
#include <assert.h>
|
#include <assert.h>
|
||||||
#include <string.h>
|
#include <string.h>
|
||||||
|
#include <limits.h>
|
||||||
|
#include <errno.h>
|
||||||
#include <stdio.h>
|
#include <stdio.h>
|
||||||
#include <ctype.h>
|
#include <ctype.h>
|
||||||
#include "debug.h"
|
#include "debug.h"
|
||||||
|
#include "utils/defs.h"
|
||||||
|
|
||||||
#define ANSI_COLOR_RED "\x1b[31m"
|
#define ANSI_COLOR_RED "\x1b[31m"
|
||||||
#define ANSI_COLOR_GREEN "\x1b[32m"
|
#define ANSI_COLOR_GREEN "\x1b[32m"
|
||||||
@@ -13,13 +16,26 @@
|
|||||||
#define ANSI_COLOR_CYAN "\x1b[36m"
|
#define ANSI_COLOR_CYAN "\x1b[36m"
|
||||||
#define ANSI_COLOR_RESET "\x1b[0m"
|
#define ANSI_COLOR_RESET "\x1b[0m"
|
||||||
|
|
||||||
typedef struct {
|
typedef enum {
|
||||||
char *name;
|
BY_LINE,
|
||||||
|
BY_INDEX,
|
||||||
|
BY_OFFSET,
|
||||||
|
} BreakPointMode;
|
||||||
|
|
||||||
|
typedef struct {
|
||||||
|
BreakPointMode mode;
|
||||||
|
char *name;
|
||||||
|
union {
|
||||||
|
int line;
|
||||||
|
int index;
|
||||||
|
int offset;
|
||||||
|
};
|
||||||
} BreakPoint;
|
} BreakPoint;
|
||||||
|
|
||||||
struct xDebug {
|
struct xDebug {
|
||||||
|
_Bool continuing;
|
||||||
|
BreakPoint bpoints[32];
|
||||||
|
int bpoints_count;
|
||||||
};
|
};
|
||||||
|
|
||||||
Debug *Debug_New()
|
Debug *Debug_New()
|
||||||
@@ -29,7 +45,8 @@ Debug *Debug_New()
|
|||||||
if(dbg == NULL)
|
if(dbg == NULL)
|
||||||
return NULL;
|
return NULL;
|
||||||
|
|
||||||
// Do stuff here.
|
dbg->continuing = 0;
|
||||||
|
dbg->bpoints_count = 0;
|
||||||
|
|
||||||
return dbg;
|
return dbg;
|
||||||
}
|
}
|
||||||
@@ -37,7 +54,11 @@ Debug *Debug_New()
|
|||||||
void Debug_Free(Debug *dbg)
|
void Debug_Free(Debug *dbg)
|
||||||
{
|
{
|
||||||
if(dbg)
|
if(dbg)
|
||||||
free(dbg);
|
{
|
||||||
|
for(int i = 0; i < dbg->bpoints_count; i += 1)
|
||||||
|
free(dbg->bpoints[i].name);
|
||||||
|
free(dbg);
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
_Bool Debug_Callback(Runtime *runtime, void *userp)
|
_Bool Debug_Callback(Runtime *runtime, void *userp)
|
||||||
@@ -47,29 +68,125 @@ _Bool Debug_Callback(Runtime *runtime, void *userp)
|
|||||||
|
|
||||||
Debug *dbg = (Debug*) userp;
|
Debug *dbg = (Debug*) userp;
|
||||||
|
|
||||||
char buffer[256];
|
const char *name = NULL;
|
||||||
int length;
|
int line = -1;
|
||||||
|
int index = -1;
|
||||||
|
int offset = -1;
|
||||||
|
int length = -1;
|
||||||
|
|
||||||
|
{
|
||||||
|
Executable *exe = Runtime_GetCurrentExecutable(runtime);
|
||||||
|
assert(exe != NULL);
|
||||||
|
|
||||||
|
index = Runtime_GetCurrentIndex(runtime);
|
||||||
|
assert(index >= 0);
|
||||||
|
|
||||||
|
Source *src = Executable_GetSource(exe);
|
||||||
|
|
||||||
|
if(src != NULL)
|
||||||
|
{
|
||||||
|
// Executable has source information.
|
||||||
|
offset = Executable_GetInstrOffset(exe, index);
|
||||||
|
assert(offset >= 0);
|
||||||
|
|
||||||
|
length = Executable_GetInstrLength(exe, index);
|
||||||
|
assert(length >= 0);
|
||||||
|
|
||||||
|
name = Source_GetName(src);
|
||||||
|
|
||||||
|
const char *body = Source_GetBody(src);
|
||||||
|
assert(body != NULL);
|
||||||
|
|
||||||
|
line = 1;
|
||||||
|
|
||||||
|
int i = 0;
|
||||||
|
|
||||||
|
while(i < offset)
|
||||||
|
{
|
||||||
|
if(body[i] == '\n')
|
||||||
|
line += 1;
|
||||||
|
|
||||||
|
i += 1;
|
||||||
|
}
|
||||||
|
|
||||||
|
assert(line > 0);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
// Check if we reached a breakpoint.
|
||||||
|
|
||||||
|
_Bool hit = 0;
|
||||||
|
int idx;
|
||||||
|
|
||||||
|
for(int i = 0; i < dbg->bpoints_count && hit == 0; i += 1)
|
||||||
|
{
|
||||||
|
if(!strcmp(dbg->bpoints[i].name, name))
|
||||||
|
{
|
||||||
|
switch(dbg->bpoints[i].mode)
|
||||||
|
{
|
||||||
|
case BY_LINE:
|
||||||
|
if(dbg->bpoints[i].line == line)
|
||||||
|
hit = 1;
|
||||||
|
break;
|
||||||
|
|
||||||
|
case BY_INDEX:
|
||||||
|
if(dbg->bpoints[i].index == index)
|
||||||
|
hit = 1;
|
||||||
|
break;
|
||||||
|
|
||||||
|
case BY_OFFSET:
|
||||||
|
if(dbg->bpoints[i].offset >= offset && dbg->bpoints[i].offset < offset + length)
|
||||||
|
hit = 1;
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
|
||||||
|
if(hit)
|
||||||
|
idx = i;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
if(hit)
|
||||||
|
{
|
||||||
|
fprintf(stderr, "Hit breakpoint %d\n", idx);
|
||||||
|
dbg->continuing = 0;
|
||||||
|
}
|
||||||
|
else
|
||||||
|
{
|
||||||
|
if(dbg->continuing)
|
||||||
|
return 1;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
char buffer[256];
|
||||||
|
int buflen;
|
||||||
|
|
||||||
int argc;
|
|
||||||
char *argv[32];
|
char *argv[32];
|
||||||
|
int argc;
|
||||||
|
|
||||||
do {
|
do {
|
||||||
|
|
||||||
fprintf(stderr, ANSI_COLOR_GREEN "> " ANSI_COLOR_RESET);
|
if(name == NULL && line == -1)
|
||||||
|
fprintf(stderr, "(unnamed)" ANSI_COLOR_GREEN " > " ANSI_COLOR_RESET);
|
||||||
|
else if(name == NULL && line > -1)
|
||||||
|
fprintf(stderr, "(unnamed):%d" ANSI_COLOR_GREEN " > " ANSI_COLOR_RESET, line);
|
||||||
|
else if(name != NULL && line == -1)
|
||||||
|
fprintf(stderr, "%s" ANSI_COLOR_GREEN " > " ANSI_COLOR_RESET, name);
|
||||||
|
else if(name != NULL && line > -1)
|
||||||
|
fprintf(stderr, "%s:%d" ANSI_COLOR_GREEN " > " ANSI_COLOR_RESET, name, line);
|
||||||
|
|
||||||
{
|
{
|
||||||
length = 0;
|
buflen = 0;
|
||||||
|
|
||||||
char c;
|
char c;
|
||||||
while((c = getc(stdin)) != '\n')
|
while((c = getc(stdin)) != '\n')
|
||||||
{
|
{
|
||||||
if(length < (int) sizeof(buffer)-1)
|
if(buflen < (int) sizeof(buffer)-1)
|
||||||
buffer[length] = c;
|
buffer[buflen] = c;
|
||||||
|
|
||||||
length += 1;
|
buflen += 1;
|
||||||
}
|
}
|
||||||
|
|
||||||
if(length > (int) sizeof(buffer)-1)
|
if(buflen > (int) sizeof(buffer)-1)
|
||||||
{
|
{
|
||||||
fprintf(stdout,
|
fprintf(stdout,
|
||||||
"Command is too long. The internal buffer can only contain %ld bytes.\n"
|
"Command is too long. The internal buffer can only contain %ld bytes.\n"
|
||||||
@@ -78,7 +195,7 @@ _Bool Debug_Callback(Runtime *runtime, void *userp)
|
|||||||
continue;
|
continue;
|
||||||
}
|
}
|
||||||
|
|
||||||
buffer[length] = '\0';
|
buffer[buflen] = '\0';
|
||||||
}
|
}
|
||||||
|
|
||||||
// Now split the buffer into words in the (argc, argv) style.
|
// Now split the buffer into words in the (argc, argv) style.
|
||||||
@@ -229,15 +346,95 @@ _Bool Debug_Callback(Runtime *runtime, void *userp)
|
|||||||
}
|
}
|
||||||
else if(!strcmp(argv[0], "breakpoint"))
|
else if(!strcmp(argv[0], "breakpoint"))
|
||||||
{
|
{
|
||||||
fprintf(stderr, "Not implemented yet.\n");
|
if(argc < 3)
|
||||||
|
{
|
||||||
|
fprintf(stderr, "\"breakpoint\" command expects 2 operands.\n");
|
||||||
|
continue;
|
||||||
|
}
|
||||||
|
|
||||||
|
int max_breakpoints = sizeof(dbg->bpoints) / sizeof(dbg->bpoints[0]);
|
||||||
|
|
||||||
|
if(dbg->bpoints_count == max_breakpoints)
|
||||||
|
{
|
||||||
|
fprintf(stderr, "Can't add a breakpoint. The maximum number of breakpoints (%d) was reached.\n", max_breakpoints);
|
||||||
|
}
|
||||||
|
else
|
||||||
|
{
|
||||||
|
// Handle second argument.
|
||||||
|
|
||||||
|
BreakPointMode mode;
|
||||||
|
|
||||||
|
if(!strcmp(argv[2], "line"))
|
||||||
|
{
|
||||||
|
mode = BY_LINE;
|
||||||
|
}
|
||||||
|
else if(!strcmp(argv[2], "index"))
|
||||||
|
{
|
||||||
|
mode = BY_INDEX;
|
||||||
|
}
|
||||||
|
else if(!strcmp(argv[2], "offset"))
|
||||||
|
{
|
||||||
|
mode = BY_OFFSET;
|
||||||
|
}
|
||||||
|
else
|
||||||
|
{
|
||||||
|
fprintf(stderr, "Bad second argument \"%s\". It must be either one of \"line\", \"index\", \"offset\".\n", argv[2]);
|
||||||
|
continue;
|
||||||
|
}
|
||||||
|
|
||||||
|
// Handle third argument.
|
||||||
|
|
||||||
|
long long int N = strtoll(argv[3], NULL, 10);
|
||||||
|
|
||||||
|
if(errno == ERANGE)
|
||||||
|
{
|
||||||
|
if(N == LLONG_MIN)
|
||||||
|
{
|
||||||
|
fprintf(stderr, "Bad third argument. Integer is too big.\n");
|
||||||
|
}
|
||||||
|
else
|
||||||
|
{
|
||||||
|
assert(N == LLONG_MAX);
|
||||||
|
fprintf(stderr, "Bad third argument. Integer is too big.\n");
|
||||||
|
}
|
||||||
|
continue;
|
||||||
|
}
|
||||||
|
else if(errno != 0)
|
||||||
|
{
|
||||||
|
fprintf(stderr, "Bad third argument. (strtoll says: %s).\n", strerror(errno));
|
||||||
|
continue;
|
||||||
|
}
|
||||||
|
|
||||||
|
// Handle first argument.
|
||||||
|
|
||||||
|
char *name_copy = malloc(strlen(argv[1])+1);
|
||||||
|
|
||||||
|
if(name_copy == NULL)
|
||||||
|
{
|
||||||
|
fprintf(stderr, "Uoops! No memory!");
|
||||||
|
continue;
|
||||||
|
}
|
||||||
|
|
||||||
|
strcpy(name_copy, argv[1]);
|
||||||
|
|
||||||
|
dbg->bpoints[dbg->bpoints_count] = (BreakPoint) {
|
||||||
|
.mode = mode,
|
||||||
|
.name = name_copy,
|
||||||
|
.line = N,
|
||||||
|
};
|
||||||
|
|
||||||
|
dbg->bpoints_count += 1;
|
||||||
|
fprintf(stderr, "BreakPoint added.\n");
|
||||||
|
}
|
||||||
}
|
}
|
||||||
else if(!strcmp(argv[0], "continue"))
|
else if(!strcmp(argv[0], "continue"))
|
||||||
{
|
{
|
||||||
fprintf(stderr, "Not implemented yet.\n");
|
dbg->continuing = 1;
|
||||||
|
return 1;
|
||||||
}
|
}
|
||||||
else if(!strcmp(argv[0], "step"))
|
else if(!strcmp(argv[0], "step"))
|
||||||
{
|
{
|
||||||
break;
|
return 1;
|
||||||
}
|
}
|
||||||
else if(!strcmp(argv[0], "quit"))
|
else if(!strcmp(argv[0], "quit"))
|
||||||
{
|
{
|
||||||
@@ -251,5 +448,6 @@ _Bool Debug_Callback(Runtime *runtime, void *userp)
|
|||||||
|
|
||||||
} while(1);
|
} while(1);
|
||||||
|
|
||||||
return 1;
|
UNREACHABLE;
|
||||||
|
return 0;
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -23,6 +23,22 @@ struct xRuntime {
|
|||||||
Heap *heap;
|
Heap *heap;
|
||||||
};
|
};
|
||||||
|
|
||||||
|
int Runtime_GetCurrentIndex(Runtime *runtime)
|
||||||
|
{
|
||||||
|
if(runtime->depth == 0)
|
||||||
|
return -1;
|
||||||
|
else
|
||||||
|
return runtime->frame->index;
|
||||||
|
}
|
||||||
|
|
||||||
|
Executable *Runtime_GetCurrentExecutable(Runtime *runtime)
|
||||||
|
{
|
||||||
|
if(runtime->depth == 0)
|
||||||
|
return NULL;
|
||||||
|
else
|
||||||
|
return runtime->frame->exe;
|
||||||
|
}
|
||||||
|
|
||||||
Runtime *Runtime_New(int stack_size, int heap_size, void *callback_userp, _Bool (*callback_addr)(Runtime*, void*))
|
Runtime *Runtime_New(int stack_size, int heap_size, void *callback_userp, _Bool (*callback_addr)(Runtime*, void*))
|
||||||
{
|
{
|
||||||
if(stack_size < 0)
|
if(stack_size < 0)
|
||||||
|
|||||||
@@ -10,6 +10,8 @@ Runtime* Runtime_New(int stack_size, int heap_size, void *callback_userp, _Bool
|
|||||||
void Runtime_Free(Runtime *runtime);
|
void Runtime_Free(Runtime *runtime);
|
||||||
_Bool Runtime_Pop(Runtime *runtime, Error *error, unsigned int n);
|
_Bool Runtime_Pop(Runtime *runtime, Error *error, unsigned int n);
|
||||||
_Bool Runtime_Push(Runtime *runtime, Error *error, Object *obj);
|
_Bool Runtime_Push(Runtime *runtime, Error *error, Object *obj);
|
||||||
|
int Runtime_GetCurrentIndex(Runtime *runtime);
|
||||||
|
Executable *Runtime_GetCurrentExecutable(Runtime *runtime);
|
||||||
|
|
||||||
typedef struct xSnapshot Snapshot;
|
typedef struct xSnapshot Snapshot;
|
||||||
Snapshot *Snapshot_New(Runtime *runtime);
|
Snapshot *Snapshot_New(Runtime *runtime);
|
||||||
|
|||||||
Reference in New Issue
Block a user