From 523a9f19cc7cb27f803b118fd73d0b637a924c4a Mon Sep 17 00:00:00 2001 From: Filleo Date: Mon, 3 Jun 2024 11:53:09 +0200 Subject: [PATCH] added relational and boolian operands --- src/set/set.c | 108 +++++++++++++++++++++++++++++++++++++++++++++++++- 1 file changed, 107 insertions(+), 1 deletion(-) diff --git a/src/set/set.c b/src/set/set.c index 9b673a0..39caba4 100644 --- a/src/set/set.c +++ b/src/set/set.c @@ -345,12 +345,110 @@ int createArithOperation(Expression* ParentExpression, AST_NODE_PTR currentNode, ParentExpression->result = createTypeFromOperands(LeftOperandType, RightOperandType, currentNode); } + if(ParentExpression->result == NULL){ + return 1; + } return 0; } +int createRelationalOperation(Expression* ParentExpression,AST_NODE_PTR currentNode){ + //fill kind and Nodeptr + ParentExpression->impl.operation.kind = Relational; + ParentExpression->impl.operation.nodePtr = currentNode; + //fill Operands + for (size_t i = 0; i < currentNode->child_count; i++){ + Expression* expression = createExpression(currentNode->children[i]); + if(NULL == expression){ + return 1; + } + g_array_append_val(ParentExpression->impl.operation.operands , expression); + } + + //fill impl + switch (currentNode->kind){ + case AST_Eq: + ParentExpression->impl.operation.impl.relational = Equal; + case AST_Less: + ParentExpression->impl.operation.impl.relational = Greater; + case AST_Greater: + ParentExpression->impl.operation.impl.relational= Less; + default: + PANIC("Current node is not an relational operater"); + break; + } + Type * result = malloc(sizeof(Type)); + result->impl.primitive = Int; + result->kind = TypeKindPrimitive; + result->nodePtr = currentNode; + + ParentExpression->result = result; + return 0; +} + + +int createBoolOperation(Expression *ParentExpression, AST_NODE_PTR currentNode){ + //fill kind and Nodeptr + ParentExpression->impl.operation.kind = Boolean; + ParentExpression->impl.operation.nodePtr = currentNode; + + //fill Operands + for (size_t i = 0; i < currentNode->child_count; i++){ + Expression* expression = createExpression(currentNode->children[i]); + if(NULL == expression){ + return 1; + } + g_array_append_val(ParentExpression->impl.operation.operands , expression); + } + + switch (currentNode->kind){ + case AST_BoolAnd: + ParentExpression->impl.operation.impl.boolean = BooleanAnd; + case AST_BoolOr: + ParentExpression->impl.operation.impl.boolean = BooleanOr; + case AST_BoolXor: + ParentExpression->impl.operation.impl.boolean = BooleanXor; + default: + PANIC("Current node is not an boolean operater"); + break; + } + + + Type* LeftOperandType = ((Expression**) ParentExpression->impl.operation.operands->data)[0]->result; + Type* RightOperandType = ((Expression**) ParentExpression->impl.operation.operands->data)[1]->result; + + //should not be a box or a reference + if(LeftOperandType->kind != TypeKindPrimitive && LeftOperandType->kind != TypeKindComposite){ + return 1; + } + if(RightOperandType->kind != TypeKindPrimitive && RightOperandType->kind != TypeKindComposite){ + return 1; + } + //should not be a float + if(LeftOperandType->kind == TypeKindComposite){ + if(LeftOperandType->impl.composite.primitive == Float){ + return 1; + } + }else if(LeftOperandType->kind == TypeKindPrimitive){ + if(LeftOperandType->impl.primitive == Float){ + return 1; + } + }else if(RightOperandType->kind == TypeKindComposite){ + if(RightOperandType->impl.composite.primitive == Float){ + return 1; + } + }else if(RightOperandType->kind == TypeKindPrimitive){ + if(RightOperandType->impl.primitive == Float){ + return 1; + } + } + + + ParentExpression->result = createTypeFromOperands(LeftOperandType, RightOperandType, currentNode); + return 0; +} Expression *createExpression(AST_NODE_PTR currentNode){ Expression *expression = malloc(sizeof(Expression)); @@ -402,11 +500,19 @@ Expression *createExpression(AST_NODE_PTR currentNode){ case AST_Eq: case AST_Less: case AST_Greater: + expression->kind = ExpressionKindOperation; + if(createRelationalOperation(expression,currentNode)){ + return NULL; + } case AST_BoolAnd: - case AST_BoolNot: case AST_BoolOr: case AST_BoolXor: + expression->kind = ExpressionKindOperation; + if(createRelationalOperation(expression,currentNode)){ + return NULL; + } + case AST_BoolNot: case AST_BitAnd: case AST_BitOr: