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
|
package scala.tools.nsc.backend.jvm
import org.junit.Test
import org.junit.runner.RunWith
import org.junit.runners.JUnit4
import org.junit.Assert._
import CodeGenTools._
import scala.tools.asm.Opcodes._
import scala.tools.partest.ASMConverters._
import scala.tools.testing.ClearAfterClass
object DirectCompileTest extends ClearAfterClass.Clearable {
var compiler = newCompiler(extraArgs = "-Ybackend:GenBCode -Yopt:l:method")
def clear(): Unit = { compiler = null }
}
@RunWith(classOf[JUnit4])
class DirectCompileTest extends ClearAfterClass {
ClearAfterClass.stateToClear = DirectCompileTest
val compiler = DirectCompileTest.compiler
@Test
def testCompile(): Unit = {
val List(("C.class", bytes)) = compile(compiler)(
"""class C {
| def f = 1
|}
""".stripMargin)
def s(i: Int, n: Int) = (bytes(i) & 0xff) << n
assertTrue((s(0, 24) | s(1, 16) | s(2, 8) | s(3, 0)) == 0xcafebabe) // mocha java latte machiatto surpreme dark roasted espresso
}
@Test
def testCompileClasses(): Unit = {
val List(cClass, cModuleClass) = compileClasses(compiler)("class C; object C")
assertTrue(cClass.name == "C")
assertTrue(cModuleClass.name == "C$")
val List(dMirror, dModuleClass) = compileClasses(compiler)("object D")
assertTrue(dMirror.name == "D")
assertTrue(dModuleClass.name == "D$")
}
@Test
def testCompileMethods(): Unit = {
val List(f, g) = compileMethods(compiler)(
"""def f = 10
|def g = f
""".stripMargin)
assertTrue(f.name == "f")
assertTrue(g.name == "g")
assertSameCode(instructionsFromMethod(f).dropNonOp,
List(IntOp(BIPUSH, 10), Op(IRETURN)))
assertSameCode(instructionsFromMethod(g).dropNonOp,
List(VarOp(ALOAD, 0), Invoke(INVOKEVIRTUAL, "C", "f", "()I", itf = false), Op(IRETURN)))
}
@Test
def testDropNonOpAliveLabels(): Unit = {
// makes sure that dropNoOp doesn't drop labels that are being used
val List(f) = compileMethods(compiler)("""def f(x: Int) = if (x == 0) "a" else "b"""")
assertSameCode(instructionsFromMethod(f).dropLinesFrames, List(
Label(0),
VarOp(ILOAD, 1),
Op(ICONST_0),
Jump(IF_ICMPNE,
Label(7)),
Ldc(LDC, "a"),
Op(ARETURN),
Label(7),
Ldc(LDC, "b"),
Op(ARETURN),
Label(11)
))
}
@Test
def testSeparateCompilation(): Unit = {
val codeA = "class A { def f = 1 }"
val codeB = "class B extends A { def g = f }"
val List(a, b) = compileClassesSeparately(List(codeA, codeB))
val ins = getSingleMethod(b, "g").instructions
assert(ins exists {
case Invoke(_, "B", "f", _, _) => true
case _ => false
}, ins)
}
@Test
def compileErroneous(): Unit = {
compileClasses(compiler)("class C { def f: String = 1 }", allowMessage = _.msg contains "type mismatch")
}
}
|