comparison graal/com.oracle.graal.hotspot/src/com/oracle/graal/hotspot/meta/HotSpotRuntime.java @ 10015:deb5bd841422

aot: add verification phase
author Bernhard Urban <bernhard.urban@jku.at>
date Wed, 12 Jun 2013 17:24:20 +0200
parents b5c87b5c6e9c
children 4ebe31e19892
comparison
equal deleted inserted replaced
10014:16dfdc920e77 10015:deb5bd841422
1074 Suites ret = Suites.createDefaultSuites(); 1074 Suites ret = Suites.createDefaultSuites();
1075 1075
1076 if (AOTCompilation.getValue()) { 1076 if (AOTCompilation.getValue()) {
1077 // lowering introduces class constants, therefore it must be after lowering 1077 // lowering introduces class constants, therefore it must be after lowering
1078 ret.getHighTier().addPhase(new LoadJavaMirrorWithKlassPhase()); 1078 ret.getHighTier().addPhase(new LoadJavaMirrorWithKlassPhase());
1079 if (VerifyPhases.getValue()) {
1080 ret.getHighTier().addPhase(new AheadOfTimeVerifcationPhase());
1081 }
1079 } 1082 }
1080 1083
1081 ret.getMidTier().addPhase(new WriteBarrierAdditionPhase()); 1084 ret.getMidTier().addPhase(new WriteBarrierAdditionPhase());
1082 if (VerifyPhases.getValue()) { 1085 if (VerifyPhases.getValue()) {
1083 ret.getMidTier().addPhase(new WriteBarrierVerificationPhase()); 1086 ret.getMidTier().addPhase(new WriteBarrierVerificationPhase());