annotate python/testc3.py @ 168:49f1ab80d040

Added awesome icons
author Windel Bouwman
date Fri, 22 Mar 2013 19:09:38 +0100
parents 0b5b2ee6b435
children ee0d30533dae
rev   line source
158
9683a4cd848f Added some functions for code generation
Windel Bouwman
parents: 157
diff changeset
1 import c3
9683a4cd848f Added some functions for code generation
Windel Bouwman
parents: 157
diff changeset
2 import time, ppci, x86, ir
167
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
3 import unittest
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
4
162
d8c735dc31f9 Used new editor in ide
Windel Bouwman
parents: 160
diff changeset
5 testsrc = """package test;
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
6
149
74241ca312cc Fixes on parser and semantics
Windel Bouwman
parents: 148
diff changeset
7 var u32 c, d;
163
8104fc8b5e90 Added visitor to c3
Windel Bouwman
parents: 162
diff changeset
8 var double e;
8104fc8b5e90 Added visitor to c3
Windel Bouwman
parents: 162
diff changeset
9 var int f;
8104fc8b5e90 Added visitor to c3
Windel Bouwman
parents: 162
diff changeset
10
167
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
11 const int A = 1337;
149
74241ca312cc Fixes on parser and semantics
Windel Bouwman
parents: 148
diff changeset
12
74241ca312cc Fixes on parser and semantics
Windel Bouwman
parents: 148
diff changeset
13 function void test1()
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
14 {
163
8104fc8b5e90 Added visitor to c3
Windel Bouwman
parents: 162
diff changeset
15 var u32 bdd;
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
16 var int a = 10;
163
8104fc8b5e90 Added visitor to c3
Windel Bouwman
parents: 162
diff changeset
17 bd = 20;
155
b28a11c01dbe Simplified IR classes
Windel Bouwman
parents: 152
diff changeset
18 var int buf;
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
19 var int i;
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
20 i = 2;
155
b28a11c01dbe Simplified IR classes
Windel Bouwman
parents: 152
diff changeset
21 var int zero = i - 2;
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
22 if (i > 1)
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
23 {
157
8f3924b6076e Added some code generator things
Windel Bouwman
parents: 155
diff changeset
24 buf = b + 22 * i - 13 + (55 * 2 *9-2) / 44 - 1;
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
25 }
155
b28a11c01dbe Simplified IR classes
Windel Bouwman
parents: 152
diff changeset
26 else
b28a11c01dbe Simplified IR classes
Windel Bouwman
parents: 152
diff changeset
27 {
b28a11c01dbe Simplified IR classes
Windel Bouwman
parents: 152
diff changeset
28 ;;;
157
8f3924b6076e Added some code generator things
Windel Bouwman
parents: 155
diff changeset
29 }
155
b28a11c01dbe Simplified IR classes
Windel Bouwman
parents: 152
diff changeset
30
b28a11c01dbe Simplified IR classes
Windel Bouwman
parents: 152
diff changeset
31 t2(2, 3);
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
32 }
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
33
149
74241ca312cc Fixes on parser and semantics
Windel Bouwman
parents: 148
diff changeset
34 function int t2(u32 a, u32 b)
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
35 {
157
8f3924b6076e Added some code generator things
Windel Bouwman
parents: 155
diff changeset
36 if (a > 0)
8f3924b6076e Added some code generator things
Windel Bouwman
parents: 155
diff changeset
37 {
167
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
38 a = 2 + t2(a - 1, 1.0);
157
8f3924b6076e Added some code generator things
Windel Bouwman
parents: 155
diff changeset
39 }
8f3924b6076e Added some code generator things
Windel Bouwman
parents: 155
diff changeset
40
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
41 return a + b;
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
42 }
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
43
166
da0087b82fbe Improved type checking
Windel Bouwman
parents: 165
diff changeset
44 function int t3(int aap, int blah)
da0087b82fbe Improved type checking
Windel Bouwman
parents: 165
diff changeset
45 {
da0087b82fbe Improved type checking
Windel Bouwman
parents: 165
diff changeset
46 if (a > blah and blah < 45 + 33 or 33 > aap or 6 and true)
da0087b82fbe Improved type checking
Windel Bouwman
parents: 165
diff changeset
47 {
da0087b82fbe Improved type checking
Windel Bouwman
parents: 165
diff changeset
48 a = 2 + t2(a - 1);
da0087b82fbe Improved type checking
Windel Bouwman
parents: 165
diff changeset
49 }
da0087b82fbe Improved type checking
Windel Bouwman
parents: 165
diff changeset
50
da0087b82fbe Improved type checking
Windel Bouwman
parents: 165
diff changeset
51 return a + b;
da0087b82fbe Improved type checking
Windel Bouwman
parents: 165
diff changeset
52 }
da0087b82fbe Improved type checking
Windel Bouwman
parents: 165
diff changeset
53
155
b28a11c01dbe Simplified IR classes
Windel Bouwman
parents: 152
diff changeset
54 var int hahaa = 23 * 2;
150
4ae0e02599de Added type check start and analyze phase
Windel Bouwman
parents: 149
diff changeset
55
149
74241ca312cc Fixes on parser and semantics
Windel Bouwman
parents: 148
diff changeset
56
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
57 """
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
58
152
b73bc14a3aa3 Light coupling ide and c3 frontend
Windel Bouwman
parents: 151
diff changeset
59 def c3compile(src, diag):
163
8104fc8b5e90 Added visitor to c3
Windel Bouwman
parents: 162
diff changeset
60 # Structures:
165
598d3888a11c Added front class and fided AST view
Windel Bouwman
parents: 163
diff changeset
61 builder = c3.Builder(diag)
598d3888a11c Added front class and fided AST view
Windel Bouwman
parents: 163
diff changeset
62 ir = builder.build(src)
598d3888a11c Added front class and fided AST view
Windel Bouwman
parents: 163
diff changeset
63 # optional optimize here
157
8f3924b6076e Added some code generator things
Windel Bouwman
parents: 155
diff changeset
64 x86gen = x86.X86CodeGen(diag)
162
d8c735dc31f9 Used new editor in ide
Windel Bouwman
parents: 160
diff changeset
65 ok = len(diag.diags) == 0
d8c735dc31f9 Used new editor in ide
Windel Bouwman
parents: 160
diff changeset
66 if not ok:
d8c735dc31f9 Used new editor in ide
Windel Bouwman
parents: 160
diff changeset
67 return
165
598d3888a11c Added front class and fided AST view
Windel Bouwman
parents: 163
diff changeset
68 print('generating x86 code')
598d3888a11c Added front class and fided AST view
Windel Bouwman
parents: 163
diff changeset
69 x86gen.genBin(ir)
598d3888a11c Added front class and fided AST view
Windel Bouwman
parents: 163
diff changeset
70 with open('dummydummy.asm', 'w') as f:
598d3888a11c Added front class and fided AST view
Windel Bouwman
parents: 163
diff changeset
71 f.write('bits 64\n')
598d3888a11c Added front class and fided AST view
Windel Bouwman
parents: 163
diff changeset
72 for a in x86gen.asm:
598d3888a11c Added front class and fided AST view
Windel Bouwman
parents: 163
diff changeset
73 print(a)
598d3888a11c Added front class and fided AST view
Windel Bouwman
parents: 163
diff changeset
74 f.write(str(a) + '\n')
151
afc8c0207984 Added ir code generator stub
Windel Bouwman
parents: 150
diff changeset
75
afc8c0207984 Added ir code generator stub
Windel Bouwman
parents: 150
diff changeset
76 def do():
152
b73bc14a3aa3 Light coupling ide and c3 frontend
Windel Bouwman
parents: 151
diff changeset
77 diag = ppci.DiagnosticsManager()
b73bc14a3aa3 Light coupling ide and c3 frontend
Windel Bouwman
parents: 151
diff changeset
78 c3compile(testsrc, diag)
151
afc8c0207984 Added ir code generator stub
Windel Bouwman
parents: 150
diff changeset
79
167
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
80 class testA(unittest.TestCase):
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
81 def setUp(self):
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
82 self.diag = ppci.DiagnosticsManager()
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
83 self.builder = c3.Builder(self.diag)
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
84 def testFunctArgs(self):
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
85 snippet = """
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
86 package testargs;
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
87 function void t2(int a, double b)
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
88 {
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
89 t2(2, 2);
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
90 t2(2);
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
91 t2(1, 1.2);
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
92 }
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
93 """
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
94 self.diag.clear()
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
95 ir = self.builder.build(snippet)
168
49f1ab80d040 Added awesome icons
Windel Bouwman
parents: 167
diff changeset
96 assert len(self.diag.diags) == 2
49f1ab80d040 Added awesome icons
Windel Bouwman
parents: 167
diff changeset
97 assert self.diag.diags[0].loc.row == 5
49f1ab80d040 Added awesome icons
Windel Bouwman
parents: 167
diff changeset
98 assert self.diag.diags[1].loc.row == 6
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
99
167
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
100 def testExpressions(self):
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
101 snippet = """
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
102 package test;
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
103 function void t(int a, double b)
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
104 {
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
105 var int a2;
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
106 var bool c;
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
107
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
108 a2 = b * a;
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
109 c = a;
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
110 c = b > 1;
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
111 }
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
112 """
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
113 self.diag.clear()
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
114 ir = self.builder.build(snippet)
168
49f1ab80d040 Added awesome icons
Windel Bouwman
parents: 167
diff changeset
115 assert len(self.diag.diags) == 3
49f1ab80d040 Added awesome icons
Windel Bouwman
parents: 167
diff changeset
116 assert self.diag.diags[0].loc.row == 8
49f1ab80d040 Added awesome icons
Windel Bouwman
parents: 167
diff changeset
117 assert self.diag.diags[1].loc.row == 9
49f1ab80d040 Added awesome icons
Windel Bouwman
parents: 167
diff changeset
118 assert self.diag.diags[2].loc.row == 10
49f1ab80d040 Added awesome icons
Windel Bouwman
parents: 167
diff changeset
119 assert ir == None
167
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
120
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
121 if __name__ == '__main__':
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
122 do()
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
123 unittest.main()
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
124
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
125