Collect information about call edges and print it with other analysis…

… results statistics.
rkennke · Oct 13, 2021 · 83e3186 · 83e3186
1 parent 7bc06f8
commit 83e3186
Show file tree

Hide file tree

Showing 3 changed files with 46 additions and 0 deletions.
diff --git a/...m.oracle.graal.pointsto/src/com/oracle/graal/pointsto/reports/AnalysisReportsOptions.java b/...m.oracle.graal.pointsto/src/com/oracle/graal/pointsto/reports/AnalysisReportsOptions.java
@@ -24,9 +24,12 @@
  */
 package com.oracle.graal.pointsto.reports;
 
+import org.graalvm.collections.EconomicMap;
 import org.graalvm.compiler.options.Option;
 import org.graalvm.compiler.options.OptionKey;
 
+import static com.oracle.graal.pointsto.api.PointstoOptions.TrackAccessChain;
+
 public class AnalysisReportsOptions {
 
     @Option(help = "Print analysis results statistics.")//
@@ -38,6 +41,17 @@ public class AnalysisReportsOptions {
     @Option(help = "Print analysis call tree, a breadth-first tree reduction of the call graph.")//
     public static final OptionKey<Boolean> PrintAnalysisCallTree = new OptionKey<>(false);
 
+    @Option(help = "Print call edges with other analysis results statistics.")//
+    public static final OptionKey<Boolean> PrintCallEdges = new OptionKey<Boolean>(false) {
+        @Override
+        protected void onValueUpdate(EconomicMap<OptionKey<?>, Object> values, Boolean oldValue, Boolean newValue) {
+            if (newValue) {
+                PrintAnalysisStatistics.update(values, true);
+                TrackAccessChain.update(values, true);
+            }
+        }
+    };
+
     @Option(help = "Print image object hierarchy.")//
     public static final OptionKey<Boolean> PrintImageObjectTree = new OptionKey<>(false);
 

diff --git a/...rc/com.oracle.graal.pointsto/src/com/oracle/graal/pointsto/reports/StatisticsPrinter.java b/...rc/com.oracle.graal.pointsto/src/com/oracle/graal/pointsto/reports/StatisticsPrinter.java
@@ -70,6 +70,11 @@ private void printStats(PrintWriter out) {
 
         beginObject(out);
 
+        if (AnalysisReportsOptions.PrintCallEdges.getValue(bb.getOptions())) {
+            int[] callEdges = getNumCallEdges(bb);
+            print(out, "total_call_edges", callEdges[0]);
+            print(out, "app_call_edges", callEdges[1]);
+        }
         print(out, "total_reachable_types", reachableTypes[0]);
         print(out, "app_reachable_types", reachableTypes[1]);
         print(out, "total_reachable_methods", reachableMethods[0]);
@@ -108,6 +113,21 @@ public static void printLast(PrintWriter out, String key, long value) {
         out.format("%s\"%s\": %d%n", INDENT, key, value);
     }
 
+    private static int[] getNumCallEdges(BigBang bb) {
+        int callEdges = 0;
+        int appCallEdges = 0;
+        for (AnalysisMethod method : bb.getUniverse().getMethods()) {
+            if (method.isImplementationInvoked()) {
+                int callers = method.getCallers().size();
+                callEdges += callers;
+                if (!isRuntimeLibraryType(method.getDeclaringClass())) {
+                    appCallEdges += callers;
+                }
+            }
+        }
+        return new int[]{callEdges, appCallEdges};
+    }
+
     private static int[] getNumReachableTypes(BigBang bb) {
         int reachable = 0;
         int appReachable = 0;

diff --git a/vm/mx.vm/mx_vm_benchmark.py b/vm/mx.vm/mx_vm_benchmark.py
@@ -161,6 +161,7 @@ def __init__(self, vm, bm_suite, args):
             self.base_image_build_args += ['-H:Path=' + self.output_dir]
             self.base_image_build_args += ['-H:ConfigurationFileDirectories=' + self.config_dir]
             self.base_image_build_args += ['-H:+PrintAnalysisStatistics', '-H:AnalysisStatisticsFile=' + self.analysis_report_path]
+            self.base_image_build_args += ['-H:+PrintCallEdges']
             self.base_image_build_args += ['-H:+CollectImageBuildStatistics', '-H:ImageBuildStatisticsFile=' + self.image_build_report_path]
             self.base_image_build_args += ['-H:+ConfigureReflectionMetadata']
             if vm.is_llvm:
@@ -581,6 +582,17 @@ def __call__(self, *args, **kwargs):
                 "metric.iteration": 0,
                 "metric.object": ("<section>", str),
             }),
+            mx_benchmark.JsonStdOutFileRule(r'^# Printing analysis results stats to: (?P<path>\S+?)$', 'path', {
+                "benchmark": benchmarks[0],
+                "metric.name": "analysis-stats",
+                "metric.type": "numeric",
+                "metric.unit": "#",
+                "metric.value": ("<total_call_edges>", int),
+                "metric.score-function": "id",
+                "metric.better": "lower",
+                "metric.iteration": 0,
+                "metric.object": "call-edges",
+            }, ['total_call_edges']),
             mx_benchmark.JsonStdOutFileRule(r'^# Printing analysis results stats to: (?P<path>\S+?)$', 'path', {
                 "benchmark": benchmarks[0],
                 "metric.name": "analysis-stats",