annotate dmd/CaseRangeStatement.d @ 187:b0d41ff5e0df

Added expandability scheme outlined in http://www.dsource.org/forums/viewtopic.php?t=5659&sid=6f2150ff5b0bffcd47512a6a7608d218
author Abscissa
date Tue, 07 Jun 2011 23:37:34 -0400
parents e3afd1303184
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
1 module dmd.CaseRangeStatement;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
2
114
e28b18c23469 added a module dmd.common for commonly used stuff
Trass3r
parents: 72
diff changeset
3 import dmd.common;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
4 import dmd.Statement;
64
4290d870944a More fixes
korDen
parents: 51
diff changeset
5 import dmd.ArrayTypes;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
6 import dmd.Expression;
64
4290d870944a More fixes
korDen
parents: 51
diff changeset
7 import dmd.ExpStatement;
4290d870944a More fixes
korDen
parents: 51
diff changeset
8 import dmd.IntegerExp;
4290d870944a More fixes
korDen
parents: 51
diff changeset
9 import dmd.CaseStatement;
4290d870944a More fixes
korDen
parents: 51
diff changeset
10 import dmd.CompoundStatement;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
11 import dmd.Statement;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
12 import dmd.Loc;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
13 import dmd.OutBuffer;
64
4290d870944a More fixes
korDen
parents: 51
diff changeset
14 import dmd.WANT;
4290d870944a More fixes
korDen
parents: 51
diff changeset
15 import dmd.SwitchStatement;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
16 import dmd.HdrGenState;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
17 import dmd.Scope;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
18
187
b0d41ff5e0df Added expandability scheme outlined in http://www.dsource.org/forums/viewtopic.php?t=5659&sid=6f2150ff5b0bffcd47512a6a7608d218
Abscissa
parents: 178
diff changeset
19 import dmd.DDMDExtensions;
b0d41ff5e0df Added expandability scheme outlined in http://www.dsource.org/forums/viewtopic.php?t=5659&sid=6f2150ff5b0bffcd47512a6a7608d218
Abscissa
parents: 178
diff changeset
20
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
21 class CaseRangeStatement : Statement
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
22 {
187
b0d41ff5e0df Added expandability scheme outlined in http://www.dsource.org/forums/viewtopic.php?t=5659&sid=6f2150ff5b0bffcd47512a6a7608d218
Abscissa
parents: 178
diff changeset
23 mixin insertMemberExtension!(typeof(this));
b0d41ff5e0df Added expandability scheme outlined in http://www.dsource.org/forums/viewtopic.php?t=5659&sid=6f2150ff5b0bffcd47512a6a7608d218
Abscissa
parents: 178
diff changeset
24
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
25 Expression first;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
26 Expression last;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
27 Statement statement;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
28
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
29 this(Loc loc, Expression first, Expression last, Statement s)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
30 {
178
e3afd1303184 Many small bugs fixed
korDen
parents: 122
diff changeset
31 register();
e3afd1303184 Many small bugs fixed
korDen
parents: 122
diff changeset
32
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
33 super(loc);
51
b7d29f613539 StaticAssertStatement.syntaxCopy
korDen
parents: 0
diff changeset
34 this.first = first;
b7d29f613539 StaticAssertStatement.syntaxCopy
korDen
parents: 0
diff changeset
35 this.last = last;
b7d29f613539 StaticAssertStatement.syntaxCopy
korDen
parents: 0
diff changeset
36 this.statement = s;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
37 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
38
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
39 override Statement syntaxCopy()
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
40 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
41 assert(false);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
42 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
43
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
44 override Statement semantic(Scope sc)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
45 {
64
4290d870944a More fixes
korDen
parents: 51
diff changeset
46 SwitchStatement sw = sc.sw;
4290d870944a More fixes
korDen
parents: 51
diff changeset
47
4290d870944a More fixes
korDen
parents: 51
diff changeset
48 //printf("CaseRangeStatement.semantic() %s\n", toChars());
4290d870944a More fixes
korDen
parents: 51
diff changeset
49 if (sw.isFinal)
4290d870944a More fixes
korDen
parents: 51
diff changeset
50 error("case ranges not allowed in final switch");
4290d870944a More fixes
korDen
parents: 51
diff changeset
51
4290d870944a More fixes
korDen
parents: 51
diff changeset
52 first = first.semantic(sc);
4290d870944a More fixes
korDen
parents: 51
diff changeset
53 first = first.implicitCastTo(sc, sw.condition.type);
4290d870944a More fixes
korDen
parents: 51
diff changeset
54 first = first.optimize(WANTvalue | WANTinterpret);
4290d870944a More fixes
korDen
parents: 51
diff changeset
55 long fval = first.toInteger();
4290d870944a More fixes
korDen
parents: 51
diff changeset
56
4290d870944a More fixes
korDen
parents: 51
diff changeset
57 last = last.semantic(sc);
4290d870944a More fixes
korDen
parents: 51
diff changeset
58 last = last.implicitCastTo(sc, sw.condition.type);
4290d870944a More fixes
korDen
parents: 51
diff changeset
59 last = last.optimize(WANTvalue | WANTinterpret);
4290d870944a More fixes
korDen
parents: 51
diff changeset
60 long lval = last.toInteger();
4290d870944a More fixes
korDen
parents: 51
diff changeset
61
4290d870944a More fixes
korDen
parents: 51
diff changeset
62 if (lval - fval > 256)
4290d870944a More fixes
korDen
parents: 51
diff changeset
63 {
4290d870944a More fixes
korDen
parents: 51
diff changeset
64 error("more than 256 cases in case range");
4290d870944a More fixes
korDen
parents: 51
diff changeset
65 lval = fval + 256;
4290d870944a More fixes
korDen
parents: 51
diff changeset
66 }
4290d870944a More fixes
korDen
parents: 51
diff changeset
67
4290d870944a More fixes
korDen
parents: 51
diff changeset
68 /* This works by replacing the CaseRange with an array of Case's.
4290d870944a More fixes
korDen
parents: 51
diff changeset
69 *
4290d870944a More fixes
korDen
parents: 51
diff changeset
70 * case a: .. case b: s;
4290d870944a More fixes
korDen
parents: 51
diff changeset
71 * =>
4290d870944a More fixes
korDen
parents: 51
diff changeset
72 * case a:
4290d870944a More fixes
korDen
parents: 51
diff changeset
73 * [...]
4290d870944a More fixes
korDen
parents: 51
diff changeset
74 * case b:
4290d870944a More fixes
korDen
parents: 51
diff changeset
75 * s;
4290d870944a More fixes
korDen
parents: 51
diff changeset
76 */
4290d870944a More fixes
korDen
parents: 51
diff changeset
77
4290d870944a More fixes
korDen
parents: 51
diff changeset
78 Statements statements = new Statements();
4290d870944a More fixes
korDen
parents: 51
diff changeset
79 for (long i = fval; i <= lval; i++)
4290d870944a More fixes
korDen
parents: 51
diff changeset
80 {
4290d870944a More fixes
korDen
parents: 51
diff changeset
81 Statement s = statement;
4290d870944a More fixes
korDen
parents: 51
diff changeset
82 if (i != lval)
4290d870944a More fixes
korDen
parents: 51
diff changeset
83 s = new ExpStatement(loc, null);
4290d870944a More fixes
korDen
parents: 51
diff changeset
84 Expression e = new IntegerExp(loc, i, first.type);
4290d870944a More fixes
korDen
parents: 51
diff changeset
85 Statement cs = new CaseStatement(loc, e, s);
122
c77e9f4f1793 Statements -> Vector
Eldar Insafutdinov <e.insafutdinov@gmail.com>
parents: 114
diff changeset
86 statements.push(cs);
64
4290d870944a More fixes
korDen
parents: 51
diff changeset
87 }
4290d870944a More fixes
korDen
parents: 51
diff changeset
88 Statement s = new CompoundStatement(loc, statements);
4290d870944a More fixes
korDen
parents: 51
diff changeset
89 s = s.semantic(sc);
4290d870944a More fixes
korDen
parents: 51
diff changeset
90 return s;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
91 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
92
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
93 override void toCBuffer(OutBuffer buf, HdrGenState* hgs)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
94 {
64
4290d870944a More fixes
korDen
parents: 51
diff changeset
95 buf.writestring("case ");
4290d870944a More fixes
korDen
parents: 51
diff changeset
96 first.toCBuffer(buf, hgs);
4290d870944a More fixes
korDen
parents: 51
diff changeset
97 buf.writestring(": .. case ");
4290d870944a More fixes
korDen
parents: 51
diff changeset
98 last.toCBuffer(buf, hgs);
4290d870944a More fixes
korDen
parents: 51
diff changeset
99 buf.writenl();
4290d870944a More fixes
korDen
parents: 51
diff changeset
100 statement.toCBuffer(buf, hgs);
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
101 }
72
2e2a5c3f943a reduced warnings by adding override to the methods
Trass3r
parents: 64
diff changeset
102 }