Merge pull request #61 from CompilerProgramming/float

Add a Float primitive type.

Author: dibyendumajumdar

.gitignore

@@ -25,4 +25,7 @@ replay_pid*
 
 .idea
 
-target
+target
+
+*.o
+.run

README.md

@@ -9,11 +9,11 @@ The EeZee programming language is designed to allow us to learn various compiler
 The EeZee programming language is a tiny statically typed language with syntax inspired by Swift.
 The language has the following features:
 
-* Integer, Struct and 1-Dimensional Array types
+* Integer, Float, Struct and 1-Dimensional Array types
 * If and While statements
 * Functions
 
-The EeZee language specification is [available](https://compilerprogramming.github.io/ez-lang.html).
+The EeZee language specification is [available](./docs/ez-lang.rst).
 The language is intentionally very simple and is meant to have just enough functionality to experiment with compiler implementation techniques.
 
 ## Modules
@@ -31,6 +31,10 @@ The project is under development and subject to change. At this point in time, w
 * [seaofnodes](./seaofnodes/README.md) - WIP compiler that generates Sea of Nodes IR, using SoN backend from [Simple Chapter 21](https://github.com/SeaOfNodes/Simple).
   Generates native code for X86-64, AArch64 and RISC-V.
 
+## Documentation
+
+See [docs](./docs)
+
 ## How can you contribute?
 
 The project is educational, with a focus on exploring various compiler algorithms and data structures.

antlr-parser/src/main/antlr4/com/compilerprogramming/ezlang/antlr/EZLanguage.g4

@@ -28,6 +28,7 @@ typeName
 
 nominalType
     : 'Int'
+    | 'Float'
     | IDENTIFIER ('?')?
     ;
 
@@ -86,7 +87,7 @@ additionExpression
     ;
 
 multiplicationExpression
-    : unaryExpression (('*' | '/' ) unaryExpression)*
+    : unaryExpression (('*' | '/' | '%') unaryExpression)*
     ;
 
 unaryExpression
@@ -116,6 +117,7 @@ fieldExpression
 
 primaryExpression
     : INTEGER_LITERAL
+    | FLOAT_LITERAL
     | IDENTIFIER
     | '(' orExpression ')'
     | 'new' typeName initExpression
@@ -156,7 +158,9 @@ NON_DIGIT
 INTEGER_LITERAL
    : DEC_LITERAL
    ;
-DEC_LITERAL: DEC_DIGIT (DEC_DIGIT | '_')*;
+DEC_LITERAL: DEC_DIGIT+;
+
+FLOAT_LITERAL: DEC_DIGIT+ '.' DEC_DIGIT*;
 
 fragment DEC_DIGIT: [0-9];
 

docs/README.md

@@ -0,0 +1,19 @@
+# Documentation
+
+This folder contains language and compiler design notes for ez-lang.
+
+## Language
+
+- [EeZee Programming Language](ez-lang.rst) - Source language overview, including syntax, types, control flow, expressions, and grammar.
+
+## Intermediate Representations
+
+- [Intermediate Representations](ir-overview.rst) - Overview of the compiler IRs used in the project, including stack-based, register-based, and sea-of-nodes forms.
+- [IR Design Instructions](ir-design-instructions.md) - Notes on designing linear IRs, including basic blocks, control flow graphs, and instruction organization.
+- [Virtual Registers](ir-virtual-registers.md) - Design discussion for virtual register representation, source variable slots, temporaries, and register identity.
+
+## Data-Flow And SSA
+
+- [Liveness Analysis](liveness.md) - Description of the liveness sets and algorithm used by the optimizing VM.
+- [SSA Construction](ssa-construction.md) - Explanation of SSA conversion, dominance-frontier phi placement, and register renaming.
+- [SSA Destruction Using Briggs](ssa-destruction-briggs.md) - Explanation of the Briggs SSA destruction algorithm and how phi nodes are lowered to copies.