Implemented dereference, negate, bit-complement, and not operators for C code

Author: IsaacShelton

Diff for: src/c/parser/expr.rs

@@ -42,6 +42,10 @@ pub enum ExprKind {
     EnumConstant(String, Integer),
     CompoundLiteral(Box<CompoundLiteral>),
     AddressOf(Box<Expr>),
+    Dereference(Box<Expr>),
+    Negate(Box<Expr>),
+    BitComplement(Box<Expr>),
+    Not(Box<Expr>),
 }
 
 impl ExprKind {
@@ -361,11 +365,23 @@ impl<'a> Parser<'a> {
                 let inner = self.parse_expr_primary()?;
                 return Ok(ExprKind::AddressOf(Box::new(inner)).at(source));
             }
-            CTokenKind::Punctuator(Punctuator::Multiply) => todo!(),
+            CTokenKind::Punctuator(Punctuator::Multiply) => {
+                let inner = self.parse_expr_primary()?;
+                return Ok(ExprKind::Dereference(Box::new(inner)).at(source));
+            }
             CTokenKind::Punctuator(Punctuator::Add) => todo!(),
-            CTokenKind::Punctuator(Punctuator::Subtract) => todo!(),
-            CTokenKind::Punctuator(Punctuator::BitComplement) => todo!(),
-            CTokenKind::Punctuator(Punctuator::Not) => todo!(),
+            CTokenKind::Punctuator(Punctuator::Subtract) => {
+                let inner = self.parse_expr_primary()?;
+                return Ok(ExprKind::Negate(Box::new(inner)).at(source));
+            }
+            CTokenKind::Punctuator(Punctuator::BitComplement) => {
+                let inner = self.parse_expr_primary()?;
+                return Ok(ExprKind::BitComplement(Box::new(inner)).at(source));
+            }
+            CTokenKind::Punctuator(Punctuator::Not) => {
+                let inner = self.parse_expr_primary()?;
+                return Ok(ExprKind::Not(Box::new(inner)).at(source));
+            }
             CTokenKind::Punctuator(Punctuator::Increment) => todo!(),
             CTokenKind::Punctuator(Punctuator::Decrement) => todo!(),
             CTokenKind::SizeofKeyword => todo!(),

Diff for: src/c/translation/eval.rs

@@ -46,7 +46,11 @@ pub fn evaluate_to_const_integer(expr: &Expr) -> Result<BigInt, ParseError> {
         | ExprKind::PostIncrement(_)
         | ExprKind::PostDecrement(_)
         | ExprKind::CompoundLiteral(_)
-        | ExprKind::AddressOf(_) => (),
+        | ExprKind::AddressOf(_)
+        | ExprKind::Dereference(_)
+        | ExprKind::Negate(_)
+        | ExprKind::BitComplement(_)
+        | ExprKind::Not(_) => (),
     }
 
     Err(ParseErrorKind::MustBeConstantInteger.at(expr.source))

Diff for: src/c/translation/expr/mod.rs

@@ -8,7 +8,7 @@ use self::{
     string::translate_expr_string,
 };
 use crate::{
-    ast::{self, AstFile, UnaryOperation, UnaryOperator},
+    ast::{self, AstFile, UnaryMathOperator, UnaryOperation, UnaryOperator},
     c::parser::{
         error::ParseErrorKind,
         expr::{Expr, ExprKind},
@@ -57,5 +57,25 @@ pub fn translate_expr(
             inner: translate_expr(ast_file, typedefs, inner, diagnostics)?,
         }))
         .at(expr.source),
+        ExprKind::Dereference(inner) => ast::ExprKind::UnaryOperation(Box::new(UnaryOperation {
+            operator: UnaryOperator::Dereference,
+            inner: translate_expr(ast_file, typedefs, inner, diagnostics)?,
+        }))
+        .at(expr.source),
+        ExprKind::Negate(inner) => ast::ExprKind::UnaryOperation(Box::new(UnaryOperation {
+            operator: UnaryOperator::Math(UnaryMathOperator::Negate),
+            inner: translate_expr(ast_file, typedefs, inner, diagnostics)?,
+        }))
+        .at(expr.source),
+        ExprKind::BitComplement(inner) => ast::ExprKind::UnaryOperation(Box::new(UnaryOperation {
+            operator: UnaryOperator::Math(UnaryMathOperator::BitComplement),
+            inner: translate_expr(ast_file, typedefs, inner, diagnostics)?,
+        }))
+        .at(expr.source),
+        ExprKind::Not(inner) => ast::ExprKind::UnaryOperation(Box::new(UnaryOperation {
+            operator: UnaryOperator::Math(UnaryMathOperator::Not),
+            inner: translate_expr(ast_file, typedefs, inner, diagnostics)?,
+        }))
+        .at(expr.source),
     })
 }