Mercurial > projects > ddmd

annotate dmd/GotoDefaultStatement.d @ 68:ee3a9f34dc48

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
final bits of codegen implementation to compile Phobos
author korDen
date Tue, 24 Aug 2010 16:44:34 +0400
parents 4290d870944a
children 2e2a5c3f943a
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
1 module dmd.GotoDefaultStatement;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
2
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
3 import dmd.Statement;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
4 import dmd.SwitchStatement;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
5 import dmd.Loc;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
6 import dmd.Scope;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
7 import dmd.Expression;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
8 import dmd.InterState;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
9 import dmd.OutBuffer;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
10 import dmd.HdrGenState;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
11 import dmd.IRState;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
12 import dmd.BE;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
13
68
ee3a9f34dc48 final bits of codegen implementation to compile Phobos
korDen
parents: 64
diff changeset
14 import dmd.backend.block;
ee3a9f34dc48 final bits of codegen implementation to compile Phobos
korDen
parents: 64
diff changeset
15 import dmd.backend.Blockx;
ee3a9f34dc48 final bits of codegen implementation to compile Phobos
korDen
parents: 64
diff changeset
16 import dmd.backend.Util;
ee3a9f34dc48 final bits of codegen implementation to compile Phobos
korDen
parents: 64
diff changeset
17 import dmd.backend.BC;
ee3a9f34dc48 final bits of codegen implementation to compile Phobos
korDen
parents: 64
diff changeset
18
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
19 class GotoDefaultStatement : Statement
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
20 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
21 SwitchStatement sw;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
22
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
23 this(Loc loc)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
24 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
25 super(loc);
51
b7d29f613539 StaticAssertStatement.syntaxCopy
korDen
parents: 0
diff changeset
26 sw = null;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
27 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
28
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
29 Statement syntaxCopy()
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
30 {
64
4290d870944a More fixes
korDen
parents: 63
diff changeset
31 GotoDefaultStatement s = new GotoDefaultStatement(loc);
4290d870944a More fixes
korDen
parents: 63
diff changeset
32 return s;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
33 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
34
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
35 Statement semantic(Scope sc)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
36 {
64
4290d870944a More fixes
korDen
parents: 63
diff changeset
37 sw = sc.sw;
4290d870944a More fixes
korDen
parents: 63
diff changeset
38 if (!sw)
4290d870944a More fixes
korDen
parents: 63
diff changeset
39 error("goto default not in switch statement");
4290d870944a More fixes
korDen
parents: 63
diff changeset
40 return this;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
41 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
42
63
cab4c37afb89 A bunch of implementations
korDen
parents: 51
diff changeset
43 Expression interpret(InterState istate)
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
44 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
45 assert(false);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
46 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
47
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
48 BE blockExit()
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
49 {
64
4290d870944a More fixes
korDen
parents: 63
diff changeset
50 return BEgoto;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
51 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
52
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
53 void toCBuffer(OutBuffer buf, HdrGenState* hgs)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
54 {
64
4290d870944a More fixes
korDen
parents: 63
diff changeset
55 buf.writestring("goto default;\n");
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
56 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
57
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
58 void toIR(IRState *irs)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
59 {
68
ee3a9f34dc48 final bits of codegen implementation to compile Phobos
korDen
parents: 64
diff changeset
60 block *b;
ee3a9f34dc48 final bits of codegen implementation to compile Phobos
korDen
parents: 64
diff changeset
61 Blockx *blx = irs.blx;
ee3a9f34dc48 final bits of codegen implementation to compile Phobos
korDen
parents: 64
diff changeset
62 block *bdest = irs.getDefaultBlock();
ee3a9f34dc48 final bits of codegen implementation to compile Phobos
korDen
parents: 64
diff changeset
63
ee3a9f34dc48 final bits of codegen implementation to compile Phobos
korDen
parents: 64
diff changeset
64 b = blx.curblock;
ee3a9f34dc48 final bits of codegen implementation to compile Phobos
korDen
parents: 64
diff changeset
65
ee3a9f34dc48 final bits of codegen implementation to compile Phobos
korDen
parents: 64
diff changeset
66 // The rest is equivalent to GotoStatement
ee3a9f34dc48 final bits of codegen implementation to compile Phobos
korDen
parents: 64
diff changeset
67
ee3a9f34dc48 final bits of codegen implementation to compile Phobos
korDen
parents: 64
diff changeset
68 // Adjust exception handler scope index if in different try blocks
ee3a9f34dc48 final bits of codegen implementation to compile Phobos
korDen
parents: 64
diff changeset
69 if (b.Btry != bdest.Btry)
ee3a9f34dc48 final bits of codegen implementation to compile Phobos
korDen
parents: 64
diff changeset
70 {
ee3a9f34dc48 final bits of codegen implementation to compile Phobos
korDen
parents: 64
diff changeset
71 // Check that bdest is in an enclosing try block
ee3a9f34dc48 final bits of codegen implementation to compile Phobos
korDen
parents: 64
diff changeset
72 for (block* bt = b.Btry; bt != bdest.Btry; bt = bt.Btry)
ee3a9f34dc48 final bits of codegen implementation to compile Phobos
korDen
parents: 64
diff changeset
73 {
ee3a9f34dc48 final bits of codegen implementation to compile Phobos
korDen
parents: 64
diff changeset
74 if (!bt)
ee3a9f34dc48 final bits of codegen implementation to compile Phobos
korDen
parents: 64
diff changeset
75 {
ee3a9f34dc48 final bits of codegen implementation to compile Phobos
korDen
parents: 64
diff changeset
76 //printf("b.Btry = %p, bdest.Btry = %p\n", b.Btry, bdest.Btry);
ee3a9f34dc48 final bits of codegen implementation to compile Phobos
korDen
parents: 64
diff changeset
77 error("cannot goto into try block");
ee3a9f34dc48 final bits of codegen implementation to compile Phobos
korDen
parents: 64
diff changeset
78 break;
ee3a9f34dc48 final bits of codegen implementation to compile Phobos
korDen
parents: 64
diff changeset
79 }
ee3a9f34dc48 final bits of codegen implementation to compile Phobos
korDen
parents: 64
diff changeset
80 }
ee3a9f34dc48 final bits of codegen implementation to compile Phobos
korDen
parents: 64
diff changeset
81
ee3a9f34dc48 final bits of codegen implementation to compile Phobos
korDen
parents: 64
diff changeset
82 //setScopeIndex(blx, b, bdest.Btry ? bdest.Btry.Bscope_index : -1);
ee3a9f34dc48 final bits of codegen implementation to compile Phobos
korDen
parents: 64
diff changeset
83 }
ee3a9f34dc48 final bits of codegen implementation to compile Phobos
korDen
parents: 64
diff changeset
84
ee3a9f34dc48 final bits of codegen implementation to compile Phobos
korDen
parents: 64
diff changeset
85 list_append(&b.Bsucc,bdest);
ee3a9f34dc48 final bits of codegen implementation to compile Phobos
korDen
parents: 64
diff changeset
86 incUsage(irs, loc);
ee3a9f34dc48 final bits of codegen implementation to compile Phobos
korDen
parents: 64
diff changeset
87 block_next(blx,BCgoto,null);
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
88 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
89 }