blob: dc90a438b96cf37f827baad2e6000f35cf02d52d (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
|
/* NSC -- new scala compiler
* Copyright 2005-2010 LAMP/EPFL
* @author Martin Odersky
*/
/* NSC -- new scala compiler
* Copyright 2005-2010 LAMP/EPFL
* @author Martin Odersky
*/
package scala.tools.nsc
package backend
package icode
import java.io.PrintWriter
import scala.collection.mutable.HashMap
import scala.tools.nsc.symtab._
import analysis.{Liveness, ReachingDefinitions}
import scala.tools.nsc.symtab.classfile.ICodeReader
/** Glue together ICode parts.
*
* @author Iulian Dragos
*/
abstract class ICodes extends AnyRef
with Members
with BasicBlocks
with Opcodes
with TypeStacks
with TypeKinds
with ExceptionHandlers
with Primitives
with Linearizers
with Printers
with Repository
{
val global: Global
/** The ICode representation of classes */
var classes: HashMap[global.Symbol, IClass] = new HashMap()
/** The ICode linearizer. */
val linearizer: Linearizer =
if (global.settings.Xlinearizer.value == "rpo")
new ReversePostOrderLinearizer()
else if (global.settings.Xlinearizer.value == "dfs")
new DepthFirstLinerizer()
else if (global.settings.Xlinearizer.value == "normal")
new NormalLinearizer();
else if (global.settings.Xlinearizer.value == "dump")
new DumpLinearizer()
else
global.abort("Unknown linearizer: " + global.settings.Xlinearizer.value)
/** Have to be careful because dump calls around, possibly
* re-entering methods which initiated the dump (like foreach
* in BasicBlocks) which leads to the icode output olympics.
*/
private var alreadyDumping = false
/** Print all classes and basic blocks. Used for debugging. */
def dump {
if (alreadyDumping) return
else alreadyDumping = true
val printer = new TextPrinter(new PrintWriter(Console.out, true),
new DumpLinearizer)
classes.values foreach printer.printClass
}
object liveness extends Liveness {
val global: ICodes.this.global.type = ICodes.this.global
}
object reachingDefinitions extends ReachingDefinitions {
val global: ICodes.this.global.type = ICodes.this.global
}
lazy val AnyRefReference: TypeKind = REFERENCE(global.definitions.ObjectClass)
object icodeReader extends ICodeReader {
lazy val global: ICodes.this.global.type = ICodes.this.global
}
/** A phase which works on icode. */
abstract class ICodePhase(prev: Phase) extends global.GlobalPhase(prev) {
override def erasedTypes = true
override def apply(unit: global.CompilationUnit) {
unit.icode foreach { c => apply(c) }
}
def apply(cls: global.icodes.IClass): Unit
}
}
|