Compare commits
4 Commits
a486ed62f4
...
feature-AS
| Author | SHA1 | Date | |
|---|---|---|---|
| 7ad4eba123 | |||
| e4ec102cb9 | |||
| fb27e1e34c | |||
| ef8cf84456 |
@@ -3,6 +3,14 @@ project(calculator VERSION 1.0 LANGUAGES C)
|
|||||||
|
|
||||||
set(CMAKE_C_STANDARD 11)
|
set(CMAKE_C_STANDARD 11)
|
||||||
set(CMAKE_C_STANDARD_REQUIRED ON)
|
set(CMAKE_C_STANDARD_REQUIRED ON)
|
||||||
|
include(FetchContent)
|
||||||
|
|
||||||
|
FetchContent_Declare(
|
||||||
|
arena
|
||||||
|
GIT_REPOSITORY https://laentropia-homelab.tail7368da.ts.net/laentropia/Arena.git
|
||||||
|
GIT_TAG main
|
||||||
|
SOURCE_DIR ${CMAKE_SOURCE_DIR}/external/arena
|
||||||
|
)
|
||||||
|
|
||||||
# Export compile_commands.json (para clangd)
|
# Export compile_commands.json (para clangd)
|
||||||
set(CMAKE_EXPORT_COMPILE_COMMANDS ON)
|
set(CMAKE_EXPORT_COMPILE_COMMANDS ON)
|
||||||
@@ -14,12 +22,29 @@ add_compile_options(
|
|||||||
)
|
)
|
||||||
|
|
||||||
|
|
||||||
include_directories(include)
|
FetchContent_MakeAvailable(arena)
|
||||||
|
|
||||||
|
add_library(arena STATIC
|
||||||
|
external/arena/src/arena.c
|
||||||
|
)
|
||||||
|
|
||||||
|
target_include_directories(arena
|
||||||
|
PUBLIC ${CMAKE_SOURCE_DIR}/external/arena/include
|
||||||
|
)
|
||||||
|
|
||||||
add_library(calculator_lib
|
add_library(calculator_lib
|
||||||
src/lexer.c
|
src/lexer.c
|
||||||
src/parser.c
|
src/parser.c
|
||||||
src/evaluator.c
|
src/evaluator.c
|
||||||
|
src/ASTNodeArray.c
|
||||||
|
)
|
||||||
|
|
||||||
|
target_include_directories(calculator_lib
|
||||||
|
PUBLIC ${CMAKE_CURRENT_SOURCE_DIR}/include
|
||||||
|
)
|
||||||
|
|
||||||
|
target_link_libraries(calculator_lib
|
||||||
|
PUBLIC arena
|
||||||
)
|
)
|
||||||
|
|
||||||
add_executable(calculator src/main.c)
|
add_executable(calculator src/main.c)
|
||||||
|
|||||||
1
external/arena
vendored
Submodule
1
external/arena
vendored
Submodule
Submodule external/arena added at 3d3b8596cc
@@ -2,8 +2,10 @@
|
|||||||
#define EVALUATOR_H
|
#define EVALUATOR_H
|
||||||
|
|
||||||
#include "lexer.h"
|
#include "lexer.h"
|
||||||
|
#include "parser.h"
|
||||||
#include <stdint.h>
|
#include <stdint.h>
|
||||||
|
|
||||||
int64_t evaluate(ASTNode *tree);
|
int64_t evaluate(ParseResult context);
|
||||||
|
int64_t evaluate_tree(ASTNode *tree);
|
||||||
|
|
||||||
#endif // !EVALUATOR_H
|
#endif // !EVALUATOR_H
|
||||||
|
|||||||
@@ -2,6 +2,7 @@
|
|||||||
#define PARSER_H
|
#define PARSER_H
|
||||||
|
|
||||||
#include "lexer.h"
|
#include "lexer.h"
|
||||||
|
#include "arena.h"
|
||||||
#include <stdint.h>
|
#include <stdint.h>
|
||||||
|
|
||||||
typedef struct {
|
typedef struct {
|
||||||
@@ -13,6 +14,11 @@ typedef struct {
|
|||||||
size_t pos;
|
size_t pos;
|
||||||
} ASTNodeSlice;
|
} ASTNodeSlice;
|
||||||
|
|
||||||
|
typedef struct {
|
||||||
|
Arena arena;
|
||||||
|
ASTNode *tree;
|
||||||
|
} ParseResult;
|
||||||
|
|
||||||
ASTNode ASTNodeSlice_peek(ASTNodeSlice *slice);
|
ASTNode ASTNodeSlice_peek(ASTNodeSlice *slice);
|
||||||
ASTNode ASTNodeSlice_next(ASTNodeSlice *slice);
|
ASTNode ASTNodeSlice_next(ASTNodeSlice *slice);
|
||||||
bool ASTNodeSlice_is_valid(ASTNodeSlice *slice);
|
bool ASTNodeSlice_is_valid(ASTNodeSlice *slice);
|
||||||
@@ -23,7 +29,7 @@ ASTNode *led(ASTNodeSlice *slice, size_t right_precedence);
|
|||||||
uint8_t node_lbp(ASTNode node);
|
uint8_t node_lbp(ASTNode node);
|
||||||
uint8_t node_rbp(ASTNode node);
|
uint8_t node_rbp(ASTNode node);
|
||||||
|
|
||||||
AST parse(ASTNodeArray *arr);
|
ParseResult parse(ASTNodeArray *arr);
|
||||||
ASTNode *parse_expr(ASTNodeSlice *slice, uint8_t min_bp);
|
ASTNode *parse_expr(ASTNodeSlice *slice, Arena *arena, uint8_t min_bp);
|
||||||
|
|
||||||
#endif // !PARSER_H
|
#endif // !PARSER_H
|
||||||
|
|||||||
@@ -1,31 +1,36 @@
|
|||||||
#include "evaluator.h"
|
#include "evaluator.h"
|
||||||
|
#include "arena.h"
|
||||||
#include "lexer.h"
|
#include "lexer.h"
|
||||||
|
#include "parser.h"
|
||||||
#include <stdint.h>
|
#include <stdint.h>
|
||||||
#include <stdlib.h>
|
|
||||||
|
|
||||||
int64_t evaluate(ASTNode *tree) {
|
|
||||||
|
int64_t evaluate_tree(ASTNode *tree) {
|
||||||
if (tree->type == NODE_BINARY_OP) {
|
if (tree->type == NODE_BINARY_OP) {
|
||||||
Operator op = tree->data.binary.op;
|
Operator op = tree->data.binary.op;
|
||||||
ASTNode *left = tree->data.binary.left;
|
ASTNode *left = tree->data.binary.left;
|
||||||
ASTNode *right = tree->data.binary.right;
|
ASTNode *right = tree->data.binary.right;
|
||||||
|
|
||||||
free(tree);
|
|
||||||
|
|
||||||
switch (op) {
|
switch (op) {
|
||||||
case OP_ADD:
|
case OP_ADD:
|
||||||
return evaluate(left) + evaluate(right);
|
return evaluate_tree(left) + evaluate_tree(right);
|
||||||
case OP_SUB:
|
case OP_SUB:
|
||||||
return evaluate(left) - evaluate(right);
|
return evaluate_tree(left) - evaluate_tree(right);
|
||||||
case OP_MUL:
|
case OP_MUL:
|
||||||
return evaluate(left) * evaluate(right);
|
return evaluate_tree(left) * evaluate_tree(right);
|
||||||
case OP_DIV:
|
case OP_DIV:
|
||||||
return evaluate(left) / evaluate(right);
|
return evaluate_tree(left) / evaluate_tree(right);
|
||||||
|
|
||||||
}
|
}
|
||||||
} else {
|
}
|
||||||
|
|
||||||
int64_t return_val = tree->data.integer;
|
int64_t return_val = tree->data.integer;
|
||||||
free(tree);
|
|
||||||
return return_val;
|
return return_val;
|
||||||
}
|
}
|
||||||
}
|
|
||||||
|
|
||||||
|
int64_t evaluate(ParseResult context) {
|
||||||
|
int64_t result = evaluate_tree(context.tree);
|
||||||
|
arena_destroy(&context.arena);
|
||||||
|
|
||||||
|
return result;
|
||||||
|
}
|
||||||
|
|||||||
@@ -1,3 +1,4 @@
|
|||||||
|
#include "arena.h"
|
||||||
#include "evaluator.h"
|
#include "evaluator.h"
|
||||||
#include "lexer.h"
|
#include "lexer.h"
|
||||||
#include "parser.h"
|
#include "parser.h"
|
||||||
@@ -21,8 +22,8 @@ int main(void) {
|
|||||||
ASTNodeArray context;
|
ASTNodeArray context;
|
||||||
tokenize(buf, &context);
|
tokenize(buf, &context);
|
||||||
|
|
||||||
AST tree = parse(&context);
|
ParseResult par = parse(&context);
|
||||||
int64_t result = evaluate(tree.head);
|
int64_t result = evaluate(par);
|
||||||
|
|
||||||
|
|
||||||
printf("El resultado es: %" PRIi64 "\n", result);
|
printf("El resultado es: %" PRIi64 "\n", result);
|
||||||
|
|||||||
44
src/parser.c
44
src/parser.c
@@ -1,9 +1,11 @@
|
|||||||
#include "parser.h"
|
#include "parser.h"
|
||||||
#include "lexer.h"
|
#include "lexer.h"
|
||||||
|
#include "arena.h"
|
||||||
|
#include <stdalign.h>
|
||||||
#include <stdbool.h>
|
#include <stdbool.h>
|
||||||
#include <stdint.h>
|
#include <stdint.h>
|
||||||
#include <stdlib.h>
|
#include <stdlib.h>
|
||||||
#include <stdio.h>
|
|
||||||
|
|
||||||
uint8_t node_lbp(ASTNode node) {
|
uint8_t node_lbp(ASTNode node) {
|
||||||
if (node.type == NODE_INTEGER) {
|
if (node.type == NODE_INTEGER) {
|
||||||
@@ -60,19 +62,33 @@ bool ASTNodeSlice_is_valid(ASTNodeSlice *slice) {
|
|||||||
return true;
|
return true;
|
||||||
}
|
}
|
||||||
|
|
||||||
AST parse(ASTNodeArray *arr) {
|
ParseResult parse(ASTNodeArray *arr) {
|
||||||
AST tree;
|
|
||||||
ASTNodeSlice context = {
|
ASTNodeSlice context = {
|
||||||
.arr = arr,
|
.arr = arr,
|
||||||
.pos = 0,
|
.pos = 0,
|
||||||
};
|
};
|
||||||
|
Arena arena = arena_init(sizeof(ASTNode) * arr->len).arena;
|
||||||
|
|
||||||
tree.head = parse_expr(&context, 0);
|
return (ParseResult) {
|
||||||
return tree;
|
.arena = arena,
|
||||||
|
.tree = parse_expr(&context, &arena, 0)};
|
||||||
}
|
}
|
||||||
|
|
||||||
ASTNode *parse_expr(ASTNodeSlice *slice, uint8_t min_bp) {
|
ASTNode *parse_expr(ASTNodeSlice *slice, Arena *arena, uint8_t min_bp) {
|
||||||
ASTNode *left_side = malloc(sizeof(ASTNode));
|
arena_ensure_capacity(
|
||||||
|
arena,
|
||||||
|
sizeof(ASTNode),
|
||||||
|
alignof(ASTNode)
|
||||||
|
);
|
||||||
|
|
||||||
|
ASTNode *left_side = arena_unwrap_pointer(
|
||||||
|
arena_alloc(
|
||||||
|
arena,
|
||||||
|
sizeof(ASTNode),
|
||||||
|
alignof(ASTNode)
|
||||||
|
)
|
||||||
|
);
|
||||||
|
|
||||||
*left_side = ASTNodeSlice_next(slice);
|
*left_side = ASTNodeSlice_next(slice);
|
||||||
|
|
||||||
while (true) {
|
while (true) {
|
||||||
@@ -89,9 +105,19 @@ ASTNode *parse_expr(ASTNodeSlice *slice, uint8_t min_bp) {
|
|||||||
}
|
}
|
||||||
|
|
||||||
ASTNodeSlice_next(slice);
|
ASTNodeSlice_next(slice);
|
||||||
ASTNode *right_side = parse_expr(slice, rbp);
|
ASTNode *right_side = parse_expr(slice, arena, rbp);
|
||||||
|
|
||||||
ASTNode *new_node = malloc(sizeof(ASTNode));
|
arena_ensure_capacity(
|
||||||
|
arena,
|
||||||
|
sizeof(ASTNode),
|
||||||
|
alignof(ASTNode));
|
||||||
|
ASTNode *new_node = arena_unwrap_pointer(
|
||||||
|
arena_alloc(
|
||||||
|
arena,
|
||||||
|
sizeof(ASTNode),
|
||||||
|
alignof(ASTNode)
|
||||||
|
)
|
||||||
|
);
|
||||||
*new_node = operator;
|
*new_node = operator;
|
||||||
|
|
||||||
new_node->data.binary.left = left_side;
|
new_node->data.binary.left = left_side;
|
||||||
|
|||||||
@@ -3,6 +3,7 @@ find_package(cmocka REQUIRED)
|
|||||||
add_executable(test_nodeArray test_ASTNodeArray.c)
|
add_executable(test_nodeArray test_ASTNodeArray.c)
|
||||||
add_executable(test_lexer test_lexer.c)
|
add_executable(test_lexer test_lexer.c)
|
||||||
add_executable(test_parser test_parser.c)
|
add_executable(test_parser test_parser.c)
|
||||||
|
add_executable(test_evaluator test_evaluator.c)
|
||||||
|
|
||||||
target_link_libraries(test_nodeArray
|
target_link_libraries(test_nodeArray
|
||||||
calculator_lib
|
calculator_lib
|
||||||
@@ -19,6 +20,12 @@ target_link_libraries(test_parser
|
|||||||
cmocka::cmocka
|
cmocka::cmocka
|
||||||
)
|
)
|
||||||
|
|
||||||
|
target_link_libraries(test_evaluator
|
||||||
|
calculator_lib
|
||||||
|
cmocka::cmocka
|
||||||
|
)
|
||||||
|
|
||||||
add_test(NAME nodeArray_tests COMMAND test_nodeArray)
|
add_test(NAME nodeArray_tests COMMAND test_nodeArray)
|
||||||
add_test(NAME lexer_tests COMMAND test_lexer)
|
add_test(NAME lexer_tests COMMAND test_lexer)
|
||||||
add_test(NAME parser_tests COMMAND test_parser)
|
add_test(NAME parser_tests COMMAND test_parser)
|
||||||
|
add_test(NAME evaluator_tests COMMAND test_evaluator)
|
||||||
|
|||||||
@@ -16,8 +16,8 @@ static void test_basic_evaluation(void** state) {
|
|||||||
ASTNodeArray context;
|
ASTNodeArray context;
|
||||||
|
|
||||||
tokenize(expr, &context);
|
tokenize(expr, &context);
|
||||||
AST tree = parse(&context);
|
ParseResult result = parse(&context);
|
||||||
uint64_t value = evaluate(tree.head);
|
int64_t value = evaluate(result);
|
||||||
|
|
||||||
assert_int_equal(value, 82);
|
assert_int_equal(value, 82);
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -1,3 +1,4 @@
|
|||||||
|
#include "arena.h"
|
||||||
#include "lexer.h"
|
#include "lexer.h"
|
||||||
#include "parser.h"
|
#include "parser.h"
|
||||||
#include <stdarg.h>
|
#include <stdarg.h>
|
||||||
@@ -17,57 +18,58 @@ static void test_parsing_basic_expression(void **state) {
|
|||||||
assert_int_equal(tokenize(expr, &tokens), LEXER_OK);
|
assert_int_equal(tokenize(expr, &tokens), LEXER_OK);
|
||||||
assert_int_equal(tokens.len, 7);
|
assert_int_equal(tokens.len, 7);
|
||||||
|
|
||||||
AST tree = parse(&tokens);
|
ParseResult result = parse(&tokens);
|
||||||
// Assert head is +
|
// Assert head is +
|
||||||
assert_int_equal(tree.head->type, NODE_BINARY_OP);
|
assert_int_equal(result.tree->type, NODE_BINARY_OP);
|
||||||
assert_int_equal(tree.head->data.binary.op, OP_ADD);
|
assert_int_equal(result.tree->data.binary.op, OP_ADD);
|
||||||
|
|
||||||
assert_int_equal(tree.head->data.binary.left->type, NODE_INTEGER);
|
assert_int_equal(result.tree->data.binary.left->type, NODE_INTEGER);
|
||||||
assert_int_equal(tree.head->data.binary.left->data.integer, 2);
|
assert_int_equal(result.tree->data.binary.left->data.integer, 2);
|
||||||
|
|
||||||
|
|
||||||
assert_int_equal(
|
assert_int_equal(
|
||||||
tree.head->data.binary.right->type,
|
result.tree->data.binary.right->type,
|
||||||
NODE_BINARY_OP
|
NODE_BINARY_OP
|
||||||
);
|
);
|
||||||
assert_int_equal(
|
assert_int_equal(
|
||||||
tree.head->data.binary.right->data.binary.op,
|
result.tree->data.binary.right->data.binary.op,
|
||||||
OP_MUL
|
OP_MUL
|
||||||
);
|
);
|
||||||
|
|
||||||
assert_int_equal(
|
assert_int_equal(
|
||||||
tree.head->data.binary.right->data.binary.right->type,
|
result.tree->data.binary.right->data.binary.right->type,
|
||||||
NODE_INTEGER);
|
NODE_INTEGER);
|
||||||
assert_int_equal(
|
assert_int_equal(
|
||||||
tree.head->data.binary.right->data.binary.right->data.integer,
|
result.tree->data.binary.right->data.binary.right->data.integer,
|
||||||
789);
|
789);
|
||||||
|
|
||||||
assert_int_equal(
|
assert_int_equal(
|
||||||
tree.head->data.binary.right->data.binary.left->type,
|
result.tree->data.binary.right->data.binary.left->type,
|
||||||
NODE_BINARY_OP
|
NODE_BINARY_OP
|
||||||
);
|
);
|
||||||
assert_int_equal(
|
assert_int_equal(
|
||||||
tree.head->data.binary.right->data.binary.left->data.binary.op,
|
result.tree->data.binary.right->data.binary.left->data.binary.op,
|
||||||
OP_DIV
|
OP_DIV
|
||||||
);
|
);
|
||||||
|
|
||||||
assert_int_equal(
|
assert_int_equal(
|
||||||
tree.head->data.binary.right->data.binary.left->data.binary.right->type,
|
result.tree->data.binary.right->data.binary.left->data.binary.right->type,
|
||||||
NODE_INTEGER
|
NODE_INTEGER
|
||||||
);
|
);
|
||||||
assert_int_equal(
|
assert_int_equal(
|
||||||
tree.head->data.binary.right->data.binary.left->data.binary.right->data.integer,
|
result.tree->data.binary.right->data.binary.left->data.binary.right->data.integer,
|
||||||
66
|
66
|
||||||
);
|
);
|
||||||
|
|
||||||
assert_int_equal(
|
assert_int_equal(
|
||||||
tree.head->data.binary.right->data.binary.left->data.binary.left->type,
|
result.tree->data.binary.right->data.binary.left->data.binary.left->type,
|
||||||
NODE_INTEGER
|
NODE_INTEGER
|
||||||
);
|
);
|
||||||
assert_int_equal(
|
assert_int_equal(
|
||||||
tree.head->data.binary.right->data.binary.left->data.binary.left->data.integer,
|
result.tree->data.binary.right->data.binary.left->data.binary.left->data.integer,
|
||||||
3
|
3
|
||||||
);
|
);
|
||||||
|
arena_destroy(&result.arena);
|
||||||
}
|
}
|
||||||
|
|
||||||
int main(void) {
|
int main(void) {
|
||||||
|
|||||||
Reference in New Issue
Block a user