Mercurial > lcfOS

annotate python/testc3.py @ 211:99164160fb0b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added another missing file
author Windel Bouwman
date Sat, 29 Jun 2013 10:10:45 +0200
parents d77cb5962cc5
children 003c8a976fff
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
170
4348da5ca307 Cleanup of ir dir
Windel Bouwman
parents: 169
diff changeset
59
152
b73bc14a3aa3 Light coupling ide and c3 frontend
Windel Bouwman
parents: 151
diff changeset
60 def c3compile(src, diag):
163
8104fc8b5e90 Added visitor to c3
Windel Bouwman
parents: 162
diff changeset
61 # Structures:
165
598d3888a11c Added front class and fided AST view
Windel Bouwman
parents: 163
diff changeset
62 builder = c3.Builder(diag)
598d3888a11c Added front class and fided AST view
Windel Bouwman
parents: 163
diff changeset
63 ir = builder.build(src)
598d3888a11c Added front class and fided AST view
Windel Bouwman
parents: 163
diff changeset
64 # optional optimize here
182
e9b27f7193e3 Replace clear function by function also supported in python 3.2
Windel Bouwman
parents: 180
diff changeset
65 x86gen = x86.X86CodeGenSimple(diag)
162
d8c735dc31f9 Used new editor in ide
Windel Bouwman
parents: 160
diff changeset
66 ok = len(diag.diags) == 0
d8c735dc31f9 Used new editor in ide
Windel Bouwman
parents: 160
diff changeset
67 if not ok:
d8c735dc31f9 Used new editor in ide
Windel Bouwman
parents: 160
diff changeset
68 return
165
598d3888a11c Added front class and fided AST view
Windel Bouwman
parents: 163
diff changeset
69 print('generating x86 code')
598d3888a11c Added front class and fided AST view
Windel Bouwman
parents: 163
diff changeset
70 x86gen.genBin(ir)
598d3888a11c Added front class and fided AST view
Windel Bouwman
parents: 163
diff changeset
71 with open('dummydummy.asm', 'w') as f:
598d3888a11c Added front class and fided AST view
Windel Bouwman
parents: 163
diff changeset
72 f.write('bits 64\n')
598d3888a11c Added front class and fided AST view
Windel Bouwman
parents: 163
diff changeset
73 for a in x86gen.asm:
598d3888a11c Added front class and fided AST view
Windel Bouwman
parents: 163
diff changeset
74 print(a)
598d3888a11c Added front class and fided AST view
Windel Bouwman
parents: 163
diff changeset
75 f.write(str(a) + '\n')
151
afc8c0207984 Added ir code generator stub
Windel Bouwman
parents: 150
diff changeset
76
afc8c0207984 Added ir code generator stub
Windel Bouwman
parents: 150
diff changeset
77 def do():
152
b73bc14a3aa3 Light coupling ide and c3 frontend
Windel Bouwman
parents: 151
diff changeset
78 diag = ppci.DiagnosticsManager()
b73bc14a3aa3 Light coupling ide and c3 frontend
Windel Bouwman
parents: 151
diff changeset
79 c3compile(testsrc, diag)
151
afc8c0207984 Added ir code generator stub
Windel Bouwman
parents: 150
diff changeset
80
204
de3a68f677a5 Added long comment to c3 parser
Windel Bouwman
parents: 194
diff changeset
81 class testLexer(unittest.TestCase):
205
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
82 def testUnexpectedCharacter(self):
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
83 snippet = """ var s \u6c34 """
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
84 with self.assertRaises(ppci.CompilerError):
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
85 list(c3.lexer.tokenize(snippet))
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
86
204
de3a68f677a5 Added long comment to c3 parser
Windel Bouwman
parents: 194
diff changeset
87 def testBlockComment(self):
de3a68f677a5 Added long comment to c3 parser
Windel Bouwman
parents: 194
diff changeset
88 snippet = """
de3a68f677a5 Added long comment to c3 parser
Windel Bouwman
parents: 194
diff changeset
89 /* Demo */
de3a68f677a5 Added long comment to c3 parser
Windel Bouwman
parents: 194
diff changeset
90 var int x = 0;
de3a68f677a5 Added long comment to c3 parser
Windel Bouwman
parents: 194
diff changeset
91 """
de3a68f677a5 Added long comment to c3 parser
Windel Bouwman
parents: 194
diff changeset
92 toks = ['var', 'ID', 'ID', '=', 'NUMBER', ';', 'END']
de3a68f677a5 Added long comment to c3 parser
Windel Bouwman
parents: 194
diff changeset
93 self.assertSequenceEqual([tok.typ for tok in c3.lexer.tokenize(snippet)], toks)
205
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
94
204
de3a68f677a5 Added long comment to c3 parser
Windel Bouwman
parents: 194
diff changeset
95 def testBlockCommentMultiLine(self):
de3a68f677a5 Added long comment to c3 parser
Windel Bouwman
parents: 194
diff changeset
96 snippet = """
de3a68f677a5 Added long comment to c3 parser
Windel Bouwman
parents: 194
diff changeset
97 /* Demo
de3a68f677a5 Added long comment to c3 parser
Windel Bouwman
parents: 194
diff changeset
98 bla1
de3a68f677a5 Added long comment to c3 parser
Windel Bouwman
parents: 194
diff changeset
99 bla2
de3a68f677a5 Added long comment to c3 parser
Windel Bouwman
parents: 194
diff changeset
100 */
de3a68f677a5 Added long comment to c3 parser
Windel Bouwman
parents: 194
diff changeset
101 var int x = 0;
de3a68f677a5 Added long comment to c3 parser
Windel Bouwman
parents: 194
diff changeset
102 """
de3a68f677a5 Added long comment to c3 parser
Windel Bouwman
parents: 194
diff changeset
103 toks = ['var', 'ID', 'ID', '=', 'NUMBER', ';', 'END']
de3a68f677a5 Added long comment to c3 parser
Windel Bouwman
parents: 194
diff changeset
104 self.assertSequenceEqual([tok.typ for tok in c3.lexer.tokenize(snippet)], toks)
de3a68f677a5 Added long comment to c3 parser
Windel Bouwman
parents: 194
diff changeset
105
de3a68f677a5 Added long comment to c3 parser
Windel Bouwman
parents: 194
diff changeset
106 class testBuilder(unittest.TestCase):
167
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
107 def setUp(self):
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
108 self.diag = ppci.DiagnosticsManager()
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
109 self.builder = c3.Builder(self.diag)
169
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
110 def testSrc(self):
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
111 self.builder.build(testsrc)
167
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
112 def testFunctArgs(self):
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
113 snippet = """
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
114 package testargs;
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
115 function void t2(int a, double b)
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
116 {
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
117 t2(2, 2);
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
118 t2(2);
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
119 t2(1, 1.2);
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
120 }
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
121 """
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
122 self.diag.clear()
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
123 ir = self.builder.build(snippet)
168
49f1ab80d040 Added awesome icons
Windel Bouwman
parents: 167
diff changeset
124 assert len(self.diag.diags) == 2
205
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
125 self.assertEqual(5, self.diag.diags[0].loc.row)
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
126 self.assertEqual(6, self.diag.diags[1].loc.row)
148
e5263f74b287 Added c3 language frontend initial parser
Windel Bouwman
parents:
diff changeset
127
167
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
128 def testExpressions(self):
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
129 snippet = """
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
130 package test;
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
131 function void t(int a, double b)
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
132 {
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
133 var int a2;
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
134 var bool c;
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
135
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
136 a2 = b * a;
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
137 c = a;
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
138 c = b > 1;
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
139 }
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
140 """
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
141 self.diag.clear()
194
b01429a5d695 Fixed test
Windel Bouwman
parents: 191
diff changeset
142 ircode = self.builder.build(snippet)
187
bf5ab358f43a Renamed readme and added status badge
Windel Bouwman
parents: 186
diff changeset
143 self.assertEqual(len(self.diag.diags), 3)
186
46d62dadd61b Improved testsuite
Windel Bouwman
parents: 182
diff changeset
144 self.assertEqual(self.diag.diags[0].loc.row, 8)
46d62dadd61b Improved testsuite
Windel Bouwman
parents: 182
diff changeset
145 self.assertEqual(self.diag.diags[1].loc.row, 9)
46d62dadd61b Improved testsuite
Windel Bouwman
parents: 182
diff changeset
146 self.assertEqual(self.diag.diags[2].loc.row, 10)
194
b01429a5d695 Fixed test
Windel Bouwman
parents: 191
diff changeset
147 self.assertFalse(ircode)
205
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
148
169
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
149 def testEmpty(self):
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
150 snippet = """
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
151 package A
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
152 """
194
b01429a5d695 Fixed test
Windel Bouwman
parents: 191
diff changeset
153 ircode = self.builder.build(snippet)
b01429a5d695 Fixed test
Windel Bouwman
parents: 191
diff changeset
154 self.assertFalse(ircode)
205
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
155
169
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
156 def testEmpty2(self):
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
157 snippet = ""
194
b01429a5d695 Fixed test
Windel Bouwman
parents: 191
diff changeset
158 self.diag.clear()
b01429a5d695 Fixed test
Windel Bouwman
parents: 191
diff changeset
159 ircode = self.builder.build(snippet)
b01429a5d695 Fixed test
Windel Bouwman
parents: 191
diff changeset
160 self.assertFalse(ircode)
205
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
161
169
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
162 def testRedefine(self):
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
163 snippet = """
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
164 package test;
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
165 var int a;
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
166 var int b;
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
167 var int a;
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
168 """
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
169 self.diag.clear()
194
b01429a5d695 Fixed test
Windel Bouwman
parents: 191
diff changeset
170 ircode = self.builder.build(snippet)
b01429a5d695 Fixed test
Windel Bouwman
parents: 191
diff changeset
171 self.assertFalse(ircode)
186
46d62dadd61b Improved testsuite
Windel Bouwman
parents: 182
diff changeset
172 self.assertEqual(len(self.diag.diags), 1)
46d62dadd61b Improved testsuite
Windel Bouwman
parents: 182
diff changeset
173 self.assertEqual(self.diag.diags[0].loc.row, 5)
205
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
174
169
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
175 def testWhile(self):
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
176 snippet = """
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
177 package tstwhile;
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
178 var int a;
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
179 function void t()
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
180 {
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
181 var int i = 0;
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
182 while (i < 1054)
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
183 {
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
184 i = i + 3;
186
46d62dadd61b Improved testsuite
Windel Bouwman
parents: 182
diff changeset
185 a = a + i;
169
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
186 }
205
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
187
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
188 while(true)
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
189 {
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
190 }
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
191
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
192 while(false)
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
193 {
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
194 }
169
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
195 }
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
196 """
187
bf5ab358f43a Renamed readme and added status badge
Windel Bouwman
parents: 186
diff changeset
197 ircode = self.builder.build(snippet)
bf5ab358f43a Renamed readme and added status badge
Windel Bouwman
parents: 186
diff changeset
198 if not ircode:
186
46d62dadd61b Improved testsuite
Windel Bouwman
parents: 182
diff changeset
199 self.diag.printErrors(snippet)
187
bf5ab358f43a Renamed readme and added status badge
Windel Bouwman
parents: 186
diff changeset
200 self.assertTrue(ircode)
169
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
201 def testIf(self):
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
202 snippet = """
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
203 package tstIFF;
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
204 function void t(int b)
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
205 {
180
25a0753da4cf Re-organized files
Windel Bouwman
parents: 170
diff changeset
206 var int a;
169
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
207 a = 2;
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
208 if (a > b)
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
209 {
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
210 if (a > 1337)
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
211 {
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
212 b = 2;
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
213 }
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
214 }
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
215 else
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
216 {
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
217 b = 1;
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
218 }
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
219
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
220 return b;
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
221 }
ee0d30533dae Added more tests and improved the diagnostic update
Windel Bouwman
parents: 168
diff changeset
222 """
191
6b2bec5653f1 Added assembler testset
Windel Bouwman
parents: 187
diff changeset
223 ircode = self.builder.build(snippet)
6b2bec5653f1 Added assembler testset
Windel Bouwman
parents: 187
diff changeset
224 if not ircode:
6b2bec5653f1 Added assembler testset
Windel Bouwman
parents: 187
diff changeset
225 self.diag.printErrors(snippet)
6b2bec5653f1 Added assembler testset
Windel Bouwman
parents: 187
diff changeset
226 self.assertTrue(ircode)
205
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
227
170
4348da5ca307 Cleanup of ir dir
Windel Bouwman
parents: 169
diff changeset
228 def test2(self):
205
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
229 # testsrc2 is valid code:
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
230 testsrc2 = """
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
231 package test2;
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
232
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
233 function void tst()
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
234 {
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
235 var int a, b;
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
236 a = 2 * 33 - 12;
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
237 b = a * 2 + 13;
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
238 a = b + a;
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
239 if (a > b and b == 3)
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
240 {
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
241 var int x = a;
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
242 x = b * 2 - a;
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
243 a = x*x;
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
244 }
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
245 else
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
246 {
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
247 a = b + a;
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
248 }
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
249 }
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
250
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
251 """
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
252 self.diag.clear()
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
253 ir = self.builder.build(testsrc2)
d77cb5962cc5 Added some handcoded arm code generation
Windel Bouwman
parents: 204
diff changeset
254 self.assertTrue(ir)
167
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
255
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
256 if __name__ == '__main__':
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
257 do()
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
258 unittest.main()
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
259
0b5b2ee6b435 Added 2 unit tests
Windel Bouwman
parents: 166
diff changeset
260