package scala.tools.nsc
package backend.jvm
package opt
import org.junit.runner.RunWith
import org.junit.runners.JUnit4
import org.junit.Test
import scala.collection.generic.Clearable
import scala.tools.asm.Opcodes._
import org.junit.Assert._
import scala.tools.asm.tree._
import scala.tools.asm.tree.analysis._
import scala.tools.nsc.reporters.StoreReporter
import scala.tools.testing.AssertUtil._
import CodeGenTools._
import scala.tools.partest.ASMConverters
import ASMConverters._
import AsmUtils._
import BackendReporting._
import scala.collection.convert.decorateAsScala._
@RunWith(classOf[JUnit4])
class CallGraphTest {
val compiler = newCompiler(extraArgs = "-Ybackend:GenBCode -Yopt:inline-global -Yopt-warnings")
import compiler.genBCode.bTypes._
// allows inspecting the caches after a compilation run
val notPerRun: List[Clearable] = List(classBTypeFromInternalName, byteCodeRepository.classes, callGraph.callsites)
notPerRun foreach compiler.perRunCaches.unrecordCache
def compile(code: String, allowMessage: StoreReporter#Info => Boolean): List[ClassNode] = {
notPerRun.foreach(_.clear())
compileClasses(compiler)(code, allowMessage = allowMessage)
}
def callsInMethod(methodNode: MethodNode): List[MethodInsnNode] = methodNode.instructions.iterator.asScala.collect({
case call: MethodInsnNode => call
}).toList
@Test
def callGraphStructure(): Unit = {
val code =
"""class C {
| // try-catch prevents inlining - we want to analyze the callsite
| def f1 = try { 0 } catch { case _: Throwable => 1 }
| final def f2 = try { 0 } catch { case _: Throwable => 1 }
|
| @inline def f3 = try { 0 } catch { case _: Throwable => 1 }
| @inline final def f4 = try { 0 } catch { case _: Throwable => 1 }
|
| @noinline def f5 = try { 0 } catch { case _: Throwable => 1 }
| @noinline final def f6 = try { 0 } catch { case _: Throwable => 1 }
|
| @inline @noinline def f7 = try { 0 } catch { case _: Throwable => 1 }
|}
|class D extends C {
| @inline override def f1 = try { 0 } catch { case _: Throwable => 1 }
| override final def f3 = try { 0 } catch { case _: Throwable => 1 }
|}
|object C {
| def g1 = try { 0 } catch { case _: Throwable => 1 }
|}
|class Test {
| def t1(c: C) = c.f1 + c.f2 + c.f3 + c.f4 + c.f5 + c.f6 + c.f7 + C.g1
| def t2(d: D) = d.f1 + d.f2 + d.f3 + d.f4 + d.f5 + d.f6 + d.f7 + C.g1
|}
""".stripMargin
// Get the ClassNodes from the code repo (don't use the unparsed ClassNodes returned by compile).
// The callGraph.callsites map is indexed by instructions of those ClassNodes.
val ok = Set(
"D::f1()I is annotated @inline but cannot be inlined: the method is not final and may be overridden", // only one warning for D.f1: C.f1 is not annotated @inline
"C::f3()I is annotated @inline but cannot be inlined: the method is not final and may be overridden", // only one warning for C.f3: D.f3 does not have @inline (and it would also be safe to inline)
"C::f7()I is annotated @inline but cannot be inlined: the method is not final and may be overridden", // two warnings (the error message mentions C.f7 even if the receiver type is D, because f7 is inherited from C)
"operand stack at the callsite in Test::t1(LC;)I contains more values",
"operand stack at the callsite in Test::t2(LD;)I contains more values")
var msgCount = 0
val checkMsg = (m: StoreReporter#Info) => {
msgCount += 1
ok exists (m.msg contains _)
}
val List(cCls, cMod, dCls, testCls) = compile(code, checkMsg).map(c => byteCodeRepository.classNode(c.name).get)
assert(msgCount == 6, msgCount)
val List(cf1, cf2, cf3, cf4, cf5, cf6, cf7) = cCls.methods.iterator.asScala.filter(_.name.startsWith("f")).toList.sortBy(_.name)
val List(df1, df3) = dCls.methods.iterator.asScala.filter(_.name.startsWith("f")).toList.sortBy(_.name)
val g1 = cMod.methods.iterator.asScala.find(_.name == "g1").get
val List(t1, t2) = testCls.methods.iterator.asScala.filter(_.name.startsWith("t")).toList.sortBy(_.name)
val List(cf1Call, cf2Call, cf3Call, cf4Call, cf5Call, cf6Call, cf7Call, cg1Call) = callsInMethod(t1)
val List(df1Call, df2Call, df3Call, df4Call, df5Call, df6Call, df7Call, dg1Call) = callsInMethod(t2)
def checkCallsite(callsite: callGraph.Callsite,
call: MethodInsnNode, callsiteMethod: MethodNode, target: MethodNode, calleeDeclClass: ClassBType,
safeToInline: Boolean, atInline: Boolean, atNoInline: Boolean) = try {
assert(callsite.callsiteInstruction == call)
assert(callsite.callsiteMethod == callsiteMethod)
val callee = callsite.callee.get
assert(callee.callee == target)
assert(callee.calleeDeclarationClass == calleeDeclClass)
assert(callee.safeToInline == safeToInline)
assert(callee.annotatedInline == atInline)
assert(callee.annotatedNoInline == atNoInline)
assert(callsite.argInfos == List()) // not defined yet
} catch {
case e: Throwable => println(callsite); throw e
}
val cClassBType = classBTypeFromClassNode(cCls)
val cMClassBType = classBTypeFromClassNode(cMod)
val dClassBType = classBTypeFromClassNode(dCls)
checkCallsite(callGraph.callsites(cf1Call),
cf1Call, t1, cf1, cClassBType, false, false, false)
checkCallsite(callGraph.callsites(cf2Call),
cf2Call, t1, cf2, cClassBType, true, false, false)
checkCallsite(callGraph.callsites(cf3Call),
cf3Call, t1, cf3, cClassBType, false, true, false)
checkCallsite(callGraph.callsites(cf4Call),
cf4Call, t1, cf4, cClassBType, true, true, false)
checkCallsite(callGraph.callsites(cf5Call),
cf5Call, t1, cf5, cClassBType, false, false, true)
checkCallsite(callGraph.callsites(cf6Call),
cf6Call, t1, cf6, cClassBType, true, false, true)
checkCallsite(callGraph.callsites(cf7Call),
cf7Call, t1, cf7, cClassBType, false, true, true)
checkCallsite(callGraph.callsites(cg1Call),
cg1Call, t1, g1, cMClassBType, true, false, false)
checkCallsite(callGraph.callsites(df1Call),
df1Call, t2, df1, dClassBType, false, true, false)
checkCallsite(callGraph.callsites(df2Call),
df2Call, t2, cf2, cClassBType, true, false, false)
checkCallsite(callGraph.callsites(df3Call),
df3Call, t2, df3, dClassBType, true, false, false)
checkCallsite(callGraph.callsites(df4Call),
df4Call, t2, cf4, cClassBType, true, true, false)
checkCallsite(callGraph.callsites(df5Call),
df5Call, t2, cf5, cClassBType, false, false, true)
checkCallsite(callGraph.callsites(df6Call),
df6Call, t2, cf6, cClassBType, true, false, true)
checkCallsite(callGraph.callsites(df7Call),
df7Call, t2, cf7, cClassBType, false, true, true)
checkCallsite(callGraph.callsites(dg1Call),
dg1Call, t2, g1, cMClassBType, true, false, false)
}
}