| <HTML> |
| <BODY BGCOLOR="white"> |
| <PRE> |
| <FONT color="green">001</FONT> /*<a name="line.1"></a> |
| <FONT color="green">002</FONT> * Licensed to the Apache Software Foundation (ASF) under one<a name="line.2"></a> |
| <FONT color="green">003</FONT> * or more contributor license agreements. See the NOTICE file<a name="line.3"></a> |
| <FONT color="green">004</FONT> * distributed with this work for additional information<a name="line.4"></a> |
| <FONT color="green">005</FONT> * regarding copyright ownership. The ASF licenses this file<a name="line.5"></a> |
| <FONT color="green">006</FONT> * to you under the Apache License, Version 2.0 (the "License");<a name="line.6"></a> |
| <FONT color="green">007</FONT> * you may not use this file except in compliance with the License.<a name="line.7"></a> |
| <FONT color="green">008</FONT> * You may obtain a copy of the License at<a name="line.8"></a> |
| <FONT color="green">009</FONT> *<a name="line.9"></a> |
| <FONT color="green">010</FONT> * http://www.apache.org/licenses/LICENSE-2.0<a name="line.10"></a> |
| <FONT color="green">011</FONT> *<a name="line.11"></a> |
| <FONT color="green">012</FONT> * Unless required by applicable law or agreed to in writing, software<a name="line.12"></a> |
| <FONT color="green">013</FONT> * distributed under the License is distributed on an "AS IS" BASIS,<a name="line.13"></a> |
| <FONT color="green">014</FONT> * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.<a name="line.14"></a> |
| <FONT color="green">015</FONT> * See the License for the specific language governing permissions and<a name="line.15"></a> |
| <FONT color="green">016</FONT> * limitations under the License.<a name="line.16"></a> |
| <FONT color="green">017</FONT> */<a name="line.17"></a> |
| <FONT color="green">018</FONT> /*<a name="line.18"></a> |
| <FONT color="green">019</FONT> * $Id: MethodGenerator.java 1225436 2011-12-29 05:09:31Z mrglavas $<a name="line.19"></a> |
| <FONT color="green">020</FONT> */<a name="line.20"></a> |
| <FONT color="green">021</FONT> <a name="line.21"></a> |
| <FONT color="green">022</FONT> package org.apache.xalan.xsltc.compiler.util;<a name="line.22"></a> |
| <FONT color="green">023</FONT> <a name="line.23"></a> |
| <FONT color="green">024</FONT> import java.util.ArrayList;<a name="line.24"></a> |
| <FONT color="green">025</FONT> import java.util.Collections;<a name="line.25"></a> |
| <FONT color="green">026</FONT> import java.util.HashMap;<a name="line.26"></a> |
| <FONT color="green">027</FONT> import java.util.Hashtable;<a name="line.27"></a> |
| <FONT color="green">028</FONT> import java.util.Iterator;<a name="line.28"></a> |
| <FONT color="green">029</FONT> import java.util.Map;<a name="line.29"></a> |
| <FONT color="green">030</FONT> import java.util.Stack;<a name="line.30"></a> |
| <FONT color="green">031</FONT> <a name="line.31"></a> |
| <FONT color="green">032</FONT> import org.apache.bcel.Constants;<a name="line.32"></a> |
| <FONT color="green">033</FONT> import org.apache.bcel.classfile.Field;<a name="line.33"></a> |
| <FONT color="green">034</FONT> import org.apache.bcel.classfile.Method;<a name="line.34"></a> |
| <FONT color="green">035</FONT> import org.apache.bcel.generic.ALOAD;<a name="line.35"></a> |
| <FONT color="green">036</FONT> import org.apache.bcel.generic.ASTORE;<a name="line.36"></a> |
| <FONT color="green">037</FONT> import org.apache.bcel.generic.BranchHandle;<a name="line.37"></a> |
| <FONT color="green">038</FONT> import org.apache.bcel.generic.BranchInstruction;<a name="line.38"></a> |
| <FONT color="green">039</FONT> import org.apache.bcel.generic.ConstantPoolGen;<a name="line.39"></a> |
| <FONT color="green">040</FONT> import org.apache.bcel.generic.DLOAD;<a name="line.40"></a> |
| <FONT color="green">041</FONT> import org.apache.bcel.generic.DSTORE;<a name="line.41"></a> |
| <FONT color="green">042</FONT> import org.apache.bcel.generic.FLOAD;<a name="line.42"></a> |
| <FONT color="green">043</FONT> import org.apache.bcel.generic.FSTORE;<a name="line.43"></a> |
| <FONT color="green">044</FONT> import org.apache.bcel.generic.GETFIELD;<a name="line.44"></a> |
| <FONT color="green">045</FONT> import org.apache.bcel.generic.GOTO;<a name="line.45"></a> |
| <FONT color="green">046</FONT> import org.apache.bcel.generic.ICONST;<a name="line.46"></a> |
| <FONT color="green">047</FONT> import org.apache.bcel.generic.IfInstruction;<a name="line.47"></a> |
| <FONT color="green">048</FONT> import org.apache.bcel.generic.ILOAD;<a name="line.48"></a> |
| <FONT color="green">049</FONT> import org.apache.bcel.generic.IndexedInstruction;<a name="line.49"></a> |
| <FONT color="green">050</FONT> import org.apache.bcel.generic.INVOKEINTERFACE;<a name="line.50"></a> |
| <FONT color="green">051</FONT> import org.apache.bcel.generic.INVOKESPECIAL;<a name="line.51"></a> |
| <FONT color="green">052</FONT> import org.apache.bcel.generic.INVOKESTATIC;<a name="line.52"></a> |
| <FONT color="green">053</FONT> import org.apache.bcel.generic.INVOKEVIRTUAL;<a name="line.53"></a> |
| <FONT color="green">054</FONT> import org.apache.bcel.generic.ISTORE;<a name="line.54"></a> |
| <FONT color="green">055</FONT> import org.apache.bcel.generic.Instruction;<a name="line.55"></a> |
| <FONT color="green">056</FONT> import org.apache.bcel.generic.InstructionConstants;<a name="line.56"></a> |
| <FONT color="green">057</FONT> import org.apache.bcel.generic.InstructionHandle;<a name="line.57"></a> |
| <FONT color="green">058</FONT> import org.apache.bcel.generic.InstructionList;<a name="line.58"></a> |
| <FONT color="green">059</FONT> import org.apache.bcel.generic.InstructionTargeter;<a name="line.59"></a> |
| <FONT color="green">060</FONT> import org.apache.bcel.generic.LocalVariableGen;<a name="line.60"></a> |
| <FONT color="green">061</FONT> import org.apache.bcel.generic.LocalVariableInstruction;<a name="line.61"></a> |
| <FONT color="green">062</FONT> import org.apache.bcel.generic.LLOAD;<a name="line.62"></a> |
| <FONT color="green">063</FONT> import org.apache.bcel.generic.LSTORE;<a name="line.63"></a> |
| <FONT color="green">064</FONT> import org.apache.bcel.generic.MethodGen;<a name="line.64"></a> |
| <FONT color="green">065</FONT> import org.apache.bcel.generic.NEW;<a name="line.65"></a> |
| <FONT color="green">066</FONT> import org.apache.bcel.generic.PUTFIELD;<a name="line.66"></a> |
| <FONT color="green">067</FONT> import org.apache.bcel.generic.RET;<a name="line.67"></a> |
| <FONT color="green">068</FONT> import org.apache.bcel.generic.Select;<a name="line.68"></a> |
| <FONT color="green">069</FONT> import org.apache.bcel.generic.TargetLostException;<a name="line.69"></a> |
| <FONT color="green">070</FONT> import org.apache.bcel.generic.Type;<a name="line.70"></a> |
| <FONT color="green">071</FONT> <a name="line.71"></a> |
| <FONT color="green">072</FONT> import org.apache.xalan.xsltc.compiler.Pattern;<a name="line.72"></a> |
| <FONT color="green">073</FONT> import org.apache.xalan.xsltc.compiler.XSLTC;<a name="line.73"></a> |
| <FONT color="green">074</FONT> <a name="line.74"></a> |
| <FONT color="green">075</FONT> /**<a name="line.75"></a> |
| <FONT color="green">076</FONT> * @author Jacek Ambroziak<a name="line.76"></a> |
| <FONT color="green">077</FONT> * @author Santiago Pericas-Geertsen<a name="line.77"></a> |
| <FONT color="green">078</FONT> */<a name="line.78"></a> |
| <FONT color="green">079</FONT> public class MethodGenerator extends MethodGen<a name="line.79"></a> |
| <FONT color="green">080</FONT> implements org.apache.xalan.xsltc.compiler.Constants {<a name="line.80"></a> |
| <FONT color="green">081</FONT> protected static final int INVALID_INDEX = -1;<a name="line.81"></a> |
| <FONT color="green">082</FONT> <a name="line.82"></a> |
| <FONT color="green">083</FONT> private static final String START_ELEMENT_SIG <a name="line.83"></a> |
| <FONT color="green">084</FONT> = "(" + STRING_SIG + ")V";<a name="line.84"></a> |
| <FONT color="green">085</FONT> private static final String END_ELEMENT_SIG <a name="line.85"></a> |
| <FONT color="green">086</FONT> = START_ELEMENT_SIG;<a name="line.86"></a> |
| <FONT color="green">087</FONT> <a name="line.87"></a> |
| <FONT color="green">088</FONT> private InstructionList _mapTypeSub;<a name="line.88"></a> |
| <FONT color="green">089</FONT> <a name="line.89"></a> |
| <FONT color="green">090</FONT> private static final int DOM_INDEX = 1;<a name="line.90"></a> |
| <FONT color="green">091</FONT> private static final int ITERATOR_INDEX = 2;<a name="line.91"></a> |
| <FONT color="green">092</FONT> private static final int HANDLER_INDEX = 3;<a name="line.92"></a> |
| <FONT color="green">093</FONT> <a name="line.93"></a> |
| <FONT color="green">094</FONT> private static final int MAX_METHOD_SIZE = 65535;<a name="line.94"></a> |
| <FONT color="green">095</FONT> private static final int MAX_BRANCH_TARGET_OFFSET = 32767;<a name="line.95"></a> |
| <FONT color="green">096</FONT> private static final int MIN_BRANCH_TARGET_OFFSET = -32768;<a name="line.96"></a> |
| <FONT color="green">097</FONT> <a name="line.97"></a> |
| <FONT color="green">098</FONT> private static final int TARGET_METHOD_SIZE = 60000;<a name="line.98"></a> |
| <FONT color="green">099</FONT> private static final int MINIMUM_OUTLINEABLE_CHUNK_SIZE = 1000;<a name="line.99"></a> |
| <FONT color="green">100</FONT> <a name="line.100"></a> |
| <FONT color="green">101</FONT> private Instruction _iloadCurrent;<a name="line.101"></a> |
| <FONT color="green">102</FONT> private Instruction _istoreCurrent;<a name="line.102"></a> |
| <FONT color="green">103</FONT> private final Instruction _astoreHandler;<a name="line.103"></a> |
| <FONT color="green">104</FONT> private final Instruction _aloadHandler;<a name="line.104"></a> |
| <FONT color="green">105</FONT> private final Instruction _astoreIterator;<a name="line.105"></a> |
| <FONT color="green">106</FONT> private final Instruction _aloadIterator;<a name="line.106"></a> |
| <FONT color="green">107</FONT> private final Instruction _aloadDom;<a name="line.107"></a> |
| <FONT color="green">108</FONT> private final Instruction _astoreDom;<a name="line.108"></a> |
| <FONT color="green">109</FONT> <a name="line.109"></a> |
| <FONT color="green">110</FONT> private final Instruction _startElement;<a name="line.110"></a> |
| <FONT color="green">111</FONT> private final Instruction _endElement;<a name="line.111"></a> |
| <FONT color="green">112</FONT> private final Instruction _startDocument;<a name="line.112"></a> |
| <FONT color="green">113</FONT> private final Instruction _endDocument;<a name="line.113"></a> |
| <FONT color="green">114</FONT> private final Instruction _attribute;<a name="line.114"></a> |
| <FONT color="green">115</FONT> private final Instruction _uniqueAttribute;<a name="line.115"></a> |
| <FONT color="green">116</FONT> private final Instruction _namespace;<a name="line.116"></a> |
| <FONT color="green">117</FONT> <a name="line.117"></a> |
| <FONT color="green">118</FONT> private final Instruction _setStartNode;<a name="line.118"></a> |
| <FONT color="green">119</FONT> private final Instruction _reset;<a name="line.119"></a> |
| <FONT color="green">120</FONT> private final Instruction _nextNode;<a name="line.120"></a> |
| <FONT color="green">121</FONT> <a name="line.121"></a> |
| <FONT color="green">122</FONT> private SlotAllocator _slotAllocator;<a name="line.122"></a> |
| <FONT color="green">123</FONT> private boolean _allocatorInit = false;<a name="line.123"></a> |
| <FONT color="green">124</FONT> private LocalVariableRegistry _localVariableRegistry;<a name="line.124"></a> |
| <FONT color="green">125</FONT> <a name="line.125"></a> |
| <FONT color="green">126</FONT> /**<a name="line.126"></a> |
| <FONT color="green">127</FONT> * A mapping between patterns and instruction lists used by <a name="line.127"></a> |
| <FONT color="green">128</FONT> * test sequences to avoid compiling the same pattern multiple <a name="line.128"></a> |
| <FONT color="green">129</FONT> * times. Note that patterns whose kernels are "*", "node()" <a name="line.129"></a> |
| <FONT color="green">130</FONT> * and "@*" can between shared by test sequences.<a name="line.130"></a> |
| <FONT color="green">131</FONT> */<a name="line.131"></a> |
| <FONT color="green">132</FONT> private Hashtable _preCompiled = new Hashtable();<a name="line.132"></a> |
| <FONT color="green">133</FONT> <a name="line.133"></a> |
| <FONT color="green">134</FONT> public MethodGenerator(int access_flags, Type return_type,<a name="line.134"></a> |
| <FONT color="green">135</FONT> Type[] arg_types, String[] arg_names,<a name="line.135"></a> |
| <FONT color="green">136</FONT> String method_name, String class_name,<a name="line.136"></a> |
| <FONT color="green">137</FONT> InstructionList il, ConstantPoolGen cpg) {<a name="line.137"></a> |
| <FONT color="green">138</FONT> super(access_flags, return_type, arg_types, arg_names, method_name, <a name="line.138"></a> |
| <FONT color="green">139</FONT> class_name, il, cpg);<a name="line.139"></a> |
| <FONT color="green">140</FONT> <a name="line.140"></a> |
| <FONT color="green">141</FONT> _astoreHandler = new ASTORE(HANDLER_INDEX);<a name="line.141"></a> |
| <FONT color="green">142</FONT> _aloadHandler = new ALOAD(HANDLER_INDEX);<a name="line.142"></a> |
| <FONT color="green">143</FONT> _astoreIterator = new ASTORE(ITERATOR_INDEX);<a name="line.143"></a> |
| <FONT color="green">144</FONT> _aloadIterator = new ALOAD(ITERATOR_INDEX);<a name="line.144"></a> |
| <FONT color="green">145</FONT> _aloadDom = new ALOAD(DOM_INDEX);<a name="line.145"></a> |
| <FONT color="green">146</FONT> _astoreDom = new ASTORE(DOM_INDEX);<a name="line.146"></a> |
| <FONT color="green">147</FONT> <a name="line.147"></a> |
| <FONT color="green">148</FONT> final int startElement =<a name="line.148"></a> |
| <FONT color="green">149</FONT> cpg.addInterfaceMethodref(TRANSLET_OUTPUT_INTERFACE,<a name="line.149"></a> |
| <FONT color="green">150</FONT> "startElement",<a name="line.150"></a> |
| <FONT color="green">151</FONT> START_ELEMENT_SIG);<a name="line.151"></a> |
| <FONT color="green">152</FONT> _startElement = new INVOKEINTERFACE(startElement, 2);<a name="line.152"></a> |
| <FONT color="green">153</FONT> <a name="line.153"></a> |
| <FONT color="green">154</FONT> final int endElement =<a name="line.154"></a> |
| <FONT color="green">155</FONT> cpg.addInterfaceMethodref(TRANSLET_OUTPUT_INTERFACE,<a name="line.155"></a> |
| <FONT color="green">156</FONT> "endElement",<a name="line.156"></a> |
| <FONT color="green">157</FONT> END_ELEMENT_SIG);<a name="line.157"></a> |
| <FONT color="green">158</FONT> _endElement = new INVOKEINTERFACE(endElement, 2);<a name="line.158"></a> |
| <FONT color="green">159</FONT> <a name="line.159"></a> |
| <FONT color="green">160</FONT> final int attribute =<a name="line.160"></a> |
| <FONT color="green">161</FONT> cpg.addInterfaceMethodref(TRANSLET_OUTPUT_INTERFACE,<a name="line.161"></a> |
| <FONT color="green">162</FONT> "addAttribute", <a name="line.162"></a> |
| <FONT color="green">163</FONT> "("<a name="line.163"></a> |
| <FONT color="green">164</FONT> + STRING_SIG<a name="line.164"></a> |
| <FONT color="green">165</FONT> + STRING_SIG<a name="line.165"></a> |
| <FONT color="green">166</FONT> + ")V");<a name="line.166"></a> |
| <FONT color="green">167</FONT> _attribute = new INVOKEINTERFACE(attribute, 3);<a name="line.167"></a> |
| <FONT color="green">168</FONT> <a name="line.168"></a> |
| <FONT color="green">169</FONT> final int uniqueAttribute =<a name="line.169"></a> |
| <FONT color="green">170</FONT> cpg.addInterfaceMethodref(TRANSLET_OUTPUT_INTERFACE,<a name="line.170"></a> |
| <FONT color="green">171</FONT> "addUniqueAttribute", <a name="line.171"></a> |
| <FONT color="green">172</FONT> "("<a name="line.172"></a> |
| <FONT color="green">173</FONT> + STRING_SIG<a name="line.173"></a> |
| <FONT color="green">174</FONT> + STRING_SIG<a name="line.174"></a> |
| <FONT color="green">175</FONT> + "I)V");<a name="line.175"></a> |
| <FONT color="green">176</FONT> _uniqueAttribute = new INVOKEINTERFACE(uniqueAttribute, 4);<a name="line.176"></a> |
| <FONT color="green">177</FONT> <a name="line.177"></a> |
| <FONT color="green">178</FONT> final int namespace =<a name="line.178"></a> |
| <FONT color="green">179</FONT> cpg.addInterfaceMethodref(TRANSLET_OUTPUT_INTERFACE,<a name="line.179"></a> |
| <FONT color="green">180</FONT> "namespaceAfterStartElement", <a name="line.180"></a> |
| <FONT color="green">181</FONT> "("<a name="line.181"></a> |
| <FONT color="green">182</FONT> + STRING_SIG<a name="line.182"></a> |
| <FONT color="green">183</FONT> + STRING_SIG<a name="line.183"></a> |
| <FONT color="green">184</FONT> + ")V");<a name="line.184"></a> |
| <FONT color="green">185</FONT> _namespace = new INVOKEINTERFACE(namespace, 3);<a name="line.185"></a> |
| <FONT color="green">186</FONT> <a name="line.186"></a> |
| <FONT color="green">187</FONT> int index = cpg.addInterfaceMethodref(TRANSLET_OUTPUT_INTERFACE,<a name="line.187"></a> |
| <FONT color="green">188</FONT> "startDocument",<a name="line.188"></a> |
| <FONT color="green">189</FONT> "()V");<a name="line.189"></a> |
| <FONT color="green">190</FONT> _startDocument = new INVOKEINTERFACE(index, 1);<a name="line.190"></a> |
| <FONT color="green">191</FONT> <a name="line.191"></a> |
| <FONT color="green">192</FONT> index = cpg.addInterfaceMethodref(TRANSLET_OUTPUT_INTERFACE,<a name="line.192"></a> |
| <FONT color="green">193</FONT> "endDocument",<a name="line.193"></a> |
| <FONT color="green">194</FONT> "()V");<a name="line.194"></a> |
| <FONT color="green">195</FONT> _endDocument = new INVOKEINTERFACE(index, 1);<a name="line.195"></a> |
| <FONT color="green">196</FONT> <a name="line.196"></a> |
| <FONT color="green">197</FONT> <a name="line.197"></a> |
| <FONT color="green">198</FONT> index = cpg.addInterfaceMethodref(NODE_ITERATOR,<a name="line.198"></a> |
| <FONT color="green">199</FONT> SET_START_NODE,<a name="line.199"></a> |
| <FONT color="green">200</FONT> SET_START_NODE_SIG);<a name="line.200"></a> |
| <FONT color="green">201</FONT> _setStartNode = new INVOKEINTERFACE(index, 2);<a name="line.201"></a> |
| <FONT color="green">202</FONT> <a name="line.202"></a> |
| <FONT color="green">203</FONT> index = cpg.addInterfaceMethodref(NODE_ITERATOR,<a name="line.203"></a> |
| <FONT color="green">204</FONT> "reset", "()"+NODE_ITERATOR_SIG);<a name="line.204"></a> |
| <FONT color="green">205</FONT> _reset = new INVOKEINTERFACE(index, 1);<a name="line.205"></a> |
| <FONT color="green">206</FONT> <a name="line.206"></a> |
| <FONT color="green">207</FONT> index = cpg.addInterfaceMethodref(NODE_ITERATOR, NEXT, NEXT_SIG);<a name="line.207"></a> |
| <FONT color="green">208</FONT> _nextNode = new INVOKEINTERFACE(index, 1);<a name="line.208"></a> |
| <FONT color="green">209</FONT> <a name="line.209"></a> |
| <FONT color="green">210</FONT> _slotAllocator = new SlotAllocator();<a name="line.210"></a> |
| <FONT color="green">211</FONT> _slotAllocator.initialize(getLocalVariableRegistry().getLocals(false));<a name="line.211"></a> |
| <FONT color="green">212</FONT> _allocatorInit = true;<a name="line.212"></a> |
| <FONT color="green">213</FONT> }<a name="line.213"></a> |
| <FONT color="green">214</FONT> <a name="line.214"></a> |
| <FONT color="green">215</FONT> /**<a name="line.215"></a> |
| <FONT color="green">216</FONT> * Allocates a local variable. If the slot allocator has already been<a name="line.216"></a> |
| <FONT color="green">217</FONT> * initialized, then call addLocalVariable2() so that the new variable<a name="line.217"></a> |
| <FONT color="green">218</FONT> * is known to the allocator. Failing to do this may cause the allocator <a name="line.218"></a> |
| <FONT color="green">219</FONT> * to return a slot that is already in use.<a name="line.219"></a> |
| <FONT color="green">220</FONT> */<a name="line.220"></a> |
| <FONT color="green">221</FONT> public LocalVariableGen addLocalVariable(String name, Type type,<a name="line.221"></a> |
| <FONT color="green">222</FONT> InstructionHandle start,<a name="line.222"></a> |
| <FONT color="green">223</FONT> InstructionHandle end) <a name="line.223"></a> |
| <FONT color="green">224</FONT> {<a name="line.224"></a> |
| <FONT color="green">225</FONT> LocalVariableGen lvg;<a name="line.225"></a> |
| <FONT color="green">226</FONT> <a name="line.226"></a> |
| <FONT color="green">227</FONT> if (_allocatorInit) {<a name="line.227"></a> |
| <FONT color="green">228</FONT> lvg = addLocalVariable2(name, type, start); <a name="line.228"></a> |
| <FONT color="green">229</FONT> } else {<a name="line.229"></a> |
| <FONT color="green">230</FONT> lvg = super.addLocalVariable(name, type, start, end);<a name="line.230"></a> |
| <FONT color="green">231</FONT> getLocalVariableRegistry().registerLocalVariable(lvg);<a name="line.231"></a> |
| <FONT color="green">232</FONT> }<a name="line.232"></a> |
| <FONT color="green">233</FONT> <a name="line.233"></a> |
| <FONT color="green">234</FONT> return lvg;<a name="line.234"></a> |
| <FONT color="green">235</FONT> }<a name="line.235"></a> |
| <FONT color="green">236</FONT> <a name="line.236"></a> |
| <FONT color="green">237</FONT> public LocalVariableGen addLocalVariable2(String name, Type type,<a name="line.237"></a> |
| <FONT color="green">238</FONT> InstructionHandle start) <a name="line.238"></a> |
| <FONT color="green">239</FONT> {<a name="line.239"></a> |
| <FONT color="green">240</FONT> LocalVariableGen lvg = super.addLocalVariable(name, type,<a name="line.240"></a> |
| <FONT color="green">241</FONT> _slotAllocator.allocateSlot(type),<a name="line.241"></a> |
| <FONT color="green">242</FONT> start, null);<a name="line.242"></a> |
| <FONT color="green">243</FONT> getLocalVariableRegistry().registerLocalVariable(lvg);<a name="line.243"></a> |
| <FONT color="green">244</FONT> return lvg;<a name="line.244"></a> |
| <FONT color="green">245</FONT> }<a name="line.245"></a> |
| <FONT color="green">246</FONT> <a name="line.246"></a> |
| <FONT color="green">247</FONT> private LocalVariableRegistry getLocalVariableRegistry() {<a name="line.247"></a> |
| <FONT color="green">248</FONT> if (_localVariableRegistry == null) {<a name="line.248"></a> |
| <FONT color="green">249</FONT> _localVariableRegistry = new LocalVariableRegistry();<a name="line.249"></a> |
| <FONT color="green">250</FONT> }<a name="line.250"></a> |
| <FONT color="green">251</FONT> <a name="line.251"></a> |
| <FONT color="green">252</FONT> return _localVariableRegistry;<a name="line.252"></a> |
| <FONT color="green">253</FONT> }<a name="line.253"></a> |
| <FONT color="green">254</FONT> <a name="line.254"></a> |
| <FONT color="green">255</FONT> /**<a name="line.255"></a> |
| <FONT color="green">256</FONT> * Keeps track of all local variables used in the method.<a name="line.256"></a> |
| <FONT color="green">257</FONT> * <p>The<a name="line.257"></a> |
| <FONT color="green">258</FONT> * {@link MethodGen#addLocalVariable(String,Type,InstructionHandle,InstructionHandle)}</code><a name="line.258"></a> |
| <FONT color="green">259</FONT> * and<a name="line.259"></a> |
| <FONT color="green">260</FONT> * {@link MethodGen#addLocalVariable(String,Type,int,InstructionHandle,InstructionHandle)}</code><a name="line.260"></a> |
| <FONT color="green">261</FONT> * methods of {@link MethodGen} will only keep track of<a name="line.261"></a> |
| <FONT color="green">262</FONT> * {@link LocalVariableGen} object until it'ss removed by a call to<a name="line.262"></a> |
| <FONT color="green">263</FONT> * {@link MethodGen#removeLocalVariable(LocalVariableGen)}.</p><a name="line.263"></a> |
| <FONT color="green">264</FONT> * <p>In order to support efficient copying of local variables to outlined<a name="line.264"></a> |
| <FONT color="green">265</FONT> * methods by<a name="line.265"></a> |
| <FONT color="green">266</FONT> * {@link #outline(InstructionHandle,InstructionHandle,String,ClassGenerator)},<a name="line.266"></a> |
| <FONT color="green">267</FONT> * this class keeps track of all local variables defined by the method.</p><a name="line.267"></a> |
| <FONT color="green">268</FONT> */<a name="line.268"></a> |
| <FONT color="green">269</FONT> protected class LocalVariableRegistry {<a name="line.269"></a> |
| <FONT color="green">270</FONT> /**<a name="line.270"></a> |
| <FONT color="green">271</FONT> * <p>A <code>java.lang.ArrayList</code> of all<a name="line.271"></a> |
| <FONT color="green">272</FONT> * {@link LocalVariableGen}s created for this method, indexed by the<a name="line.272"></a> |
| <FONT color="green">273</FONT> * slot number of the local variable. The JVM stack frame of local<a name="line.273"></a> |
| <FONT color="green">274</FONT> * variables is divided into "slots". A single slot can be used to<a name="line.274"></a> |
| <FONT color="green">275</FONT> * store more than one variable in a method, without regard to type, so<a name="line.275"></a> |
| <FONT color="green">276</FONT> * long as the byte code keeps the ranges of the two disjoint.</p><a name="line.276"></a> |
| <FONT color="green">277</FONT> * <p>If only one registration of use of a particular slot occurs, the<a name="line.277"></a> |
| <FONT color="green">278</FONT> * corresponding entry of <code>_variables</code> contains the<a name="line.278"></a> |
| <FONT color="green">279</FONT> * <code>LocalVariableGen</code>; if more than one occurs, the<a name="line.279"></a> |
| <FONT color="green">280</FONT> * corresponding entry contains all such <code>LocalVariableGen</code>s<a name="line.280"></a> |
| <FONT color="green">281</FONT> * registered for the same slot; and if none occurs, the entry will be<a name="line.281"></a> |
| <FONT color="green">282</FONT> * <code>null</code>. <a name="line.282"></a> |
| <FONT color="green">283</FONT> */<a name="line.283"></a> |
| <FONT color="green">284</FONT> protected ArrayList _variables = new ArrayList();<a name="line.284"></a> |
| <FONT color="green">285</FONT> <a name="line.285"></a> |
| <FONT color="green">286</FONT> /**<a name="line.286"></a> |
| <FONT color="green">287</FONT> * Maps a name to a {@link LocalVariableGen}<a name="line.287"></a> |
| <FONT color="green">288</FONT> */<a name="line.288"></a> |
| <FONT color="green">289</FONT> protected HashMap _nameToLVGMap = new HashMap();<a name="line.289"></a> |
| <FONT color="green">290</FONT> <a name="line.290"></a> |
| <FONT color="green">291</FONT> /**<a name="line.291"></a> |
| <FONT color="green">292</FONT> * Registers a {@link org.apache.bcel.generic.LocalVariableGen}<a name="line.292"></a> |
| <FONT color="green">293</FONT> * for this method.<a name="line.293"></a> |
| <FONT color="green">294</FONT> * <p><b>Preconditions:</b><a name="line.294"></a> |
| <FONT color="green">295</FONT> * <ul><a name="line.295"></a> |
| <FONT color="green">296</FONT> * <li>The range of instructions for <code>lvg</code> does not<a name="line.296"></a> |
| <FONT color="green">297</FONT> * overlap with the range of instructions for any<a name="line.297"></a> |
| <FONT color="green">298</FONT> * <code>LocalVariableGen</code> with the same slot index previously<a name="line.298"></a> |
| <FONT color="green">299</FONT> * registered for this method. <b><em>(Unchecked.)</em></b></li><a name="line.299"></a> |
| <FONT color="green">300</FONT> * </ul></p><a name="line.300"></a> |
| <FONT color="green">301</FONT> * @param lvg The variable to be registered<a name="line.301"></a> |
| <FONT color="green">302</FONT> */<a name="line.302"></a> |
| <FONT color="green">303</FONT> protected void registerLocalVariable(LocalVariableGen lvg) {<a name="line.303"></a> |
| <FONT color="green">304</FONT> int slot = lvg.getIndex();<a name="line.304"></a> |
| <FONT color="green">305</FONT> <a name="line.305"></a> |
| <FONT color="green">306</FONT> int registrySize = _variables.size();<a name="line.306"></a> |
| <FONT color="green">307</FONT> <a name="line.307"></a> |
| <FONT color="green">308</FONT> // If the LocalVariableGen uses a slot index beyond any previously<a name="line.308"></a> |
| <FONT color="green">309</FONT> // encountered, expand the _variables, padding with intervening null<a name="line.309"></a> |
| <FONT color="green">310</FONT> // entries as required.<a name="line.310"></a> |
| <FONT color="green">311</FONT> if (slot >= registrySize) {<a name="line.311"></a> |
| <FONT color="green">312</FONT> for (int i = registrySize; i < slot; i++) {<a name="line.312"></a> |
| <FONT color="green">313</FONT> _variables.add(null);<a name="line.313"></a> |
| <FONT color="green">314</FONT> }<a name="line.314"></a> |
| <FONT color="green">315</FONT> _variables.add(lvg);<a name="line.315"></a> |
| <FONT color="green">316</FONT> } else {<a name="line.316"></a> |
| <FONT color="green">317</FONT> // If the LocalVariableGen reuses a slot, make sure the entry<a name="line.317"></a> |
| <FONT color="green">318</FONT> // in _variables contains an ArrayList and add the newly<a name="line.318"></a> |
| <FONT color="green">319</FONT> // registered LocalVariableGen to the list. If the entry in<a name="line.319"></a> |
| <FONT color="green">320</FONT> // _variables just contains null padding, store the<a name="line.320"></a> |
| <FONT color="green">321</FONT> // LocalVariableGen directly.<a name="line.321"></a> |
| <FONT color="green">322</FONT> Object localsInSlot = _variables.get(slot);<a name="line.322"></a> |
| <FONT color="green">323</FONT> if (localsInSlot != null) {<a name="line.323"></a> |
| <FONT color="green">324</FONT> if (localsInSlot instanceof LocalVariableGen) {<a name="line.324"></a> |
| <FONT color="green">325</FONT> ArrayList listOfLocalsInSlot = new ArrayList();<a name="line.325"></a> |
| <FONT color="green">326</FONT> listOfLocalsInSlot.add(localsInSlot);<a name="line.326"></a> |
| <FONT color="green">327</FONT> listOfLocalsInSlot.add(lvg);<a name="line.327"></a> |
| <FONT color="green">328</FONT> _variables.set(slot, listOfLocalsInSlot);<a name="line.328"></a> |
| <FONT color="green">329</FONT> } else {<a name="line.329"></a> |
| <FONT color="green">330</FONT> ((ArrayList) localsInSlot).add(lvg);<a name="line.330"></a> |
| <FONT color="green">331</FONT> }<a name="line.331"></a> |
| <FONT color="green">332</FONT> } else {<a name="line.332"></a> |
| <FONT color="green">333</FONT> _variables.set(slot, lvg);<a name="line.333"></a> |
| <FONT color="green">334</FONT> }<a name="line.334"></a> |
| <FONT color="green">335</FONT> }<a name="line.335"></a> |
| <FONT color="green">336</FONT> <a name="line.336"></a> |
| <FONT color="green">337</FONT> registerByName(lvg);<a name="line.337"></a> |
| <FONT color="green">338</FONT> }<a name="line.338"></a> |
| <FONT color="green">339</FONT> <a name="line.339"></a> |
| <FONT color="green">340</FONT> /**<a name="line.340"></a> |
| <FONT color="green">341</FONT> * <p>Find which {@link LocalVariableGen}, if any, is registered for a<a name="line.341"></a> |
| <FONT color="green">342</FONT> * particular JVM local stack frame slot at a particular position in the<a name="line.342"></a> |
| <FONT color="green">343</FONT> * byte code for the method.</p><a name="line.343"></a> |
| <FONT color="green">344</FONT> * <p><b>Preconditions:</b><a name="line.344"></a> |
| <FONT color="green">345</FONT> * <ul><a name="line.345"></a> |
| <FONT color="green">346</FONT> * <li>The {@link InstructionList#setPositions()} has been called for<a name="line.346"></a> |
| <FONT color="green">347</FONT> * the {@link InstructionList} associated with this<a name="line.347"></a> |
| <FONT color="green">348</FONT> * {@link MethodGenerator}.</li><a name="line.348"></a> |
| <FONT color="green">349</FONT> * </ul></p><a name="line.349"></a> |
| <FONT color="green">350</FONT> * @param slot the JVM local stack frame slot number<a name="line.350"></a> |
| <FONT color="green">351</FONT> * @param offset the position in the byte code<a name="line.351"></a> |
| <FONT color="green">352</FONT> * @return the <code>LocalVariableGen</code> for the local variable<a name="line.352"></a> |
| <FONT color="green">353</FONT> * stored in the relevant slot at the relevant offset; <code>null</code><a name="line.353"></a> |
| <FONT color="green">354</FONT> * if there is none.<a name="line.354"></a> |
| <FONT color="green">355</FONT> */<a name="line.355"></a> |
| <FONT color="green">356</FONT> protected LocalVariableGen lookupRegisteredLocalVariable(int slot,<a name="line.356"></a> |
| <FONT color="green">357</FONT> int offset) {<a name="line.357"></a> |
| <FONT color="green">358</FONT> Object localsInSlot = (_variables != null) ? _variables.get(slot)<a name="line.358"></a> |
| <FONT color="green">359</FONT> : null;<a name="line.359"></a> |
| <FONT color="green">360</FONT> <a name="line.360"></a> |
| <FONT color="green">361</FONT> // If this slot index was never used, _variables.get will return<a name="line.361"></a> |
| <FONT color="green">362</FONT> // null; if it was used once, it will return the LocalVariableGen;<a name="line.362"></a> |
| <FONT color="green">363</FONT> // more than once it will return an ArrayList of all the<a name="line.363"></a> |
| <FONT color="green">364</FONT> // LocalVariableGens for variables stored in that slot. For each<a name="line.364"></a> |
| <FONT color="green">365</FONT> // LocalVariableGen, check whether its range includes the<a name="line.365"></a> |
| <FONT color="green">366</FONT> // specified offset, and return the first such encountered.<a name="line.366"></a> |
| <FONT color="green">367</FONT> if (localsInSlot != null) {<a name="line.367"></a> |
| <FONT color="green">368</FONT> if (localsInSlot instanceof LocalVariableGen) {<a name="line.368"></a> |
| <FONT color="green">369</FONT> LocalVariableGen lvg = (LocalVariableGen)localsInSlot;<a name="line.369"></a> |
| <FONT color="green">370</FONT> if (offsetInLocalVariableGenRange(lvg, offset)) {<a name="line.370"></a> |
| <FONT color="green">371</FONT> return lvg;<a name="line.371"></a> |
| <FONT color="green">372</FONT> }<a name="line.372"></a> |
| <FONT color="green">373</FONT> } else {<a name="line.373"></a> |
| <FONT color="green">374</FONT> ArrayList listOfLocalsInSlot = (ArrayList) localsInSlot;<a name="line.374"></a> |
| <FONT color="green">375</FONT> int size = listOfLocalsInSlot.size();<a name="line.375"></a> |
| <FONT color="green">376</FONT> <a name="line.376"></a> |
| <FONT color="green">377</FONT> for (int i = 0; i < size; i++) {<a name="line.377"></a> |
| <FONT color="green">378</FONT> LocalVariableGen lvg =<a name="line.378"></a> |
| <FONT color="green">379</FONT> (LocalVariableGen)listOfLocalsInSlot.get(i);<a name="line.379"></a> |
| <FONT color="green">380</FONT> if (offsetInLocalVariableGenRange(lvg, offset)) {<a name="line.380"></a> |
| <FONT color="green">381</FONT> return lvg;<a name="line.381"></a> |
| <FONT color="green">382</FONT> }<a name="line.382"></a> |
| <FONT color="green">383</FONT> }<a name="line.383"></a> |
| <FONT color="green">384</FONT> }<a name="line.384"></a> |
| <FONT color="green">385</FONT> }<a name="line.385"></a> |
| <FONT color="green">386</FONT> <a name="line.386"></a> |
| <FONT color="green">387</FONT> // No local variable stored in the specified slot at the specified<a name="line.387"></a> |
| <FONT color="green">388</FONT> return null;<a name="line.388"></a> |
| <FONT color="green">389</FONT> }<a name="line.389"></a> |
| <FONT color="green">390</FONT> <a name="line.390"></a> |
| <FONT color="green">391</FONT> /**<a name="line.391"></a> |
| <FONT color="green">392</FONT> * <p>Set up a mapping of the name of the specified<a name="line.392"></a> |
| <FONT color="green">393</FONT> * {@link LocalVariableGen} object to the <code>LocalVariableGen</code><a name="line.393"></a> |
| <FONT color="green">394</FONT> * itself.</p><a name="line.394"></a> |
| <FONT color="green">395</FONT> * <p>This is a bit of a hack. XSLTC is relying on the fact that the<a name="line.395"></a> |
| <FONT color="green">396</FONT> * name that is being looked up won't be duplicated, which isn't<a name="line.396"></a> |
| <FONT color="green">397</FONT> * guaranteed. It replaces code which used to call<a name="line.397"></a> |
| <FONT color="green">398</FONT> * {@link MethodGen#getLocalVariables()} and looped through the<a name="line.398"></a> |
| <FONT color="green">399</FONT> * <code>LocalVariableGen</code> objects it contained to find the one<a name="line.399"></a> |
| <FONT color="green">400</FONT> * with the specified name. However, <code>getLocalVariables()</code><a name="line.400"></a> |
| <FONT color="green">401</FONT> * has the side effect of setting the start and end for any<a name="line.401"></a> |
| <FONT color="green">402</FONT> * <code>LocalVariableGen</code> which did not already have them<a name="line.402"></a> |
| <FONT color="green">403</FONT> * set, which causes problems for outlining..</p><a name="line.403"></a> |
| <FONT color="green">404</FONT> * <p>See also {@link #lookUpByName(String)} and<a name="line.404"></a> |
| <FONT color="green">405</FONT> * {@link #removeByNameTracking(LocalVariableGen)}</P<a name="line.405"></a> |
| <FONT color="green">406</FONT> * @param lvg a <code>LocalVariableGen</code><a name="line.406"></a> |
| <FONT color="green">407</FONT> */<a name="line.407"></a> |
| <FONT color="green">408</FONT> protected void registerByName(LocalVariableGen lvg) {<a name="line.408"></a> |
| <FONT color="green">409</FONT> Object duplicateNameEntry = _nameToLVGMap.get(lvg.getName());<a name="line.409"></a> |
| <FONT color="green">410</FONT> <a name="line.410"></a> |
| <FONT color="green">411</FONT> if (duplicateNameEntry == null) {<a name="line.411"></a> |
| <FONT color="green">412</FONT> _nameToLVGMap.put(lvg.getName(), lvg);<a name="line.412"></a> |
| <FONT color="green">413</FONT> } else {<a name="line.413"></a> |
| <FONT color="green">414</FONT> ArrayList sameNameList;<a name="line.414"></a> |
| <FONT color="green">415</FONT> <a name="line.415"></a> |
| <FONT color="green">416</FONT> if (duplicateNameEntry instanceof ArrayList) {<a name="line.416"></a> |
| <FONT color="green">417</FONT> sameNameList = (ArrayList) duplicateNameEntry;<a name="line.417"></a> |
| <FONT color="green">418</FONT> sameNameList.add(lvg);<a name="line.418"></a> |
| <FONT color="green">419</FONT> } else {<a name="line.419"></a> |
| <FONT color="green">420</FONT> sameNameList = new ArrayList();<a name="line.420"></a> |
| <FONT color="green">421</FONT> sameNameList.add(duplicateNameEntry);<a name="line.421"></a> |
| <FONT color="green">422</FONT> sameNameList.add(lvg);<a name="line.422"></a> |
| <FONT color="green">423</FONT> }<a name="line.423"></a> |
| <FONT color="green">424</FONT> <a name="line.424"></a> |
| <FONT color="green">425</FONT> _nameToLVGMap.put(lvg.getName(), sameNameList);<a name="line.425"></a> |
| <FONT color="green">426</FONT> }<a name="line.426"></a> |
| <FONT color="green">427</FONT> }<a name="line.427"></a> |
| <FONT color="green">428</FONT> <a name="line.428"></a> |
| <FONT color="green">429</FONT> /**<a name="line.429"></a> |
| <FONT color="green">430</FONT> * Remove the mapping from the name of the specified<a name="line.430"></a> |
| <FONT color="green">431</FONT> * {@link LocalVariableGen} to itself. <a name="line.431"></a> |
| <FONT color="green">432</FONT> * See also {@link #registerByName(LocalVariableGen)} and<a name="line.432"></a> |
| <FONT color="green">433</FONT> * {@link #lookUpByName(String)}<a name="line.433"></a> |
| <FONT color="green">434</FONT> * @param lvg a <code>LocalVariableGen</code><a name="line.434"></a> |
| <FONT color="green">435</FONT> */<a name="line.435"></a> |
| <FONT color="green">436</FONT> protected void removeByNameTracking(LocalVariableGen lvg) {<a name="line.436"></a> |
| <FONT color="green">437</FONT> Object duplicateNameEntry = _nameToLVGMap.get(lvg.getName());<a name="line.437"></a> |
| <FONT color="green">438</FONT> <a name="line.438"></a> |
| <FONT color="green">439</FONT> if (duplicateNameEntry instanceof ArrayList) {<a name="line.439"></a> |
| <FONT color="green">440</FONT> ArrayList sameNameList = (ArrayList) duplicateNameEntry;<a name="line.440"></a> |
| <FONT color="green">441</FONT> for (int i = 0; i < sameNameList.size(); i++) {<a name="line.441"></a> |
| <FONT color="green">442</FONT> if (sameNameList.get(i) == lvg) {<a name="line.442"></a> |
| <FONT color="green">443</FONT> sameNameList.remove(i);<a name="line.443"></a> |
| <FONT color="green">444</FONT> break;<a name="line.444"></a> |
| <FONT color="green">445</FONT> }<a name="line.445"></a> |
| <FONT color="green">446</FONT> }<a name="line.446"></a> |
| <FONT color="green">447</FONT> } else {<a name="line.447"></a> |
| <FONT color="green">448</FONT> _nameToLVGMap.remove(lvg);<a name="line.448"></a> |
| <FONT color="green">449</FONT> }<a name="line.449"></a> |
| <FONT color="green">450</FONT> }<a name="line.450"></a> |
| <FONT color="green">451</FONT> <a name="line.451"></a> |
| <FONT color="green">452</FONT> /**<a name="line.452"></a> |
| <FONT color="green">453</FONT> * <p>Given the name of a variable, finds a {@link LocalVariableGen}<a name="line.453"></a> |
| <FONT color="green">454</FONT> * corresponding to it.</p><a name="line.454"></a> |
| <FONT color="green">455</FONT> * <p>See also {@link #registerByName(LocalVariableGen)} and<a name="line.455"></a> |
| <FONT color="green">456</FONT> * {@link #removeByNameTracking(LocalVariableGen)}</p><a name="line.456"></a> |
| <FONT color="green">457</FONT> * @param name<a name="line.457"></a> |
| <FONT color="green">458</FONT> * @return<a name="line.458"></a> |
| <FONT color="green">459</FONT> */<a name="line.459"></a> |
| <FONT color="green">460</FONT> protected LocalVariableGen lookUpByName(String name) {<a name="line.460"></a> |
| <FONT color="green">461</FONT> LocalVariableGen lvg = null;<a name="line.461"></a> |
| <FONT color="green">462</FONT> Object duplicateNameEntry = _nameToLVGMap.get(name);<a name="line.462"></a> |
| <FONT color="green">463</FONT> <a name="line.463"></a> |
| <FONT color="green">464</FONT> if (duplicateNameEntry instanceof ArrayList) {<a name="line.464"></a> |
| <FONT color="green">465</FONT> ArrayList sameNameList = (ArrayList) duplicateNameEntry;<a name="line.465"></a> |
| <FONT color="green">466</FONT> <a name="line.466"></a> |
| <FONT color="green">467</FONT> for (int i = 0; i < sameNameList.size(); i++) {<a name="line.467"></a> |
| <FONT color="green">468</FONT> lvg = (LocalVariableGen)sameNameList.get(i);<a name="line.468"></a> |
| <FONT color="green">469</FONT> if (lvg.getName() == name) {<a name="line.469"></a> |
| <FONT color="green">470</FONT> break;<a name="line.470"></a> |
| <FONT color="green">471</FONT> }<a name="line.471"></a> |
| <FONT color="green">472</FONT> }<a name="line.472"></a> |
| <FONT color="green">473</FONT> } else {<a name="line.473"></a> |
| <FONT color="green">474</FONT> lvg = (LocalVariableGen) duplicateNameEntry;<a name="line.474"></a> |
| <FONT color="green">475</FONT> }<a name="line.475"></a> |
| <FONT color="green">476</FONT> <a name="line.476"></a> |
| <FONT color="green">477</FONT> return lvg;<a name="line.477"></a> |
| <FONT color="green">478</FONT> }<a name="line.478"></a> |
| <FONT color="green">479</FONT> <a name="line.479"></a> |
| <FONT color="green">480</FONT> /**<a name="line.480"></a> |
| <FONT color="green">481</FONT> * <p>Gets all {@link LocalVariableGen} objects for this method.</p><a name="line.481"></a> |
| <FONT color="green">482</FONT> * <p>When the <code>includeRemoved</code> argument has the value<a name="line.482"></a> |
| <FONT color="green">483</FONT> * <code>false</code>, this method replaces uses of<a name="line.483"></a> |
| <FONT color="green">484</FONT> * {@link MethodGen#getLocalVariables()} which has<a name="line.484"></a> |
| <FONT color="green">485</FONT> * a side-effect of setting the start and end range for any<a name="line.485"></a> |
| <FONT color="green">486</FONT> * <code>LocalVariableGen</code> if either was <code>null</code>. That<a name="line.486"></a> |
| <FONT color="green">487</FONT> * side-effect causes problems for outlining of code in XSLTC. <a name="line.487"></a> |
| <FONT color="green">488</FONT> * @param includeRemoved Specifies whether all local variables ever<a name="line.488"></a> |
| <FONT color="green">489</FONT> * declared should be returned (<code>true</code>) or only those not<a name="line.489"></a> |
| <FONT color="green">490</FONT> * removed (<code>false</code>)<a name="line.490"></a> |
| <FONT color="green">491</FONT> * @return an array of <code>LocalVariableGen</code> containing all the<a name="line.491"></a> |
| <FONT color="green">492</FONT> * local variables<a name="line.492"></a> |
| <FONT color="green">493</FONT> */<a name="line.493"></a> |
| <FONT color="green">494</FONT> protected LocalVariableGen[] getLocals(boolean includeRemoved) {<a name="line.494"></a> |
| <FONT color="green">495</FONT> LocalVariableGen[] locals = null;<a name="line.495"></a> |
| <FONT color="green">496</FONT> ArrayList allVarsEverDeclared = new ArrayList();<a name="line.496"></a> |
| <FONT color="green">497</FONT> <a name="line.497"></a> |
| <FONT color="green">498</FONT> if (includeRemoved) {<a name="line.498"></a> |
| <FONT color="green">499</FONT> int slotCount = allVarsEverDeclared.size();<a name="line.499"></a> |
| <FONT color="green">500</FONT> <a name="line.500"></a> |
| <FONT color="green">501</FONT> for (int i = 0; i < slotCount; i++) {<a name="line.501"></a> |
| <FONT color="green">502</FONT> Object slotEntries = _variables.get(i);<a name="line.502"></a> |
| <FONT color="green">503</FONT> if (slotEntries != null) {<a name="line.503"></a> |
| <FONT color="green">504</FONT> if (slotEntries instanceof ArrayList) {<a name="line.504"></a> |
| <FONT color="green">505</FONT> ArrayList slotList = (ArrayList) slotEntries;<a name="line.505"></a> |
| <FONT color="green">506</FONT> <a name="line.506"></a> |
| <FONT color="green">507</FONT> for (int j = 0; j < slotList.size(); j++) {<a name="line.507"></a> |
| <FONT color="green">508</FONT> allVarsEverDeclared.add(slotList.get(i));<a name="line.508"></a> |
| <FONT color="green">509</FONT> }<a name="line.509"></a> |
| <FONT color="green">510</FONT> } else {<a name="line.510"></a> |
| <FONT color="green">511</FONT> allVarsEverDeclared.add(slotEntries);<a name="line.511"></a> |
| <FONT color="green">512</FONT> }<a name="line.512"></a> |
| <FONT color="green">513</FONT> }<a name="line.513"></a> |
| <FONT color="green">514</FONT> }<a name="line.514"></a> |
| <FONT color="green">515</FONT> } else {<a name="line.515"></a> |
| <FONT color="green">516</FONT> Iterator nameVarsPairsIter = _nameToLVGMap.entrySet().iterator();<a name="line.516"></a> |
| <FONT color="green">517</FONT> <a name="line.517"></a> |
| <FONT color="green">518</FONT> while (nameVarsPairsIter.hasNext()) {<a name="line.518"></a> |
| <FONT color="green">519</FONT> Map.Entry nameVarsPair =<a name="line.519"></a> |
| <FONT color="green">520</FONT> (Map.Entry) nameVarsPairsIter.next();<a name="line.520"></a> |
| <FONT color="green">521</FONT> Object vars = nameVarsPair.getValue();<a name="line.521"></a> |
| <FONT color="green">522</FONT> if (vars != null) {<a name="line.522"></a> |
| <FONT color="green">523</FONT> if (vars instanceof ArrayList) {<a name="line.523"></a> |
| <FONT color="green">524</FONT> ArrayList varsList = (ArrayList) vars;<a name="line.524"></a> |
| <FONT color="green">525</FONT> for (int i = 0; i < varsList.size(); i++) {<a name="line.525"></a> |
| <FONT color="green">526</FONT> allVarsEverDeclared.add(varsList.get(i));<a name="line.526"></a> |
| <FONT color="green">527</FONT> }<a name="line.527"></a> |
| <FONT color="green">528</FONT> } else {<a name="line.528"></a> |
| <FONT color="green">529</FONT> allVarsEverDeclared.add(vars);<a name="line.529"></a> |
| <FONT color="green">530</FONT> }<a name="line.530"></a> |
| <FONT color="green">531</FONT> }<a name="line.531"></a> |
| <FONT color="green">532</FONT> }<a name="line.532"></a> |
| <FONT color="green">533</FONT> }<a name="line.533"></a> |
| <FONT color="green">534</FONT> <a name="line.534"></a> |
| <FONT color="green">535</FONT> locals = new LocalVariableGen[allVarsEverDeclared.size()];<a name="line.535"></a> |
| <FONT color="green">536</FONT> allVarsEverDeclared.toArray(locals);<a name="line.536"></a> |
| <FONT color="green">537</FONT> <a name="line.537"></a> |
| <FONT color="green">538</FONT> return locals;<a name="line.538"></a> |
| <FONT color="green">539</FONT> }<a name="line.539"></a> |
| <FONT color="green">540</FONT> }<a name="line.540"></a> |
| <FONT color="green">541</FONT> <a name="line.541"></a> |
| <FONT color="green">542</FONT> /**<a name="line.542"></a> |
| <FONT color="green">543</FONT> * Determines whether a particular variable is in use at a particular offset<a name="line.543"></a> |
| <FONT color="green">544</FONT> * in the byte code for this method.<a name="line.544"></a> |
| <FONT color="green">545</FONT> * <p><b>Preconditions:</b><a name="line.545"></a> |
| <FONT color="green">546</FONT> * <ul><a name="line.546"></a> |
| <FONT color="green">547</FONT> * <li>The {@link InstructionList#setPositions()} has been called for the<a name="line.547"></a> |
| <FONT color="green">548</FONT> * {@link InstructionList} associated with this {@link MethodGenerator}.<a name="line.548"></a> |
| <FONT color="green">549</FONT> * </li></ul></p><a name="line.549"></a> |
| <FONT color="green">550</FONT> * @param lvg the {@link LocalVariableGen} for the variable<a name="line.550"></a> |
| <FONT color="green">551</FONT> * @param offset the position in the byte code<a name="line.551"></a> |
| <FONT color="green">552</FONT> * @return <code>true</code> if and only if the specified variable is in<a name="line.552"></a> |
| <FONT color="green">553</FONT> * use at the particular byte code offset.<a name="line.553"></a> |
| <FONT color="green">554</FONT> */<a name="line.554"></a> |
| <FONT color="green">555</FONT> boolean offsetInLocalVariableGenRange(LocalVariableGen lvg, int offset) {<a name="line.555"></a> |
| <FONT color="green">556</FONT> InstructionHandle lvgStart = lvg.getStart();<a name="line.556"></a> |
| <FONT color="green">557</FONT> InstructionHandle lvgEnd = lvg.getEnd();<a name="line.557"></a> |
| <FONT color="green">558</FONT> <a name="line.558"></a> |
| <FONT color="green">559</FONT> // If no start handle is recorded for the LocalVariableGen, it is<a name="line.559"></a> |
| <FONT color="green">560</FONT> // assumed to be in use from the beginning of the method.<a name="line.560"></a> |
| <FONT color="green">561</FONT> if (lvgStart == null) {<a name="line.561"></a> |
| <FONT color="green">562</FONT> lvgStart = getInstructionList().getStart();<a name="line.562"></a> |
| <FONT color="green">563</FONT> }<a name="line.563"></a> |
| <FONT color="green">564</FONT> <a name="line.564"></a> |
| <FONT color="green">565</FONT> // If no end handle is recorded for the LocalVariableGen, it is assumed<a name="line.565"></a> |
| <FONT color="green">566</FONT> // to be in use to the end of the method.<a name="line.566"></a> |
| <FONT color="green">567</FONT> if (lvgEnd == null) {<a name="line.567"></a> |
| <FONT color="green">568</FONT> lvgEnd = getInstructionList().getEnd();<a name="line.568"></a> |
| <FONT color="green">569</FONT> }<a name="line.569"></a> |
| <FONT color="green">570</FONT> <a name="line.570"></a> |
| <FONT color="green">571</FONT> // Does the range of the instruction include the specified offset?<a name="line.571"></a> |
| <FONT color="green">572</FONT> // Note that the InstructionHandle.getPosition method returns the<a name="line.572"></a> |
| <FONT color="green">573</FONT> // offset of the beginning of an instruction. A LocalVariableGen's<a name="line.573"></a> |
| <FONT color="green">574</FONT> // range includes the end instruction itself, so that instruction's<a name="line.574"></a> |
| <FONT color="green">575</FONT> // length must be taken into consideration in computing whether the<a name="line.575"></a> |
| <FONT color="green">576</FONT> // varible is in range at a particular offset.<a name="line.576"></a> |
| <FONT color="green">577</FONT> return ((lvgStart.getPosition() <= offset)<a name="line.577"></a> |
| <FONT color="green">578</FONT> && (lvgEnd.getPosition()<a name="line.578"></a> |
| <FONT color="green">579</FONT> + lvgEnd.getInstruction().getLength() >= offset));<a name="line.579"></a> |
| <FONT color="green">580</FONT> }<a name="line.580"></a> |
| <FONT color="green">581</FONT> <a name="line.581"></a> |
| <FONT color="green">582</FONT> public void removeLocalVariable(LocalVariableGen lvg) {<a name="line.582"></a> |
| <FONT color="green">583</FONT> _slotAllocator.releaseSlot(lvg);<a name="line.583"></a> |
| <FONT color="green">584</FONT> getLocalVariableRegistry().removeByNameTracking(lvg);<a name="line.584"></a> |
| <FONT color="green">585</FONT> super.removeLocalVariable(lvg);<a name="line.585"></a> |
| <FONT color="green">586</FONT> }<a name="line.586"></a> |
| <FONT color="green">587</FONT> <a name="line.587"></a> |
| <FONT color="green">588</FONT> public Instruction loadDOM() {<a name="line.588"></a> |
| <FONT color="green">589</FONT> return _aloadDom;<a name="line.589"></a> |
| <FONT color="green">590</FONT> }<a name="line.590"></a> |
| <FONT color="green">591</FONT> <a name="line.591"></a> |
| <FONT color="green">592</FONT> public Instruction storeDOM() {<a name="line.592"></a> |
| <FONT color="green">593</FONT> return _astoreDom;<a name="line.593"></a> |
| <FONT color="green">594</FONT> }<a name="line.594"></a> |
| <FONT color="green">595</FONT> <a name="line.595"></a> |
| <FONT color="green">596</FONT> public Instruction storeHandler() {<a name="line.596"></a> |
| <FONT color="green">597</FONT> return _astoreHandler;<a name="line.597"></a> |
| <FONT color="green">598</FONT> }<a name="line.598"></a> |
| <FONT color="green">599</FONT> <a name="line.599"></a> |
| <FONT color="green">600</FONT> public Instruction loadHandler() {<a name="line.600"></a> |
| <FONT color="green">601</FONT> return _aloadHandler;<a name="line.601"></a> |
| <FONT color="green">602</FONT> }<a name="line.602"></a> |
| <FONT color="green">603</FONT> <a name="line.603"></a> |
| <FONT color="green">604</FONT> public Instruction storeIterator() {<a name="line.604"></a> |
| <FONT color="green">605</FONT> return _astoreIterator;<a name="line.605"></a> |
| <FONT color="green">606</FONT> }<a name="line.606"></a> |
| <FONT color="green">607</FONT> <a name="line.607"></a> |
| <FONT color="green">608</FONT> public Instruction loadIterator() {<a name="line.608"></a> |
| <FONT color="green">609</FONT> return _aloadIterator;<a name="line.609"></a> |
| <FONT color="green">610</FONT> }<a name="line.610"></a> |
| <FONT color="green">611</FONT> <a name="line.611"></a> |
| <FONT color="green">612</FONT> public final Instruction setStartNode() {<a name="line.612"></a> |
| <FONT color="green">613</FONT> return _setStartNode;<a name="line.613"></a> |
| <FONT color="green">614</FONT> }<a name="line.614"></a> |
| <FONT color="green">615</FONT> <a name="line.615"></a> |
| <FONT color="green">616</FONT> public final Instruction reset() {<a name="line.616"></a> |
| <FONT color="green">617</FONT> return _reset;<a name="line.617"></a> |
| <FONT color="green">618</FONT> }<a name="line.618"></a> |
| <FONT color="green">619</FONT> <a name="line.619"></a> |
| <FONT color="green">620</FONT> public final Instruction nextNode() {<a name="line.620"></a> |
| <FONT color="green">621</FONT> return _nextNode;<a name="line.621"></a> |
| <FONT color="green">622</FONT> }<a name="line.622"></a> |
| <FONT color="green">623</FONT> <a name="line.623"></a> |
| <FONT color="green">624</FONT> public final Instruction startElement() {<a name="line.624"></a> |
| <FONT color="green">625</FONT> return _startElement;<a name="line.625"></a> |
| <FONT color="green">626</FONT> }<a name="line.626"></a> |
| <FONT color="green">627</FONT> <a name="line.627"></a> |
| <FONT color="green">628</FONT> public final Instruction endElement() {<a name="line.628"></a> |
| <FONT color="green">629</FONT> return _endElement;<a name="line.629"></a> |
| <FONT color="green">630</FONT> }<a name="line.630"></a> |
| <FONT color="green">631</FONT> <a name="line.631"></a> |
| <FONT color="green">632</FONT> public final Instruction startDocument() {<a name="line.632"></a> |
| <FONT color="green">633</FONT> return _startDocument;<a name="line.633"></a> |
| <FONT color="green">634</FONT> }<a name="line.634"></a> |
| <FONT color="green">635</FONT> <a name="line.635"></a> |
| <FONT color="green">636</FONT> public final Instruction endDocument() {<a name="line.636"></a> |
| <FONT color="green">637</FONT> return _endDocument;<a name="line.637"></a> |
| <FONT color="green">638</FONT> }<a name="line.638"></a> |
| <FONT color="green">639</FONT> <a name="line.639"></a> |
| <FONT color="green">640</FONT> public final Instruction attribute() {<a name="line.640"></a> |
| <FONT color="green">641</FONT> return _attribute;<a name="line.641"></a> |
| <FONT color="green">642</FONT> }<a name="line.642"></a> |
| <FONT color="green">643</FONT> <a name="line.643"></a> |
| <FONT color="green">644</FONT> public final Instruction uniqueAttribute() {<a name="line.644"></a> |
| <FONT color="green">645</FONT> return _uniqueAttribute;<a name="line.645"></a> |
| <FONT color="green">646</FONT> }<a name="line.646"></a> |
| <FONT color="green">647</FONT> <a name="line.647"></a> |
| <FONT color="green">648</FONT> public final Instruction namespace() {<a name="line.648"></a> |
| <FONT color="green">649</FONT> return _namespace;<a name="line.649"></a> |
| <FONT color="green">650</FONT> }<a name="line.650"></a> |
| <FONT color="green">651</FONT> <a name="line.651"></a> |
| <FONT color="green">652</FONT> public Instruction loadCurrentNode() {<a name="line.652"></a> |
| <FONT color="green">653</FONT> if (_iloadCurrent == null) {<a name="line.653"></a> |
| <FONT color="green">654</FONT> int idx = getLocalIndex("current");<a name="line.654"></a> |
| <FONT color="green">655</FONT> if (idx > 0)<a name="line.655"></a> |
| <FONT color="green">656</FONT> _iloadCurrent = new ILOAD(idx);<a name="line.656"></a> |
| <FONT color="green">657</FONT> else<a name="line.657"></a> |
| <FONT color="green">658</FONT> _iloadCurrent = new ICONST(0);<a name="line.658"></a> |
| <FONT color="green">659</FONT> }<a name="line.659"></a> |
| <FONT color="green">660</FONT> return _iloadCurrent;<a name="line.660"></a> |
| <FONT color="green">661</FONT> }<a name="line.661"></a> |
| <FONT color="green">662</FONT> <a name="line.662"></a> |
| <FONT color="green">663</FONT> public Instruction storeCurrentNode() {<a name="line.663"></a> |
| <FONT color="green">664</FONT> return _istoreCurrent != null<a name="line.664"></a> |
| <FONT color="green">665</FONT> ? _istoreCurrent<a name="line.665"></a> |
| <FONT color="green">666</FONT> : (_istoreCurrent = new ISTORE(getLocalIndex("current")));<a name="line.666"></a> |
| <FONT color="green">667</FONT> }<a name="line.667"></a> |
| <FONT color="green">668</FONT> <a name="line.668"></a> |
| <FONT color="green">669</FONT> /** by default context node is the same as current node. MK437 */<a name="line.669"></a> |
| <FONT color="green">670</FONT> public Instruction loadContextNode() {<a name="line.670"></a> |
| <FONT color="green">671</FONT> return loadCurrentNode();<a name="line.671"></a> |
| <FONT color="green">672</FONT> }<a name="line.672"></a> |
| <FONT color="green">673</FONT> <a name="line.673"></a> |
| <FONT color="green">674</FONT> public Instruction storeContextNode() {<a name="line.674"></a> |
| <FONT color="green">675</FONT> return storeCurrentNode();<a name="line.675"></a> |
| <FONT color="green">676</FONT> }<a name="line.676"></a> |
| <FONT color="green">677</FONT> <a name="line.677"></a> |
| <FONT color="green">678</FONT> public int getLocalIndex(String name) {<a name="line.678"></a> |
| <FONT color="green">679</FONT> return getLocalVariable(name).getIndex();<a name="line.679"></a> |
| <FONT color="green">680</FONT> }<a name="line.680"></a> |
| <FONT color="green">681</FONT> <a name="line.681"></a> |
| <FONT color="green">682</FONT> public LocalVariableGen getLocalVariable(String name) {<a name="line.682"></a> |
| <FONT color="green">683</FONT> return getLocalVariableRegistry().lookUpByName(name);<a name="line.683"></a> |
| <FONT color="green">684</FONT> }<a name="line.684"></a> |
| <FONT color="green">685</FONT> <a name="line.685"></a> |
| <FONT color="green">686</FONT> public void setMaxLocals() {<a name="line.686"></a> |
| <FONT color="green">687</FONT> <a name="line.687"></a> |
| <FONT color="green">688</FONT> // Get the current number of local variable slots<a name="line.688"></a> |
| <FONT color="green">689</FONT> int maxLocals = super.getMaxLocals();<a name="line.689"></a> |
| <FONT color="green">690</FONT> <a name="line.690"></a> |
| <FONT color="green">691</FONT> // Get numer of actual variables<a name="line.691"></a> |
| <FONT color="green">692</FONT> final LocalVariableGen[] localVars = super.getLocalVariables();<a name="line.692"></a> |
| <FONT color="green">693</FONT> if (localVars != null) {<a name="line.693"></a> |
| <FONT color="green">694</FONT> if (localVars.length > maxLocals)<a name="line.694"></a> |
| <FONT color="green">695</FONT> maxLocals = localVars.length;<a name="line.695"></a> |
| <FONT color="green">696</FONT> }<a name="line.696"></a> |
| <FONT color="green">697</FONT> <a name="line.697"></a> |
| <FONT color="green">698</FONT> // We want at least 5 local variable slots (for parameters)<a name="line.698"></a> |
| <FONT color="green">699</FONT> if (maxLocals < 5) maxLocals = 5;<a name="line.699"></a> |
| <FONT color="green">700</FONT> <a name="line.700"></a> |
| <FONT color="green">701</FONT> super.setMaxLocals(maxLocals);<a name="line.701"></a> |
| <FONT color="green">702</FONT> }<a name="line.702"></a> |
| <FONT color="green">703</FONT> <a name="line.703"></a> |
| <FONT color="green">704</FONT> /**<a name="line.704"></a> |
| <FONT color="green">705</FONT> * Add a pre-compiled pattern to this mode. <a name="line.705"></a> |
| <FONT color="green">706</FONT> */<a name="line.706"></a> |
| <FONT color="green">707</FONT> public void addInstructionList(Pattern pattern, InstructionList ilist) {<a name="line.707"></a> |
| <FONT color="green">708</FONT> _preCompiled.put(pattern, ilist);<a name="line.708"></a> |
| <FONT color="green">709</FONT> }<a name="line.709"></a> |
| <FONT color="green">710</FONT> <a name="line.710"></a> |
| <FONT color="green">711</FONT> /**<a name="line.711"></a> |
| <FONT color="green">712</FONT> * Get the instruction list for a pre-compiled pattern. Used by <a name="line.712"></a> |
| <FONT color="green">713</FONT> * test sequences to avoid compiling patterns more than once.<a name="line.713"></a> |
| <FONT color="green">714</FONT> */<a name="line.714"></a> |
| <FONT color="green">715</FONT> public InstructionList getInstructionList(Pattern pattern) {<a name="line.715"></a> |
| <FONT color="green">716</FONT> return (InstructionList) _preCompiled.get(pattern);<a name="line.716"></a> |
| <FONT color="green">717</FONT> }<a name="line.717"></a> |
| <FONT color="green">718</FONT> <a name="line.718"></a> |
| <FONT color="green">719</FONT> /**<a name="line.719"></a> |
| <FONT color="green">720</FONT> * Used to keep track of an outlineable chunk of instructions in the<a name="line.720"></a> |
| <FONT color="green">721</FONT> * current method. See {@link OutlineableChunkStart} and<a name="line.721"></a> |
| <FONT color="green">722</FONT> * {@link OutlineableChunkEnd} for more information.<a name="line.722"></a> |
| <FONT color="green">723</FONT> */<a name="line.723"></a> |
| <FONT color="green">724</FONT> private static class Chunk implements Comparable {<a name="line.724"></a> |
| <FONT color="green">725</FONT> /**<a name="line.725"></a> |
| <FONT color="green">726</FONT> * {@link InstructionHandle} of the first instruction in the outlineable<a name="line.726"></a> |
| <FONT color="green">727</FONT> * chunk.<a name="line.727"></a> |
| <FONT color="green">728</FONT> */<a name="line.728"></a> |
| <FONT color="green">729</FONT> private InstructionHandle m_start;<a name="line.729"></a> |
| <FONT color="green">730</FONT> <a name="line.730"></a> |
| <FONT color="green">731</FONT> /**<a name="line.731"></a> |
| <FONT color="green">732</FONT> * {@link org.apache.bcel.generic.InstructionHandle} of the first<a name="line.732"></a> |
| <FONT color="green">733</FONT> * instruction in the outlineable chunk.<a name="line.733"></a> |
| <FONT color="green">734</FONT> */<a name="line.734"></a> |
| <FONT color="green">735</FONT> private InstructionHandle m_end;<a name="line.735"></a> |
| <FONT color="green">736</FONT> <a name="line.736"></a> |
| <FONT color="green">737</FONT> /**<a name="line.737"></a> |
| <FONT color="green">738</FONT> * Number of bytes in the instructions contained in this outlineable<a name="line.738"></a> |
| <FONT color="green">739</FONT> * chunk.<a name="line.739"></a> |
| <FONT color="green">740</FONT> */<a name="line.740"></a> |
| <FONT color="green">741</FONT> private int m_size;<a name="line.741"></a> |
| <FONT color="green">742</FONT> <a name="line.742"></a> |
| <FONT color="green">743</FONT> /**<a name="line.743"></a> |
| <FONT color="green">744</FONT> * <p>Constructor for an outlineable {@link MethodGenerator.Chunk}.</p><a name="line.744"></a> |
| <FONT color="green">745</FONT> * <p><b>Preconditions:</b><a name="line.745"></a> |
| <FONT color="green">746</FONT> * <ul><a name="line.746"></a> |
| <FONT color="green">747</FONT> * <li>The {@link InstructionList#setPositions()} has been called for<a name="line.747"></a> |
| <FONT color="green">748</FONT> * the {@link InstructionList} associated with this<a name="line.748"></a> |
| <FONT color="green">749</FONT> * {@link MethodGenerator}.</li><a name="line.749"></a> |
| <FONT color="green">750</FONT> * </ul></p><a name="line.750"></a> |
| <FONT color="green">751</FONT> * @param start The {@link InstructionHandle} of the first<a name="line.751"></a> |
| <FONT color="green">752</FONT> * instruction in the outlineable chunk.<a name="line.752"></a> |
| <FONT color="green">753</FONT> * @param end The {@link InstructionHandle} of the last<a name="line.753"></a> |
| <FONT color="green">754</FONT> * instruction in the outlineable chunk.<a name="line.754"></a> |
| <FONT color="green">755</FONT> */<a name="line.755"></a> |
| <FONT color="green">756</FONT> Chunk(InstructionHandle start, InstructionHandle end) {<a name="line.756"></a> |
| <FONT color="green">757</FONT> m_start = start;<a name="line.757"></a> |
| <FONT color="green">758</FONT> m_end = end;<a name="line.758"></a> |
| <FONT color="green">759</FONT> m_size = end.getPosition() - start.getPosition();<a name="line.759"></a> |
| <FONT color="green">760</FONT> }<a name="line.760"></a> |
| <FONT color="green">761</FONT> <a name="line.761"></a> |
| <FONT color="green">762</FONT> /**<a name="line.762"></a> |
| <FONT color="green">763</FONT> * Determines whether this outlineable {@link MethodGenerator.Chunk} is<a name="line.763"></a> |
| <FONT color="green">764</FONT> * followed immediately by the argument<a name="line.764"></a> |
| <FONT color="green">765</FONT> * <code>MethodGenerator.Chunk</code>, with no other intervening<a name="line.765"></a> |
| <FONT color="green">766</FONT> * instructions, including {@link OutlineableChunkStart} or<a name="line.766"></a> |
| <FONT color="green">767</FONT> * {@link OutlineableChunkEnd} instructions.<a name="line.767"></a> |
| <FONT color="green">768</FONT> * @param neighbour an outlineable {@link MethodGenerator.Chunk}<a name="line.768"></a> |
| <FONT color="green">769</FONT> * @return <code>true</code> if and only if the argument chunk<a name="line.769"></a> |
| <FONT color="green">770</FONT> * immediately follows <code>this</code> chunk<a name="line.770"></a> |
| <FONT color="green">771</FONT> */<a name="line.771"></a> |
| <FONT color="green">772</FONT> boolean isAdjacentTo(Chunk neighbour) {<a name="line.772"></a> |
| <FONT color="green">773</FONT> return getChunkEnd().getNext() == neighbour.getChunkStart();<a name="line.773"></a> |
| <FONT color="green">774</FONT> }<a name="line.774"></a> |
| <FONT color="green">775</FONT> <a name="line.775"></a> |
| <FONT color="green">776</FONT> /**<a name="line.776"></a> |
| <FONT color="green">777</FONT> * Getter method for the start of this {@linke MethodGenerator.Chunk}<a name="line.777"></a> |
| <FONT color="green">778</FONT> * @return the {@link org.apache.bcel.generic.InstructionHandle} of the<a name="line.778"></a> |
| <FONT color="green">779</FONT> * start of this chunk<a name="line.779"></a> |
| <FONT color="green">780</FONT> */<a name="line.780"></a> |
| <FONT color="green">781</FONT> InstructionHandle getChunkStart() {<a name="line.781"></a> |
| <FONT color="green">782</FONT> return m_start;<a name="line.782"></a> |
| <FONT color="green">783</FONT> }<a name="line.783"></a> |
| <FONT color="green">784</FONT> <a name="line.784"></a> |
| <FONT color="green">785</FONT> /**<a name="line.785"></a> |
| <FONT color="green">786</FONT> * Getter method for the end of this {@link MethodGenerator.Chunk}<a name="line.786"></a> |
| <FONT color="green">787</FONT> * @return the {@link InstructionHandle} of the start of this chunk<a name="line.787"></a> |
| <FONT color="green">788</FONT> */<a name="line.788"></a> |
| <FONT color="green">789</FONT> InstructionHandle getChunkEnd() {<a name="line.789"></a> |
| <FONT color="green">790</FONT> return m_end;<a name="line.790"></a> |
| <FONT color="green">791</FONT> }<a name="line.791"></a> |
| <FONT color="green">792</FONT> <a name="line.792"></a> |
| <FONT color="green">793</FONT> /**<a name="line.793"></a> |
| <FONT color="green">794</FONT> * The size of this {@link MethodGenerator.Chunk}<a name="line.794"></a> |
| <FONT color="green">795</FONT> * @return the number of bytes in the byte code represented by this<a name="line.795"></a> |
| <FONT color="green">796</FONT> * chunk.<a name="line.796"></a> |
| <FONT color="green">797</FONT> */<a name="line.797"></a> |
| <FONT color="green">798</FONT> int getChunkSize() {<a name="line.798"></a> |
| <FONT color="green">799</FONT> return m_size;<a name="line.799"></a> |
| <FONT color="green">800</FONT> }<a name="line.800"></a> |
| <FONT color="green">801</FONT> <a name="line.801"></a> |
| <FONT color="green">802</FONT> /**<a name="line.802"></a> |
| <FONT color="green">803</FONT> * Implements the <code>java.util.Comparable.compareTo(Object)</code><a name="line.803"></a> |
| <FONT color="green">804</FONT> * method.<a name="line.804"></a> |
| <FONT color="green">805</FONT> * @return<a name="line.805"></a> |
| <FONT color="green">806</FONT> * <ul><a name="line.806"></a> |
| <FONT color="green">807</FONT> * <li>A positive <code>int</code> if the length of <code>this</code><a name="line.807"></a> |
| <FONT color="green">808</FONT> * chunk in bytes is greater than that of <code>comparand</code></li><a name="line.808"></a> |
| <FONT color="green">809</FONT> * <li>A negative <code>int</code> if the length of <code>this</code><a name="line.809"></a> |
| <FONT color="green">810</FONT> * chunk in bytes is less than that of <code>comparand</code></li><a name="line.810"></a> |
| <FONT color="green">811</FONT> * <li>Zero, otherwise.</li><a name="line.811"></a> |
| <FONT color="green">812</FONT> * </ul> <a name="line.812"></a> |
| <FONT color="green">813</FONT> */<a name="line.813"></a> |
| <FONT color="green">814</FONT> public int compareTo(Object comparand) {<a name="line.814"></a> |
| <FONT color="green">815</FONT> return getChunkSize() - ((Chunk)comparand).getChunkSize();<a name="line.815"></a> |
| <FONT color="green">816</FONT> }<a name="line.816"></a> |
| <FONT color="green">817</FONT> }<a name="line.817"></a> |
| <FONT color="green">818</FONT> <a name="line.818"></a> |
| <FONT color="green">819</FONT> /**<a name="line.819"></a> |
| <FONT color="green">820</FONT> * Find the outlineable chunks in this method that would be the best choices<a name="line.820"></a> |
| <FONT color="green">821</FONT> * to outline, based on size and position in the method.<a name="line.821"></a> |
| <FONT color="green">822</FONT> * @param classGen The {@link ClassGen} with which the generated methods<a name="line.822"></a> |
| <FONT color="green">823</FONT> * will be associated <a name="line.823"></a> |
| <FONT color="green">824</FONT> * @param totalMethodSize the size of the bytecode in the original method<a name="line.824"></a> |
| <FONT color="green">825</FONT> * @return a <code>java.util.ArrayList</code> containing the<a name="line.825"></a> |
| <FONT color="green">826</FONT> * {@link MethodGenerator.Chunk}s that may be outlined from this method<a name="line.826"></a> |
| <FONT color="green">827</FONT> */<a name="line.827"></a> |
| <FONT color="green">828</FONT> private ArrayList getCandidateChunks(ClassGenerator classGen,<a name="line.828"></a> |
| <FONT color="green">829</FONT> int totalMethodSize) {<a name="line.829"></a> |
| <FONT color="green">830</FONT> Iterator instructions = getInstructionList().iterator();<a name="line.830"></a> |
| <FONT color="green">831</FONT> ArrayList candidateChunks = new ArrayList();<a name="line.831"></a> |
| <FONT color="green">832</FONT> ArrayList currLevelChunks = new ArrayList();<a name="line.832"></a> |
| <FONT color="green">833</FONT> Stack subChunkStack = new Stack();<a name="line.833"></a> |
| <FONT color="green">834</FONT> boolean openChunkAtCurrLevel = false;<a name="line.834"></a> |
| <FONT color="green">835</FONT> boolean firstInstruction = true;<a name="line.835"></a> |
| <FONT color="green">836</FONT> <a name="line.836"></a> |
| <FONT color="green">837</FONT> InstructionHandle currentHandle;<a name="line.837"></a> |
| <FONT color="green">838</FONT> <a name="line.838"></a> |
| <FONT color="green">839</FONT> if (m_openChunks != 0) {<a name="line.839"></a> |
| <FONT color="green">840</FONT> String msg =<a name="line.840"></a> |
| <FONT color="green">841</FONT> (new ErrorMsg(ErrorMsg.OUTLINE_ERR_UNBALANCED_MARKERS))<a name="line.841"></a> |
| <FONT color="green">842</FONT> .toString();<a name="line.842"></a> |
| <FONT color="green">843</FONT> throw new InternalError(msg);<a name="line.843"></a> |
| <FONT color="green">844</FONT> }<a name="line.844"></a> |
| <FONT color="green">845</FONT> <a name="line.845"></a> |
| <FONT color="green">846</FONT> // Scan instructions in the method, keeping track of the nesting level<a name="line.846"></a> |
| <FONT color="green">847</FONT> // of outlineable chunks.<a name="line.847"></a> |
| <FONT color="green">848</FONT> //<a name="line.848"></a> |
| <FONT color="green">849</FONT> // currLevelChunks <a name="line.849"></a> |
| <FONT color="green">850</FONT> // keeps track of the child chunks of a chunk. For each chunk,<a name="line.850"></a> |
| <FONT color="green">851</FONT> // there will be a pair of entries: the InstructionHandles for the<a name="line.851"></a> |
| <FONT color="green">852</FONT> // start and for the end of the chunk<a name="line.852"></a> |
| <FONT color="green">853</FONT> // subChunkStack<a name="line.853"></a> |
| <FONT color="green">854</FONT> // a stack containing the partially accumulated currLevelChunks for<a name="line.854"></a> |
| <FONT color="green">855</FONT> // each chunk that's still open at the current position in the<a name="line.855"></a> |
| <FONT color="green">856</FONT> // InstructionList.<a name="line.856"></a> |
| <FONT color="green">857</FONT> // candidateChunks<a name="line.857"></a> |
| <FONT color="green">858</FONT> // the list of chunks which have been accepted as candidates chunks<a name="line.858"></a> |
| <FONT color="green">859</FONT> // for outlining<a name="line.859"></a> |
| <FONT color="green">860</FONT> do {<a name="line.860"></a> |
| <FONT color="green">861</FONT> // Get the next instruction. The loop will perform one extra<a name="line.861"></a> |
| <FONT color="green">862</FONT> // iteration after it reaches the end of the InstructionList, with<a name="line.862"></a> |
| <FONT color="green">863</FONT> // currentHandle set to null.<a name="line.863"></a> |
| <FONT color="green">864</FONT> currentHandle = instructions.hasNext()<a name="line.864"></a> |
| <FONT color="green">865</FONT> ? (InstructionHandle) instructions.next()<a name="line.865"></a> |
| <FONT color="green">866</FONT> : null;<a name="line.866"></a> |
| <FONT color="green">867</FONT> Instruction inst =<a name="line.867"></a> |
| <FONT color="green">868</FONT> (currentHandle != null) ? currentHandle.getInstruction()<a name="line.868"></a> |
| <FONT color="green">869</FONT> : null;<a name="line.869"></a> |
| <FONT color="green">870</FONT> <a name="line.870"></a> |
| <FONT color="green">871</FONT> // At the first iteration, create a chunk representing all the<a name="line.871"></a> |
| <FONT color="green">872</FONT> // code in the method. This is done just to simplify the logic -<a name="line.872"></a> |
| <FONT color="green">873</FONT> // this chunk can never be outlined because it will be too big.<a name="line.873"></a> |
| <FONT color="green">874</FONT> if (firstInstruction) {<a name="line.874"></a> |
| <FONT color="green">875</FONT> openChunkAtCurrLevel = true;<a name="line.875"></a> |
| <FONT color="green">876</FONT> currLevelChunks.add(currentHandle);<a name="line.876"></a> |
| <FONT color="green">877</FONT> firstInstruction = false;<a name="line.877"></a> |
| <FONT color="green">878</FONT> }<a name="line.878"></a> |
| <FONT color="green">879</FONT> <a name="line.879"></a> |
| <FONT color="green">880</FONT> // Found a new chunk<a name="line.880"></a> |
| <FONT color="green">881</FONT> if (inst instanceof OutlineableChunkStart) {<a name="line.881"></a> |
| <FONT color="green">882</FONT> // If last MarkerInstruction encountered was an<a name="line.882"></a> |
| <FONT color="green">883</FONT> // OutlineableChunkStart, this represents the first chunk<a name="line.883"></a> |
| <FONT color="green">884</FONT> // nested within that previous chunk - push the list of chunks<a name="line.884"></a> |
| <FONT color="green">885</FONT> // from the outer level onto the stack<a name="line.885"></a> |
| <FONT color="green">886</FONT> if (openChunkAtCurrLevel) {<a name="line.886"></a> |
| <FONT color="green">887</FONT> subChunkStack.push(currLevelChunks);<a name="line.887"></a> |
| <FONT color="green">888</FONT> currLevelChunks = new ArrayList();<a name="line.888"></a> |
| <FONT color="green">889</FONT> }<a name="line.889"></a> |
| <FONT color="green">890</FONT> <a name="line.890"></a> |
| <FONT color="green">891</FONT> openChunkAtCurrLevel = true;<a name="line.891"></a> |
| <FONT color="green">892</FONT> currLevelChunks.add(currentHandle);<a name="line.892"></a> |
| <FONT color="green">893</FONT> // Close off an open chunk<a name="line.893"></a> |
| <FONT color="green">894</FONT> } else if (currentHandle == null<a name="line.894"></a> |
| <FONT color="green">895</FONT> || inst instanceof OutlineableChunkEnd) {<a name="line.895"></a> |
| <FONT color="green">896</FONT> ArrayList nestedSubChunks = null;<a name="line.896"></a> |
| <FONT color="green">897</FONT> <a name="line.897"></a> |
| <FONT color="green">898</FONT> // If the last MarkerInstruction encountered was an<a name="line.898"></a> |
| <FONT color="green">899</FONT> // OutlineableChunkEnd, it means that the current instruction<a name="line.899"></a> |
| <FONT color="green">900</FONT> // marks the end of a chunk that contained child chunks.<a name="line.900"></a> |
| <FONT color="green">901</FONT> // Those children might need to be examined below in case they<a name="line.901"></a> |
| <FONT color="green">902</FONT> // are better candidates for outlining than the current chunk.<a name="line.902"></a> |
| <FONT color="green">903</FONT> if (!openChunkAtCurrLevel) {<a name="line.903"></a> |
| <FONT color="green">904</FONT> nestedSubChunks = currLevelChunks;<a name="line.904"></a> |
| <FONT color="green">905</FONT> currLevelChunks = (ArrayList)subChunkStack.pop();<a name="line.905"></a> |
| <FONT color="green">906</FONT> }<a name="line.906"></a> |
| <FONT color="green">907</FONT> <a name="line.907"></a> |
| <FONT color="green">908</FONT> // Get the handle for the start of this chunk (the last entry<a name="line.908"></a> |
| <FONT color="green">909</FONT> // in currLevelChunks)<a name="line.909"></a> |
| <FONT color="green">910</FONT> InstructionHandle chunkStart =<a name="line.910"></a> |
| <FONT color="green">911</FONT> (InstructionHandle) currLevelChunks.get(<a name="line.911"></a> |
| <FONT color="green">912</FONT> currLevelChunks.size()-1);<a name="line.912"></a> |
| <FONT color="green">913</FONT> <a name="line.913"></a> |
| <FONT color="green">914</FONT> int chunkEndPosition =<a name="line.914"></a> |
| <FONT color="green">915</FONT> (currentHandle != null) ? currentHandle.getPosition()<a name="line.915"></a> |
| <FONT color="green">916</FONT> : totalMethodSize;<a name="line.916"></a> |
| <FONT color="green">917</FONT> int chunkSize = chunkEndPosition - chunkStart.getPosition();<a name="line.917"></a> |
| <FONT color="green">918</FONT> <a name="line.918"></a> |
| <FONT color="green">919</FONT> // Two ranges of chunk size to consider:<a name="line.919"></a> |
| <FONT color="green">920</FONT> //<a name="line.920"></a> |
| <FONT color="green">921</FONT> // 1. [0,TARGET_METHOD_SIZE]<a name="line.921"></a> |
| <FONT color="green">922</FONT> // Keep this chunk in consideration as a candidate,<a name="line.922"></a> |
| <FONT color="green">923</FONT> // and ignore its subchunks, if any - there's nothing to be<a name="line.923"></a> |
| <FONT color="green">924</FONT> // gained by outlining both the current chunk and its<a name="line.924"></a> |
| <FONT color="green">925</FONT> // children!<a name="line.925"></a> |
| <FONT color="green">926</FONT> //<a name="line.926"></a> |
| <FONT color="green">927</FONT> // 2. (TARGET_METHOD_SIZE,+infinity)<a name="line.927"></a> |
| <FONT color="green">928</FONT> // Ignore this chunk - it's too big. Add its subchunks<a name="line.928"></a> |
| <FONT color="green">929</FONT> // as candidates, after merging adjacent chunks to produce<a name="line.929"></a> |
| <FONT color="green">930</FONT> // chunks that are as large as possible<a name="line.930"></a> |
| <FONT color="green">931</FONT> if (chunkSize <= TARGET_METHOD_SIZE) {<a name="line.931"></a> |
| <FONT color="green">932</FONT> currLevelChunks.add(currentHandle);<a name="line.932"></a> |
| <FONT color="green">933</FONT> } else {<a name="line.933"></a> |
| <FONT color="green">934</FONT> if (!openChunkAtCurrLevel) {<a name="line.934"></a> |
| <FONT color="green">935</FONT> int childChunkCount = nestedSubChunks.size() / 2;<a name="line.935"></a> |
| <FONT color="green">936</FONT> if (childChunkCount > 0) {<a name="line.936"></a> |
| <FONT color="green">937</FONT> Chunk[] childChunks = new Chunk[childChunkCount];<a name="line.937"></a> |
| <FONT color="green">938</FONT> <a name="line.938"></a> |
| <FONT color="green">939</FONT> // Gather all the child chunks of the current chunk<a name="line.939"></a> |
| <FONT color="green">940</FONT> for (int i = 0; i < childChunkCount; i++) {<a name="line.940"></a> |
| <FONT color="green">941</FONT> InstructionHandle start =<a name="line.941"></a> |
| <FONT color="green">942</FONT> (InstructionHandle) nestedSubChunks<a name="line.942"></a> |
| <FONT color="green">943</FONT> .get(i*2);<a name="line.943"></a> |
| <FONT color="green">944</FONT> InstructionHandle end =<a name="line.944"></a> |
| <FONT color="green">945</FONT> (InstructionHandle) nestedSubChunks<a name="line.945"></a> |
| <FONT color="green">946</FONT> .get(i*2+1);<a name="line.946"></a> |
| <FONT color="green">947</FONT> <a name="line.947"></a> |
| <FONT color="green">948</FONT> childChunks[i] = new Chunk(start, end);<a name="line.948"></a> |
| <FONT color="green">949</FONT> }<a name="line.949"></a> |
| <FONT color="green">950</FONT> <a name="line.950"></a> |
| <FONT color="green">951</FONT> // Merge adjacent siblings<a name="line.951"></a> |
| <FONT color="green">952</FONT> ArrayList mergedChildChunks =<a name="line.952"></a> |
| <FONT color="green">953</FONT> mergeAdjacentChunks(childChunks);<a name="line.953"></a> |
| <FONT color="green">954</FONT> <a name="line.954"></a> |
| <FONT color="green">955</FONT> // Add chunks that mean minimum size requirements<a name="line.955"></a> |
| <FONT color="green">956</FONT> // to the list of candidate chunks for outlining<a name="line.956"></a> |
| <FONT color="green">957</FONT> for (int i = 0; i < mergedChildChunks.size(); i++) {<a name="line.957"></a> |
| <FONT color="green">958</FONT> Chunk mergedChunk =<a name="line.958"></a> |
| <FONT color="green">959</FONT> (Chunk)mergedChildChunks.get(i);<a name="line.959"></a> |
| <FONT color="green">960</FONT> int mergedSize = mergedChunk.getChunkSize();<a name="line.960"></a> |
| <FONT color="green">961</FONT> <a name="line.961"></a> |
| <FONT color="green">962</FONT> if (mergedSize >= MINIMUM_OUTLINEABLE_CHUNK_SIZE<a name="line.962"></a> |
| <FONT color="green">963</FONT> && mergedSize <= TARGET_METHOD_SIZE) {<a name="line.963"></a> |
| <FONT color="green">964</FONT> candidateChunks.add(mergedChunk);<a name="line.964"></a> |
| <FONT color="green">965</FONT> }<a name="line.965"></a> |
| <FONT color="green">966</FONT> }<a name="line.966"></a> |
| <FONT color="green">967</FONT> }<a name="line.967"></a> |
| <FONT color="green">968</FONT> }<a name="line.968"></a> |
| <FONT color="green">969</FONT> <a name="line.969"></a> |
| <FONT color="green">970</FONT> // Drop the chunk which was too big<a name="line.970"></a> |
| <FONT color="green">971</FONT> currLevelChunks.remove(currLevelChunks.size() - 1);<a name="line.971"></a> |
| <FONT color="green">972</FONT> }<a name="line.972"></a> |
| <FONT color="green">973</FONT> <a name="line.973"></a> |
| <FONT color="green">974</FONT> // currLevelChunks contains pairs of InstructionHandles. If<a name="line.974"></a> |
| <FONT color="green">975</FONT> // its size is an odd number, the loop has encountered the<a name="line.975"></a> |
| <FONT color="green">976</FONT> // start of a chunk at this level, but not its end.<a name="line.976"></a> |
| <FONT color="green">977</FONT> openChunkAtCurrLevel = ((currLevelChunks.size() & 0x1) == 1);<a name="line.977"></a> |
| <FONT color="green">978</FONT> }<a name="line.978"></a> |
| <FONT color="green">979</FONT> <a name="line.979"></a> |
| <FONT color="green">980</FONT> } while (currentHandle != null);<a name="line.980"></a> |
| <FONT color="green">981</FONT> <a name="line.981"></a> |
| <FONT color="green">982</FONT> return candidateChunks;<a name="line.982"></a> |
| <FONT color="green">983</FONT> }<a name="line.983"></a> |
| <FONT color="green">984</FONT> <a name="line.984"></a> |
| <FONT color="green">985</FONT> /**<a name="line.985"></a> |
| <FONT color="green">986</FONT> * Merge adjacent sibling chunks to produce larger candidate chunks for<a name="line.986"></a> |
| <FONT color="green">987</FONT> * outlining<a name="line.987"></a> |
| <FONT color="green">988</FONT> * @param chunks array of sibling {@link MethodGenerator.Chunk}s that are<a name="line.988"></a> |
| <FONT color="green">989</FONT> * under consideration for outlining. Chunks must be in<a name="line.989"></a> |
| <FONT color="green">990</FONT> * the order encountered in the {@link InstructionList}<a name="line.990"></a> |
| <FONT color="green">991</FONT> * @return a <code>java.util.ArrayList</code> of<a name="line.991"></a> |
| <FONT color="green">992</FONT> * <code>MethodGenerator.Chunk</code>s maximally merged <a name="line.992"></a> |
| <FONT color="green">993</FONT> */<a name="line.993"></a> |
| <FONT color="green">994</FONT> private ArrayList mergeAdjacentChunks(Chunk[] chunks) {<a name="line.994"></a> |
| <FONT color="green">995</FONT> int[] adjacencyRunStart = new int[chunks.length];<a name="line.995"></a> |
| <FONT color="green">996</FONT> int[] adjacencyRunLength = new int[chunks.length];<a name="line.996"></a> |
| <FONT color="green">997</FONT> boolean[] chunkWasMerged = new boolean[chunks.length];<a name="line.997"></a> |
| <FONT color="green">998</FONT> <a name="line.998"></a> |
| <FONT color="green">999</FONT> int maximumRunOfChunks = 0;<a name="line.999"></a> |
| <FONT color="green">1000</FONT> int startOfCurrentRun;<a name="line.1000"></a> |
| <FONT color="green">1001</FONT> int numAdjacentRuns = 0;<a name="line.1001"></a> |
| <FONT color="green">1002</FONT> <a name="line.1002"></a> |
| <FONT color="green">1003</FONT> ArrayList mergedChunks = new ArrayList();<a name="line.1003"></a> |
| <FONT color="green">1004</FONT> <a name="line.1004"></a> |
| <FONT color="green">1005</FONT> startOfCurrentRun = 0;<a name="line.1005"></a> |
| <FONT color="green">1006</FONT> <a name="line.1006"></a> |
| <FONT color="green">1007</FONT> // Loop through chunks, and record in adjacencyRunStart where each<a name="line.1007"></a> |
| <FONT color="green">1008</FONT> // run of adjacent chunks begins and how many are in that run. For<a name="line.1008"></a> |
| <FONT color="green">1009</FONT> // example, given chunks A B C D E F, if A is adjacent to B, but not<a name="line.1009"></a> |
| <FONT color="green">1010</FONT> // to C, and C, D, E and F are all adjacent,<a name="line.1010"></a> |
| <FONT color="green">1011</FONT> // adjacencyRunStart[0] == 0; adjacencyRunLength[0] == 2<a name="line.1011"></a> |
| <FONT color="green">1012</FONT> // adjacencyRunStart[1] == 2; adjacencyRunLength[1] == 4<a name="line.1012"></a> |
| <FONT color="green">1013</FONT> for (int i = 1; i < chunks.length; i++) {<a name="line.1013"></a> |
| <FONT color="green">1014</FONT> if (!chunks[i-1].isAdjacentTo(chunks[i])) {<a name="line.1014"></a> |
| <FONT color="green">1015</FONT> int lengthOfRun = i - startOfCurrentRun;<a name="line.1015"></a> |
| <FONT color="green">1016</FONT> <a name="line.1016"></a> |
| <FONT color="green">1017</FONT> // Track the longest run of chunks found<a name="line.1017"></a> |
| <FONT color="green">1018</FONT> if (maximumRunOfChunks < lengthOfRun) {<a name="line.1018"></a> |
| <FONT color="green">1019</FONT> maximumRunOfChunks = lengthOfRun;<a name="line.1019"></a> |
| <FONT color="green">1020</FONT> }<a name="line.1020"></a> |
| <FONT color="green">1021</FONT> <a name="line.1021"></a> |
| <FONT color="green">1022</FONT> if (lengthOfRun > 1 ) {<a name="line.1022"></a> |
| <FONT color="green">1023</FONT> adjacencyRunLength[numAdjacentRuns] = lengthOfRun;<a name="line.1023"></a> |
| <FONT color="green">1024</FONT> adjacencyRunStart[numAdjacentRuns] = startOfCurrentRun;<a name="line.1024"></a> |
| <FONT color="green">1025</FONT> numAdjacentRuns++;<a name="line.1025"></a> |
| <FONT color="green">1026</FONT> }<a name="line.1026"></a> |
| <FONT color="green">1027</FONT> <a name="line.1027"></a> |
| <FONT color="green">1028</FONT> startOfCurrentRun = i;<a name="line.1028"></a> |
| <FONT color="green">1029</FONT> }<a name="line.1029"></a> |
| <FONT color="green">1030</FONT> }<a name="line.1030"></a> |
| <FONT color="green">1031</FONT> <a name="line.1031"></a> |
| <FONT color="green">1032</FONT> if (chunks.length - startOfCurrentRun > 1) {<a name="line.1032"></a> |
| <FONT color="green">1033</FONT> int lengthOfRun = chunks.length - startOfCurrentRun;<a name="line.1033"></a> |
| <FONT color="green">1034</FONT> <a name="line.1034"></a> |
| <FONT color="green">1035</FONT> // Track the longest run of chunks found<a name="line.1035"></a> |
| <FONT color="green">1036</FONT> if (maximumRunOfChunks < lengthOfRun) {<a name="line.1036"></a> |
| <FONT color="green">1037</FONT> maximumRunOfChunks = lengthOfRun;<a name="line.1037"></a> |
| <FONT color="green">1038</FONT> }<a name="line.1038"></a> |
| <FONT color="green">1039</FONT> <a name="line.1039"></a> |
| <FONT color="green">1040</FONT> adjacencyRunLength[numAdjacentRuns] =<a name="line.1040"></a> |
| <FONT color="green">1041</FONT> chunks.length - startOfCurrentRun;<a name="line.1041"></a> |
| <FONT color="green">1042</FONT> adjacencyRunStart[numAdjacentRuns] = startOfCurrentRun;<a name="line.1042"></a> |
| <FONT color="green">1043</FONT> numAdjacentRuns++;<a name="line.1043"></a> |
| <FONT color="green">1044</FONT> }<a name="line.1044"></a> |
| <FONT color="green">1045</FONT> <a name="line.1045"></a> |
| <FONT color="green">1046</FONT> // Try merging adjacent chunks to come up with better sized chunks for<a name="line.1046"></a> |
| <FONT color="green">1047</FONT> // outlining. This algorithm is not optimal, but it should be<a name="line.1047"></a> |
| <FONT color="green">1048</FONT> // reasonably fast. Consider an example like this, where four chunks<a name="line.1048"></a> |
| <FONT color="green">1049</FONT> // of the sizes specified in brackets are adjacent. The best way of<a name="line.1049"></a> |
| <FONT color="green">1050</FONT> // combining these chunks would be to merge the first pair and merge<a name="line.1050"></a> |
| <FONT color="green">1051</FONT> // the last three to form two chunks, but the algorithm will merge the<a name="line.1051"></a> |
| <FONT color="green">1052</FONT> // three in the middle instead, leaving three chunks in all.<a name="line.1052"></a> |
| <FONT color="green">1053</FONT> // [25000] [25000] [20000] [1000] [20000]<a name="line.1053"></a> |
| <FONT color="green">1054</FONT> <a name="line.1054"></a> |
| <FONT color="green">1055</FONT> // Start by trying to merge the maximum number of adjacent chunks, and<a name="line.1055"></a> |
| <FONT color="green">1056</FONT> // work down from there.<a name="line.1056"></a> |
| <FONT color="green">1057</FONT> for (int numToMerge = maximumRunOfChunks; numToMerge>1; numToMerge--) {<a name="line.1057"></a> |
| <FONT color="green">1058</FONT> // Look at each run of adjacent chunks<a name="line.1058"></a> |
| <FONT color="green">1059</FONT> for (int run = 0; run < numAdjacentRuns; run++) {<a name="line.1059"></a> |
| <FONT color="green">1060</FONT> int runStart = adjacencyRunStart[run];<a name="line.1060"></a> |
| <FONT color="green">1061</FONT> int runEnd = runStart + adjacencyRunLength[run] - 1;<a name="line.1061"></a> |
| <FONT color="green">1062</FONT> <a name="line.1062"></a> |
| <FONT color="green">1063</FONT> boolean foundChunksToMerge = false;<a name="line.1063"></a> |
| <FONT color="green">1064</FONT> <a name="line.1064"></a> |
| <FONT color="green">1065</FONT> // Within the current run of adjacent chunks, look at all<a name="line.1065"></a> |
| <FONT color="green">1066</FONT> // "subruns" of length numToMerge, until we run out or find<a name="line.1066"></a> |
| <FONT color="green">1067</FONT> // a subrun that can be merged.<a name="line.1067"></a> |
| <FONT color="green">1068</FONT> for (int mergeStart = runStart;<a name="line.1068"></a> |
| <FONT color="green">1069</FONT> mergeStart+numToMerge-1 <= runEnd && !foundChunksToMerge; <a name="line.1069"></a> |
| <FONT color="green">1070</FONT> mergeStart++) {<a name="line.1070"></a> |
| <FONT color="green">1071</FONT> int mergeEnd = mergeStart + numToMerge - 1;<a name="line.1071"></a> |
| <FONT color="green">1072</FONT> int mergeSize = 0;<a name="line.1072"></a> |
| <FONT color="green">1073</FONT> <a name="line.1073"></a> |
| <FONT color="green">1074</FONT> // Find out how big the subrun is<a name="line.1074"></a> |
| <FONT color="green">1075</FONT> for (int j = mergeStart; j <= mergeEnd; j++) {<a name="line.1075"></a> |
| <FONT color="green">1076</FONT> mergeSize = mergeSize + chunks[j].getChunkSize();<a name="line.1076"></a> |
| <FONT color="green">1077</FONT> }<a name="line.1077"></a> |
| <FONT color="green">1078</FONT> <a name="line.1078"></a> |
| <FONT color="green">1079</FONT> // If the current subrun is small enough to outline,<a name="line.1079"></a> |
| <FONT color="green">1080</FONT> // merge it, and split the remaining chunks in the run<a name="line.1080"></a> |
| <FONT color="green">1081</FONT> if (mergeSize <= TARGET_METHOD_SIZE) {<a name="line.1081"></a> |
| <FONT color="green">1082</FONT> foundChunksToMerge = true;<a name="line.1082"></a> |
| <FONT color="green">1083</FONT> <a name="line.1083"></a> |
| <FONT color="green">1084</FONT> for (int j = mergeStart; j <= mergeEnd; j++) {<a name="line.1084"></a> |
| <FONT color="green">1085</FONT> chunkWasMerged[j] = true;<a name="line.1085"></a> |
| <FONT color="green">1086</FONT> }<a name="line.1086"></a> |
| <FONT color="green">1087</FONT> <a name="line.1087"></a> |
| <FONT color="green">1088</FONT> mergedChunks.add(<a name="line.1088"></a> |
| <FONT color="green">1089</FONT> new Chunk(chunks[mergeStart].getChunkStart(),<a name="line.1089"></a> |
| <FONT color="green">1090</FONT> chunks[mergeEnd].getChunkEnd()));<a name="line.1090"></a> |
| <FONT color="green">1091</FONT> <a name="line.1091"></a> |
| <FONT color="green">1092</FONT> // Adjust the length of the current run of adjacent<a name="line.1092"></a> |
| <FONT color="green">1093</FONT> // chunks to end at the newly merged chunk...<a name="line.1093"></a> |
| <FONT color="green">1094</FONT> adjacencyRunLength[run] =<a name="line.1094"></a> |
| <FONT color="green">1095</FONT> adjacencyRunStart[run] - mergeStart;<a name="line.1095"></a> |
| <FONT color="green">1096</FONT> <a name="line.1096"></a> |
| <FONT color="green">1097</FONT> int trailingRunLength = runEnd - mergeEnd;<a name="line.1097"></a> |
| <FONT color="green">1098</FONT> <a name="line.1098"></a> |
| <FONT color="green">1099</FONT> // and any chunks that follow the newly merged chunk<a name="line.1099"></a> |
| <FONT color="green">1100</FONT> // in the current run of adjacent chunks form another<a name="line.1100"></a> |
| <FONT color="green">1101</FONT> // new run of adjacent chunks<a name="line.1101"></a> |
| <FONT color="green">1102</FONT> if (trailingRunLength >= 2) {<a name="line.1102"></a> |
| <FONT color="green">1103</FONT> adjacencyRunStart[numAdjacentRuns] = mergeEnd + 1;<a name="line.1103"></a> |
| <FONT color="green">1104</FONT> adjacencyRunLength[numAdjacentRuns] =<a name="line.1104"></a> |
| <FONT color="green">1105</FONT> trailingRunLength;<a name="line.1105"></a> |
| <FONT color="green">1106</FONT> numAdjacentRuns++;<a name="line.1106"></a> |
| <FONT color="green">1107</FONT> }<a name="line.1107"></a> |
| <FONT color="green">1108</FONT> }<a name="line.1108"></a> |
| <FONT color="green">1109</FONT> }<a name="line.1109"></a> |
| <FONT color="green">1110</FONT> }<a name="line.1110"></a> |
| <FONT color="green">1111</FONT> }<a name="line.1111"></a> |
| <FONT color="green">1112</FONT> <a name="line.1112"></a> |
| <FONT color="green">1113</FONT> // Make a final pass for any chunk that wasn't merged with a sibling<a name="line.1113"></a> |
| <FONT color="green">1114</FONT> // and include it in the list of chunks after merging.<a name="line.1114"></a> |
| <FONT color="green">1115</FONT> for (int i = 0; i < chunks.length; i++) {<a name="line.1115"></a> |
| <FONT color="green">1116</FONT> if (!chunkWasMerged[i]) {<a name="line.1116"></a> |
| <FONT color="green">1117</FONT> mergedChunks.add(chunks[i]);<a name="line.1117"></a> |
| <FONT color="green">1118</FONT> }<a name="line.1118"></a> |
| <FONT color="green">1119</FONT> }<a name="line.1119"></a> |
| <FONT color="green">1120</FONT> <a name="line.1120"></a> |
| <FONT color="green">1121</FONT> return mergedChunks;<a name="line.1121"></a> |
| <FONT color="green">1122</FONT> }<a name="line.1122"></a> |
| <FONT color="green">1123</FONT> <a name="line.1123"></a> |
| <FONT color="green">1124</FONT> /**<a name="line.1124"></a> |
| <FONT color="green">1125</FONT> * Breaks up the IL for this {@link MethodGenerator} into separate<a name="line.1125"></a> |
| <FONT color="green">1126</FONT> * outlined methods so that no method exceeds the 64KB limit on the length<a name="line.1126"></a> |
| <FONT color="green">1127</FONT> * of the byte code associated with a method. <a name="line.1127"></a> |
| <FONT color="green">1128</FONT> * @param classGen The {@link ClassGen} with which the generated methods<a name="line.1128"></a> |
| <FONT color="green">1129</FONT> * will be associated<a name="line.1129"></a> |
| <FONT color="green">1130</FONT> * @param originalMethodSize The number of bytes of bytecode represented by<a name="line.1130"></a> |
| <FONT color="green">1131</FONT> * the {@link InstructionList} of this method<a name="line.1131"></a> |
| <FONT color="green">1132</FONT> * @return an array of the outlined <code>Method</code>s and the original<a name="line.1132"></a> |
| <FONT color="green">1133</FONT> * method itself<a name="line.1133"></a> |
| <FONT color="green">1134</FONT> */<a name="line.1134"></a> |
| <FONT color="green">1135</FONT> public Method[] outlineChunks(ClassGenerator classGen,<a name="line.1135"></a> |
| <FONT color="green">1136</FONT> int originalMethodSize) {<a name="line.1136"></a> |
| <FONT color="green">1137</FONT> ArrayList methodsOutlined = new ArrayList();<a name="line.1137"></a> |
| <FONT color="green">1138</FONT> int currentMethodSize = originalMethodSize;<a name="line.1138"></a> |
| <FONT color="green">1139</FONT> <a name="line.1139"></a> |
| <FONT color="green">1140</FONT> int outlinedCount = 0;<a name="line.1140"></a> |
| <FONT color="green">1141</FONT> boolean moreMethodsOutlined;<a name="line.1141"></a> |
| <FONT color="green">1142</FONT> String originalMethodName = getName();<a name="line.1142"></a> |
| <FONT color="green">1143</FONT> <a name="line.1143"></a> |
| <FONT color="green">1144</FONT> // Special handling for initialization methods. No other methods can<a name="line.1144"></a> |
| <FONT color="green">1145</FONT> // include the less than and greater than characters in their names,<a name="line.1145"></a> |
| <FONT color="green">1146</FONT> // so we munge the names here.<a name="line.1146"></a> |
| <FONT color="green">1147</FONT> if (originalMethodName.equals("<init>")) {<a name="line.1147"></a> |
| <FONT color="green">1148</FONT> originalMethodName = "$lt$init$gt$";<a name="line.1148"></a> |
| <FONT color="green">1149</FONT> } else if (originalMethodName.equals("<clinit>")) {<a name="line.1149"></a> |
| <FONT color="green">1150</FONT> originalMethodName = "$lt$clinit$gt$";<a name="line.1150"></a> |
| <FONT color="green">1151</FONT> }<a name="line.1151"></a> |
| <FONT color="green">1152</FONT> <a name="line.1152"></a> |
| <FONT color="green">1153</FONT> // Loop until the original method comes in under the JVM limit or<a name="line.1153"></a> |
| <FONT color="green">1154</FONT> // the loop was unable to outline any more methods<a name="line.1154"></a> |
| <FONT color="green">1155</FONT> do {<a name="line.1155"></a> |
| <FONT color="green">1156</FONT> // Get all the best candidates for outlining, and sort them in<a name="line.1156"></a> |
| <FONT color="green">1157</FONT> // ascending order of size<a name="line.1157"></a> |
| <FONT color="green">1158</FONT> ArrayList candidateChunks = getCandidateChunks(classGen,<a name="line.1158"></a> |
| <FONT color="green">1159</FONT> currentMethodSize);<a name="line.1159"></a> |
| <FONT color="green">1160</FONT> Collections.sort(candidateChunks);<a name="line.1160"></a> |
| <FONT color="green">1161</FONT> <a name="line.1161"></a> |
| <FONT color="green">1162</FONT> moreMethodsOutlined = false;<a name="line.1162"></a> |
| <FONT color="green">1163</FONT> <a name="line.1163"></a> |
| <FONT color="green">1164</FONT> // Loop over the candidates for outlining, from the largest to the<a name="line.1164"></a> |
| <FONT color="green">1165</FONT> // smallest and outline them one at a time, until the loop has<a name="line.1165"></a> |
| <FONT color="green">1166</FONT> // outlined all or the original method comes in under the JVM<a name="line.1166"></a> |
| <FONT color="green">1167</FONT> // limit on the size of a method.<a name="line.1167"></a> |
| <FONT color="green">1168</FONT> for (int i = candidateChunks.size()-1;<a name="line.1168"></a> |
| <FONT color="green">1169</FONT> i >= 0 && currentMethodSize > TARGET_METHOD_SIZE;<a name="line.1169"></a> |
| <FONT color="green">1170</FONT> i--) {<a name="line.1170"></a> |
| <FONT color="green">1171</FONT> Chunk chunkToOutline = (Chunk)candidateChunks.get(i);<a name="line.1171"></a> |
| <FONT color="green">1172</FONT> <a name="line.1172"></a> |
| <FONT color="green">1173</FONT> methodsOutlined.add(outline(chunkToOutline.getChunkStart(),<a name="line.1173"></a> |
| <FONT color="green">1174</FONT> chunkToOutline.getChunkEnd(),<a name="line.1174"></a> |
| <FONT color="green">1175</FONT> originalMethodName + "$outline$"<a name="line.1175"></a> |
| <FONT color="green">1176</FONT> + outlinedCount,<a name="line.1176"></a> |
| <FONT color="green">1177</FONT> classGen));<a name="line.1177"></a> |
| <FONT color="green">1178</FONT> outlinedCount++;<a name="line.1178"></a> |
| <FONT color="green">1179</FONT> moreMethodsOutlined = true;<a name="line.1179"></a> |
| <FONT color="green">1180</FONT> <a name="line.1180"></a> |
| <FONT color="green">1181</FONT> InstructionList il = getInstructionList();<a name="line.1181"></a> |
| <FONT color="green">1182</FONT> InstructionHandle lastInst = il.getEnd();<a name="line.1182"></a> |
| <FONT color="green">1183</FONT> il.setPositions();<a name="line.1183"></a> |
| <FONT color="green">1184</FONT> <a name="line.1184"></a> |
| <FONT color="green">1185</FONT> // Check the size of the method now<a name="line.1185"></a> |
| <FONT color="green">1186</FONT> currentMethodSize =<a name="line.1186"></a> |
| <FONT color="green">1187</FONT> lastInst.getPosition()<a name="line.1187"></a> |
| <FONT color="green">1188</FONT> + lastInst.getInstruction().getLength();<a name="line.1188"></a> |
| <FONT color="green">1189</FONT> }<a name="line.1189"></a> |
| <FONT color="green">1190</FONT> } while (moreMethodsOutlined && currentMethodSize > TARGET_METHOD_SIZE);<a name="line.1190"></a> |
| <FONT color="green">1191</FONT> <a name="line.1191"></a> |
| <FONT color="green">1192</FONT> // Outlining failed to reduce the size of the current method<a name="line.1192"></a> |
| <FONT color="green">1193</FONT> // sufficiently. Throw an internal error.<a name="line.1193"></a> |
| <FONT color="green">1194</FONT> if (currentMethodSize > MAX_METHOD_SIZE) {<a name="line.1194"></a> |
| <FONT color="green">1195</FONT> String msg = (new ErrorMsg(ErrorMsg.OUTLINE_ERR_METHOD_TOO_BIG))<a name="line.1195"></a> |
| <FONT color="green">1196</FONT> .toString();<a name="line.1196"></a> |
| <FONT color="green">1197</FONT> throw new InternalError(msg);<a name="line.1197"></a> |
| <FONT color="green">1198</FONT> }<a name="line.1198"></a> |
| <FONT color="green">1199</FONT> <a name="line.1199"></a> |
| <FONT color="green">1200</FONT> Method[] methodsArr = new Method[methodsOutlined.size() + 1];<a name="line.1200"></a> |
| <FONT color="green">1201</FONT> methodsOutlined.toArray(methodsArr);<a name="line.1201"></a> |
| <FONT color="green">1202</FONT> <a name="line.1202"></a> |
| <FONT color="green">1203</FONT> methodsArr[methodsOutlined.size()] = getThisMethod();<a name="line.1203"></a> |
| <FONT color="green">1204</FONT> <a name="line.1204"></a> |
| <FONT color="green">1205</FONT> return methodsArr;<a name="line.1205"></a> |
| <FONT color="green">1206</FONT> }<a name="line.1206"></a> |
| <FONT color="green">1207</FONT> <a name="line.1207"></a> |
| <FONT color="green">1208</FONT> /**<a name="line.1208"></a> |
| <FONT color="green">1209</FONT> * Given an outlineable chunk of code in the current {@link MethodGenerator}<a name="line.1209"></a> |
| <FONT color="green">1210</FONT> * move ("outline") the chunk to a new method, and replace the chunk in the<a name="line.1210"></a> |
| <FONT color="green">1211</FONT> * old method with a reference to that new method. No<a name="line.1211"></a> |
| <FONT color="green">1212</FONT> * {@link OutlineableChunkStart} or {@link OutlineableChunkEnd} instructions<a name="line.1212"></a> |
| <FONT color="green">1213</FONT> * are copied.<a name="line.1213"></a> |
| <FONT color="green">1214</FONT> * @param first The {@link InstructionHandle} of the first instruction in<a name="line.1214"></a> |
| <FONT color="green">1215</FONT> * the chunk to outline<a name="line.1215"></a> |
| <FONT color="green">1216</FONT> * @param last The <code>InstructionHandle</code> of the last instruction in<a name="line.1216"></a> |
| <FONT color="green">1217</FONT> * the chunk to outline<a name="line.1217"></a> |
| <FONT color="green">1218</FONT> * @param outlinedMethodName The name of the new method<a name="line.1218"></a> |
| <FONT color="green">1219</FONT> * @param classGen The {@link ClassGenerator} of which the original<a name="line.1219"></a> |
| <FONT color="green">1220</FONT> * and new methods will be members<a name="line.1220"></a> |
| <FONT color="green">1221</FONT> * @return The new {@link Method} containing the outlined code.<a name="line.1221"></a> |
| <FONT color="green">1222</FONT> */<a name="line.1222"></a> |
| <FONT color="green">1223</FONT> private Method outline(InstructionHandle first, InstructionHandle last,<a name="line.1223"></a> |
| <FONT color="green">1224</FONT> String outlinedMethodName, ClassGenerator classGen) {<a name="line.1224"></a> |
| <FONT color="green">1225</FONT> // We're not equipped to deal with exception handlers yet. Bail out!<a name="line.1225"></a> |
| <FONT color="green">1226</FONT> if (getExceptionHandlers().length != 0) {<a name="line.1226"></a> |
| <FONT color="green">1227</FONT> String msg = (new ErrorMsg(ErrorMsg.OUTLINE_ERR_TRY_CATCH))<a name="line.1227"></a> |
| <FONT color="green">1228</FONT> .toString();<a name="line.1228"></a> |
| <FONT color="green">1229</FONT> throw new InternalError(msg);<a name="line.1229"></a> |
| <FONT color="green">1230</FONT> }<a name="line.1230"></a> |
| <FONT color="green">1231</FONT> <a name="line.1231"></a> |
| <FONT color="green">1232</FONT> int outlineChunkStartOffset = first.getPosition();<a name="line.1232"></a> |
| <FONT color="green">1233</FONT> int outlineChunkEndOffset = last.getPosition()<a name="line.1233"></a> |
| <FONT color="green">1234</FONT> + last.getInstruction().getLength();<a name="line.1234"></a> |
| <FONT color="green">1235</FONT> <a name="line.1235"></a> |
| <FONT color="green">1236</FONT> ConstantPoolGen cpg = getConstantPool();<a name="line.1236"></a> |
| <FONT color="green">1237</FONT> <a name="line.1237"></a> |
| <FONT color="green">1238</FONT> // Create new outlined method with signature:<a name="line.1238"></a> |
| <FONT color="green">1239</FONT> //<a name="line.1239"></a> |
| <FONT color="green">1240</FONT> // private final outlinedMethodName(CopyLocals copyLocals);<a name="line.1240"></a> |
| <FONT color="green">1241</FONT> //<a name="line.1241"></a> |
| <FONT color="green">1242</FONT> // CopyLocals is an object that is used to copy-in/copy-out local<a name="line.1242"></a> |
| <FONT color="green">1243</FONT> // variables that are used by the outlined method. Only locals whose<a name="line.1243"></a> |
| <FONT color="green">1244</FONT> // value is potentially set or referenced outside the range of the<a name="line.1244"></a> |
| <FONT color="green">1245</FONT> // chunk that is being outlined will be represented in CopyLocals. The<a name="line.1245"></a> |
| <FONT color="green">1246</FONT> // type of the variable for copying local variables is actually<a name="line.1246"></a> |
| <FONT color="green">1247</FONT> // generated to be unique - it is not named CopyLocals.<a name="line.1247"></a> |
| <FONT color="green">1248</FONT> //<a name="line.1248"></a> |
| <FONT color="green">1249</FONT> // The outlined method never needs to be referenced outside of this<a name="line.1249"></a> |
| <FONT color="green">1250</FONT> // class, and will never be overridden, so we mark it private final.<a name="line.1250"></a> |
| <FONT color="green">1251</FONT> final InstructionList newIL = new InstructionList();<a name="line.1251"></a> |
| <FONT color="green">1252</FONT> <a name="line.1252"></a> |
| <FONT color="green">1253</FONT> final XSLTC xsltc = classGen.getParser().getXSLTC();<a name="line.1253"></a> |
| <FONT color="green">1254</FONT> final String argTypeName = xsltc.getHelperClassName();<a name="line.1254"></a> |
| <FONT color="green">1255</FONT> final Type[] argTypes =<a name="line.1255"></a> |
| <FONT color="green">1256</FONT> new Type[] {(new ObjectType(argTypeName)).toJCType()};<a name="line.1256"></a> |
| <FONT color="green">1257</FONT> final String argName = "copyLocals";<a name="line.1257"></a> |
| <FONT color="green">1258</FONT> final String[] argNames = new String[] {argName};<a name="line.1258"></a> |
| <FONT color="green">1259</FONT> <a name="line.1259"></a> |
| <FONT color="green">1260</FONT> int methodAttributes = ACC_PRIVATE | ACC_FINAL;<a name="line.1260"></a> |
| <FONT color="green">1261</FONT> final boolean isStaticMethod = (getAccessFlags() & ACC_STATIC) != 0;<a name="line.1261"></a> |
| <FONT color="green">1262</FONT> <a name="line.1262"></a> |
| <FONT color="green">1263</FONT> if (isStaticMethod) {<a name="line.1263"></a> |
| <FONT color="green">1264</FONT> methodAttributes = methodAttributes | ACC_STATIC;<a name="line.1264"></a> |
| <FONT color="green">1265</FONT> }<a name="line.1265"></a> |
| <FONT color="green">1266</FONT> <a name="line.1266"></a> |
| <FONT color="green">1267</FONT> final MethodGenerator outlinedMethodGen =<a name="line.1267"></a> |
| <FONT color="green">1268</FONT> new MethodGenerator(methodAttributes,<a name="line.1268"></a> |
| <FONT color="green">1269</FONT> org.apache.bcel.generic.Type.VOID,<a name="line.1269"></a> |
| <FONT color="green">1270</FONT> argTypes, argNames, outlinedMethodName,<a name="line.1270"></a> |
| <FONT color="green">1271</FONT> getClassName(), newIL, cpg);<a name="line.1271"></a> |
| <FONT color="green">1272</FONT> <a name="line.1272"></a> |
| <FONT color="green">1273</FONT> // Create class for copying local variables to the outlined method.<a name="line.1273"></a> |
| <FONT color="green">1274</FONT> // The fields the class will need to contain will be determined as the<a name="line.1274"></a> |
| <FONT color="green">1275</FONT> // code in the outlineable chunk is examined.<a name="line.1275"></a> |
| <FONT color="green">1276</FONT> ClassGenerator copyAreaCG<a name="line.1276"></a> |
| <FONT color="green">1277</FONT> = new ClassGenerator(argTypeName, OBJECT_CLASS, argTypeName+".java",<a name="line.1277"></a> |
| <FONT color="green">1278</FONT> ACC_FINAL | ACC_PUBLIC | ACC_SUPER, null,<a name="line.1278"></a> |
| <FONT color="green">1279</FONT> classGen.getStylesheet()) {<a name="line.1279"></a> |
| <FONT color="green">1280</FONT> public boolean isExternal() {<a name="line.1280"></a> |
| <FONT color="green">1281</FONT> return true;<a name="line.1281"></a> |
| <FONT color="green">1282</FONT> }<a name="line.1282"></a> |
| <FONT color="green">1283</FONT> };<a name="line.1283"></a> |
| <FONT color="green">1284</FONT> ConstantPoolGen copyAreaCPG = copyAreaCG.getConstantPool();<a name="line.1284"></a> |
| <FONT color="green">1285</FONT> copyAreaCG.addEmptyConstructor(ACC_PUBLIC);<a name="line.1285"></a> |
| <FONT color="green">1286</FONT> <a name="line.1286"></a> |
| <FONT color="green">1287</FONT> // Number of fields in the copy class<a name="line.1287"></a> |
| <FONT color="green">1288</FONT> int copyAreaFieldCount = 0;<a name="line.1288"></a> |
| <FONT color="green">1289</FONT> <a name="line.1289"></a> |
| <FONT color="green">1290</FONT> // The handle for the instruction after the last one to be outlined.<a name="line.1290"></a> |
| <FONT color="green">1291</FONT> // Note that this should never end up being null. An outlineable chunk<a name="line.1291"></a> |
| <FONT color="green">1292</FONT> // won't contain a RETURN instruction or other branch out of the chunk,<a name="line.1292"></a> |
| <FONT color="green">1293</FONT> // and the JVM specification prohibits code in a method from just<a name="line.1293"></a> |
| <FONT color="green">1294</FONT> // "falling off the end" so this should always point to a valid handle.<a name="line.1294"></a> |
| <FONT color="green">1295</FONT> InstructionHandle limit = last.getNext();<a name="line.1295"></a> |
| <FONT color="green">1296</FONT> <a name="line.1296"></a> |
| <FONT color="green">1297</FONT> // InstructionLists for copying values into and out of an instance of<a name="line.1297"></a> |
| <FONT color="green">1298</FONT> // CopyLocals:<a name="line.1298"></a> |
| <FONT color="green">1299</FONT> // oldMethCoypInIL - from locals in old method into an instance<a name="line.1299"></a> |
| <FONT color="green">1300</FONT> // of the CopyLocals class (oldMethCopyInIL)<a name="line.1300"></a> |
| <FONT color="green">1301</FONT> // oldMethCopyOutIL - from CopyLocals back into locals in the old<a name="line.1301"></a> |
| <FONT color="green">1302</FONT> // method<a name="line.1302"></a> |
| <FONT color="green">1303</FONT> // newMethCopyInIL - from CopyLocals into locals in the new<a name="line.1303"></a> |
| <FONT color="green">1304</FONT> // method<a name="line.1304"></a> |
| <FONT color="green">1305</FONT> // newMethCopyOutIL - from locals in new method into the instance<a name="line.1305"></a> |
| <FONT color="green">1306</FONT> // of the CopyLocals class<a name="line.1306"></a> |
| <FONT color="green">1307</FONT> InstructionList oldMethCopyInIL = new InstructionList();<a name="line.1307"></a> |
| <FONT color="green">1308</FONT> InstructionList oldMethCopyOutIL = new InstructionList();<a name="line.1308"></a> |
| <FONT color="green">1309</FONT> InstructionList newMethCopyInIL = new InstructionList();<a name="line.1309"></a> |
| <FONT color="green">1310</FONT> InstructionList newMethCopyOutIL = new InstructionList();<a name="line.1310"></a> |
| <FONT color="green">1311</FONT> <a name="line.1311"></a> |
| <FONT color="green">1312</FONT> // Allocate instance of class in which we'll copy in or copy out locals<a name="line.1312"></a> |
| <FONT color="green">1313</FONT> // and make two copies: last copy is used to invoke constructor;<a name="line.1313"></a> |
| <FONT color="green">1314</FONT> // other two are used for references to fields in the CopyLocals object<a name="line.1314"></a> |
| <FONT color="green">1315</FONT> InstructionHandle outlinedMethodCallSetup =<a name="line.1315"></a> |
| <FONT color="green">1316</FONT> oldMethCopyInIL.append(new NEW(cpg.addClass(argTypeName)));<a name="line.1316"></a> |
| <FONT color="green">1317</FONT> oldMethCopyInIL.append(InstructionConstants.DUP);<a name="line.1317"></a> |
| <FONT color="green">1318</FONT> oldMethCopyInIL.append(InstructionConstants.DUP);<a name="line.1318"></a> |
| <FONT color="green">1319</FONT> oldMethCopyInIL.append(<a name="line.1319"></a> |
| <FONT color="green">1320</FONT> new INVOKESPECIAL(cpg.addMethodref(argTypeName, "<init>", "()V")));<a name="line.1320"></a> |
| <FONT color="green">1321</FONT> <a name="line.1321"></a> |
| <FONT color="green">1322</FONT> // Generate code to invoke the new outlined method, and place the code<a name="line.1322"></a> |
| <FONT color="green">1323</FONT> // on oldMethCopyOutIL<a name="line.1323"></a> |
| <FONT color="green">1324</FONT> InstructionHandle outlinedMethodRef;<a name="line.1324"></a> |
| <FONT color="green">1325</FONT> <a name="line.1325"></a> |
| <FONT color="green">1326</FONT> if (isStaticMethod) {<a name="line.1326"></a> |
| <FONT color="green">1327</FONT> outlinedMethodRef =<a name="line.1327"></a> |
| <FONT color="green">1328</FONT> oldMethCopyOutIL.append(<a name="line.1328"></a> |
| <FONT color="green">1329</FONT> new INVOKESTATIC(cpg.addMethodref(<a name="line.1329"></a> |
| <FONT color="green">1330</FONT> classGen.getClassName(),<a name="line.1330"></a> |
| <FONT color="green">1331</FONT> outlinedMethodName,<a name="line.1331"></a> |
| <FONT color="green">1332</FONT> outlinedMethodGen.getSignature())));<a name="line.1332"></a> |
| <FONT color="green">1333</FONT> } else {<a name="line.1333"></a> |
| <FONT color="green">1334</FONT> oldMethCopyOutIL.append(InstructionConstants.THIS);<a name="line.1334"></a> |
| <FONT color="green">1335</FONT> oldMethCopyOutIL.append(InstructionConstants.SWAP);<a name="line.1335"></a> |
| <FONT color="green">1336</FONT> outlinedMethodRef =<a name="line.1336"></a> |
| <FONT color="green">1337</FONT> oldMethCopyOutIL.append(<a name="line.1337"></a> |
| <FONT color="green">1338</FONT> new INVOKEVIRTUAL(cpg.addMethodref(<a name="line.1338"></a> |
| <FONT color="green">1339</FONT> classGen.getClassName(),<a name="line.1339"></a> |
| <FONT color="green">1340</FONT> outlinedMethodName,<a name="line.1340"></a> |
| <FONT color="green">1341</FONT> outlinedMethodGen.getSignature())));<a name="line.1341"></a> |
| <FONT color="green">1342</FONT> }<a name="line.1342"></a> |
| <FONT color="green">1343</FONT> <a name="line.1343"></a> |
| <FONT color="green">1344</FONT> // Used to keep track of the first in a sequence of<a name="line.1344"></a> |
| <FONT color="green">1345</FONT> // OutlineableChunkStart instructions<a name="line.1345"></a> |
| <FONT color="green">1346</FONT> boolean chunkStartTargetMappingsPending = false;<a name="line.1346"></a> |
| <FONT color="green">1347</FONT> InstructionHandle pendingTargetMappingHandle = null;<a name="line.1347"></a> |
| <FONT color="green">1348</FONT> <a name="line.1348"></a> |
| <FONT color="green">1349</FONT> // Used to keep track of the last instruction that was copied<a name="line.1349"></a> |
| <FONT color="green">1350</FONT> InstructionHandle lastCopyHandle = null;<a name="line.1350"></a> |
| <FONT color="green">1351</FONT> <a name="line.1351"></a> |
| <FONT color="green">1352</FONT> // Keeps track of the mapping from instruction handles in the old<a name="line.1352"></a> |
| <FONT color="green">1353</FONT> // method to instruction handles in the outlined method. Only need<a name="line.1353"></a> |
| <FONT color="green">1354</FONT> // to track instructions that are targeted by something else in the<a name="line.1354"></a> |
| <FONT color="green">1355</FONT> // generated BCEL <a name="line.1355"></a> |
| <FONT color="green">1356</FONT> HashMap targetMap = new HashMap();<a name="line.1356"></a> |
| <FONT color="green">1357</FONT> <a name="line.1357"></a> |
| <FONT color="green">1358</FONT> // Keeps track of the mapping from local variables in the old method<a name="line.1358"></a> |
| <FONT color="green">1359</FONT> // to local variables in the outlined method.<a name="line.1359"></a> |
| <FONT color="green">1360</FONT> HashMap localVarMap = new HashMap();<a name="line.1360"></a> |
| <FONT color="green">1361</FONT> <a name="line.1361"></a> |
| <FONT color="green">1362</FONT> HashMap revisedLocalVarStart = new HashMap();<a name="line.1362"></a> |
| <FONT color="green">1363</FONT> HashMap revisedLocalVarEnd = new HashMap();<a name="line.1363"></a> |
| <FONT color="green">1364</FONT> <a name="line.1364"></a> |
| <FONT color="green">1365</FONT> // Pass 1: Make copies of all instructions, append them to the new list<a name="line.1365"></a> |
| <FONT color="green">1366</FONT> // and associate old instruction references with the new ones, i.e.,<a name="line.1366"></a> |
| <FONT color="green">1367</FONT> // a 1:1 mapping. The special marker instructions are not copied.<a name="line.1367"></a> |
| <FONT color="green">1368</FONT> // Also, identify local variables whose values need to be copied into or<a name="line.1368"></a> |
| <FONT color="green">1369</FONT> // out of the new outlined method, and builds up targetMap and<a name="line.1369"></a> |
| <FONT color="green">1370</FONT> // localVarMap as described above. The code identifies those local<a name="line.1370"></a> |
| <FONT color="green">1371</FONT> // variables first so that they can have fixed slots in the stack<a name="line.1371"></a> |
| <FONT color="green">1372</FONT> // frame for the outlined method assigned them ahead of all those<a name="line.1372"></a> |
| <FONT color="green">1373</FONT> // variables that don't need to exist for the entirety of the outlined<a name="line.1373"></a> |
| <FONT color="green">1374</FONT> // method invocation.<a name="line.1374"></a> |
| <FONT color="green">1375</FONT> for (InstructionHandle ih = first; ih != limit; ih = ih.getNext()) {<a name="line.1375"></a> |
| <FONT color="green">1376</FONT> Instruction inst = ih.getInstruction();<a name="line.1376"></a> |
| <FONT color="green">1377</FONT> <a name="line.1377"></a> |
| <FONT color="green">1378</FONT> // MarkerInstructions are not copied, so if something else targets<a name="line.1378"></a> |
| <FONT color="green">1379</FONT> // one, the targetMap will point to the nearest copied sibling<a name="line.1379"></a> |
| <FONT color="green">1380</FONT> // InstructionHandle: for an OutlineableChunkEnd, the nearest<a name="line.1380"></a> |
| <FONT color="green">1381</FONT> // preceding sibling; for an OutlineableChunkStart, the nearest<a name="line.1381"></a> |
| <FONT color="green">1382</FONT> // following sibling.<a name="line.1382"></a> |
| <FONT color="green">1383</FONT> if (inst instanceof MarkerInstruction) {<a name="line.1383"></a> |
| <FONT color="green">1384</FONT> if (ih.hasTargeters()) {<a name="line.1384"></a> |
| <FONT color="green">1385</FONT> if (inst instanceof OutlineableChunkEnd) {<a name="line.1385"></a> |
| <FONT color="green">1386</FONT> targetMap.put(ih, lastCopyHandle);<a name="line.1386"></a> |
| <FONT color="green">1387</FONT> } else {<a name="line.1387"></a> |
| <FONT color="green">1388</FONT> if (!chunkStartTargetMappingsPending) {<a name="line.1388"></a> |
| <FONT color="green">1389</FONT> chunkStartTargetMappingsPending = true;<a name="line.1389"></a> |
| <FONT color="green">1390</FONT> pendingTargetMappingHandle = ih;<a name="line.1390"></a> |
| <FONT color="green">1391</FONT> }<a name="line.1391"></a> |
| <FONT color="green">1392</FONT> }<a name="line.1392"></a> |
| <FONT color="green">1393</FONT> }<a name="line.1393"></a> |
| <FONT color="green">1394</FONT> } else {<a name="line.1394"></a> |
| <FONT color="green">1395</FONT> // Copy the instruction and append it to the outlined method's<a name="line.1395"></a> |
| <FONT color="green">1396</FONT> // InstructionList.<a name="line.1396"></a> |
| <FONT color="green">1397</FONT> Instruction c = inst.copy(); // Use clone for shallow copy<a name="line.1397"></a> |
| <FONT color="green">1398</FONT> <a name="line.1398"></a> |
| <FONT color="green">1399</FONT> if (c instanceof BranchInstruction) {<a name="line.1399"></a> |
| <FONT color="green">1400</FONT> lastCopyHandle = newIL.append((BranchInstruction)c);<a name="line.1400"></a> |
| <FONT color="green">1401</FONT> } else {<a name="line.1401"></a> |
| <FONT color="green">1402</FONT> lastCopyHandle = newIL.append(c);<a name="line.1402"></a> |
| <FONT color="green">1403</FONT> }<a name="line.1403"></a> |
| <FONT color="green">1404</FONT> <a name="line.1404"></a> |
| <FONT color="green">1405</FONT> if (c instanceof LocalVariableInstruction<a name="line.1405"></a> |
| <FONT color="green">1406</FONT> || c instanceof RET) {<a name="line.1406"></a> |
| <FONT color="green">1407</FONT> // For any instruction that touches a local variable,<a name="line.1407"></a> |
| <FONT color="green">1408</FONT> // check whether the local variable's value needs to be<a name="line.1408"></a> |
| <FONT color="green">1409</FONT> // copied into or out of the outlined method. If so,<a name="line.1409"></a> |
| <FONT color="green">1410</FONT> // generate the code to perform the necessary copying, and <a name="line.1410"></a> |
| <FONT color="green">1411</FONT> // use localVarMap to map the variable in the original<a name="line.1411"></a> |
| <FONT color="green">1412</FONT> // method to the variable in the new method.<a name="line.1412"></a> |
| <FONT color="green">1413</FONT> IndexedInstruction lvi = (IndexedInstruction)c;<a name="line.1413"></a> |
| <FONT color="green">1414</FONT> int oldLocalVarIndex = lvi.getIndex();<a name="line.1414"></a> |
| <FONT color="green">1415</FONT> LocalVariableGen oldLVG =<a name="line.1415"></a> |
| <FONT color="green">1416</FONT> getLocalVariableRegistry()<a name="line.1416"></a> |
| <FONT color="green">1417</FONT> .lookupRegisteredLocalVariable(oldLocalVarIndex,<a name="line.1417"></a> |
| <FONT color="green">1418</FONT> ih.getPosition());<a name="line.1418"></a> |
| <FONT color="green">1419</FONT> LocalVariableGen newLVG =<a name="line.1419"></a> |
| <FONT color="green">1420</FONT> (LocalVariableGen)localVarMap.get(oldLVG);<a name="line.1420"></a> |
| <FONT color="green">1421</FONT> <a name="line.1421"></a> |
| <FONT color="green">1422</FONT> // Has the code already mapped this local variable to a<a name="line.1422"></a> |
| <FONT color="green">1423</FONT> // local in the new method?<a name="line.1423"></a> |
| <FONT color="green">1424</FONT> if (localVarMap.get(oldLVG) == null) {<a name="line.1424"></a> |
| <FONT color="green">1425</FONT> // Determine whether the local variable needs to be<a name="line.1425"></a> |
| <FONT color="green">1426</FONT> // copied into or out of the outlined by checking<a name="line.1426"></a> |
| <FONT color="green">1427</FONT> // whether the range of instructions in which the<a name="line.1427"></a> |
| <FONT color="green">1428</FONT> // variable is accessible is outside the range of<a name="line.1428"></a> |
| <FONT color="green">1429</FONT> // instructions in the outlineable chunk.<a name="line.1429"></a> |
| <FONT color="green">1430</FONT> // Special case a chunk start offset of zero: a local<a name="line.1430"></a> |
| <FONT color="green">1431</FONT> // variable live at that position must be a method<a name="line.1431"></a> |
| <FONT color="green">1432</FONT> // parameter, so the code doesn't need to check whether<a name="line.1432"></a> |
| <FONT color="green">1433</FONT> // the variable is live before that point; being live<a name="line.1433"></a> |
| <FONT color="green">1434</FONT> // at offset zero is sufficient to know that the value<a name="line.1434"></a> |
| <FONT color="green">1435</FONT> // must be copied in to the outlined method.<a name="line.1435"></a> |
| <FONT color="green">1436</FONT> boolean copyInLocalValue =<a name="line.1436"></a> |
| <FONT color="green">1437</FONT> offsetInLocalVariableGenRange(oldLVG,<a name="line.1437"></a> |
| <FONT color="green">1438</FONT> (outlineChunkStartOffset != 0)<a name="line.1438"></a> |
| <FONT color="green">1439</FONT> ? outlineChunkStartOffset-1<a name="line.1439"></a> |
| <FONT color="green">1440</FONT> : 0);<a name="line.1440"></a> |
| <FONT color="green">1441</FONT> boolean copyOutLocalValue =<a name="line.1441"></a> |
| <FONT color="green">1442</FONT> offsetInLocalVariableGenRange(oldLVG,<a name="line.1442"></a> |
| <FONT color="green">1443</FONT> outlineChunkEndOffset+1);<a name="line.1443"></a> |
| <FONT color="green">1444</FONT> <a name="line.1444"></a> |
| <FONT color="green">1445</FONT> // For any variable that needs to be copied into or out<a name="line.1445"></a> |
| <FONT color="green">1446</FONT> // of the outlined method, create a field in the<a name="line.1446"></a> |
| <FONT color="green">1447</FONT> // CopyLocals class, and generate the necessary code for<a name="line.1447"></a> |
| <FONT color="green">1448</FONT> // copying the value.<a name="line.1448"></a> |
| <FONT color="green">1449</FONT> if (copyInLocalValue || copyOutLocalValue) {<a name="line.1449"></a> |
| <FONT color="green">1450</FONT> String varName = oldLVG.getName();<a name="line.1450"></a> |
| <FONT color="green">1451</FONT> Type varType = oldLVG.getType();<a name="line.1451"></a> |
| <FONT color="green">1452</FONT> newLVG = outlinedMethodGen.addLocalVariable(varName,<a name="line.1452"></a> |
| <FONT color="green">1453</FONT> varType,<a name="line.1453"></a> |
| <FONT color="green">1454</FONT> null,<a name="line.1454"></a> |
| <FONT color="green">1455</FONT> null);<a name="line.1455"></a> |
| <FONT color="green">1456</FONT> int newLocalVarIndex = newLVG.getIndex();<a name="line.1456"></a> |
| <FONT color="green">1457</FONT> String varSignature = varType.getSignature();<a name="line.1457"></a> |
| <FONT color="green">1458</FONT> <a name="line.1458"></a> |
| <FONT color="green">1459</FONT> // Record the mapping from the old local to the new<a name="line.1459"></a> |
| <FONT color="green">1460</FONT> localVarMap.put(oldLVG, newLVG);<a name="line.1460"></a> |
| <FONT color="green">1461</FONT> <a name="line.1461"></a> |
| <FONT color="green">1462</FONT> copyAreaFieldCount++;<a name="line.1462"></a> |
| <FONT color="green">1463</FONT> String copyAreaFieldName =<a name="line.1463"></a> |
| <FONT color="green">1464</FONT> "field" + copyAreaFieldCount;<a name="line.1464"></a> |
| <FONT color="green">1465</FONT> copyAreaCG.addField(<a name="line.1465"></a> |
| <FONT color="green">1466</FONT> new Field(ACC_PUBLIC,<a name="line.1466"></a> |
| <FONT color="green">1467</FONT> copyAreaCPG.addUtf8(copyAreaFieldName),<a name="line.1467"></a> |
| <FONT color="green">1468</FONT> copyAreaCPG.addUtf8(varSignature),<a name="line.1468"></a> |
| <FONT color="green">1469</FONT> null, copyAreaCPG.getConstantPool()));<a name="line.1469"></a> |
| <FONT color="green">1470</FONT> <a name="line.1470"></a> |
| <FONT color="green">1471</FONT> int fieldRef = cpg.addFieldref(argTypeName,<a name="line.1471"></a> |
| <FONT color="green">1472</FONT> copyAreaFieldName,<a name="line.1472"></a> |
| <FONT color="green">1473</FONT> varSignature);<a name="line.1473"></a> |
| <FONT color="green">1474</FONT> <a name="line.1474"></a> |
| <FONT color="green">1475</FONT> if (copyInLocalValue) {<a name="line.1475"></a> |
| <FONT color="green">1476</FONT> // Generate code for the old method to store the<a name="line.1476"></a> |
| <FONT color="green">1477</FONT> // value of the local into the correct field in<a name="line.1477"></a> |
| <FONT color="green">1478</FONT> // CopyLocals prior to invocation of the<a name="line.1478"></a> |
| <FONT color="green">1479</FONT> // outlined method.<a name="line.1479"></a> |
| <FONT color="green">1480</FONT> oldMethCopyInIL.append(<a name="line.1480"></a> |
| <FONT color="green">1481</FONT> InstructionConstants.DUP);<a name="line.1481"></a> |
| <FONT color="green">1482</FONT> InstructionHandle copyInLoad =<a name="line.1482"></a> |
| <FONT color="green">1483</FONT> oldMethCopyInIL.append(<a name="line.1483"></a> |
| <FONT color="green">1484</FONT> loadLocal(oldLocalVarIndex, varType));<a name="line.1484"></a> |
| <FONT color="green">1485</FONT> oldMethCopyInIL.append(new PUTFIELD(fieldRef));<a name="line.1485"></a> |
| <FONT color="green">1486</FONT> <a name="line.1486"></a> |
| <FONT color="green">1487</FONT> // If the end of the live range of the old<a name="line.1487"></a> |
| <FONT color="green">1488</FONT> // variable was in the middle of the outlined<a name="line.1488"></a> |
| <FONT color="green">1489</FONT> // chunk. Make the load of its value the new<a name="line.1489"></a> |
| <FONT color="green">1490</FONT> // end of its range.<a name="line.1490"></a> |
| <FONT color="green">1491</FONT> if (!copyOutLocalValue) {<a name="line.1491"></a> |
| <FONT color="green">1492</FONT> revisedLocalVarEnd.put(oldLVG, copyInLoad);<a name="line.1492"></a> |
| <FONT color="green">1493</FONT> }<a name="line.1493"></a> |
| <FONT color="green">1494</FONT> <a name="line.1494"></a> |
| <FONT color="green">1495</FONT> // Generate code for start of the outlined<a name="line.1495"></a> |
| <FONT color="green">1496</FONT> // method to copy the value from a field in<a name="line.1496"></a> |
| <FONT color="green">1497</FONT> // CopyLocals to the new local in the outlined<a name="line.1497"></a> |
| <FONT color="green">1498</FONT> // method<a name="line.1498"></a> |
| <FONT color="green">1499</FONT> newMethCopyInIL.append(<a name="line.1499"></a> |
| <FONT color="green">1500</FONT> InstructionConstants.ALOAD_1);<a name="line.1500"></a> |
| <FONT color="green">1501</FONT> newMethCopyInIL.append(new GETFIELD(fieldRef));<a name="line.1501"></a> |
| <FONT color="green">1502</FONT> newMethCopyInIL.append(<a name="line.1502"></a> |
| <FONT color="green">1503</FONT> storeLocal(newLocalVarIndex, varType));<a name="line.1503"></a> |
| <FONT color="green">1504</FONT> }<a name="line.1504"></a> |
| <FONT color="green">1505</FONT> <a name="line.1505"></a> |
| <FONT color="green">1506</FONT> if (copyOutLocalValue) {<a name="line.1506"></a> |
| <FONT color="green">1507</FONT> // Generate code for the end of the outlined<a name="line.1507"></a> |
| <FONT color="green">1508</FONT> // method to copy the value from the new local<a name="line.1508"></a> |
| <FONT color="green">1509</FONT> // variable into a field in CopyLocals<a name="line.1509"></a> |
| <FONT color="green">1510</FONT> // method<a name="line.1510"></a> |
| <FONT color="green">1511</FONT> newMethCopyOutIL.append(<a name="line.1511"></a> |
| <FONT color="green">1512</FONT> InstructionConstants.ALOAD_1);<a name="line.1512"></a> |
| <FONT color="green">1513</FONT> newMethCopyOutIL.append(<a name="line.1513"></a> |
| <FONT color="green">1514</FONT> loadLocal(newLocalVarIndex, varType));<a name="line.1514"></a> |
| <FONT color="green">1515</FONT> newMethCopyOutIL.append(new PUTFIELD(fieldRef));<a name="line.1515"></a> |
| <FONT color="green">1516</FONT> <a name="line.1516"></a> |
| <FONT color="green">1517</FONT> // Generate code to copy the value from a field<a name="line.1517"></a> |
| <FONT color="green">1518</FONT> // in CopyLocals into a local in the original<a name="line.1518"></a> |
| <FONT color="green">1519</FONT> // method following invocation of the outlined<a name="line.1519"></a> |
| <FONT color="green">1520</FONT> // method.<a name="line.1520"></a> |
| <FONT color="green">1521</FONT> oldMethCopyOutIL.append(<a name="line.1521"></a> |
| <FONT color="green">1522</FONT> InstructionConstants.DUP);<a name="line.1522"></a> |
| <FONT color="green">1523</FONT> oldMethCopyOutIL.append(new GETFIELD(fieldRef));<a name="line.1523"></a> |
| <FONT color="green">1524</FONT> InstructionHandle copyOutStore =<a name="line.1524"></a> |
| <FONT color="green">1525</FONT> oldMethCopyOutIL.append(<a name="line.1525"></a> |
| <FONT color="green">1526</FONT> storeLocal(oldLocalVarIndex, varType));<a name="line.1526"></a> |
| <FONT color="green">1527</FONT> <a name="line.1527"></a> |
| <FONT color="green">1528</FONT> // If the start of the live range of the old<a name="line.1528"></a> |
| <FONT color="green">1529</FONT> // variable was in the middle of the outlined<a name="line.1529"></a> |
| <FONT color="green">1530</FONT> // chunk. Make this store into it the new start<a name="line.1530"></a> |
| <FONT color="green">1531</FONT> // of its range.<a name="line.1531"></a> |
| <FONT color="green">1532</FONT> if (!copyInLocalValue) {<a name="line.1532"></a> |
| <FONT color="green">1533</FONT> revisedLocalVarStart.put(oldLVG,<a name="line.1533"></a> |
| <FONT color="green">1534</FONT> copyOutStore); <a name="line.1534"></a> |
| <FONT color="green">1535</FONT> }<a name="line.1535"></a> |
| <FONT color="green">1536</FONT> }<a name="line.1536"></a> |
| <FONT color="green">1537</FONT> }<a name="line.1537"></a> |
| <FONT color="green">1538</FONT> }<a name="line.1538"></a> |
| <FONT color="green">1539</FONT> }<a name="line.1539"></a> |
| <FONT color="green">1540</FONT> <a name="line.1540"></a> |
| <FONT color="green">1541</FONT> if (ih.hasTargeters()) {<a name="line.1541"></a> |
| <FONT color="green">1542</FONT> targetMap.put(ih, lastCopyHandle);<a name="line.1542"></a> |
| <FONT color="green">1543</FONT> }<a name="line.1543"></a> |
| <FONT color="green">1544</FONT> <a name="line.1544"></a> |
| <FONT color="green">1545</FONT> // If this is the first instruction copied following a sequence<a name="line.1545"></a> |
| <FONT color="green">1546</FONT> // of OutlineableChunkStart instructions, indicate that the<a name="line.1546"></a> |
| <FONT color="green">1547</FONT> // sequence of old instruction all map to this newly created<a name="line.1547"></a> |
| <FONT color="green">1548</FONT> // instruction<a name="line.1548"></a> |
| <FONT color="green">1549</FONT> if (chunkStartTargetMappingsPending) {<a name="line.1549"></a> |
| <FONT color="green">1550</FONT> do {<a name="line.1550"></a> |
| <FONT color="green">1551</FONT> targetMap.put(pendingTargetMappingHandle,<a name="line.1551"></a> |
| <FONT color="green">1552</FONT> lastCopyHandle);<a name="line.1552"></a> |
| <FONT color="green">1553</FONT> pendingTargetMappingHandle =<a name="line.1553"></a> |
| <FONT color="green">1554</FONT> pendingTargetMappingHandle.getNext();<a name="line.1554"></a> |
| <FONT color="green">1555</FONT> } while(pendingTargetMappingHandle != ih);<a name="line.1555"></a> |
| <FONT color="green">1556</FONT> <a name="line.1556"></a> |
| <FONT color="green">1557</FONT> chunkStartTargetMappingsPending = false;<a name="line.1557"></a> |
| <FONT color="green">1558</FONT> }<a name="line.1558"></a> |
| <FONT color="green">1559</FONT> }<a name="line.1559"></a> |
| <FONT color="green">1560</FONT> }<a name="line.1560"></a> |
| <FONT color="green">1561</FONT> <a name="line.1561"></a> |
| <FONT color="green">1562</FONT> // Pass 2: Walk old and new instruction lists, updating branch targets<a name="line.1562"></a> |
| <FONT color="green">1563</FONT> // and local variable references in the new list<a name="line.1563"></a> |
| <FONT color="green">1564</FONT> InstructionHandle ih = first;<a name="line.1564"></a> |
| <FONT color="green">1565</FONT> InstructionHandle ch = newIL.getStart();<a name="line.1565"></a> |
| <FONT color="green">1566</FONT> <a name="line.1566"></a> |
| <FONT color="green">1567</FONT> while (ch != null) {<a name="line.1567"></a> |
| <FONT color="green">1568</FONT> // i == old instruction; c == copied instruction<a name="line.1568"></a> |
| <FONT color="green">1569</FONT> Instruction i = ih.getInstruction();<a name="line.1569"></a> |
| <FONT color="green">1570</FONT> Instruction c = ch.getInstruction();<a name="line.1570"></a> |
| <FONT color="green">1571</FONT> <a name="line.1571"></a> |
| <FONT color="green">1572</FONT> if (i instanceof BranchInstruction) {<a name="line.1572"></a> |
| <FONT color="green">1573</FONT> BranchInstruction bc = (BranchInstruction)c;<a name="line.1573"></a> |
| <FONT color="green">1574</FONT> BranchInstruction bi = (BranchInstruction)i;<a name="line.1574"></a> |
| <FONT color="green">1575</FONT> InstructionHandle itarget = bi.getTarget(); // old target<a name="line.1575"></a> |
| <FONT color="green">1576</FONT> <a name="line.1576"></a> |
| <FONT color="green">1577</FONT> // New target must be in targetMap<a name="line.1577"></a> |
| <FONT color="green">1578</FONT> InstructionHandle newTarget =<a name="line.1578"></a> |
| <FONT color="green">1579</FONT> (InstructionHandle)targetMap.get(itarget);<a name="line.1579"></a> |
| <FONT color="green">1580</FONT> <a name="line.1580"></a> |
| <FONT color="green">1581</FONT> bc.setTarget(newTarget);<a name="line.1581"></a> |
| <FONT color="green">1582</FONT> <a name="line.1582"></a> |
| <FONT color="green">1583</FONT> // Handle LOOKUPSWITCH or TABLESWITCH which may have many<a name="line.1583"></a> |
| <FONT color="green">1584</FONT> // target instructions<a name="line.1584"></a> |
| <FONT color="green">1585</FONT> if (bi instanceof Select) {<a name="line.1585"></a> |
| <FONT color="green">1586</FONT> InstructionHandle[] itargets = ((Select)bi).getTargets();<a name="line.1586"></a> |
| <FONT color="green">1587</FONT> InstructionHandle[] ctargets = ((Select)bc).getTargets();<a name="line.1587"></a> |
| <FONT color="green">1588</FONT> <a name="line.1588"></a> |
| <FONT color="green">1589</FONT> // Update all targets<a name="line.1589"></a> |
| <FONT color="green">1590</FONT> for (int j=0; j < itargets.length; j++) {<a name="line.1590"></a> |
| <FONT color="green">1591</FONT> ctargets[j] =<a name="line.1591"></a> |
| <FONT color="green">1592</FONT> (InstructionHandle)targetMap.get(itargets[j]);<a name="line.1592"></a> |
| <FONT color="green">1593</FONT> }<a name="line.1593"></a> |
| <FONT color="green">1594</FONT> }<a name="line.1594"></a> |
| <FONT color="green">1595</FONT> } else if (i instanceof LocalVariableInstruction<a name="line.1595"></a> |
| <FONT color="green">1596</FONT> || i instanceof RET) {<a name="line.1596"></a> |
| <FONT color="green">1597</FONT> // For any instruction that touches a local variable,<a name="line.1597"></a> |
| <FONT color="green">1598</FONT> // map the location of the variable in the original<a name="line.1598"></a> |
| <FONT color="green">1599</FONT> // method to its location in the new method.<a name="line.1599"></a> |
| <FONT color="green">1600</FONT> IndexedInstruction lvi = (IndexedInstruction)c;<a name="line.1600"></a> |
| <FONT color="green">1601</FONT> int oldLocalVarIndex = lvi.getIndex();<a name="line.1601"></a> |
| <FONT color="green">1602</FONT> LocalVariableGen oldLVG =<a name="line.1602"></a> |
| <FONT color="green">1603</FONT> getLocalVariableRegistry()<a name="line.1603"></a> |
| <FONT color="green">1604</FONT> .lookupRegisteredLocalVariable(oldLocalVarIndex,<a name="line.1604"></a> |
| <FONT color="green">1605</FONT> ih.getPosition());<a name="line.1605"></a> |
| <FONT color="green">1606</FONT> LocalVariableGen newLVG =<a name="line.1606"></a> |
| <FONT color="green">1607</FONT> (LocalVariableGen)localVarMap.get(oldLVG);<a name="line.1607"></a> |
| <FONT color="green">1608</FONT> int newLocalVarIndex;<a name="line.1608"></a> |
| <FONT color="green">1609</FONT> <a name="line.1609"></a> |
| <FONT color="green">1610</FONT> if (newLVG == null) {<a name="line.1610"></a> |
| <FONT color="green">1611</FONT> // Create new variable based on old variable - use same<a name="line.1611"></a> |
| <FONT color="green">1612</FONT> // name and type, but we will let the variable be active<a name="line.1612"></a> |
| <FONT color="green">1613</FONT> // for the entire outlined method.<a name="line.1613"></a> |
| <FONT color="green">1614</FONT> // LocalVariableGen oldLocal = oldLocals[oldLocalVarIndex];<a name="line.1614"></a> |
| <FONT color="green">1615</FONT> String varName = oldLVG.getName();<a name="line.1615"></a> |
| <FONT color="green">1616</FONT> Type varType = oldLVG.getType();<a name="line.1616"></a> |
| <FONT color="green">1617</FONT> newLVG = outlinedMethodGen.addLocalVariable(varName,<a name="line.1617"></a> |
| <FONT color="green">1618</FONT> varType,<a name="line.1618"></a> |
| <FONT color="green">1619</FONT> null,<a name="line.1619"></a> |
| <FONT color="green">1620</FONT> null);<a name="line.1620"></a> |
| <FONT color="green">1621</FONT> newLocalVarIndex = newLVG.getIndex();<a name="line.1621"></a> |
| <FONT color="green">1622</FONT> localVarMap.put(oldLVG, newLVG);<a name="line.1622"></a> |
| <FONT color="green">1623</FONT> <a name="line.1623"></a> |
| <FONT color="green">1624</FONT> // The old variable's live range was wholly contained in<a name="line.1624"></a> |
| <FONT color="green">1625</FONT> // the outlined chunk. There should no longer be stores<a name="line.1625"></a> |
| <FONT color="green">1626</FONT> // of values into it or loads of its value, so we can just<a name="line.1626"></a> |
| <FONT color="green">1627</FONT> // mark its live range as the reference to the outlined<a name="line.1627"></a> |
| <FONT color="green">1628</FONT> // method.<a name="line.1628"></a> |
| <FONT color="green">1629</FONT> revisedLocalVarStart.put(oldLVG, outlinedMethodRef);<a name="line.1629"></a> |
| <FONT color="green">1630</FONT> revisedLocalVarEnd.put(oldLVG, outlinedMethodRef);<a name="line.1630"></a> |
| <FONT color="green">1631</FONT> } else {<a name="line.1631"></a> |
| <FONT color="green">1632</FONT> newLocalVarIndex = newLVG.getIndex();<a name="line.1632"></a> |
| <FONT color="green">1633</FONT> }<a name="line.1633"></a> |
| <FONT color="green">1634</FONT> lvi.setIndex(newLocalVarIndex);<a name="line.1634"></a> |
| <FONT color="green">1635</FONT> }<a name="line.1635"></a> |
| <FONT color="green">1636</FONT> <a name="line.1636"></a> |
| <FONT color="green">1637</FONT> // If the old instruction marks the end of the range of a local<a name="line.1637"></a> |
| <FONT color="green">1638</FONT> // variable, make sure that any slots on the stack reserved for<a name="line.1638"></a> |
| <FONT color="green">1639</FONT> // local variables are made available for reuse by calling<a name="line.1639"></a> |
| <FONT color="green">1640</FONT> // MethodGenerator.removeLocalVariable<a name="line.1640"></a> |
| <FONT color="green">1641</FONT> if (ih.hasTargeters()) {<a name="line.1641"></a> |
| <FONT color="green">1642</FONT> InstructionTargeter[] targeters = ih.getTargeters();<a name="line.1642"></a> |
| <FONT color="green">1643</FONT> <a name="line.1643"></a> |
| <FONT color="green">1644</FONT> for (int idx = 0; idx < targeters.length; idx++) {<a name="line.1644"></a> |
| <FONT color="green">1645</FONT> InstructionTargeter targeter = targeters[idx];<a name="line.1645"></a> |
| <FONT color="green">1646</FONT> <a name="line.1646"></a> |
| <FONT color="green">1647</FONT> if (targeter instanceof LocalVariableGen<a name="line.1647"></a> |
| <FONT color="green">1648</FONT> && ((LocalVariableGen)targeter).getEnd()==ih) {<a name="line.1648"></a> |
| <FONT color="green">1649</FONT> Object newLVG = localVarMap.get(targeter);<a name="line.1649"></a> |
| <FONT color="green">1650</FONT> if (newLVG != null) {<a name="line.1650"></a> |
| <FONT color="green">1651</FONT> outlinedMethodGen.removeLocalVariable(<a name="line.1651"></a> |
| <FONT color="green">1652</FONT> (LocalVariableGen)newLVG);<a name="line.1652"></a> |
| <FONT color="green">1653</FONT> }<a name="line.1653"></a> |
| <FONT color="green">1654</FONT> }<a name="line.1654"></a> |
| <FONT color="green">1655</FONT> }<a name="line.1655"></a> |
| <FONT color="green">1656</FONT> }<a name="line.1656"></a> |
| <FONT color="green">1657</FONT> <a name="line.1657"></a> |
| <FONT color="green">1658</FONT> // If the current instruction in the original list was a marker,<a name="line.1658"></a> |
| <FONT color="green">1659</FONT> // it wasn't copied, so don't advance through the list of copied<a name="line.1659"></a> |
| <FONT color="green">1660</FONT> // instructions yet.<a name="line.1660"></a> |
| <FONT color="green">1661</FONT> if (!(i instanceof MarkerInstruction)) {<a name="line.1661"></a> |
| <FONT color="green">1662</FONT> ch = ch.getNext();<a name="line.1662"></a> |
| <FONT color="green">1663</FONT> }<a name="line.1663"></a> |
| <FONT color="green">1664</FONT> ih = ih.getNext();<a name="line.1664"></a> |
| <FONT color="green">1665</FONT> <a name="line.1665"></a> |
| <FONT color="green">1666</FONT> }<a name="line.1666"></a> |
| <FONT color="green">1667</FONT> <a name="line.1667"></a> |
| <FONT color="green">1668</FONT> // POP the reference to the CopyLocals object from the stack<a name="line.1668"></a> |
| <FONT color="green">1669</FONT> oldMethCopyOutIL.append(InstructionConstants.POP);<a name="line.1669"></a> |
| <FONT color="green">1670</FONT> <a name="line.1670"></a> |
| <FONT color="green">1671</FONT> // Now that the generation of the outlined code is complete, update<a name="line.1671"></a> |
| <FONT color="green">1672</FONT> // the old local variables with new start and end ranges, as required.<a name="line.1672"></a> |
| <FONT color="green">1673</FONT> Iterator revisedLocalVarStartPairIter = revisedLocalVarStart.entrySet()<a name="line.1673"></a> |
| <FONT color="green">1674</FONT> .iterator();<a name="line.1674"></a> |
| <FONT color="green">1675</FONT> while (revisedLocalVarStartPairIter.hasNext()) {<a name="line.1675"></a> |
| <FONT color="green">1676</FONT> Map.Entry lvgRangeStartPair =<a name="line.1676"></a> |
| <FONT color="green">1677</FONT> (Map.Entry)revisedLocalVarStartPairIter.next();<a name="line.1677"></a> |
| <FONT color="green">1678</FONT> LocalVariableGen lvg = (LocalVariableGen)lvgRangeStartPair.getKey();<a name="line.1678"></a> |
| <FONT color="green">1679</FONT> InstructionHandle startInst =<a name="line.1679"></a> |
| <FONT color="green">1680</FONT> (InstructionHandle)lvgRangeStartPair.getValue();<a name="line.1680"></a> |
| <FONT color="green">1681</FONT> <a name="line.1681"></a> |
| <FONT color="green">1682</FONT> lvg.setStart(startInst);<a name="line.1682"></a> |
| <FONT color="green">1683</FONT> <a name="line.1683"></a> |
| <FONT color="green">1684</FONT> }<a name="line.1684"></a> |
| <FONT color="green">1685</FONT> <a name="line.1685"></a> |
| <FONT color="green">1686</FONT> Iterator revisedLocalVarEndPairIter = revisedLocalVarEnd.entrySet()<a name="line.1686"></a> |
| <FONT color="green">1687</FONT> .iterator();<a name="line.1687"></a> |
| <FONT color="green">1688</FONT> while (revisedLocalVarEndPairIter.hasNext()) {<a name="line.1688"></a> |
| <FONT color="green">1689</FONT> Map.Entry lvgRangeEndPair =<a name="line.1689"></a> |
| <FONT color="green">1690</FONT> (Map.Entry)revisedLocalVarEndPairIter.next();<a name="line.1690"></a> |
| <FONT color="green">1691</FONT> LocalVariableGen lvg = (LocalVariableGen)lvgRangeEndPair.getKey();<a name="line.1691"></a> |
| <FONT color="green">1692</FONT> InstructionHandle endInst =<a name="line.1692"></a> |
| <FONT color="green">1693</FONT> (InstructionHandle)lvgRangeEndPair.getValue();<a name="line.1693"></a> |
| <FONT color="green">1694</FONT> <a name="line.1694"></a> |
| <FONT color="green">1695</FONT> lvg.setEnd(endInst);<a name="line.1695"></a> |
| <FONT color="green">1696</FONT> }<a name="line.1696"></a> |
| <FONT color="green">1697</FONT> <a name="line.1697"></a> |
| <FONT color="green">1698</FONT> xsltc.dumpClass(copyAreaCG.getJavaClass());<a name="line.1698"></a> |
| <FONT color="green">1699</FONT> <a name="line.1699"></a> |
| <FONT color="green">1700</FONT> // Assemble the instruction lists so that the old method invokes the<a name="line.1700"></a> |
| <FONT color="green">1701</FONT> // new outlined method<a name="line.1701"></a> |
| <FONT color="green">1702</FONT> InstructionList oldMethodIL = getInstructionList();<a name="line.1702"></a> |
| <FONT color="green">1703</FONT> <a name="line.1703"></a> |
| <FONT color="green">1704</FONT> oldMethodIL.insert(first, oldMethCopyInIL);<a name="line.1704"></a> |
| <FONT color="green">1705</FONT> oldMethodIL.insert(first, oldMethCopyOutIL);<a name="line.1705"></a> |
| <FONT color="green">1706</FONT> <a name="line.1706"></a> |
| <FONT color="green">1707</FONT> // Insert the copying code into the outlined method<a name="line.1707"></a> |
| <FONT color="green">1708</FONT> newIL.insert(newMethCopyInIL);<a name="line.1708"></a> |
| <FONT color="green">1709</FONT> newIL.append(newMethCopyOutIL);<a name="line.1709"></a> |
| <FONT color="green">1710</FONT> newIL.append(InstructionConstants.RETURN);<a name="line.1710"></a> |
| <FONT color="green">1711</FONT> <a name="line.1711"></a> |
| <FONT color="green">1712</FONT> // Discard instructions in outlineable chunk from old method<a name="line.1712"></a> |
| <FONT color="green">1713</FONT> try {<a name="line.1713"></a> |
| <FONT color="green">1714</FONT> oldMethodIL.delete(first, last);<a name="line.1714"></a> |
| <FONT color="green">1715</FONT> } catch (TargetLostException e) {<a name="line.1715"></a> |
| <FONT color="green">1716</FONT> InstructionHandle[] targets = e.getTargets();<a name="line.1716"></a> |
| <FONT color="green">1717</FONT> // If there were still references to old instructions lingering,<a name="line.1717"></a> |
| <FONT color="green">1718</FONT> // clean those up. The only instructions targetting the deleted<a name="line.1718"></a> |
| <FONT color="green">1719</FONT> // instructions should have been part of the chunk that was just<a name="line.1719"></a> |
| <FONT color="green">1720</FONT> // deleted, except that instructions might branch to the start of<a name="line.1720"></a> |
| <FONT color="green">1721</FONT> // the outlined chunk; similarly, all the live ranges of local<a name="line.1721"></a> |
| <FONT color="green">1722</FONT> // variables should have been adjusted, except for unreferenced<a name="line.1722"></a> |
| <FONT color="green">1723</FONT> // variables.<a name="line.1723"></a> |
| <FONT color="green">1724</FONT> for (int i = 0; i < targets.length; i++) {<a name="line.1724"></a> |
| <FONT color="green">1725</FONT> InstructionHandle lostTarget = targets[i];<a name="line.1725"></a> |
| <FONT color="green">1726</FONT> InstructionTargeter[] targeters = lostTarget.getTargeters();<a name="line.1726"></a> |
| <FONT color="green">1727</FONT> for (int j = 0; j < targeters.length; j++) {<a name="line.1727"></a> |
| <FONT color="green">1728</FONT> if (targeters[j] instanceof LocalVariableGen) {<a name="line.1728"></a> |
| <FONT color="green">1729</FONT> LocalVariableGen lvgTargeter =<a name="line.1729"></a> |
| <FONT color="green">1730</FONT> (LocalVariableGen) targeters[j];<a name="line.1730"></a> |
| <FONT color="green">1731</FONT> // In the case of any lingering variable references,<a name="line.1731"></a> |
| <FONT color="green">1732</FONT> // just make the live range point to the outlined<a name="line.1732"></a> |
| <FONT color="green">1733</FONT> // function reference. Such variables should be unused<a name="line.1733"></a> |
| <FONT color="green">1734</FONT> // anyway.<a name="line.1734"></a> |
| <FONT color="green">1735</FONT> if (lvgTargeter.getStart() == lostTarget) {<a name="line.1735"></a> |
| <FONT color="green">1736</FONT> lvgTargeter.setStart(outlinedMethodRef);<a name="line.1736"></a> |
| <FONT color="green">1737</FONT> }<a name="line.1737"></a> |
| <FONT color="green">1738</FONT> if (lvgTargeter.getEnd() == lostTarget) {<a name="line.1738"></a> |
| <FONT color="green">1739</FONT> lvgTargeter.setEnd(outlinedMethodRef);<a name="line.1739"></a> |
| <FONT color="green">1740</FONT> }<a name="line.1740"></a> |
| <FONT color="green">1741</FONT> } else {<a name="line.1741"></a> |
| <FONT color="green">1742</FONT> targeters[j].updateTarget(lostTarget,<a name="line.1742"></a> |
| <FONT color="green">1743</FONT> outlinedMethodCallSetup);<a name="line.1743"></a> |
| <FONT color="green">1744</FONT> }<a name="line.1744"></a> |
| <FONT color="green">1745</FONT> }<a name="line.1745"></a> |
| <FONT color="green">1746</FONT> }<a name="line.1746"></a> |
| <FONT color="green">1747</FONT> }<a name="line.1747"></a> |
| <FONT color="green">1748</FONT> <a name="line.1748"></a> |
| <FONT color="green">1749</FONT> // Make a copy for the new method of all exceptions that might be thrown<a name="line.1749"></a> |
| <FONT color="green">1750</FONT> String[] exceptions = getExceptions();<a name="line.1750"></a> |
| <FONT color="green">1751</FONT> for (int i = 0; i < exceptions.length; i++) {<a name="line.1751"></a> |
| <FONT color="green">1752</FONT> outlinedMethodGen.addException(exceptions[i]);<a name="line.1752"></a> |
| <FONT color="green">1753</FONT> }<a name="line.1753"></a> |
| <FONT color="green">1754</FONT> <a name="line.1754"></a> |
| <FONT color="green">1755</FONT> return outlinedMethodGen.getThisMethod();<a name="line.1755"></a> |
| <FONT color="green">1756</FONT> }<a name="line.1756"></a> |
| <FONT color="green">1757</FONT> <a name="line.1757"></a> |
| <FONT color="green">1758</FONT> /**<a name="line.1758"></a> |
| <FONT color="green">1759</FONT> * Helper method to generate an instance of a subclass of<a name="line.1759"></a> |
| <FONT color="green">1760</FONT> * {@link LoadInstruction} based on the specified {@link Type} that will<a name="line.1760"></a> |
| <FONT color="green">1761</FONT> * load the specified local variable<a name="line.1761"></a> |
| <FONT color="green">1762</FONT> * @param index the JVM stack frame index of the variable that is to be<a name="line.1762"></a> |
| <FONT color="green">1763</FONT> * loaded<a name="line.1763"></a> |
| <FONT color="green">1764</FONT> * @param type the {@link Type} of the variable<a name="line.1764"></a> |
| <FONT color="green">1765</FONT> * @return the generated {@link LoadInstruction}<a name="line.1765"></a> |
| <FONT color="green">1766</FONT> */<a name="line.1766"></a> |
| <FONT color="green">1767</FONT> private static Instruction loadLocal(int index, Type type) {<a name="line.1767"></a> |
| <FONT color="green">1768</FONT> if (type == Type.BOOLEAN) {<a name="line.1768"></a> |
| <FONT color="green">1769</FONT> return new ILOAD(index);<a name="line.1769"></a> |
| <FONT color="green">1770</FONT> } else if (type == Type.INT) {<a name="line.1770"></a> |
| <FONT color="green">1771</FONT> return new ILOAD(index);<a name="line.1771"></a> |
| <FONT color="green">1772</FONT> } else if (type == Type.SHORT) {<a name="line.1772"></a> |
| <FONT color="green">1773</FONT> return new ILOAD(index);<a name="line.1773"></a> |
| <FONT color="green">1774</FONT> } else if (type == Type.LONG) {<a name="line.1774"></a> |
| <FONT color="green">1775</FONT> return new LLOAD(index);<a name="line.1775"></a> |
| <FONT color="green">1776</FONT> } else if (type == Type.BYTE) {<a name="line.1776"></a> |
| <FONT color="green">1777</FONT> return new ILOAD(index);<a name="line.1777"></a> |
| <FONT color="green">1778</FONT> } else if (type == Type.CHAR) {<a name="line.1778"></a> |
| <FONT color="green">1779</FONT> return new ILOAD(index);<a name="line.1779"></a> |
| <FONT color="green">1780</FONT> } else if (type == Type.FLOAT) {<a name="line.1780"></a> |
| <FONT color="green">1781</FONT> return new FLOAD(index);<a name="line.1781"></a> |
| <FONT color="green">1782</FONT> } else if (type == Type.DOUBLE) {<a name="line.1782"></a> |
| <FONT color="green">1783</FONT> return new DLOAD(index);<a name="line.1783"></a> |
| <FONT color="green">1784</FONT> } else {<a name="line.1784"></a> |
| <FONT color="green">1785</FONT> return new ALOAD(index);<a name="line.1785"></a> |
| <FONT color="green">1786</FONT> }<a name="line.1786"></a> |
| <FONT color="green">1787</FONT> }<a name="line.1787"></a> |
| <FONT color="green">1788</FONT> <a name="line.1788"></a> |
| <FONT color="green">1789</FONT> /**<a name="line.1789"></a> |
| <FONT color="green">1790</FONT> * Helper method to generate an instance of a subclass of<a name="line.1790"></a> |
| <FONT color="green">1791</FONT> * {@link StoreInstruction} based on the specified {@link Type} that will<a name="line.1791"></a> |
| <FONT color="green">1792</FONT> * store a value in the specified local variable<a name="line.1792"></a> |
| <FONT color="green">1793</FONT> * @param index the JVM stack frame index of the variable that is to be<a name="line.1793"></a> |
| <FONT color="green">1794</FONT> * stored<a name="line.1794"></a> |
| <FONT color="green">1795</FONT> * @param type the {@link Type} of the variable<a name="line.1795"></a> |
| <FONT color="green">1796</FONT> * @return the generated {@link StoredInstruction}<a name="line.1796"></a> |
| <FONT color="green">1797</FONT> */<a name="line.1797"></a> |
| <FONT color="green">1798</FONT> private static Instruction storeLocal(int index, Type type) {<a name="line.1798"></a> |
| <FONT color="green">1799</FONT> if (type == Type.BOOLEAN) {<a name="line.1799"></a> |
| <FONT color="green">1800</FONT> return new ISTORE(index);<a name="line.1800"></a> |
| <FONT color="green">1801</FONT> } else if (type == Type.INT) {<a name="line.1801"></a> |
| <FONT color="green">1802</FONT> return new ISTORE(index);<a name="line.1802"></a> |
| <FONT color="green">1803</FONT> } else if (type == Type.SHORT) {<a name="line.1803"></a> |
| <FONT color="green">1804</FONT> return new ISTORE(index);<a name="line.1804"></a> |
| <FONT color="green">1805</FONT> } else if (type == Type.LONG) {<a name="line.1805"></a> |
| <FONT color="green">1806</FONT> return new LSTORE(index);<a name="line.1806"></a> |
| <FONT color="green">1807</FONT> } else if (type == Type.BYTE) {<a name="line.1807"></a> |
| <FONT color="green">1808</FONT> return new ISTORE(index);<a name="line.1808"></a> |
| <FONT color="green">1809</FONT> } else if (type == Type.CHAR) {<a name="line.1809"></a> |
| <FONT color="green">1810</FONT> return new ISTORE(index);<a name="line.1810"></a> |
| <FONT color="green">1811</FONT> } else if (type == Type.FLOAT) {<a name="line.1811"></a> |
| <FONT color="green">1812</FONT> return new FSTORE(index);<a name="line.1812"></a> |
| <FONT color="green">1813</FONT> } else if (type == Type.DOUBLE) {<a name="line.1813"></a> |
| <FONT color="green">1814</FONT> return new DSTORE(index);<a name="line.1814"></a> |
| <FONT color="green">1815</FONT> } else {<a name="line.1815"></a> |
| <FONT color="green">1816</FONT> return new ASTORE(index);<a name="line.1816"></a> |
| <FONT color="green">1817</FONT> }<a name="line.1817"></a> |
| <FONT color="green">1818</FONT> }<a name="line.1818"></a> |
| <FONT color="green">1819</FONT> <a name="line.1819"></a> |
| <FONT color="green">1820</FONT> /**<a name="line.1820"></a> |
| <FONT color="green">1821</FONT> * Track the number of outlineable chunks seen.<a name="line.1821"></a> |
| <FONT color="green">1822</FONT> */<a name="line.1822"></a> |
| <FONT color="green">1823</FONT> private int m_totalChunks = 0;<a name="line.1823"></a> |
| <FONT color="green">1824</FONT> <a name="line.1824"></a> |
| <FONT color="green">1825</FONT> /**<a name="line.1825"></a> |
| <FONT color="green">1826</FONT> * Track the number of outlineable chunks started but not yet ended. Used<a name="line.1826"></a> |
| <FONT color="green">1827</FONT> * to detect imbalances in byte code generation.<a name="line.1827"></a> |
| <FONT color="green">1828</FONT> */<a name="line.1828"></a> |
| <FONT color="green">1829</FONT> private int m_openChunks = 0;<a name="line.1829"></a> |
| <FONT color="green">1830</FONT> <a name="line.1830"></a> |
| <FONT color="green">1831</FONT> /**<a name="line.1831"></a> |
| <FONT color="green">1832</FONT> * Mark the end of the method's<a name="line.1832"></a> |
| <FONT color="green">1833</FONT> * {@link InstructionList} as the start of an outlineable chunk of code.<a name="line.1833"></a> |
| <FONT color="green">1834</FONT> * The outlineable chunk begins after the {@link InstructionHandle} that is<a name="line.1834"></a> |
| <FONT color="green">1835</FONT> * at the end of the method's {@link InstructionList}, or at the start of<a name="line.1835"></a> |
| <FONT color="green">1836</FONT> * the method if the <code>InstructionList</code> is empty.<a name="line.1836"></a> |
| <FONT color="green">1837</FONT> * See {@link OutlineableChunkStart} for more information.<a name="line.1837"></a> |
| <FONT color="green">1838</FONT> */<a name="line.1838"></a> |
| <FONT color="green">1839</FONT> public void markChunkStart() {<a name="line.1839"></a> |
| <FONT color="green">1840</FONT> // m_chunkTree.markChunkStart();<a name="line.1840"></a> |
| <FONT color="green">1841</FONT> getInstructionList()<a name="line.1841"></a> |
| <FONT color="green">1842</FONT> .append(OutlineableChunkStart.OUTLINEABLECHUNKSTART);<a name="line.1842"></a> |
| <FONT color="green">1843</FONT> m_totalChunks++;<a name="line.1843"></a> |
| <FONT color="green">1844</FONT> m_openChunks++;<a name="line.1844"></a> |
| <FONT color="green">1845</FONT> }<a name="line.1845"></a> |
| <FONT color="green">1846</FONT> <a name="line.1846"></a> |
| <FONT color="green">1847</FONT> /**<a name="line.1847"></a> |
| <FONT color="green">1848</FONT> * Mark the end of an outlineable chunk of code. See<a name="line.1848"></a> |
| <FONT color="green">1849</FONT> * {@link OutlineableChunkStart} for more information.<a name="line.1849"></a> |
| <FONT color="green">1850</FONT> */<a name="line.1850"></a> |
| <FONT color="green">1851</FONT> public void markChunkEnd() {<a name="line.1851"></a> |
| <FONT color="green">1852</FONT> // m_chunkTree.markChunkEnd();<a name="line.1852"></a> |
| <FONT color="green">1853</FONT> getInstructionList()<a name="line.1853"></a> |
| <FONT color="green">1854</FONT> .append(OutlineableChunkEnd.OUTLINEABLECHUNKEND);<a name="line.1854"></a> |
| <FONT color="green">1855</FONT> m_openChunks--;<a name="line.1855"></a> |
| <FONT color="green">1856</FONT> if (m_openChunks < 0) {<a name="line.1856"></a> |
| <FONT color="green">1857</FONT> String msg = (new ErrorMsg(ErrorMsg.OUTLINE_ERR_UNBALANCED_MARKERS))<a name="line.1857"></a> |
| <FONT color="green">1858</FONT> .toString();<a name="line.1858"></a> |
| <FONT color="green">1859</FONT> throw new InternalError(msg);<a name="line.1859"></a> |
| <FONT color="green">1860</FONT> }<a name="line.1860"></a> |
| <FONT color="green">1861</FONT> }<a name="line.1861"></a> |
| <FONT color="green">1862</FONT> <a name="line.1862"></a> |
| <FONT color="green">1863</FONT> /**<a name="line.1863"></a> |
| <FONT color="green">1864</FONT> * <p>Get all {@link Method}s generated by this {@link MethodGenerator}.<a name="line.1864"></a> |
| <FONT color="green">1865</FONT> * The {@link MethodGen#getMethod()} only returns a single<a name="line.1865"></a> |
| <FONT color="green">1866</FONT> * <code>Method</code> object. This method takes into account the Java<a name="line.1866"></a> |
| <FONT color="green">1867</FONT> * Virtual Machine Specification limit of 64KB on the size of a method, and<a name="line.1867"></a> |
| <FONT color="green">1868</FONT> * may return more than one <code>Method</code>.</p><a name="line.1868"></a> |
| <FONT color="green">1869</FONT> * <p>If the code associated with the <code>MethodGenerator</code> would<a name="line.1869"></a> |
| <FONT color="green">1870</FONT> * exceed the 64KB limit, this method will attempt to split the code in<a name="line.1870"></a> |
| <FONT color="green">1871</FONT> * the {@link InstructionList} associated with this<a name="line.1871"></a> |
| <FONT color="green">1872</FONT> * <code>MethodGenerator</code> into several methods.</p> <a name="line.1872"></a> |
| <FONT color="green">1873</FONT> * @param classGen the {@link ClassGenerator} of which these methods are<a name="line.1873"></a> |
| <FONT color="green">1874</FONT> * members<a name="line.1874"></a> |
| <FONT color="green">1875</FONT> * @return an array of all the <code>Method</code>s generated<a name="line.1875"></a> |
| <FONT color="green">1876</FONT> */<a name="line.1876"></a> |
| <FONT color="green">1877</FONT> Method[] getGeneratedMethods(ClassGenerator classGen) {<a name="line.1877"></a> |
| <FONT color="green">1878</FONT> Method[] generatedMethods;<a name="line.1878"></a> |
| <FONT color="green">1879</FONT> InstructionList il = getInstructionList();<a name="line.1879"></a> |
| <FONT color="green">1880</FONT> InstructionHandle last = il.getEnd();<a name="line.1880"></a> |
| <FONT color="green">1881</FONT> <a name="line.1881"></a> |
| <FONT color="green">1882</FONT> il.setPositions();<a name="line.1882"></a> |
| <FONT color="green">1883</FONT> <a name="line.1883"></a> |
| <FONT color="green">1884</FONT> int instructionListSize =<a name="line.1884"></a> |
| <FONT color="green">1885</FONT> last.getPosition() + last.getInstruction().getLength(); <a name="line.1885"></a> |
| <FONT color="green">1886</FONT> <a name="line.1886"></a> |
| <FONT color="green">1887</FONT> // Need to look for any branch target offsets that exceed the range<a name="line.1887"></a> |
| <FONT color="green">1888</FONT> // [-32768,32767]<a name="line.1888"></a> |
| <FONT color="green">1889</FONT> if (instructionListSize > MAX_BRANCH_TARGET_OFFSET) {<a name="line.1889"></a> |
| <FONT color="green">1890</FONT> boolean ilChanged = widenConditionalBranchTargetOffsets();<a name="line.1890"></a> |
| <FONT color="green">1891</FONT> <a name="line.1891"></a> |
| <FONT color="green">1892</FONT> // If any branch instructions needed widening, recompute the size<a name="line.1892"></a> |
| <FONT color="green">1893</FONT> // of the byte code for the method<a name="line.1893"></a> |
| <FONT color="green">1894</FONT> if (ilChanged) {<a name="line.1894"></a> |
| <FONT color="green">1895</FONT> il.setPositions();<a name="line.1895"></a> |
| <FONT color="green">1896</FONT> last = il.getEnd();<a name="line.1896"></a> |
| <FONT color="green">1897</FONT> instructionListSize =<a name="line.1897"></a> |
| <FONT color="green">1898</FONT> last.getPosition() + last.getInstruction().getLength(); <a name="line.1898"></a> |
| <FONT color="green">1899</FONT> }<a name="line.1899"></a> |
| <FONT color="green">1900</FONT> }<a name="line.1900"></a> |
| <FONT color="green">1901</FONT> <a name="line.1901"></a> |
| <FONT color="green">1902</FONT> if (instructionListSize > MAX_METHOD_SIZE) {<a name="line.1902"></a> |
| <FONT color="green">1903</FONT> generatedMethods = outlineChunks(classGen, instructionListSize);<a name="line.1903"></a> |
| <FONT color="green">1904</FONT> } else {<a name="line.1904"></a> |
| <FONT color="green">1905</FONT> generatedMethods = new Method[] {getThisMethod()};<a name="line.1905"></a> |
| <FONT color="green">1906</FONT> }<a name="line.1906"></a> |
| <FONT color="green">1907</FONT> return generatedMethods;<a name="line.1907"></a> |
| <FONT color="green">1908</FONT> }<a name="line.1908"></a> |
| <FONT color="green">1909</FONT> <a name="line.1909"></a> |
| <FONT color="green">1910</FONT> protected Method getThisMethod() {<a name="line.1910"></a> |
| <FONT color="green">1911</FONT> stripAttributes(true);<a name="line.1911"></a> |
| <FONT color="green">1912</FONT> setMaxLocals();<a name="line.1912"></a> |
| <FONT color="green">1913</FONT> setMaxStack();<a name="line.1913"></a> |
| <FONT color="green">1914</FONT> removeNOPs();<a name="line.1914"></a> |
| <FONT color="green">1915</FONT> <a name="line.1915"></a> |
| <FONT color="green">1916</FONT> return getMethod();<a name="line.1916"></a> |
| <FONT color="green">1917</FONT> }<a name="line.1917"></a> |
| <FONT color="green">1918</FONT> /**<a name="line.1918"></a> |
| <FONT color="green">1919</FONT> * <p>Rewrites branches to avoid the JVM limits of relative branch<a name="line.1919"></a> |
| <FONT color="green">1920</FONT> * offsets. There is no need to invoke this method if the bytecode for the<a name="line.1920"></a> |
| <FONT color="green">1921</FONT> * {@link MethodGenerator} does not exceed 32KB.</p><a name="line.1921"></a> |
| <FONT color="green">1922</FONT> * <p>The Java Virtual Machine Specification permits the code portion of a<a name="line.1922"></a> |
| <FONT color="green">1923</FONT> * method to be up to 64KB in length. However, some control transfer<a name="line.1923"></a> |
| <FONT color="green">1924</FONT> * instructions specify relative offsets as a signed 16-bit quantity,<a name="line.1924"></a> |
| <FONT color="green">1925</FONT> * limiting the range to a subset of the instructions that might be in a<a name="line.1925"></a> |
| <FONT color="green">1926</FONT> * method.</p><a name="line.1926"></a> |
| <FONT color="green">1927</FONT> * <p>The <code>TABLESWITCH</code> and <code>LOOKUPSWITCH</code><a name="line.1927"></a> |
| <FONT color="green">1928</FONT> * instructions always use 32-bit signed relative offsets, so they are<a name="line.1928"></a> |
| <FONT color="green">1929</FONT> * immune to this problem.</p><a name="line.1929"></a> |
| <FONT color="green">1930</FONT> * <p>The <code>GOTO</code> and <code>JSR</code><a name="line.1930"></a> |
| <FONT color="green">1931</FONT> * instructions come in two forms, one of which uses 16-bit relative<a name="line.1931"></a> |
| <FONT color="green">1932</FONT> * offsets, and the other of which uses 32-bit relative offsets. The BCEL<a name="line.1932"></a> |
| <FONT color="green">1933</FONT> * library decides whether to use the wide form of <code>GOTO</code> or<a name="line.1933"></a> |
| <FONT color="green">1934</FONT> * <code>JSR</code>instructions based on the relative offset of the target<a name="line.1934"></a> |
| <FONT color="green">1935</FONT> * of the instruction without any intervention by the user of the<a name="line.1935"></a> |
| <FONT color="green">1936</FONT> * library.</p><a name="line.1936"></a> |
| <FONT color="green">1937</FONT> * <p>This leaves the various conditional branch instructions,<a name="line.1937"></a> |
| <FONT color="green">1938</FONT> * <code>IFEQ</code>, <code>IFNULL</code>, <code>IF_ICMPEQ</code>,<a name="line.1938"></a> |
| <FONT color="green">1939</FONT> * <em>et al.</em>, all of which use 16-bit signed relative offsets, with no<a name="line.1939"></a> |
| <FONT color="green">1940</FONT> * 32-bit wide form available.</p><a name="line.1940"></a> |
| <FONT color="green">1941</FONT> * <p>This method scans the {@link InstructionList} associated with this<a name="line.1941"></a> |
| <FONT color="green">1942</FONT> * {@link MethodGenerator} and finds all conditional branch instructions<a name="line.1942"></a> |
| <FONT color="green">1943</FONT> * that might exceed the 16-bit limitation for relative branch offsets.<a name="line.1943"></a> |
| <FONT color="green">1944</FONT> * The logic of each such instruction is inverted, and made to target the<a name="line.1944"></a> |
| <FONT color="green">1945</FONT> * instruction which follows it. An unconditional branch to the original<a name="line.1945"></a> |
| <FONT color="green">1946</FONT> * target of the instruction is then inserted between the conditional<a name="line.1946"></a> |
| <FONT color="green">1947</FONT> * branch and the instruction which previously followed it. The<a name="line.1947"></a> |
| <FONT color="green">1948</FONT> * unconditional branch is permitted to have a 16-bit or a 32-bit relative<a name="line.1948"></a> |
| <FONT color="green">1949</FONT> * offset, as described above. For example,<a name="line.1949"></a> |
| <FONT color="green">1950</FONT> * <code><a name="line.1950"></a> |
| <FONT color="green">1951</FONT> * 1234: NOP<a name="line.1951"></a> |
| <FONT color="green">1952</FONT> * ...<a name="line.1952"></a> |
| <FONT color="green">1953</FONT> * 55278: IFEQ -54044<a name="line.1953"></a> |
| <FONT color="green">1954</FONT> * 55280: NOP<a name="line.1954"></a> |
| <FONT color="green">1955</FONT> * </code><a name="line.1955"></a> |
| <FONT color="green">1956</FONT> * is rewritten as<a name="line.1956"></a> |
| <FONT color="green">1957</FONT> * <code><a name="line.1957"></a> |
| <FONT color="green">1958</FONT> * 1234: NOP<a name="line.1958"></a> |
| <FONT color="green">1959</FONT> * ...<a name="line.1959"></a> |
| <FONT color="green">1960</FONT> * 55278: IFNE 7<a name="line.1960"></a> |
| <FONT color="green">1961</FONT> * 55280: GOTO_W -54046<a name="line.1961"></a> |
| <FONT color="green">1962</FONT> * 55285: NOP<a name="line.1962"></a> |
| <FONT color="green">1963</FONT> * </code></p><a name="line.1963"></a> |
| <FONT color="green">1964</FONT> * <p><b>Preconditions:</b><a name="line.1964"></a> |
| <FONT color="green">1965</FONT> * <ul><li>The {@link InstructionList#setPositions()} has been called for<a name="line.1965"></a> |
| <FONT color="green">1966</FONT> * the <code>InstructionList</code> associated with this<a name="line.1966"></a> |
| <FONT color="green">1967</FONT> * <code>MethodGenerator</code>.<a name="line.1967"></a> |
| <FONT color="green">1968</FONT> * </li></ul></p><a name="line.1968"></a> |
| <FONT color="green">1969</FONT> * <p><b>Postconditions:</b><a name="line.1969"></a> |
| <FONT color="green">1970</FONT> * <ul><li>Any further changes to the <code>InstructionList</code> for this<a name="line.1970"></a> |
| <FONT color="green">1971</FONT> * <code>MethodGenerator</code> will invalidate the changes made by this<a name="line.1971"></a> |
| <FONT color="green">1972</FONT> * method.</li></ul><a name="line.1972"></a> |
| <FONT color="green">1973</FONT> * </p><a name="line.1973"></a> |
| <FONT color="green">1974</FONT> * @return <code>true</code> if the <code>InstructionList</code> was<a name="line.1974"></a> |
| <FONT color="green">1975</FONT> * modified; <code>false</code> otherwise<a name="line.1975"></a> |
| <FONT color="green">1976</FONT> * @see The Java Virtual Machine Specification, Second Edition<a name="line.1976"></a> |
| <FONT color="green">1977</FONT> */<a name="line.1977"></a> |
| <FONT color="green">1978</FONT> boolean widenConditionalBranchTargetOffsets() {<a name="line.1978"></a> |
| <FONT color="green">1979</FONT> boolean ilChanged = false;<a name="line.1979"></a> |
| <FONT color="green">1980</FONT> int maxOffsetChange = 0;<a name="line.1980"></a> |
| <FONT color="green">1981</FONT> InstructionList il = getInstructionList();<a name="line.1981"></a> |
| <FONT color="green">1982</FONT> <a name="line.1982"></a> |
| <FONT color="green">1983</FONT> // Loop through all the instructions, finding those that would be<a name="line.1983"></a> |
| <FONT color="green">1984</FONT> // affected by inserting new instructions in the InstructionList, and<a name="line.1984"></a> |
| <FONT color="green">1985</FONT> // calculating the maximum amount by which the relative offset between<a name="line.1985"></a> |
| <FONT color="green">1986</FONT> // two instructions could possibly change.<a name="line.1986"></a> |
| <FONT color="green">1987</FONT> // In part this loop duplicates code in<a name="line.1987"></a> |
| <FONT color="green">1988</FONT> // org.apache.bcel.generic.InstructionList.setPosition(), which does<a name="line.1988"></a> |
| <FONT color="green">1989</FONT> // this to determine whether to use 16-bit or 32-bit offsets for GOTO<a name="line.1989"></a> |
| <FONT color="green">1990</FONT> // and JSR instructions. Ideally, that method would do the same for<a name="line.1990"></a> |
| <FONT color="green">1991</FONT> // conditional branch instructions, but it doesn't, so we duplicate the<a name="line.1991"></a> |
| <FONT color="green">1992</FONT> // processing here.<a name="line.1992"></a> |
| <FONT color="green">1993</FONT> for (InstructionHandle ih = il.getStart();<a name="line.1993"></a> |
| <FONT color="green">1994</FONT> ih != null;<a name="line.1994"></a> |
| <FONT color="green">1995</FONT> ih = ih.getNext()) {<a name="line.1995"></a> |
| <FONT color="green">1996</FONT> Instruction inst = ih.getInstruction();<a name="line.1996"></a> |
| <FONT color="green">1997</FONT> <a name="line.1997"></a> |
| <FONT color="green">1998</FONT> switch (inst.getOpcode()) {<a name="line.1998"></a> |
| <FONT color="green">1999</FONT> // Instructions that may have 16-bit or 32-bit branch targets.<a name="line.1999"></a> |
| <FONT color="green">2000</FONT> // The size of the branch offset might increase by two bytes.<a name="line.2000"></a> |
| <FONT color="green">2001</FONT> case Constants.GOTO:<a name="line.2001"></a> |
| <FONT color="green">2002</FONT> case Constants.JSR:<a name="line.2002"></a> |
| <FONT color="green">2003</FONT> maxOffsetChange = maxOffsetChange + 2; <a name="line.2003"></a> |
| <FONT color="green">2004</FONT> break;<a name="line.2004"></a> |
| <FONT color="green">2005</FONT> // Instructions that contain padding for alignment purposes<a name="line.2005"></a> |
| <FONT color="green">2006</FONT> // Up to three bytes of padding might be needed. For greater<a name="line.2006"></a> |
| <FONT color="green">2007</FONT> // accuracy, we should be able to discount any padding already<a name="line.2007"></a> |
| <FONT color="green">2008</FONT> // added to these instructions by InstructionList.setPosition(),<a name="line.2008"></a> |
| <FONT color="green">2009</FONT> // their APIs do not expose that information.<a name="line.2009"></a> |
| <FONT color="green">2010</FONT> case Constants.TABLESWITCH:<a name="line.2010"></a> |
| <FONT color="green">2011</FONT> case Constants.LOOKUPSWITCH:<a name="line.2011"></a> |
| <FONT color="green">2012</FONT> maxOffsetChange = maxOffsetChange + 3;<a name="line.2012"></a> |
| <FONT color="green">2013</FONT> break;<a name="line.2013"></a> |
| <FONT color="green">2014</FONT> // Instructions that might be rewritten by this method as a<a name="line.2014"></a> |
| <FONT color="green">2015</FONT> // conditional branch followed by an unconditional branch.<a name="line.2015"></a> |
| <FONT color="green">2016</FONT> // The unconditional branch would require five bytes. <a name="line.2016"></a> |
| <FONT color="green">2017</FONT> case Constants.IF_ACMPEQ:<a name="line.2017"></a> |
| <FONT color="green">2018</FONT> case Constants.IF_ACMPNE:<a name="line.2018"></a> |
| <FONT color="green">2019</FONT> case Constants.IF_ICMPEQ:<a name="line.2019"></a> |
| <FONT color="green">2020</FONT> case Constants.IF_ICMPGE:<a name="line.2020"></a> |
| <FONT color="green">2021</FONT> case Constants.IF_ICMPGT:<a name="line.2021"></a> |
| <FONT color="green">2022</FONT> case Constants.IF_ICMPLE:<a name="line.2022"></a> |
| <FONT color="green">2023</FONT> case Constants.IF_ICMPLT:<a name="line.2023"></a> |
| <FONT color="green">2024</FONT> case Constants.IF_ICMPNE:<a name="line.2024"></a> |
| <FONT color="green">2025</FONT> case Constants.IFEQ:<a name="line.2025"></a> |
| <FONT color="green">2026</FONT> case Constants.IFGE:<a name="line.2026"></a> |
| <FONT color="green">2027</FONT> case Constants.IFGT:<a name="line.2027"></a> |
| <FONT color="green">2028</FONT> case Constants.IFLE:<a name="line.2028"></a> |
| <FONT color="green">2029</FONT> case Constants.IFLT:<a name="line.2029"></a> |
| <FONT color="green">2030</FONT> case Constants.IFNE:<a name="line.2030"></a> |
| <FONT color="green">2031</FONT> case Constants.IFNONNULL:<a name="line.2031"></a> |
| <FONT color="green">2032</FONT> case Constants.IFNULL:<a name="line.2032"></a> |
| <FONT color="green">2033</FONT> maxOffsetChange = maxOffsetChange + 5;<a name="line.2033"></a> |
| <FONT color="green">2034</FONT> break;<a name="line.2034"></a> |
| <FONT color="green">2035</FONT> }<a name="line.2035"></a> |
| <FONT color="green">2036</FONT> }<a name="line.2036"></a> |
| <FONT color="green">2037</FONT> <a name="line.2037"></a> |
| <FONT color="green">2038</FONT> // Now that the maximum number of bytes by which the method might grow<a name="line.2038"></a> |
| <FONT color="green">2039</FONT> // has been determined, look for conditional branches to see which<a name="line.2039"></a> |
| <FONT color="green">2040</FONT> // might possibly exceed the 16-bit relative offset.<a name="line.2040"></a> |
| <FONT color="green">2041</FONT> for (InstructionHandle ih = il.getStart();<a name="line.2041"></a> |
| <FONT color="green">2042</FONT> ih != null;<a name="line.2042"></a> |
| <FONT color="green">2043</FONT> ih = ih.getNext()) {<a name="line.2043"></a> |
| <FONT color="green">2044</FONT> Instruction inst = ih.getInstruction();<a name="line.2044"></a> |
| <FONT color="green">2045</FONT> <a name="line.2045"></a> |
| <FONT color="green">2046</FONT> if (inst instanceof IfInstruction) {<a name="line.2046"></a> |
| <FONT color="green">2047</FONT> IfInstruction oldIfInst = (IfInstruction)inst;<a name="line.2047"></a> |
| <FONT color="green">2048</FONT> BranchHandle oldIfHandle = (BranchHandle)ih;<a name="line.2048"></a> |
| <FONT color="green">2049</FONT> InstructionHandle target = oldIfInst.getTarget();<a name="line.2049"></a> |
| <FONT color="green">2050</FONT> int relativeTargetOffset = target.getPosition()<a name="line.2050"></a> |
| <FONT color="green">2051</FONT> - oldIfHandle.getPosition();<a name="line.2051"></a> |
| <FONT color="green">2052</FONT> <a name="line.2052"></a> |
| <FONT color="green">2053</FONT> // Consider the worst case scenario in which the conditional<a name="line.2053"></a> |
| <FONT color="green">2054</FONT> // branch and its target are separated by all the instructions<a name="line.2054"></a> |
| <FONT color="green">2055</FONT> // in the method that might increase in size. If that results<a name="line.2055"></a> |
| <FONT color="green">2056</FONT> // in a relative offset that cannot be represented as a 32-bit<a name="line.2056"></a> |
| <FONT color="green">2057</FONT> // signed quantity, rewrite the instruction as described above.<a name="line.2057"></a> |
| <FONT color="green">2058</FONT> if ((relativeTargetOffset - maxOffsetChange<a name="line.2058"></a> |
| <FONT color="green">2059</FONT> < MIN_BRANCH_TARGET_OFFSET)<a name="line.2059"></a> |
| <FONT color="green">2060</FONT> || (relativeTargetOffset + maxOffsetChange<a name="line.2060"></a> |
| <FONT color="green">2061</FONT> > MAX_BRANCH_TARGET_OFFSET)) {<a name="line.2061"></a> |
| <FONT color="green">2062</FONT> // Invert the logic of the IF instruction, and append<a name="line.2062"></a> |
| <FONT color="green">2063</FONT> // that to the InstructionList following the original IF<a name="line.2063"></a> |
| <FONT color="green">2064</FONT> // instruction<a name="line.2064"></a> |
| <FONT color="green">2065</FONT> InstructionHandle nextHandle = oldIfHandle.getNext();<a name="line.2065"></a> |
| <FONT color="green">2066</FONT> IfInstruction invertedIfInst = oldIfInst.negate();<a name="line.2066"></a> |
| <FONT color="green">2067</FONT> BranchHandle invertedIfHandle = il.append(oldIfHandle,<a name="line.2067"></a> |
| <FONT color="green">2068</FONT> invertedIfInst);<a name="line.2068"></a> |
| <FONT color="green">2069</FONT> <a name="line.2069"></a> |
| <FONT color="green">2070</FONT> // Append an unconditional branch to the target of the<a name="line.2070"></a> |
| <FONT color="green">2071</FONT> // original IF instruction after the new IF instruction<a name="line.2071"></a> |
| <FONT color="green">2072</FONT> BranchHandle gotoHandle = il.append(invertedIfHandle,<a name="line.2072"></a> |
| <FONT color="green">2073</FONT> new GOTO(target));<a name="line.2073"></a> |
| <FONT color="green">2074</FONT> <a name="line.2074"></a> |
| <FONT color="green">2075</FONT> // If the original IF was the last instruction in<a name="line.2075"></a> |
| <FONT color="green">2076</FONT> // InstructionList, add a new no-op to act as the target<a name="line.2076"></a> |
| <FONT color="green">2077</FONT> // of the new IF<a name="line.2077"></a> |
| <FONT color="green">2078</FONT> if (nextHandle == null) {<a name="line.2078"></a> |
| <FONT color="green">2079</FONT> nextHandle = il.append(gotoHandle, NOP);<a name="line.2079"></a> |
| <FONT color="green">2080</FONT> }<a name="line.2080"></a> |
| <FONT color="green">2081</FONT> <a name="line.2081"></a> |
| <FONT color="green">2082</FONT> // Make the new IF instruction branch around the GOTO<a name="line.2082"></a> |
| <FONT color="green">2083</FONT> invertedIfHandle.updateTarget(target, nextHandle);<a name="line.2083"></a> |
| <FONT color="green">2084</FONT> <a name="line.2084"></a> |
| <FONT color="green">2085</FONT> // If anything still "points" to the old IF instruction,<a name="line.2085"></a> |
| <FONT color="green">2086</FONT> // make adjustments to refer to either the new IF or GOTO<a name="line.2086"></a> |
| <FONT color="green">2087</FONT> // instruction<a name="line.2087"></a> |
| <FONT color="green">2088</FONT> if (oldIfHandle.hasTargeters()) {<a name="line.2088"></a> |
| <FONT color="green">2089</FONT> InstructionTargeter[] targeters =<a name="line.2089"></a> |
| <FONT color="green">2090</FONT> oldIfHandle.getTargeters();<a name="line.2090"></a> |
| <FONT color="green">2091</FONT> <a name="line.2091"></a> |
| <FONT color="green">2092</FONT> for (int i = 0; i < targeters.length; i++) {<a name="line.2092"></a> |
| <FONT color="green">2093</FONT> InstructionTargeter targeter = targeters[i];<a name="line.2093"></a> |
| <FONT color="green">2094</FONT> // Ideally, one should simply be able to use<a name="line.2094"></a> |
| <FONT color="green">2095</FONT> // InstructionTargeter.updateTarget to change<a name="line.2095"></a> |
| <FONT color="green">2096</FONT> // references to the old IF instruction to the new<a name="line.2096"></a> |
| <FONT color="green">2097</FONT> // IF instruction. However, if a LocalVariableGen<a name="line.2097"></a> |
| <FONT color="green">2098</FONT> // indicated the old IF marked the end of the range<a name="line.2098"></a> |
| <FONT color="green">2099</FONT> // in which the IF variable is in use, the live<a name="line.2099"></a> |
| <FONT color="green">2100</FONT> // range of the variable must extend to include the<a name="line.2100"></a> |
| <FONT color="green">2101</FONT> // newly created GOTO instruction. The need for<a name="line.2101"></a> |
| <FONT color="green">2102</FONT> // this sort of specific knowledge of an<a name="line.2102"></a> |
| <FONT color="green">2103</FONT> // implementor of the InstructionTargeter interface<a name="line.2103"></a> |
| <FONT color="green">2104</FONT> // makes the code more fragile. Future implementors<a name="line.2104"></a> |
| <FONT color="green">2105</FONT> // of the interface might have similar requirements<a name="line.2105"></a> |
| <FONT color="green">2106</FONT> // which wouldn't be accommodated seemlessly.<a name="line.2106"></a> |
| <FONT color="green">2107</FONT> if (targeter instanceof LocalVariableGen) {<a name="line.2107"></a> |
| <FONT color="green">2108</FONT> LocalVariableGen lvg =<a name="line.2108"></a> |
| <FONT color="green">2109</FONT> (LocalVariableGen) targeter;<a name="line.2109"></a> |
| <FONT color="green">2110</FONT> if (lvg.getStart() == oldIfHandle) {<a name="line.2110"></a> |
| <FONT color="green">2111</FONT> lvg.setStart(invertedIfHandle);<a name="line.2111"></a> |
| <FONT color="green">2112</FONT> } else if (lvg.getEnd() == oldIfHandle) {<a name="line.2112"></a> |
| <FONT color="green">2113</FONT> lvg.setEnd(gotoHandle);<a name="line.2113"></a> |
| <FONT color="green">2114</FONT> }<a name="line.2114"></a> |
| <FONT color="green">2115</FONT> } else {<a name="line.2115"></a> |
| <FONT color="green">2116</FONT> targeter.updateTarget(oldIfHandle,<a name="line.2116"></a> |
| <FONT color="green">2117</FONT> invertedIfHandle);<a name="line.2117"></a> |
| <FONT color="green">2118</FONT> }<a name="line.2118"></a> |
| <FONT color="green">2119</FONT> }<a name="line.2119"></a> |
| <FONT color="green">2120</FONT> }<a name="line.2120"></a> |
| <FONT color="green">2121</FONT> <a name="line.2121"></a> |
| <FONT color="green">2122</FONT> try {<a name="line.2122"></a> |
| <FONT color="green">2123</FONT> il.delete(oldIfHandle);<a name="line.2123"></a> |
| <FONT color="green">2124</FONT> } catch (TargetLostException tle) {<a name="line.2124"></a> |
| <FONT color="green">2125</FONT> // This can never happen - we updated the list of<a name="line.2125"></a> |
| <FONT color="green">2126</FONT> // instructions that target the deleted instruction<a name="line.2126"></a> |
| <FONT color="green">2127</FONT> // prior to deleting it.<a name="line.2127"></a> |
| <FONT color="green">2128</FONT> String msg =<a name="line.2128"></a> |
| <FONT color="green">2129</FONT> new ErrorMsg(ErrorMsg.OUTLINE_ERR_DELETED_TARGET,<a name="line.2129"></a> |
| <FONT color="green">2130</FONT> tle.getMessage()).toString();<a name="line.2130"></a> |
| <FONT color="green">2131</FONT> throw new InternalError(msg);<a name="line.2131"></a> |
| <FONT color="green">2132</FONT> }<a name="line.2132"></a> |
| <FONT color="green">2133</FONT> <a name="line.2133"></a> |
| <FONT color="green">2134</FONT> // Adjust the pointer in the InstructionList to point after<a name="line.2134"></a> |
| <FONT color="green">2135</FONT> // the newly inserted IF instruction<a name="line.2135"></a> |
| <FONT color="green">2136</FONT> ih = gotoHandle;<a name="line.2136"></a> |
| <FONT color="green">2137</FONT> <a name="line.2137"></a> |
| <FONT color="green">2138</FONT> // Indicate that this method rewrote at least one IF<a name="line.2138"></a> |
| <FONT color="green">2139</FONT> ilChanged = true;<a name="line.2139"></a> |
| <FONT color="green">2140</FONT> }<a name="line.2140"></a> |
| <FONT color="green">2141</FONT> } <a name="line.2141"></a> |
| <FONT color="green">2142</FONT> }<a name="line.2142"></a> |
| <FONT color="green">2143</FONT> <a name="line.2143"></a> |
| <FONT color="green">2144</FONT> // Did this method rewrite any IF instructions?<a name="line.2144"></a> |
| <FONT color="green">2145</FONT> return ilChanged;<a name="line.2145"></a> |
| <FONT color="green">2146</FONT> }<a name="line.2146"></a> |
| <FONT color="green">2147</FONT> }<a name="line.2147"></a> |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| </PRE> |
| </BODY> |
| </HTML> |
