annotate python/testc3.py @ 152:b73bc14a3aa3

Light coupling ide and c3 frontend
author Windel Bouwman
date Sat, 02 Mar 2013 09:56:12 +0100
parents afc8c0207984
children b28a11c01dbe
rev   line source
152
b73bc14a3aa3 Light coupling ide and c3 frontend
Windel Bouwman
parents: 151
diff changeset
1 import c3, time, ppci
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
2
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
3 testsrc = """
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
4 package test;
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
5
149
74241ca312cc Fixes on parser and semantics
Windel Bouwman
parents: 148
diff changeset
6 var u32 c, d;
74241ca312cc Fixes on parser and semantics
Windel Bouwman
parents: 148
diff changeset
7
74241ca312cc Fixes on parser and semantics
Windel Bouwman
parents: 148
diff changeset
8 function void test1()
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
9 {
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
10 var u32 b;
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
11 var int a = 10;
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
12 b = 20;
150
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
13 var int88 buf;
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
14 var int i;
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
15 i = 2;
150
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
16 zero = i - 2;
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
17 if (i > 1)
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
18 {
150
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
19 buf = b + 22 * i - 13 + (55 * 2 *9-2) / 44 - one
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
20 }
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
21 }
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
22
149
74241ca312cc Fixes on parser and semantics
Windel Bouwman
parents: 148
diff changeset
23 function int t2(u32 a, u32 b)
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
24 {
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
25 return a + b;
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
26 a = 2
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
27 }
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
28
150
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
29 var u8 hahaa = 23 * 2;
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
30
149
74241ca312cc Fixes on parser and semantics
Windel Bouwman
parents: 148
diff changeset
31 function int t2(u32 a, u32 b)
74241ca312cc Fixes on parser and semantics
Windel Bouwman
parents: 148
diff changeset
32 {
74241ca312cc Fixes on parser and semantics
Windel Bouwman
parents: 148
diff changeset
33 return a + b;
150
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
34 a = 2 + 33 * 1 - 3;
149
74241ca312cc Fixes on parser and semantics
Windel Bouwman
parents: 148
diff changeset
35 a = a - 2
74241ca312cc Fixes on parser and semantics
Windel Bouwman
parents: 148
diff changeset
36 }
74241ca312cc Fixes on parser and semantics
Windel Bouwman
parents: 148
diff changeset
37
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
38 """
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
39
149
74241ca312cc Fixes on parser and semantics
Windel Bouwman
parents: 148
diff changeset
40 def printAst(ast, indent=''):
74241ca312cc Fixes on parser and semantics
Windel Bouwman
parents: 148
diff changeset
41 print(indent + str(ast))
74241ca312cc Fixes on parser and semantics
Windel Bouwman
parents: 148
diff changeset
42 if isinstance(ast, c3.astnodes.Package):
74241ca312cc Fixes on parser and semantics
Windel Bouwman
parents: 148
diff changeset
43 for s in ast.scope:
74241ca312cc Fixes on parser and semantics
Windel Bouwman
parents: 148
diff changeset
44 printAst(s, indent + ' ')
150
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
45 if isinstance(ast, c3.astnodes.Function):
149
74241ca312cc Fixes on parser and semantics
Windel Bouwman
parents: 148
diff changeset
46 for s in ast.scope:
74241ca312cc Fixes on parser and semantics
Windel Bouwman
parents: 148
diff changeset
47 printAst(s, indent + ' ')
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
48 for c in ast.getChildren():
149
74241ca312cc Fixes on parser and semantics
Windel Bouwman
parents: 148
diff changeset
49 printAst(c, indent + ' ')
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
50
152
b73bc14a3aa3 Light coupling ide and c3 frontend
Windel Bouwman
parents: 151
diff changeset
51 def c3compile(src, diag):
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
52 print('[0] source:')
151
afc8c0207984 Added ir code generator stub
Windel Bouwman
parents: 150
diff changeset
53 print(src)
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
54 print('[1] parsing')
150
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
55 sema = c3.Semantics(diag)
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
56 p = c3.Parser(sema, diag)
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
57 tc = c3.TypeChecker(diag)
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
58 al = c3.Analyzer(diag)
151
afc8c0207984 Added ir code generator stub
Windel Bouwman
parents: 150
diff changeset
59 cg = c3.CodeGenerator()
149
74241ca312cc Fixes on parser and semantics
Windel Bouwman
parents: 148
diff changeset
60 t1 = time.time()
151
afc8c0207984 Added ir code generator stub
Windel Bouwman
parents: 150
diff changeset
61 p.parseSource(src)
149
74241ca312cc Fixes on parser and semantics
Windel Bouwman
parents: 148
diff changeset
62 t2 = time.time()
74241ca312cc Fixes on parser and semantics
Windel Bouwman
parents: 148
diff changeset
63 print('parsetime: {0} [s]'.format(t2 - t1))
150
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
64 t2 = time.time()
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
65 tc.checkPackage(sema.mod)
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
66 t3 = time.time()
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
67 print('checktime: {0} [s]'.format(t3 - t2))
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
68 print('{0} errors'.format(len(diag.diags)))
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
69
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
70 for d in diag.diags:
150
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
71 print('ERROR:')
152
b73bc14a3aa3 Light coupling ide and c3 frontend
Windel Bouwman
parents: 151
diff changeset
72 ppci.printError(testsrc, d)
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
73 print('[2] ast:')
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
74 printAst(sema.mod)
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
75
151
afc8c0207984 Added ir code generator stub
Windel Bouwman
parents: 150
diff changeset
76 ok = len(diag.diags) == 0
afc8c0207984 Added ir code generator stub
Windel Bouwman
parents: 150
diff changeset
77 if ok:
afc8c0207984 Added ir code generator stub
Windel Bouwman
parents: 150
diff changeset
78 cg.gencode(sema.mod)
afc8c0207984 Added ir code generator stub
Windel Bouwman
parents: 150
diff changeset
79 else:
afc8c0207984 Added ir code generator stub
Windel Bouwman
parents: 150
diff changeset
80 print('Not generating code')
afc8c0207984 Added ir code generator stub
Windel Bouwman
parents: 150
diff changeset
81
afc8c0207984 Added ir code generator stub
Windel Bouwman
parents: 150
diff changeset
82 def do():
152
b73bc14a3aa3 Light coupling ide and c3 frontend
Windel Bouwman
parents: 151
diff changeset
83 diag = ppci.DiagnosticsManager()
b73bc14a3aa3 Light coupling ide and c3 frontend
Windel Bouwman
parents: 151
diff changeset
84 c3compile(testsrc, diag)
151
afc8c0207984 Added ir code generator stub
Windel Bouwman
parents: 150
diff changeset
85
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
86 do()
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
87