aboutsummaryrefslogtreecommitdiff
path: root/src/main/antlr4
diff options
context:
space:
mode:
authorazidar2015-10-27 09:57:03 -0700
committerazidar2015-10-27 09:57:03 -0700
commit852b241e274edd888499b520d320945794a26e24 (patch)
treefc4c4dac344ab3995c685bde10c6255d5ab273cc /src/main/antlr4
parent4312fed3f51e1756bbc104639689098de7df0cfe (diff)
parentf258c8394ebe7136e0eee7e1e342b5b593d1cc5d (diff)
Merge branch 'master' of github.com:ucb-bar/firrtl
Conflicts: Makefile
Diffstat (limited to 'src/main/antlr4')
-rw-r--r--src/main/antlr4/FIRRTL.g414
1 files changed, 6 insertions, 8 deletions
diff --git a/src/main/antlr4/FIRRTL.g4 b/src/main/antlr4/FIRRTL.g4
index 08697bb1..96172895 100644
--- a/src/main/antlr4/FIRRTL.g4
+++ b/src/main/antlr4/FIRRTL.g4
@@ -1,7 +1,3 @@
-// Jack Koenig
-// UC Berkeley ASPIRE Lab
-// July 9, 2015
-
grammar FIRRTL;
/*------------------------------------------------------------------
@@ -33,8 +29,8 @@ portKind
;
type
- : 'UInt' '<' width '>'
- | 'SInt' '<' width '>'
+ : 'UInt' ('<' width '>')?
+ | 'SInt' ('<' width '>')?
| 'Clock'
| '{' field* '}' // Bundle
| type '[' IntLit ']' // Vector
@@ -93,8 +89,8 @@ dir
// TODO implement
// What is exp?
exp
- : 'UInt' '<' width '>' '(' (IntLit) ')' // FIXME what does "ints" mean?
- | 'SInt' '<' width '>' '(' (IntLit) ')' // FIXME same
+ : 'UInt' ('<' width '>')? '(' (IntLit) ')' // FIXME what does "ints" mean?
+ | 'SInt' ('<' width '>')? '(' (IntLit) ')' // FIXME same
| id // Ref
| exp '.' id // FIXME Does this work for no space?
| exp '[' IntLit ']'
@@ -129,6 +125,8 @@ primop
| 'geq'
| 'eq'
| 'neq'
+ | 'eqv'
+ | 'neqv'
| 'mux'
| 'pad'
| 'asUInt'