1 /* 2 * Copyright (c) 2014, 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 execution; 25 26 import hierarchies.TypeHierarchy; 27 import scenarios.Scenario; 28 29 /** 30 * Type profiling conflict execution scenario. The main goal is 31 * to make compiler profile and compile methods with different types. 32 * Scenario tests guards by passing conflicting types (incompatible 33 * for the profiled data). 34 */ 35 public class TypeConflict<T extends TypeHierarchy.I, R> implements Execution<T, R> { 36 /** Test methods execution number to make profile */ 37 private final static int POLLUTION_THRESHOLD = 5000; 38 /** Test methods execution number to make it profiled and compiled*/ 39 private final static int PROFILE_THRESHOLD = 20000; 40 41 @Override 42 public void execute(Scenario<T, R> scenario) { 43 T base = scenario.getProfiled(); 44 T incompatible = scenario.getConflict(); 45 46 // pollute profile by passing different types 47 R baseResult = null; 48 R incResult = null; 49 for (int i = 0; i < POLLUTION_THRESHOLD; i++) { 50 baseResult = methodNotToCompile(scenario, base); 51 incResult = methodNotToCompile(scenario, incompatible); 52 } 53 scenario.check(baseResult, base); 54 scenario.check(incResult, incompatible); 55 56 // profile and compile 57 R result = null; 58 for (int i = 0; i < PROFILE_THRESHOLD; i++) { 59 result = methodNotToCompile(scenario, base); 60 } 61 scenario.check(result, base); 62 63 // pass another type to make guard work and recompile 64 for (int i = 0; i < PROFILE_THRESHOLD; i++) { 65 result = methodNotToCompile(scenario, incompatible); 66 } 67 scenario.check(result, incompatible); 68 } 69 70 private R methodNotToCompile(Scenario<T, R> scenario, T t) { 71 return scenario.run(t); 72 } 73 } 74