jvm

Type Members

1. class CollectEntryPoints extends MiniPhaseTransform

   

   Created by dark on 26/11/14.

2. class DottyBackendInterface extends BackendInterface

   

3. class GenBCode extends DotClass with Phase

   

4. class GenBCodePipeline extends BCodeSyncAndTry

   

5. 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