|
0
|
1 module dmd.CaseRangeStatement;
|
|
|
2
|
|
|
3 import dmd.Statement;
|
|
64
|
4 import dmd.ArrayTypes;
|
|
0
|
5 import dmd.Expression;
|
|
64
|
6 import dmd.ExpStatement;
|
|
|
7 import dmd.IntegerExp;
|
|
|
8 import dmd.CaseStatement;
|
|
|
9 import dmd.CompoundStatement;
|
|
0
|
10 import dmd.Statement;
|
|
|
11 import dmd.Loc;
|
|
|
12 import dmd.OutBuffer;
|
|
64
|
13 import dmd.WANT;
|
|
|
14 import dmd.SwitchStatement;
|
|
0
|
15 import dmd.HdrGenState;
|
|
|
16 import dmd.Scope;
|
|
|
17
|
|
|
18 class CaseRangeStatement : Statement
|
|
|
19 {
|
|
|
20 Expression first;
|
|
|
21 Expression last;
|
|
|
22 Statement statement;
|
|
|
23
|
|
|
24 this(Loc loc, Expression first, Expression last, Statement s)
|
|
|
25 {
|
|
|
26 super(loc);
|
|
51
|
27 this.first = first;
|
|
|
28 this.last = last;
|
|
|
29 this.statement = s;
|
|
0
|
30 }
|
|
|
31
|
|
72
|
32 override Statement syntaxCopy()
|
|
0
|
33 {
|
|
|
34 assert(false);
|
|
|
35 }
|
|
|
36
|
|
72
|
37 override Statement semantic(Scope sc)
|
|
0
|
38 {
|
|
64
|
39 SwitchStatement sw = sc.sw;
|
|
|
40
|
|
|
41 //printf("CaseRangeStatement.semantic() %s\n", toChars());
|
|
|
42 if (sw.isFinal)
|
|
|
43 error("case ranges not allowed in final switch");
|
|
|
44
|
|
|
45 first = first.semantic(sc);
|
|
|
46 first = first.implicitCastTo(sc, sw.condition.type);
|
|
|
47 first = first.optimize(WANTvalue | WANTinterpret);
|
|
|
48 long fval = first.toInteger();
|
|
|
49
|
|
|
50 last = last.semantic(sc);
|
|
|
51 last = last.implicitCastTo(sc, sw.condition.type);
|
|
|
52 last = last.optimize(WANTvalue | WANTinterpret);
|
|
|
53 long lval = last.toInteger();
|
|
|
54
|
|
|
55 if (lval - fval > 256)
|
|
|
56 {
|
|
|
57 error("more than 256 cases in case range");
|
|
|
58 lval = fval + 256;
|
|
|
59 }
|
|
|
60
|
|
|
61 /* This works by replacing the CaseRange with an array of Case's.
|
|
|
62 *
|
|
|
63 * case a: .. case b: s;
|
|
|
64 * =>
|
|
|
65 * case a:
|
|
|
66 * [...]
|
|
|
67 * case b:
|
|
|
68 * s;
|
|
|
69 */
|
|
|
70
|
|
|
71 Statements statements = new Statements();
|
|
|
72 for (long i = fval; i <= lval; i++)
|
|
|
73 {
|
|
|
74 Statement s = statement;
|
|
|
75 if (i != lval)
|
|
|
76 s = new ExpStatement(loc, null);
|
|
|
77 Expression e = new IntegerExp(loc, i, first.type);
|
|
|
78 Statement cs = new CaseStatement(loc, e, s);
|
|
|
79 statements.push(cast(void*)cs);
|
|
|
80 }
|
|
|
81 Statement s = new CompoundStatement(loc, statements);
|
|
|
82 s = s.semantic(sc);
|
|
|
83 return s;
|
|
0
|
84 }
|
|
|
85
|
|
72
|
86 override void toCBuffer(OutBuffer buf, HdrGenState* hgs)
|
|
0
|
87 {
|
|
64
|
88 buf.writestring("case ");
|
|
|
89 first.toCBuffer(buf, hgs);
|
|
|
90 buf.writestring(": .. case ");
|
|
|
91 last.toCBuffer(buf, hgs);
|
|
|
92 buf.writenl();
|
|
|
93 statement.toCBuffer(buf, hgs);
|
|
0
|
94 }
|
|
72
|
95 }
|
