jvm

Type Members

1. class CollectEntryPoints extends MiniPhaseTransform

   

   Created by dark on 26/11/14.

2. class CollectSuperCalls extends MiniPhaseTransform

   

   Collect all super calls to trait members.

   Collect all super calls to trait members.

   For each super reference to trait member, register a call from the current class to the owner of the referenced member.

   This information is used to know if it is safe to remove a redundant mixin class. A redundant mixin class is one that is implemented by another mixin class. As the methods in a redundant mixin class could be implemented with a default abstract method, the redundant mixin class could be required as a parent by the JVM.

3. class DottyBackendInterface extends BackendInterface

   

4. class GenBCode extends DotClass with Phase

   

5. class GenBCodePipeline extends BCodeSyncAndTry

   

6. class LabelDefs extends MiniPhaseTransform

   

   Verifies that each Label DefDef has only a single address to jump back and reorders them such that they are not nested and this address is a fall-through address for JVM

   Verifies that each Label DefDef has only a single address to jump back and reorders them such that they are not nested and this address is a fall-through address for JVM

   ei such code

   def foo(i: Int) = { def bar = 0 def dough(i: Int) = if (i == 0) bar else foo(i-1) dough(i) } foo(100) will get rewritten to \ def foo(i: Int) = dough(i) def dough(i: Int) = if (i == 0) bar else foo(i-1) def bar = 2 foo(100) Proposed way to generate this pattern in backend is: foo(100) def foo(i: Int) = dough(i) // // unreachable def dough(i: Int) = if (i == 0) bar else foo(i-1) // // unreachable def bar = 2 // // unreachable Unreachable jumps will be eliminated by local dead code analysis. After JVM is smart enough to remove next-line jumps Note that Label DefDefs can be only nested in Block, otherwise no one would be able to call them Other DefDefs are eliminated