annotate python/ppci/c3/parser.py @ 301:6753763d3bec

merge codegen into ppci package
author Windel Bouwman
date Thu, 05 Dec 2013 17:02:38 +0100
parents 158068af716c
children b145f8e6050b
rev   line source
254
bd26dc13f270 Added logger
Windel Bouwman
parents: 251
diff changeset
1 import logging
301
6753763d3bec merge codegen into ppci package
Windel Bouwman
parents: 300
diff changeset
2 from ppci import CompilerError
293
6aa721e7b10b Try to improve build sequence
Windel Bouwman
parents: 289
diff changeset
3 from .lexer import Lexer
296
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
4 from .astnodes import FieldRef, Literal, TypeCast, Unop, Binop
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
5 from .astnodes import Assignment, ExpressionStatement, CompoundStatement
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
6 from .astnodes import ReturnStatement, WhileStatement, IfStatement
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
7 from .astnodes import FunctionType, Function, FormalParameter
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
8 from .astnodes import StructureType, DefinedType, PointerType
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
9 from .astnodes import Constant, Variable
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
10 from .astnodes import StructField, Deref
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
11 from .astnodes import Package, ImportDesignator
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
12 from .astnodes import Designator, VariableUse, FunctionCall
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
13
288
a747a45dcd78 Various styling work
Windel Bouwman
parents: 284
diff changeset
14
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
15 class Parser:
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
16 """ Parses sourcecode into an abstract syntax tree (AST) """
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
17 def __init__(self, diag):
254
bd26dc13f270 Added logger
Windel Bouwman
parents: 251
diff changeset
18 self.logger = logging.getLogger('c3')
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
19 self.diag = diag
293
6aa721e7b10b Try to improve build sequence
Windel Bouwman
parents: 289
diff changeset
20 self.lexer = Lexer(diag)
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
21
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
22 def parseSource(self, source):
254
bd26dc13f270 Added logger
Windel Bouwman
parents: 251
diff changeset
23 self.logger.info('Parsing source')
bd26dc13f270 Added logger
Windel Bouwman
parents: 251
diff changeset
24 self.initLex(source)
bd26dc13f270 Added logger
Windel Bouwman
parents: 251
diff changeset
25 try:
bd26dc13f270 Added logger
Windel Bouwman
parents: 251
diff changeset
26 self.parsePackage()
bd26dc13f270 Added logger
Windel Bouwman
parents: 251
diff changeset
27 return self.mod
bd26dc13f270 Added logger
Windel Bouwman
parents: 251
diff changeset
28 except CompilerError as e:
bd26dc13f270 Added logger
Windel Bouwman
parents: 251
diff changeset
29 self.diag.addDiag(e)
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
30
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
31 def Error(self, msg):
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
32 raise CompilerError(msg, self.token.loc)
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
33
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
34 # Lexer helpers:
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
35 def Consume(self, typ):
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
36 if self.Peak == typ:
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
37 return self.NextToken()
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
38 else:
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
39 self.Error('Excected: "{0}", got "{1}"'.format(typ, self.Peak))
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
40
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
41 @property
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
42 def Peak(self):
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
43 return self.token.typ
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
44
228
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
45 @property
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
46 def CurLoc(self):
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
47 return self.token.loc
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
48
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
49 def hasConsumed(self, typ):
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
50 if self.Peak == typ:
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
51 self.Consume(typ)
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
52 return True
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
53 return False
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
54
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
55 def NextToken(self):
219
1fa3e0050b49 Expanded ad hoc code generator
Windel Bouwman
parents: 215
diff changeset
56 t = self.token
1fa3e0050b49 Expanded ad hoc code generator
Windel Bouwman
parents: 215
diff changeset
57 if t.typ != 'END':
1fa3e0050b49 Expanded ad hoc code generator
Windel Bouwman
parents: 215
diff changeset
58 self.token = self.tokens.__next__()
1fa3e0050b49 Expanded ad hoc code generator
Windel Bouwman
parents: 215
diff changeset
59 return t
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
60
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
61 def initLex(self, source):
293
6aa721e7b10b Try to improve build sequence
Windel Bouwman
parents: 289
diff changeset
62 self.tokens = self.lexer.tokenize(source)
219
1fa3e0050b49 Expanded ad hoc code generator
Windel Bouwman
parents: 215
diff changeset
63 self.token = self.tokens.__next__()
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
64
215
c1ccb1cb4cef Major changes in c3 frontend
Windel Bouwman
parents: 213
diff changeset
65 def addDeclaration(self, decl):
c1ccb1cb4cef Major changes in c3 frontend
Windel Bouwman
parents: 213
diff changeset
66 self.currentPart.declarations.append(decl)
288
a747a45dcd78 Various styling work
Windel Bouwman
parents: 284
diff changeset
67
251
6ed3d3a82a63 Added another c3 example. First import attempt
Windel Bouwman
parents: 232
diff changeset
68 def parseImport(self):
6ed3d3a82a63 Added another c3 example. First import attempt
Windel Bouwman
parents: 232
diff changeset
69 self.Consume('import')
6ed3d3a82a63 Added another c3 example. First import attempt
Windel Bouwman
parents: 232
diff changeset
70 name = self.Consume('ID').val
6ed3d3a82a63 Added another c3 example. First import attempt
Windel Bouwman
parents: 232
diff changeset
71 self.mod.imports.append(name)
6ed3d3a82a63 Added another c3 example. First import attempt
Windel Bouwman
parents: 232
diff changeset
72 self.Consume(';')
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
73
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
74 def parsePackage(self):
284
05184b95fa16 Moved tests to seperate folder
Windel Bouwman
parents: 280
diff changeset
75 self.Consume('module')
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
76 name = self.Consume('ID')
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
77 self.Consume(';')
296
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
78 self.mod = Package(name.val, name.loc)
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
79 self.currentPart = self.mod
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
80 while self.Peak != 'END':
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
81 self.parseTopLevel()
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
82 self.Consume('END')
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
83
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
84 def parseTopLevel(self):
251
6ed3d3a82a63 Added another c3 example. First import attempt
Windel Bouwman
parents: 232
diff changeset
85 if self.Peak == 'function':
6ed3d3a82a63 Added another c3 example. First import attempt
Windel Bouwman
parents: 232
diff changeset
86 self.parseFunctionDef()
6ed3d3a82a63 Added another c3 example. First import attempt
Windel Bouwman
parents: 232
diff changeset
87 elif self.Peak == 'var':
6ed3d3a82a63 Added another c3 example. First import attempt
Windel Bouwman
parents: 232
diff changeset
88 self.parseVarDef()
6ed3d3a82a63 Added another c3 example. First import attempt
Windel Bouwman
parents: 232
diff changeset
89 elif self.Peak == 'const':
6ed3d3a82a63 Added another c3 example. First import attempt
Windel Bouwman
parents: 232
diff changeset
90 self.parseConstDef()
6ed3d3a82a63 Added another c3 example. First import attempt
Windel Bouwman
parents: 232
diff changeset
91 elif self.Peak == 'type':
6ed3d3a82a63 Added another c3 example. First import attempt
Windel Bouwman
parents: 232
diff changeset
92 self.parseTypeDef()
6ed3d3a82a63 Added another c3 example. First import attempt
Windel Bouwman
parents: 232
diff changeset
93 elif self.Peak == 'import':
6ed3d3a82a63 Added another c3 example. First import attempt
Windel Bouwman
parents: 232
diff changeset
94 self.parseImport()
6ed3d3a82a63 Added another c3 example. First import attempt
Windel Bouwman
parents: 232
diff changeset
95 else:
6ed3d3a82a63 Added another c3 example. First import attempt
Windel Bouwman
parents: 232
diff changeset
96 self.Error('Expected function, var, const or type')
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
97
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
98 def parseDesignator(self):
301
6753763d3bec merge codegen into ppci package
Windel Bouwman
parents: 300
diff changeset
99 """ A designator designates an object with a name. """
225
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
100 name = self.Consume('ID')
289
bd2593de3ff8 Semifix burn2
Windel Bouwman
parents: 288
diff changeset
101 if self.hasConsumed(':'):
bd2593de3ff8 Semifix burn2
Windel Bouwman
parents: 288
diff changeset
102 name2 = self.Consume('ID')
296
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
103 return ImportDesignator(name.val, name2.val, name.loc)
289
bd2593de3ff8 Semifix burn2
Windel Bouwman
parents: 288
diff changeset
104 else:
296
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
105 return Designator(name.val, name.loc)
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
106
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
107 # Type system
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
108 def parseTypeSpec(self):
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
109 # For now, do simple type spec, just parse an ID:
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
110 if self.Peak == 'struct':
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
111 self.Consume('struct')
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
112 self.Consume('{')
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
113 mems = []
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
114 while self.Peak != '}':
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
115 mem_t = self.parseTypeSpec()
226
240111e0456f Work on named types
Windel Bouwman
parents: 225
diff changeset
116 mem_n = self.Consume('ID').val
296
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
117 mems.append(StructField(mem_n, mem_t))
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
118 while self.hasConsumed(','):
226
240111e0456f Work on named types
Windel Bouwman
parents: 225
diff changeset
119 mem_n = self.Consume('ID').val
296
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
120 mems.append(StructField(mem_n, mem_t))
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
121 self.Consume(';')
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
122 self.Consume('}')
296
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
123 theT = StructureType(mems)
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
124 else:
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
125 theT = self.parseDesignator()
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
126 # Check for pointer suffix:
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
127 while self.hasConsumed('*'):
296
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
128 theT = PointerType(theT)
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
129 return theT
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
130
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
131 def parseTypeDef(self):
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
132 self.Consume('type')
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
133 newtype = self.parseTypeSpec()
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
134 typename = self.Consume('ID')
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
135 self.Consume(';')
296
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
136 df = DefinedType(typename.val, newtype, typename.loc)
225
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
137 self.addDeclaration(df)
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
138
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
139 # Variable declarations:
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
140 def parseVarDef(self):
272
e64bae57cda8 refactor ir
Windel Bouwman
parents: 254
diff changeset
141 self.Consume('var')
e64bae57cda8 refactor ir
Windel Bouwman
parents: 254
diff changeset
142 t = self.parseTypeSpec()
300
Windel Bouwman
parents: 296
diff changeset
143
272
e64bae57cda8 refactor ir
Windel Bouwman
parents: 254
diff changeset
144 def parseVar():
e64bae57cda8 refactor ir
Windel Bouwman
parents: 254
diff changeset
145 name = self.Consume('ID')
296
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
146 v = Variable(name.val, t)
272
e64bae57cda8 refactor ir
Windel Bouwman
parents: 254
diff changeset
147 v.loc = name.loc
e64bae57cda8 refactor ir
Windel Bouwman
parents: 254
diff changeset
148 if self.hasConsumed('='):
e64bae57cda8 refactor ir
Windel Bouwman
parents: 254
diff changeset
149 v.ival = self.Expression()
e64bae57cda8 refactor ir
Windel Bouwman
parents: 254
diff changeset
150 self.addDeclaration(v)
e64bae57cda8 refactor ir
Windel Bouwman
parents: 254
diff changeset
151 parseVar()
e64bae57cda8 refactor ir
Windel Bouwman
parents: 254
diff changeset
152 while self.hasConsumed(','):
e64bae57cda8 refactor ir
Windel Bouwman
parents: 254
diff changeset
153 parseVar()
e64bae57cda8 refactor ir
Windel Bouwman
parents: 254
diff changeset
154 self.Consume(';')
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
155
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
156 def parseConstDef(self):
280
02385f62f250 Rework from str interface to Instruction interface
Windel Bouwman
parents: 272
diff changeset
157 self.Consume('const')
02385f62f250 Rework from str interface to Instruction interface
Windel Bouwman
parents: 272
diff changeset
158 t = self.parseTypeSpec()
300
Windel Bouwman
parents: 296
diff changeset
159
280
02385f62f250 Rework from str interface to Instruction interface
Windel Bouwman
parents: 272
diff changeset
160 def parseConst():
02385f62f250 Rework from str interface to Instruction interface
Windel Bouwman
parents: 272
diff changeset
161 name = self.Consume('ID')
02385f62f250 Rework from str interface to Instruction interface
Windel Bouwman
parents: 272
diff changeset
162 self.Consume('=')
02385f62f250 Rework from str interface to Instruction interface
Windel Bouwman
parents: 272
diff changeset
163 val = self.Expression()
296
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
164 c = Constant(name.val, t, val)
280
02385f62f250 Rework from str interface to Instruction interface
Windel Bouwman
parents: 272
diff changeset
165 c.loc = name.loc
02385f62f250 Rework from str interface to Instruction interface
Windel Bouwman
parents: 272
diff changeset
166 parseConst()
02385f62f250 Rework from str interface to Instruction interface
Windel Bouwman
parents: 272
diff changeset
167 while self.hasConsumed(','):
02385f62f250 Rework from str interface to Instruction interface
Windel Bouwman
parents: 272
diff changeset
168 parseConst()
02385f62f250 Rework from str interface to Instruction interface
Windel Bouwman
parents: 272
diff changeset
169 self.Consume(';')
288
a747a45dcd78 Various styling work
Windel Bouwman
parents: 284
diff changeset
170
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
171 # Procedures
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
172 def parseFunctionDef(self):
280
02385f62f250 Rework from str interface to Instruction interface
Windel Bouwman
parents: 272
diff changeset
173 loc = self.Consume('function').loc
02385f62f250 Rework from str interface to Instruction interface
Windel Bouwman
parents: 272
diff changeset
174 returntype = self.parseTypeSpec()
02385f62f250 Rework from str interface to Instruction interface
Windel Bouwman
parents: 272
diff changeset
175 fname = self.Consume('ID').val
296
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
176 f = Function(fname, loc)
280
02385f62f250 Rework from str interface to Instruction interface
Windel Bouwman
parents: 272
diff changeset
177 self.addDeclaration(f)
02385f62f250 Rework from str interface to Instruction interface
Windel Bouwman
parents: 272
diff changeset
178 savePart = self.currentPart
02385f62f250 Rework from str interface to Instruction interface
Windel Bouwman
parents: 272
diff changeset
179 self.currentPart = f
02385f62f250 Rework from str interface to Instruction interface
Windel Bouwman
parents: 272
diff changeset
180 self.Consume('(')
02385f62f250 Rework from str interface to Instruction interface
Windel Bouwman
parents: 272
diff changeset
181 parameters = []
02385f62f250 Rework from str interface to Instruction interface
Windel Bouwman
parents: 272
diff changeset
182 if not self.hasConsumed(')'):
272
e64bae57cda8 refactor ir
Windel Bouwman
parents: 254
diff changeset
183 def parseParameter():
e64bae57cda8 refactor ir
Windel Bouwman
parents: 254
diff changeset
184 typ = self.parseTypeSpec()
e64bae57cda8 refactor ir
Windel Bouwman
parents: 254
diff changeset
185 name = self.Consume('ID')
296
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
186 param = FormalParameter(name.val, typ)
272
e64bae57cda8 refactor ir
Windel Bouwman
parents: 254
diff changeset
187 param.loc = name.loc
e64bae57cda8 refactor ir
Windel Bouwman
parents: 254
diff changeset
188 self.addDeclaration(param)
e64bae57cda8 refactor ir
Windel Bouwman
parents: 254
diff changeset
189 parameters.append(param)
150
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
190 parseParameter()
272
e64bae57cda8 refactor ir
Windel Bouwman
parents: 254
diff changeset
191 while self.hasConsumed(','):
e64bae57cda8 refactor ir
Windel Bouwman
parents: 254
diff changeset
192 parseParameter()
e64bae57cda8 refactor ir
Windel Bouwman
parents: 254
diff changeset
193 self.Consume(')')
280
02385f62f250 Rework from str interface to Instruction interface
Windel Bouwman
parents: 272
diff changeset
194 paramtypes = [p.typ for p in parameters]
296
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
195 f.typ = FunctionType(paramtypes, returntype)
280
02385f62f250 Rework from str interface to Instruction interface
Windel Bouwman
parents: 272
diff changeset
196 f.body = self.parseCompoundStatement()
02385f62f250 Rework from str interface to Instruction interface
Windel Bouwman
parents: 272
diff changeset
197 self.currentPart = savePart
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
198
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
199 # Statements:
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
200
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
201 def parseIfStatement(self):
272
e64bae57cda8 refactor ir
Windel Bouwman
parents: 254
diff changeset
202 loc = self.Consume('if').loc
e64bae57cda8 refactor ir
Windel Bouwman
parents: 254
diff changeset
203 self.Consume('(')
e64bae57cda8 refactor ir
Windel Bouwman
parents: 254
diff changeset
204 condition = self.Expression()
e64bae57cda8 refactor ir
Windel Bouwman
parents: 254
diff changeset
205 self.Consume(')')
e64bae57cda8 refactor ir
Windel Bouwman
parents: 254
diff changeset
206 yes = self.parseCompoundStatement()
e64bae57cda8 refactor ir
Windel Bouwman
parents: 254
diff changeset
207 if self.hasConsumed('else'):
e64bae57cda8 refactor ir
Windel Bouwman
parents: 254
diff changeset
208 no = self.parseCompoundStatement()
e64bae57cda8 refactor ir
Windel Bouwman
parents: 254
diff changeset
209 else:
e64bae57cda8 refactor ir
Windel Bouwman
parents: 254
diff changeset
210 no = None
296
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
211 return IfStatement(condition, yes, no, loc)
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
212
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
213 def parseWhileStatement(self):
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
214 loc = self.Consume('while').loc
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
215 self.Consume('(')
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
216 condition = self.Expression()
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
217 self.Consume(')')
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
218 statements = self.parseCompoundStatement()
296
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
219 return WhileStatement(condition, statements, loc)
149
74241ca312cc Fixes on parser and semantics
Windel Bouwman
parents: 148
diff changeset
220
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
221 def parseReturnStatement(self):
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
222 loc = self.Consume('return').loc
280
02385f62f250 Rework from str interface to Instruction interface
Windel Bouwman
parents: 272
diff changeset
223 if self.Peak == ';':
296
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
224 expr = Literal(0, loc)
280
02385f62f250 Rework from str interface to Instruction interface
Windel Bouwman
parents: 272
diff changeset
225 else:
02385f62f250 Rework from str interface to Instruction interface
Windel Bouwman
parents: 272
diff changeset
226 expr = self.Expression()
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
227 self.Consume(';')
296
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
228 return ReturnStatement(expr, loc)
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
229
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
230 def parseCompoundStatement(self):
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
231 self.Consume('{')
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
232 statements = []
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
233 while not self.hasConsumed('}'):
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
234 s = self.Statement()
228
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
235 if s is None:
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
236 continue
166
da0087b82fbe Improved type checking
Windel Bouwman
parents: 165
diff changeset
237 statements.append(s)
296
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
238 return CompoundStatement(statements)
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
239
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
240 def Statement(self):
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
241 # Determine statement type based on the pending token:
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
242 if self.Peak == 'if':
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
243 return self.parseIfStatement()
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
244 elif self.Peak == 'while':
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
245 return self.parseWhileStatement()
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
246 elif self.Peak == '{':
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
247 return self.parseCompoundStatement()
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
248 elif self.hasConsumed(';'):
228
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
249 pass
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
250 elif self.Peak == 'var':
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
251 self.parseVarDef()
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
252 elif self.Peak == 'return':
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
253 return self.parseReturnStatement()
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
254 else:
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
255 return self.AssignmentOrCall()
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
256
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
257 def AssignmentOrCall(self):
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
258 x = self.UnaryExpression()
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
259 if self.Peak == '=':
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
260 # We enter assignment mode here.
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
261 loc = self.Consume('=').loc
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
262 rhs = self.Expression()
296
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
263 return Assignment(x, rhs, loc)
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
264 else:
296
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
265 return ExpressionStatement(x, x.loc)
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
266
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
267 # Expression section:
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
268 # We not implement these C constructs:
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
269 # a(2), f = 2
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
270 # and this:
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
271 # a = 2 < x : 4 ? 1;
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
272
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
273 def Expression(self):
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
274 exp = self.LogicalAndExpression()
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
275 while self.Peak == 'or':
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
276 loc = self.Consume('or').loc
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
277 e2 = self.LogicalAndExpression()
296
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
278 exp = Binop(exp, 'or', e2, loc)
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
279 return exp
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
280
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
281 def LogicalAndExpression(self):
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
282 o = self.EqualityExpression()
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
283 while self.Peak == 'and':
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
284 loc = self.Consume('and').loc
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
285 o2 = self.EqualityExpression()
296
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
286 o = Binop(o, 'and', o2, loc)
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
287 return o
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
288
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
289 def EqualityExpression(self):
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
290 ee = self.SimpleExpression()
300
Windel Bouwman
parents: 296
diff changeset
291 while self.Peak in ['<', '==', '>', '>=', '<=', '!=']:
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
292 op = self.Consume(self.Peak)
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
293 ee2 = self.SimpleExpression()
296
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
294 ee = Binop(ee, op.typ, ee2, op.loc)
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
295 return ee
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
296
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
297 def SimpleExpression(self):
232
e621e3ba78d2 Added left shift instruction
Windel Bouwman
parents: 230
diff changeset
298 """ Shift operations before + and - ? """
e621e3ba78d2 Added left shift instruction
Windel Bouwman
parents: 230
diff changeset
299 e = self.AddExpression()
e621e3ba78d2 Added left shift instruction
Windel Bouwman
parents: 230
diff changeset
300 while self.Peak in ['>>', '<<']:
e621e3ba78d2 Added left shift instruction
Windel Bouwman
parents: 230
diff changeset
301 op = self.Consume(self.Peak)
e621e3ba78d2 Added left shift instruction
Windel Bouwman
parents: 230
diff changeset
302 e2 = self.AddExpression()
296
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
303 e = Binop(e, op.typ, e2, op.loc)
232
e621e3ba78d2 Added left shift instruction
Windel Bouwman
parents: 230
diff changeset
304 return e
e621e3ba78d2 Added left shift instruction
Windel Bouwman
parents: 230
diff changeset
305
e621e3ba78d2 Added left shift instruction
Windel Bouwman
parents: 230
diff changeset
306 def AddExpression(self):
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
307 e = self.Term()
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
308 while self.Peak in ['+', '-']:
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
309 op = self.Consume(self.Peak)
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
310 e2 = self.Term()
296
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
311 e = Binop(e, op.typ, e2, op.loc)
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
312 return e
213
003c8a976fff Merge of semantics and parser again ..
Windel Bouwman
parents: 186
diff changeset
313
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
314 def Term(self):
221
848c4b15fd0b pointers
Windel Bouwman
parents: 220
diff changeset
315 t = self.BitwiseOr()
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
316 while self.Peak in ['*', '/']:
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
317 op = self.Consume(self.Peak)
221
848c4b15fd0b pointers
Windel Bouwman
parents: 220
diff changeset
318 t2 = self.BitwiseOr()
296
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
319 t = Binop(t, op.typ, t2, op.loc)
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
320 return t
221
848c4b15fd0b pointers
Windel Bouwman
parents: 220
diff changeset
321
848c4b15fd0b pointers
Windel Bouwman
parents: 220
diff changeset
322 def BitwiseOr(self):
848c4b15fd0b pointers
Windel Bouwman
parents: 220
diff changeset
323 a = self.BitwiseAnd()
848c4b15fd0b pointers
Windel Bouwman
parents: 220
diff changeset
324 while self.Peak in ['|']:
848c4b15fd0b pointers
Windel Bouwman
parents: 220
diff changeset
325 op = self.Consume(self.Peak)
848c4b15fd0b pointers
Windel Bouwman
parents: 220
diff changeset
326 b = self.BitwiseAnd()
296
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
327 a = Binop(a, op.typ, b, op.loc)
221
848c4b15fd0b pointers
Windel Bouwman
parents: 220
diff changeset
328 return a
848c4b15fd0b pointers
Windel Bouwman
parents: 220
diff changeset
329
848c4b15fd0b pointers
Windel Bouwman
parents: 220
diff changeset
330 def BitwiseAnd(self):
848c4b15fd0b pointers
Windel Bouwman
parents: 220
diff changeset
331 a = self.CastExpression()
848c4b15fd0b pointers
Windel Bouwman
parents: 220
diff changeset
332 while self.Peak in ['&']:
848c4b15fd0b pointers
Windel Bouwman
parents: 220
diff changeset
333 op = self.Consume(self.Peak)
848c4b15fd0b pointers
Windel Bouwman
parents: 220
diff changeset
334 b = self.CastExpression()
296
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
335 a = Binop(a, op.typ, b, op.loc)
221
848c4b15fd0b pointers
Windel Bouwman
parents: 220
diff changeset
336 return a
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
337
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
338 # Domain of unary expressions:
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
339
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
340 def CastExpression(self):
228
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
341 """
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
342 the C-style type cast conflicts with '(' expr ')'
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
343 so introduce extra keyword 'cast'
7f18ed9b6b7e Removal of emptystatement class
Windel Bouwman
parents: 227
diff changeset
344 """
221
848c4b15fd0b pointers
Windel Bouwman
parents: 220
diff changeset
345 if self.Peak == 'cast':
230
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
346 loc = self.Consume('cast').loc
221
848c4b15fd0b pointers
Windel Bouwman
parents: 220
diff changeset
347 self.Consume('<')
848c4b15fd0b pointers
Windel Bouwman
parents: 220
diff changeset
348 t = self.parseTypeSpec()
848c4b15fd0b pointers
Windel Bouwman
parents: 220
diff changeset
349 self.Consume('>')
848c4b15fd0b pointers
Windel Bouwman
parents: 220
diff changeset
350 self.Consume('(')
232
e621e3ba78d2 Added left shift instruction
Windel Bouwman
parents: 230
diff changeset
351 ce = self.Expression()
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
352 self.Consume(')')
296
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
353 return TypeCast(t, ce, loc)
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
354 else:
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
355 return self.UnaryExpression()
230
88a1e0baef65 Added some tests for IR-code
Windel Bouwman
parents: 228
diff changeset
356
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
357 def UnaryExpression(self):
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
358 if self.Peak in ['&', '*']:
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
359 op = self.Consume(self.Peak)
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
360 ce = self.CastExpression()
225
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
361 if op.val == '*':
296
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
362 return Deref(ce, op.loc)
225
1c7364bd74c7 Fixed pointer deref
Windel Bouwman
parents: 222
diff changeset
363 else:
296
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
364 return Unop(op.typ, ce, op.loc)
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
365 else:
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
366 return self.PostFixExpression()
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
367
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
368 def PostFixExpression(self):
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
369 pfe = self.PrimaryExpression()
301
6753763d3bec merge codegen into ppci package
Windel Bouwman
parents: 300
diff changeset
370 if self.hasConsumed('('):
6753763d3bec merge codegen into ppci package
Windel Bouwman
parents: 300
diff changeset
371 # Function call
6753763d3bec merge codegen into ppci package
Windel Bouwman
parents: 300
diff changeset
372 args = []
6753763d3bec merge codegen into ppci package
Windel Bouwman
parents: 300
diff changeset
373 if not self.hasConsumed(')'):
6753763d3bec merge codegen into ppci package
Windel Bouwman
parents: 300
diff changeset
374 args.append(self.Expression())
6753763d3bec merge codegen into ppci package
Windel Bouwman
parents: 300
diff changeset
375 while self.hasConsumed(','):
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
376 args.append(self.Expression())
301
6753763d3bec merge codegen into ppci package
Windel Bouwman
parents: 300
diff changeset
377 self.Consume(')')
6753763d3bec merge codegen into ppci package
Windel Bouwman
parents: 300
diff changeset
378 pfe = FunctionCall(pfe, args, pfe.loc)
6753763d3bec merge codegen into ppci package
Windel Bouwman
parents: 300
diff changeset
379 else:
6753763d3bec merge codegen into ppci package
Windel Bouwman
parents: 300
diff changeset
380 while self.Peak in ['[', '.', '->']:
6753763d3bec merge codegen into ppci package
Windel Bouwman
parents: 300
diff changeset
381 if self.hasConsumed('['):
6753763d3bec merge codegen into ppci package
Windel Bouwman
parents: 300
diff changeset
382 raise NotImplementedError('Array not yet implemented')
6753763d3bec merge codegen into ppci package
Windel Bouwman
parents: 300
diff changeset
383 elif self.hasConsumed('->'):
6753763d3bec merge codegen into ppci package
Windel Bouwman
parents: 300
diff changeset
384 field = self.Consume('ID')
6753763d3bec merge codegen into ppci package
Windel Bouwman
parents: 300
diff changeset
385 pfe = Deref(pfe, pfe.loc)
6753763d3bec merge codegen into ppci package
Windel Bouwman
parents: 300
diff changeset
386 pfe = FieldRef(pfe, field.val, field.loc)
6753763d3bec merge codegen into ppci package
Windel Bouwman
parents: 300
diff changeset
387 elif self.hasConsumed('.'):
6753763d3bec merge codegen into ppci package
Windel Bouwman
parents: 300
diff changeset
388 field = self.Consume('ID')
6753763d3bec merge codegen into ppci package
Windel Bouwman
parents: 300
diff changeset
389 pfe = FieldRef(pfe, field.val, field.loc)
6753763d3bec merge codegen into ppci package
Windel Bouwman
parents: 300
diff changeset
390 else:
6753763d3bec merge codegen into ppci package
Windel Bouwman
parents: 300
diff changeset
391 raise Exception()
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
392 return pfe
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
393
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
394 def PrimaryExpression(self):
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
395 if self.hasConsumed('('):
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
396 e = self.Expression()
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
397 self.Consume(')')
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
398 return e
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
399 elif self.Peak == 'NUMBER':
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
400 val = self.Consume('NUMBER')
296
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
401 return Literal(val.val, val.loc)
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
402 elif self.Peak == 'REAL':
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
403 val = self.Consume('REAL')
296
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
404 return Literal(val.val, val.loc)
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
405 elif self.Peak == 'true':
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
406 val = self.Consume('true')
296
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
407 return Literal(True, val.loc)
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
408 elif self.Peak == 'false':
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
409 val = self.Consume('false')
296
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
410 return Literal(False, val.loc)
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
411 elif self.Peak == 'ID':
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
412 d = self.parseDesignator()
296
9417caea2eb3 Directorized some backend files
Windel Bouwman
parents: 293
diff changeset
413 return VariableUse(d, d.loc)
220
3f6c30a5d234 Major change in expression parsing to enable pointers and structs
Windel Bouwman
parents: 219
diff changeset
414 self.Error('Expected NUM, ID or (expr), got {0}'.format(self.Peak))