1 /*
   2  * Copyright (c) 2017, 2018, Oracle and/or its affiliates. All rights reserved.
   3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
   4  *
   5  * This code is free software; you can redistribute it and/or modify it
   6  * under the terms of the GNU General Public License version 2 only, as
   7  * published by the Free Software Foundation.
   8  *
   9  * This code is distributed in the hope that it will be useful, but WITHOUT
  10  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
  11  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  12  * version 2 for more details (a copy is included in the LICENSE file that
  13  * accompanied this code).
  14  *
  15  * You should have received a copy of the GNU General Public License version
  16  * 2 along with this work; if not, write to the Free Software Foundation,
  17  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
  18  *
  19  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
  20  * or visit www.oracle.com if you need additional information or have any
  21  * questions.
  22  */
  23 
  24 package compiler.valhalla.valuetypes;
  25 
  26 import compiler.whitebox.CompilerWhiteBoxTest;
  27 import jdk.test.lib.Asserts;
  28 import jdk.test.lib.management.InputArguments;
  29 import jdk.test.lib.Platform;
  30 import jdk.test.lib.process.ProcessTools;
  31 import jdk.test.lib.process.OutputAnalyzer;
  32 import jdk.test.lib.Utils;
  33 import sun.hotspot.WhiteBox;
  34 
  35 import java.lang.annotation.Retention;
  36 import java.lang.annotation.RetentionPolicy;
  37 import java.lang.annotation.Repeatable;
  38 import java.lang.invoke.*;
  39 import java.lang.reflect.Method;
  40 import java.util.ArrayList;
  41 import java.util.Arrays;
  42 import java.util.Hashtable;
  43 import java.util.LinkedHashMap;
  44 import java.util.List;
  45 import java.util.Map;
  46 import java.util.regex.Matcher;
  47 import java.util.regex.Pattern;
  48 import java.util.TreeMap;
  49 
  50 // Mark method as test
  51 @Retention(RetentionPolicy.RUNTIME)
  52 @Repeatable(Tests.class)
  53 @interface Test {
  54     // Regular expression used to match forbidden IR nodes
  55     // in the C2 IR emitted for this test.
  56     String failOn() default "";
  57     // Regular expressions used to match and count IR nodes.
  58     String[] match() default { };
  59     int[] matchCount() default { };
  60     int valid() default ValueTypeTest.AllFlags;
  61 }
  62 
  63 @Retention(RetentionPolicy.RUNTIME)
  64 @interface Tests {
  65     Test[] value();
  66 }
  67 
  68 // Force method inlining during compilation
  69 @Retention(RetentionPolicy.RUNTIME)
  70 @interface ForceInline { }
  71 
  72 // Prevent method inlining during compilation
  73 @Retention(RetentionPolicy.RUNTIME)
  74 @interface DontInline { }
  75 
  76 // Prevent method compilation
  77 @Retention(RetentionPolicy.RUNTIME)
  78 @interface DontCompile { }
  79 
  80 // Number of warmup iterations
  81 @Retention(RetentionPolicy.RUNTIME)
  82 @interface Warmup {
  83     int value();
  84 }
  85 
  86 public abstract class ValueTypeTest {
  87     // Random test values
  88     public static final int  rI = Utils.getRandomInstance().nextInt() % 1000;
  89     public static final long rL = Utils.getRandomInstance().nextLong() % 1000;
  90 
  91     // User defined settings
  92     private static final boolean PRINT_GRAPH = true;
  93     private static final boolean PRINT_TIMES = Boolean.parseBoolean(System.getProperty("PrintTimes", "false"));
  94     private static       boolean VERIFY_IR = Boolean.parseBoolean(System.getProperty("VerifyIR", "true"));
  95     private static final boolean VERIFY_VM = Boolean.parseBoolean(System.getProperty("VerifyVM", "false"));
  96     private static final String SCENARIOS = System.getProperty("Scenarios", "");
  97     private static final String TESTLIST = System.getProperty("Testlist", "");
  98     private static final String EXCLUDELIST = System.getProperty("Exclude", "");
  99     private static final int WARMUP = Integer.parseInt(System.getProperty("Warmup", "251"));
 100     private static final boolean DUMP_REPLAY = Boolean.parseBoolean(System.getProperty("DumpReplay", "false"));
 101 
 102     // Pre-defined settings
 103     private static final List<String> defaultFlags = Arrays.asList(
 104         "-XX:-BackgroundCompilation", "-XX:CICompilerCount=1",
 105         "-XX:+PrintCompilation", "-XX:+PrintIdeal", "-XX:+PrintOptoAssembly",
 106         "-XX:CompileCommand=quiet",
 107         "-XX:CompileCommand=compileonly,java.lang.invoke.*::*",
 108         "-XX:CompileCommand=compileonly,java.lang.Long::sum",
 109         "-XX:CompileCommand=compileonly,java.lang.Object::<init>",
 110         "-XX:CompileCommand=compileonly,compiler.valhalla.valuetypes.*::*");
 111     private static final List<String> verifyFlags = Arrays.asList(
 112         "-XX:+VerifyOops", "-XX:+VerifyStack", "-XX:+VerifyLastFrame", "-XX:+VerifyBeforeGC", "-XX:+VerifyAfterGC",
 113         "-XX:+VerifyDuringGC", "-XX:+VerifyAdapterSharing");
 114 
 115     protected static final WhiteBox WHITE_BOX = WhiteBox.getWhiteBox();
 116     protected static final int ValueTypePassFieldsAsArgsOn = 0x1;
 117     protected static final int ValueTypePassFieldsAsArgsOff = 0x2;
 118     protected static final int ValueTypeArrayFlattenOn = 0x4;
 119     protected static final int ValueTypeArrayFlattenOff = 0x8;
 120     protected static final int ValueTypeReturnedAsFieldsOn = 0x10;
 121     protected static final int ValueTypeReturnedAsFieldsOff = 0x20;
 122     static final int AllFlags = ValueTypePassFieldsAsArgsOn | ValueTypePassFieldsAsArgsOff | ValueTypeArrayFlattenOn | ValueTypeArrayFlattenOff | ValueTypeReturnedAsFieldsOn;
 123     protected static final boolean ValueTypePassFieldsAsArgs = (Boolean)WHITE_BOX.getVMFlag("ValueTypePassFieldsAsArgs");
 124     protected static final boolean ValueTypeArrayFlatten = (Boolean)WHITE_BOX.getVMFlag("ValueArrayFlatten");
 125     protected static final boolean ValueTypeReturnedAsFields = (Boolean)WHITE_BOX.getVMFlag("ValueTypeReturnedAsFields");
 126     protected static final boolean NullableValueTypes = (Boolean)WHITE_BOX.getVMFlag("NullableValueTypes");
 127     protected static final int COMP_LEVEL_ANY = -2;
 128     protected static final int COMP_LEVEL_FULL_OPTIMIZATION = 4;
 129     protected static final Hashtable<String, Method> tests = new Hashtable<String, Method>();
 130     protected static final boolean USE_COMPILER = WHITE_BOX.getBooleanVMFlag("UseCompiler");
 131     protected static final boolean PRINT_IDEAL  = WHITE_BOX.getBooleanVMFlag("PrintIdeal");
 132     protected static final boolean XCOMP = Platform.isComp();
 133 
 134     // Regular expressions used to match nodes in the PrintIdeal output
 135     protected static final String START = "(\\d+\\t(.*";
 136     protected static final String MID = ".*)+\\t===.*";
 137     protected static final String END = ")|";
 138     protected static final String ALLOC  = "(.*precise klass compiler/valhalla/valuetypes/MyValue.*\\R(.*(nop|spill).*\\R)*.*_new_instance_Java" + END;
 139     protected static final String ALLOCA = "(.*precise klass \\[Lcompiler/valhalla/valuetypes/MyValue.*\\R(.*(nop|spill).*\\R)*.*_new_array_Java" + END;
 140     protected static final String LOAD   = START + "Load(B|S|I|L|F|D|P|N)" + MID + "@compiler/valhalla/valuetypes/MyValue.*" + END;
 141     protected static final String LOADK  = START + "LoadK" + MID + END;
 142     protected static final String STORE  = START + "Store(B|C|S|I|L|F|D|P|N)" + MID + "@compiler/valhalla/valuetypes/MyValue.*" + END;
 143     protected static final String LOOP   = START + "Loop" + MID + "" + END;
 144     protected static final String TRAP   = START + "CallStaticJava" + MID + "uncommon_trap.*(unstable_if|predicate)" + END;
 145     protected static final String RETURN = START + "Return" + MID + "returns" + END;
 146     protected static final String LINKTOSTATIC = START + "CallStaticJava" + MID + "linkToStatic" + END;
 147     protected static final String NPE = START + "CallStaticJava" + MID + "null_check" + END;
 148     protected static final String CALL = START + "CallStaticJava" + MID + END;
 149     protected static final String STOREVALUETYPEFIELDS = START + "CallStaticJava" + MID + "store_value_type_fields" + END;
 150     protected static final String SCOBJ = "(.*# ScObj.*" + END;
 151 
 152     public static String[] concat(String prefix[], String... extra) {
 153         ArrayList<String> list = new ArrayList<String>();
 154         if (prefix != null) {
 155             for (String s : prefix) {
 156                 list.add(s);
 157             }
 158         }
 159         if (extra != null) {
 160             for (String s : extra) {
 161                 list.add(s);
 162             }
 163         }
 164 
 165         return list.toArray(new String[list.size()]);
 166     }
 167 
 168     /**
 169      * Override getNumScenarios and getVMParameters if you want to run with more than
 170      * the 5 built-in scenarios
 171      */
 172     public int getNumScenarios() {
 173         return 5;
 174     }
 175 
 176     /**
 177      * VM paramaters for the 5 built-in test scenarios. If your test needs to append
 178      * extra parameters for (some of) these scenarios, override getExtraVMParameters().
 179      */
 180     public String[] getVMParameters(int scenario) {
 181         switch (scenario) {
 182         case 0: return new String[] {
 183                 "-XX:+AlwaysIncrementalInline",
 184                 "-XX:ValueArrayElemMaxFlatOops=-1",
 185                 "-XX:ValueArrayElemMaxFlatSize=-1",
 186                 "-XX:+ValueArrayFlatten",
 187                 "-XX:ValueFieldMaxFlatSize=-1",
 188                 "-XX:+ValueTypePassFieldsAsArgs",
 189                 "-XX:+ValueTypeReturnedAsFields"};
 190         case 1: return new String[] {
 191                 "-XX:-UseCompressedOops",
 192                 "-XX:ValueArrayElemMaxFlatOops=-1",
 193                 "-XX:ValueArrayElemMaxFlatSize=-1",
 194                 "-XX:+ValueArrayFlatten",
 195                 "-XX:ValueFieldMaxFlatSize=-1",
 196                 "-XX:-ValueTypePassFieldsAsArgs",
 197                 "-XX:-ValueTypeReturnedAsFields"};
 198         case 2: return new String[] {
 199                 "-DVerifyIR=false",
 200                 "-XX:-UseCompressedOops",
 201                 "-XX:ValueArrayElemMaxFlatOops=0",
 202                 "-XX:ValueArrayElemMaxFlatSize=0",
 203                 "-XX:-ValueArrayFlatten",
 204                 "-XX:ValueFieldMaxFlatSize=0",
 205                 "-XX:+ValueTypePassFieldsAsArgs",
 206                 "-XX:+ValueTypeReturnedAsFields",
 207                 "-XX:+StressValueTypePassFieldsAsArgs",
 208                 "-XX:+StressValueTypeReturnedAsFields"};
 209         case 3: return new String[] {
 210                 "-DVerifyIR=false",
 211                 "-XX:+AlwaysIncrementalInline",
 212                 "-XX:ValueArrayElemMaxFlatOops=0",
 213                 "-XX:ValueArrayElemMaxFlatSize=0",
 214                 "-XX:ValueFieldMaxFlatSize=0",
 215                 "-XX:-ValueTypePassFieldsAsArgs",
 216                 "-XX:-ValueTypeReturnedAsFields"};
 217         case 4: return new String[] {
 218                 "-DVerifyIR=false",
 219                 "-XX:ValueArrayElemMaxFlatOops=-1",
 220                 "-XX:ValueArrayElemMaxFlatSize=-1",
 221                 "-XX:+ValueArrayFlatten",
 222                 "-XX:ValueFieldMaxFlatSize=0",
 223                 "-XX:+ValueTypePassFieldsAsArgs",
 224                 "-XX:-ValueTypeReturnedAsFields",
 225                 "-XX:+StressValueTypePassFieldsAsArgs"};
 226         }
 227 
 228         return null;
 229     }
 230 
 231     /**
 232      * Override this method to provide extra parameters for selected scenarios
 233      */
 234     public String[] getExtraVMParameters(int scenario) {
 235         return null;
 236     }
 237 
 238     public static void main(String[] args) throws Throwable {
 239         if (args.length != 1) {
 240             throw new RuntimeException("Usage: @run main/othervm/timeout=120 -Xbootclasspath/a:. -ea" +
 241                                        " -XX:+IgnoreUnrecognizedVMOptions -XX:+UnlockDiagnosticVMOptions" +
 242                                        " -XX:+UnlockExperimentalVMOptions -XX:+WhiteBoxAPI -XX:+EnableValhalla" +
 243                                        " compiler.valhalla.valuetypes.ValueTypeTest <YourTestMainClass>");
 244         }
 245         String testMainClassName = args[0];
 246         Class testMainClass = Class.forName(testMainClassName);
 247         ValueTypeTest test = (ValueTypeTest)testMainClass.newInstance();
 248         List<String> scenarios = null;
 249         if (!SCENARIOS.isEmpty()) {
 250            scenarios = Arrays.asList(SCENARIOS.split(","));
 251         }
 252         for (int i=0; i<test.getNumScenarios(); i++) {
 253             if (scenarios == null || scenarios.contains(Integer.toString(i))) {
 254                 System.out.println("Scenario #" + i + " -------- ");
 255                 String[] cmds = InputArguments.getVmInputArgs();
 256                 cmds = concat(cmds, test.getVMParameters(i));
 257                 cmds = concat(cmds, test.getExtraVMParameters(i));
 258                 cmds = concat(cmds, testMainClassName);
 259 
 260                 OutputAnalyzer oa = ProcessTools.executeTestJvm(cmds);
 261                 String output = oa.getOutput();
 262                 oa.shouldHaveExitValue(0);
 263                 System.out.println(output);
 264             } else {
 265                 System.out.println("Scenario #" + i + " is skipped due to -Dscenarios=" + SCENARIOS);
 266             }
 267         }
 268     }
 269 
 270     protected ValueTypeTest() {
 271         List<String> list = null;
 272         List<String> exclude = null;
 273         if (!TESTLIST.isEmpty()) {
 274            list = Arrays.asList(TESTLIST.split(","));
 275         }
 276         if (!EXCLUDELIST.isEmpty()) {
 277            exclude = Arrays.asList(EXCLUDELIST.split(","));
 278         }
 279         // Gather all test methods and put them in Hashtable
 280         for (Method m : getClass().getDeclaredMethods()) {
 281             Test[] annos = m.getAnnotationsByType(Test.class);
 282             if (annos.length != 0 &&
 283                 ((list == null || list.contains(m.getName())) && (exclude == null || !exclude.contains(m.getName())))) {
 284                 tests.put(getClass().getSimpleName() + "::" + m.getName(), m);
 285             }
 286         }
 287     }
 288 
 289     protected void run(String[] args, Class<?>... classes) throws Throwable {
 290         if (args.length == 0) {
 291             // Spawn a new VM instance
 292             execute_vm();
 293         } else {
 294             // Execute tests
 295             run(classes);
 296         }
 297     }
 298 
 299     private void execute_vm() throws Throwable {
 300         Asserts.assertFalse(tests.isEmpty(), "no tests to execute");
 301         ArrayList<String> args = new ArrayList<String>(defaultFlags);
 302         String[] vmInputArgs = InputArguments.getVmInputArgs();
 303         if (VERIFY_IR) {
 304             for (String arg : vmInputArgs) {
 305                 if (arg.startsWith("-XX:CompileThreshold")) {
 306                     // Disable IR verification if
 307                     VERIFY_IR = false;
 308                 }
 309                 // Check if the JVM supports value type specific default arguments from the test's run commands
 310                 if (arg.startsWith("-XX:+ValueTypePassFieldsAsArgs") ||
 311                     arg.startsWith("-XX:+ValueTypeReturnedAsFields")) {
 312                     Boolean value = (Boolean)WHITE_BOX.getVMFlag(arg.substring(5));
 313                     if (!value) {
 314                         System.out.println("WARNING: could not enable " + arg.substring(5) + ". Skipping IR verification.");
 315                         VERIFY_IR = false;
 316                     }
 317                 } else if (arg.startsWith("-XX:-ValueTypePassFieldsAsArgs") ||
 318                            arg.startsWith("-XX:-ValueTypeReturnedAsFields")) {
 319                     Boolean value = (Boolean)WHITE_BOX.getVMFlag(arg.substring(5));
 320                     if (value) {
 321                         System.out.println("WARNING: could not disable " + arg.substring(5) + ". Skipping IR verification.");
 322                         VERIFY_IR = false;
 323                     }
 324                 }
 325             }
 326             // Always trap for exception throwing to not confuse IR verification
 327             args.add("-XX:-OmitStackTraceInFastThrow");
 328         }
 329         if (VERIFY_VM) {
 330             args.addAll(verifyFlags);
 331         }
 332         // Run tests in own process and verify output
 333         args.add(getClass().getName());
 334         args.add("run");
 335         // Spawn process with default JVM options from the test's run command
 336         String[] cmds = Arrays.copyOf(vmInputArgs, vmInputArgs.length + args.size());
 337         System.arraycopy(args.toArray(), 0, cmds, vmInputArgs.length, args.size());
 338         OutputAnalyzer oa = ProcessTools.executeTestJvm(cmds);
 339         // If ideal graph printing is enabled/supported, verify output
 340         String output = oa.getOutput();
 341         oa.shouldHaveExitValue(0);
 342         if (VERIFY_IR) {
 343             if (output.contains("PrintIdeal enabled")) {
 344                 parseOutput(output);
 345             } else {
 346                 System.out.println(output);
 347                 System.out.println("WARNING: IR verification failed! Running with -Xint, -Xcomp or release build?");
 348             }
 349         }
 350     }
 351 
 352     private void parseOutput(String output) throws Exception {
 353         Pattern comp_re = Pattern.compile("\\n\\s+\\d+\\s+\\d+\\s+(%| )(s| )(!| )b(n| )\\s+\\S+\\.(?<name>[^.]+::\\S+)\\s+(?<osr>@ \\d+\\s+)?[(]\\d+ bytes[)]\\n");
 354         Matcher m = comp_re.matcher(output);
 355         Map<String,String> compilations = new LinkedHashMap<>();
 356         int prev = 0;
 357         String methodName = null;
 358         while (m.find()) {
 359             if (prev == 0) {
 360                 // Print header
 361                 System.out.print(output.substring(0, m.start()+1));
 362             } else if (methodName != null) {
 363                 compilations.put(methodName, output.substring(prev, m.start()+1));
 364             }
 365             if (m.group("osr") != null) {
 366                 methodName = null;
 367             } else {
 368                 methodName = m.group("name");
 369             }
 370             prev = m.end();
 371         }
 372         if (prev == 0) {
 373             // Print header
 374             System.out.print(output);
 375         } else if (methodName != null) {
 376             compilations.put(methodName, output.substring(prev));
 377         }
 378         // Iterate over compilation output
 379         for (String testName : compilations.keySet()) {
 380             Method test = tests.get(testName);
 381             if (test == null) {
 382                 // Skip helper methods
 383                 continue;
 384             }
 385             String graph = compilations.get(testName);
 386             if (PRINT_GRAPH) {
 387                 System.out.println("\nGraph for " + testName + "\n" + graph);
 388             }
 389             // Parse graph using regular expressions to determine if it contains forbidden nodes
 390             Test[] annos = test.getAnnotationsByType(Test.class);
 391             Test anno = null;
 392             for (Test a : annos) {
 393                 if ((a.valid() & ValueTypePassFieldsAsArgsOn) != 0 && ValueTypePassFieldsAsArgs) {
 394                     assert anno == null;
 395                     anno = a;
 396                 } else if ((a.valid() & ValueTypePassFieldsAsArgsOff) != 0 && !ValueTypePassFieldsAsArgs) {
 397                     assert anno == null;
 398                     anno = a;
 399                 } else if ((a.valid() & ValueTypeArrayFlattenOn) != 0 && ValueTypeArrayFlatten) {
 400                     assert anno == null;
 401                     anno = a;
 402                 } else if ((a.valid() & ValueTypeArrayFlattenOff) != 0 && !ValueTypeArrayFlatten) {
 403                     assert anno == null;
 404                     anno = a;
 405                 } else if ((a.valid() & ValueTypeReturnedAsFieldsOn) != 0 && ValueTypeReturnedAsFields) {
 406                     assert anno == null;
 407                     anno = a;
 408                 } else if ((a.valid() & ValueTypeReturnedAsFieldsOff) != 0 && !ValueTypeReturnedAsFields) {
 409                     assert anno == null;
 410                     anno = a;
 411                 }
 412             }
 413             assert anno != null;
 414             String regexFail = anno.failOn();
 415             if (!regexFail.isEmpty()) {
 416                 Pattern pattern = Pattern.compile(regexFail.substring(0, regexFail.length()-1));
 417                 Matcher matcher = pattern.matcher(graph);
 418                 boolean found = matcher.find();
 419                 Asserts.assertFalse(found, "Graph for '" + testName + "' contains forbidden node:\n" + (found ? matcher.group() : ""));
 420             }
 421             String[] regexMatch = anno.match();
 422             int[] matchCount = anno.matchCount();
 423             for (int i = 0; i < regexMatch.length; ++i) {
 424                 Pattern pattern = Pattern.compile(regexMatch[i].substring(0, regexMatch[i].length()-1));
 425                 Matcher matcher = pattern.matcher(graph);
 426                 int count = 0;
 427                 String nodes = "";
 428                 while (matcher.find()) {
 429                     count++;
 430                     nodes += matcher.group() + "\n";
 431                 }
 432                 if (matchCount[i] < 0) {
 433                     Asserts.assertLTE(Math.abs(matchCount[i]), count, "Graph for '" + testName + "' contains different number of match nodes:\n" + nodes);
 434                 } else {
 435                     Asserts.assertEQ(matchCount[i], count, "Graph for '" + testName + "' contains different number of match nodes:\n" + nodes);
 436                 }
 437             }
 438             tests.remove(testName);
 439             System.out.println(testName + " passed");
 440         }
 441         // Check if all tests were compiled
 442         if (tests.size() != 0) {
 443             for (String name : tests.keySet()) {
 444                 System.out.println("Test '" + name + "' not compiled!");
 445             }
 446             throw new RuntimeException("Not all tests were compiled");
 447         }
 448     }
 449 
 450     private void setup(Class<?> clazz) {
 451         if (XCOMP) {
 452             // Don't control compilation if -Xcomp is enabled
 453             return;
 454         }
 455         if (DUMP_REPLAY) {
 456             // Generate replay compilation files
 457             String directive = "[{ match: \"*.*\", DumpReplay: true }]";
 458             if (WHITE_BOX.addCompilerDirective(directive) != 1) {
 459                 throw new RuntimeException("Failed to add compiler directive");
 460             }
 461         }
 462 
 463         Method[] methods = clazz.getDeclaredMethods();
 464         for (Method m : methods) {
 465             if (m.isAnnotationPresent(Test.class)) {
 466                 // Don't inline tests
 467                 WHITE_BOX.testSetDontInlineMethod(m, true);
 468             }
 469             if (m.isAnnotationPresent(DontCompile.class)) {
 470                 WHITE_BOX.makeMethodNotCompilable(m, COMP_LEVEL_ANY, true);
 471                 WHITE_BOX.makeMethodNotCompilable(m, COMP_LEVEL_ANY, false);
 472                 WHITE_BOX.testSetDontInlineMethod(m, true);
 473             }
 474             if (m.isAnnotationPresent(ForceInline.class)) {
 475                 WHITE_BOX.testSetForceInlineMethod(m, true);
 476             } else if (m.isAnnotationPresent(DontInline.class)) {
 477                 WHITE_BOX.testSetDontInlineMethod(m, true);
 478             }
 479         }
 480 
 481         // Compile class initializers
 482         WHITE_BOX.enqueueInitializerForCompilation(clazz, COMP_LEVEL_FULL_OPTIMIZATION);
 483     }
 484 
 485     private void run(Class<?>... classes) throws Exception {
 486         if (USE_COMPILER && PRINT_IDEAL && !XCOMP) {
 487             System.out.println("PrintIdeal enabled");
 488         }
 489         System.out.format("rI = %d, rL = %d\n", rI, rL);
 490 
 491         setup(getClass());
 492         for (Class<?> clazz : classes) {
 493             setup(clazz);
 494         }
 495 
 496         // Execute tests
 497         TreeMap<Long, String> durations = PRINT_TIMES ? new TreeMap<Long, String>() : null;
 498         for (Method test : tests.values()) {
 499             long startTime = System.nanoTime();
 500             Method verifier = getClass().getMethod(test.getName() + "_verifier", boolean.class);
 501             // Warmup using verifier method
 502             Warmup anno = test.getAnnotation(Warmup.class);
 503             int warmup = anno == null ? WARMUP : anno.value();
 504             for (int i = 0; i < warmup; ++i) {
 505                 verifier.invoke(this, true);
 506             }
 507             // Trigger compilation
 508             WHITE_BOX.enqueueMethodForCompilation(test, COMP_LEVEL_FULL_OPTIMIZATION);
 509             Asserts.assertTrue(!USE_COMPILER || WHITE_BOX.isMethodCompiled(test, false), test + " not compiled");
 510             // Check result
 511             verifier.invoke(this, false);
 512             if (PRINT_TIMES) {
 513                 long endTime = System.nanoTime();
 514                 long duration = (endTime - startTime);
 515                 durations.put(duration, test.getName());
 516             }
 517         }
 518 
 519         // Print execution times
 520         if (PRINT_TIMES) {
 521           System.out.println("\n\nTest execution times:");
 522           for (Map.Entry<Long, String> entry : durations.entrySet()) {
 523               System.out.format("%-10s%15d ns\n", entry.getValue() + ":", entry.getKey());
 524           }
 525         }
 526     }
 527 }