From a7ace346b76f4135ee7d6d9e9b49dc196e15c7d5 Mon Sep 17 00:00:00 2001
From: pommicket <pommicket@gmail.com>
Date: Fri, 21 Jan 2022 20:10:27 -0500
Subject: more constepxrs

---
 05/main.c  |  2 +-
 05/parse.b | 42 ++++++++++++++++++++++++++++++++++++++----
 2 files changed, 39 insertions(+), 5 deletions(-)

diff --git a/05/main.c b/05/main.c
index 22b84e3..357feff 100644
--- a/05/main.c
+++ b/05/main.c
@@ -3,4 +3,4 @@
 	long double d;
 } (*x)(void);
 */
-typedef long int unsigned Foo[-18446744073709551610];
+typedef long int unsigned Foo[3 * 3];
diff --git a/05/parse.b b/05/parse.b
index a875619..bff260b 100644
--- a/05/parse.b
+++ b/05/parse.b
@@ -941,12 +941,26 @@ function parse_expression
 function evaluate_constant_expression
 	argument expr
 	argument p_value
+	local a
+	local b
 	
-	if *1expr == EXPRESSION_IDENTIFIER goto eval_constant_identifier
 	if *1expr == EXPRESSION_CONSTANT_INT goto eval_constant_int
+	if *1expr == EXPRESSION_IDENTIFIER goto eval_constant_identifier
 	if *1expr == EXPRESSION_UNARY_PLUS goto eval_unary_plus
 	if *1expr == EXPRESSION_UNARY_MINUS goto eval_unary_minus
+	if *1expr == EXPRESSION_BITWISE_NOT goto eval_bitwise_not
+	if *1expr == EXPRESSION_LOGICAL_NOT goto eval_logical_not
+	if *1expr == EXPRESSION_CAST goto eval_todo ; @TODO
+	if *1expr == EXPRESSION_LOGICAL_NOT goto eval_logical_not
+	if *1expr == EXPRESSION_MUL goto eval_mul
 	byte 0xcc
+	
+	:eval_todo
+		fputs(2, .str_eval_todo)
+		exit(1)
+	:str_eval_todo
+		string evaluate_constant_expression does not support this kind of expression yet (see @TODOs).
+		byte 0
 
 	:eval_constant_identifier
 		; @TODO: enum values
@@ -967,10 +981,30 @@ function evaluate_constant_expression
 		return expr
 	:eval_unary_minus
 		expr += 8
-		expr = evaluate_constant_expression(expr, p_value)
-		*8p_value = 0 - *8p_value
+		expr = evaluate_constant_expression(expr, &a)
+		*8p_value = 0 - a
 		return expr
-
+	:eval_bitwise_not
+		expr += 8
+		expr = evaluate_constant_expression(expr, &a)
+		*8p_value = ~a
+		return expr
+	:eval_logical_not
+		expr += 8
+		expr = evaluate_constant_expression(expr, &a)
+		if a == 0 goto eval_logical_not0
+		*8p_value = 0
+		return expr
+		:eval_logical_not0
+		*8p_value = 1
+		return expr
+	:eval_mul
+		expr += 8
+		expr = evaluate_constant_expression(expr, &a)
+		expr = evaluate_constant_expression(expr, &b)
+		*8p_value = a * b
+		return expr
+		
 ; the "usual conversions" for binary operators, as the C standard calls it
 function expr_binary_type_usual_conversions
 	argument token ; for errors
-- 
cgit v1.2.3