diff options
| author | johannst <johannst@users.noreply.github.com> | 2023-12-07 23:53:44 +0000 |
|---|---|---|
| committer | johannst <johannst@users.noreply.github.com> | 2023-12-07 23:53:44 +0000 |
| commit | d3e1eff9593501ff8677b9399e1f0625f415ec78 (patch) | |
| tree | fbc8aa062fdd4ca510fae17ea515354549636f29 /src/juicebox_asm/lib.rs.html | |
| parent | 2294180c3778d0fcfa877818e98c420fcd54bb8a (diff) | |
| download | juicebox-asm-d3e1eff9593501ff8677b9399e1f0625f415ec78.tar.gz juicebox-asm-d3e1eff9593501ff8677b9399e1f0625f415ec78.zip | |
deploy: b5aea3fb5fcce31599e3d7397d5413a934132231
Diffstat (limited to 'src/juicebox_asm/lib.rs.html')
| -rw-r--r-- | src/juicebox_asm/lib.rs.html | 736 |
1 files changed, 6 insertions, 730 deletions
diff --git a/src/juicebox_asm/lib.rs.html b/src/juicebox_asm/lib.rs.html index 83c8f81..7d1bc0c 100644 --- a/src/juicebox_asm/lib.rs.html +++ b/src/juicebox_asm/lib.rs.html @@ -105,373 +105,12 @@ <a href="#105" id="105">105</a> <a href="#106" id="106">106</a> <a href="#107" id="107">107</a> -<a href="#108" id="108">108</a> -<a href="#109" id="109">109</a> -<a href="#110" id="110">110</a> -<a href="#111" id="111">111</a> -<a href="#112" id="112">112</a> -<a href="#113" id="113">113</a> -<a href="#114" id="114">114</a> -<a href="#115" id="115">115</a> -<a href="#116" id="116">116</a> -<a href="#117" id="117">117</a> -<a href="#118" id="118">118</a> -<a href="#119" id="119">119</a> -<a href="#120" id="120">120</a> -<a href="#121" id="121">121</a> -<a href="#122" id="122">122</a> -<a href="#123" id="123">123</a> -<a href="#124" id="124">124</a> -<a href="#125" id="125">125</a> -<a href="#126" id="126">126</a> -<a href="#127" id="127">127</a> -<a href="#128" id="128">128</a> -<a href="#129" id="129">129</a> -<a href="#130" id="130">130</a> -<a href="#131" id="131">131</a> -<a href="#132" id="132">132</a> -<a href="#133" id="133">133</a> -<a href="#134" id="134">134</a> -<a href="#135" id="135">135</a> -<a href="#136" id="136">136</a> -<a href="#137" id="137">137</a> -<a href="#138" id="138">138</a> -<a href="#139" id="139">139</a> -<a href="#140" id="140">140</a> -<a href="#141" id="141">141</a> -<a href="#142" id="142">142</a> -<a href="#143" id="143">143</a> -<a href="#144" id="144">144</a> -<a href="#145" id="145">145</a> -<a href="#146" id="146">146</a> -<a href="#147" id="147">147</a> -<a href="#148" id="148">148</a> -<a href="#149" id="149">149</a> -<a href="#150" id="150">150</a> -<a href="#151" id="151">151</a> -<a href="#152" id="152">152</a> -<a href="#153" id="153">153</a> -<a href="#154" id="154">154</a> -<a href="#155" id="155">155</a> -<a href="#156" id="156">156</a> -<a href="#157" id="157">157</a> -<a href="#158" id="158">158</a> -<a href="#159" id="159">159</a> -<a href="#160" id="160">160</a> -<a href="#161" id="161">161</a> -<a href="#162" id="162">162</a> -<a href="#163" id="163">163</a> -<a href="#164" id="164">164</a> -<a href="#165" id="165">165</a> -<a href="#166" id="166">166</a> -<a href="#167" id="167">167</a> -<a href="#168" id="168">168</a> -<a href="#169" id="169">169</a> -<a href="#170" id="170">170</a> -<a href="#171" id="171">171</a> -<a href="#172" id="172">172</a> -<a href="#173" id="173">173</a> -<a href="#174" id="174">174</a> -<a href="#175" id="175">175</a> -<a href="#176" id="176">176</a> -<a href="#177" id="177">177</a> -<a href="#178" id="178">178</a> -<a href="#179" id="179">179</a> -<a href="#180" id="180">180</a> -<a href="#181" id="181">181</a> -<a href="#182" id="182">182</a> -<a href="#183" id="183">183</a> -<a href="#184" id="184">184</a> -<a href="#185" id="185">185</a> -<a href="#186" id="186">186</a> -<a href="#187" id="187">187</a> -<a href="#188" id="188">188</a> -<a href="#189" id="189">189</a> -<a href="#190" id="190">190</a> -<a href="#191" id="191">191</a> -<a href="#192" id="192">192</a> -<a href="#193" id="193">193</a> -<a href="#194" id="194">194</a> -<a href="#195" id="195">195</a> -<a href="#196" id="196">196</a> -<a href="#197" id="197">197</a> -<a href="#198" id="198">198</a> -<a href="#199" id="199">199</a> -<a href="#200" id="200">200</a> -<a href="#201" id="201">201</a> -<a href="#202" id="202">202</a> -<a href="#203" id="203">203</a> -<a href="#204" id="204">204</a> -<a href="#205" id="205">205</a> -<a href="#206" id="206">206</a> -<a href="#207" id="207">207</a> -<a href="#208" id="208">208</a> -<a href="#209" id="209">209</a> -<a href="#210" id="210">210</a> -<a href="#211" id="211">211</a> -<a href="#212" id="212">212</a> -<a href="#213" id="213">213</a> -<a href="#214" id="214">214</a> -<a href="#215" id="215">215</a> -<a href="#216" id="216">216</a> -<a href="#217" id="217">217</a> -<a href="#218" id="218">218</a> -<a href="#219" id="219">219</a> -<a href="#220" id="220">220</a> -<a href="#221" id="221">221</a> -<a href="#222" id="222">222</a> -<a href="#223" id="223">223</a> -<a href="#224" id="224">224</a> -<a href="#225" id="225">225</a> -<a href="#226" id="226">226</a> -<a href="#227" id="227">227</a> -<a href="#228" id="228">228</a> -<a href="#229" id="229">229</a> -<a href="#230" id="230">230</a> -<a href="#231" id="231">231</a> -<a href="#232" id="232">232</a> -<a href="#233" id="233">233</a> -<a href="#234" id="234">234</a> -<a href="#235" id="235">235</a> -<a href="#236" id="236">236</a> -<a href="#237" id="237">237</a> -<a href="#238" id="238">238</a> -<a href="#239" id="239">239</a> -<a href="#240" id="240">240</a> -<a href="#241" id="241">241</a> -<a href="#242" id="242">242</a> -<a href="#243" id="243">243</a> -<a href="#244" id="244">244</a> -<a href="#245" id="245">245</a> -<a href="#246" id="246">246</a> -<a href="#247" id="247">247</a> -<a href="#248" id="248">248</a> -<a href="#249" id="249">249</a> -<a href="#250" id="250">250</a> -<a href="#251" id="251">251</a> -<a href="#252" id="252">252</a> -<a href="#253" id="253">253</a> -<a href="#254" id="254">254</a> -<a href="#255" id="255">255</a> -<a href="#256" id="256">256</a> -<a href="#257" id="257">257</a> -<a href="#258" id="258">258</a> -<a href="#259" id="259">259</a> -<a href="#260" id="260">260</a> -<a href="#261" id="261">261</a> -<a href="#262" id="262">262</a> -<a href="#263" id="263">263</a> -<a href="#264" id="264">264</a> -<a href="#265" id="265">265</a> -<a href="#266" id="266">266</a> -<a href="#267" id="267">267</a> -<a href="#268" id="268">268</a> -<a href="#269" id="269">269</a> -<a href="#270" id="270">270</a> -<a href="#271" id="271">271</a> -<a href="#272" id="272">272</a> -<a href="#273" id="273">273</a> -<a href="#274" id="274">274</a> -<a href="#275" id="275">275</a> -<a href="#276" id="276">276</a> -<a href="#277" id="277">277</a> -<a href="#278" id="278">278</a> -<a href="#279" id="279">279</a> -<a href="#280" id="280">280</a> -<a href="#281" id="281">281</a> -<a href="#282" id="282">282</a> -<a href="#283" id="283">283</a> -<a href="#284" id="284">284</a> -<a href="#285" id="285">285</a> -<a href="#286" id="286">286</a> -<a href="#287" id="287">287</a> -<a href="#288" id="288">288</a> -<a href="#289" id="289">289</a> -<a href="#290" id="290">290</a> -<a href="#291" id="291">291</a> -<a href="#292" id="292">292</a> -<a href="#293" id="293">293</a> -<a href="#294" id="294">294</a> -<a href="#295" id="295">295</a> -<a href="#296" id="296">296</a> -<a href="#297" id="297">297</a> -<a href="#298" id="298">298</a> -<a href="#299" id="299">299</a> -<a href="#300" id="300">300</a> -<a href="#301" id="301">301</a> -<a href="#302" id="302">302</a> -<a href="#303" id="303">303</a> -<a href="#304" id="304">304</a> -<a href="#305" id="305">305</a> -<a href="#306" id="306">306</a> -<a href="#307" id="307">307</a> -<a href="#308" id="308">308</a> -<a href="#309" id="309">309</a> -<a href="#310" id="310">310</a> -<a href="#311" id="311">311</a> -<a href="#312" id="312">312</a> -<a href="#313" id="313">313</a> -<a href="#314" id="314">314</a> -<a href="#315" id="315">315</a> -<a href="#316" id="316">316</a> -<a href="#317" id="317">317</a> -<a href="#318" id="318">318</a> -<a href="#319" id="319">319</a> -<a href="#320" id="320">320</a> -<a href="#321" id="321">321</a> -<a href="#322" id="322">322</a> -<a href="#323" id="323">323</a> -<a href="#324" id="324">324</a> -<a href="#325" id="325">325</a> -<a href="#326" id="326">326</a> -<a href="#327" id="327">327</a> -<a href="#328" id="328">328</a> -<a href="#329" id="329">329</a> -<a href="#330" id="330">330</a> -<a href="#331" id="331">331</a> -<a href="#332" id="332">332</a> -<a href="#333" id="333">333</a> -<a href="#334" id="334">334</a> -<a href="#335" id="335">335</a> -<a href="#336" id="336">336</a> -<a href="#337" id="337">337</a> -<a href="#338" id="338">338</a> -<a href="#339" id="339">339</a> -<a href="#340" id="340">340</a> -<a href="#341" id="341">341</a> -<a href="#342" id="342">342</a> -<a href="#343" id="343">343</a> -<a href="#344" id="344">344</a> -<a href="#345" id="345">345</a> -<a href="#346" id="346">346</a> -<a href="#347" id="347">347</a> -<a href="#348" id="348">348</a> -<a href="#349" id="349">349</a> -<a href="#350" id="350">350</a> -<a href="#351" id="351">351</a> -<a href="#352" id="352">352</a> -<a href="#353" id="353">353</a> -<a href="#354" id="354">354</a> -<a href="#355" id="355">355</a> -<a href="#356" id="356">356</a> -<a href="#357" id="357">357</a> -<a href="#358" id="358">358</a> -<a href="#359" id="359">359</a> -<a href="#360" id="360">360</a> -<a href="#361" id="361">361</a> -<a href="#362" id="362">362</a> -<a href="#363" id="363">363</a> -<a href="#364" id="364">364</a> -<a href="#365" id="365">365</a> -<a href="#366" id="366">366</a> -<a href="#367" id="367">367</a> -<a href="#368" id="368">368</a> -<a href="#369" id="369">369</a> -<a href="#370" id="370">370</a> -<a href="#371" id="371">371</a> -<a href="#372" id="372">372</a> -<a href="#373" id="373">373</a> -<a href="#374" id="374">374</a> -<a href="#375" id="375">375</a> -<a href="#376" id="376">376</a> -<a href="#377" id="377">377</a> -<a href="#378" id="378">378</a> -<a href="#379" id="379">379</a> -<a href="#380" id="380">380</a> -<a href="#381" id="381">381</a> -<a href="#382" id="382">382</a> -<a href="#383" id="383">383</a> -<a href="#384" id="384">384</a> -<a href="#385" id="385">385</a> -<a href="#386" id="386">386</a> -<a href="#387" id="387">387</a> -<a href="#388" id="388">388</a> -<a href="#389" id="389">389</a> -<a href="#390" id="390">390</a> -<a href="#391" id="391">391</a> -<a href="#392" id="392">392</a> -<a href="#393" id="393">393</a> -<a href="#394" id="394">394</a> -<a href="#395" id="395">395</a> -<a href="#396" id="396">396</a> -<a href="#397" id="397">397</a> -<a href="#398" id="398">398</a> -<a href="#399" id="399">399</a> -<a href="#400" id="400">400</a> -<a href="#401" id="401">401</a> -<a href="#402" id="402">402</a> -<a href="#403" id="403">403</a> -<a href="#404" id="404">404</a> -<a href="#405" id="405">405</a> -<a href="#406" id="406">406</a> -<a href="#407" id="407">407</a> -<a href="#408" id="408">408</a> -<a href="#409" id="409">409</a> -<a href="#410" id="410">410</a> -<a href="#411" id="411">411</a> -<a href="#412" id="412">412</a> -<a href="#413" id="413">413</a> -<a href="#414" id="414">414</a> -<a href="#415" id="415">415</a> -<a href="#416" id="416">416</a> -<a href="#417" id="417">417</a> -<a href="#418" id="418">418</a> -<a href="#419" id="419">419</a> -<a href="#420" id="420">420</a> -<a href="#421" id="421">421</a> -<a href="#422" id="422">422</a> -<a href="#423" id="423">423</a> -<a href="#424" id="424">424</a> -<a href="#425" id="425">425</a> -<a href="#426" id="426">426</a> -<a href="#427" id="427">427</a> -<a href="#428" id="428">428</a> -<a href="#429" id="429">429</a> -<a href="#430" id="430">430</a> -<a href="#431" id="431">431</a> -<a href="#432" id="432">432</a> -<a href="#433" id="433">433</a> -<a href="#434" id="434">434</a> -<a href="#435" id="435">435</a> -<a href="#436" id="436">436</a> -<a href="#437" id="437">437</a> -<a href="#438" id="438">438</a> -<a href="#439" id="439">439</a> -<a href="#440" id="440">440</a> -<a href="#441" id="441">441</a> -<a href="#442" id="442">442</a> -<a href="#443" id="443">443</a> -<a href="#444" id="444">444</a> -<a href="#445" id="445">445</a> -<a href="#446" id="446">446</a> -<a href="#447" id="447">447</a> -<a href="#448" id="448">448</a> -<a href="#449" id="449">449</a> -<a href="#450" id="450">450</a> -<a href="#451" id="451">451</a> -<a href="#452" id="452">452</a> -<a href="#453" id="453">453</a> -<a href="#454" id="454">454</a> -<a href="#455" id="455">455</a> -<a href="#456" id="456">456</a> -<a href="#457" id="457">457</a> -<a href="#458" id="458">458</a> -<a href="#459" id="459">459</a> -<a href="#460" id="460">460</a> -<a href="#461" id="461">461</a> -<a href="#462" id="462">462</a> -<a href="#463" id="463">463</a> -<a href="#464" id="464">464</a> -<a href="#465" id="465">465</a> -<a href="#466" id="466">466</a> -<a href="#467" id="467">467</a> -<a href="#468" id="468">468</a> -<a href="#469" id="469">469</a> </pre></div><pre class="rust"><code><span class="doccomment">//! A simple `x64` jit assembler with a minimal runtime to execute emitted code for fun. //! //! The following is an fibonacci example implementation. //! ```rust -//! use juicebox_asm::prelude::*; +//! use juicebox_asm::{Asm, Reg64, Imm64, Label}; +//! use juicebox_asm::insn::*; //! use juicebox_asm::Runtime; //! //! const fn fib_rs(n: u64) -> u64 { @@ -541,22 +180,20 @@ //! } //! ``` -</span><span class="kw">pub mod </span>prelude; - +</span><span class="kw">mod </span>asm; <span class="kw">mod </span>imm; -<span class="kw">mod </span>insn; <span class="kw">mod </span>label; <span class="kw">mod </span>reg; <span class="kw">mod </span>rt; +<span class="kw">pub mod </span>insn; + +<span class="kw">pub use </span>asm::Asm; <span class="kw">pub use </span>imm::{Imm16, Imm32, Imm64, Imm8}; <span class="kw">pub use </span>label::Label; <span class="kw">pub use </span>reg::{Reg16, Reg32, Reg64, Reg8}; <span class="kw">pub use </span>rt::Runtime; -<span class="kw">use </span>imm::Imm; -<span class="kw">use </span>reg::Reg; - <span class="doccomment">/// Type representing a memory operand. </span><span class="kw">pub enum </span>MemOp { <span class="doccomment">/// An indirect memory operand, eg `mov [rax], rcx`. @@ -575,365 +212,4 @@ } } } - -<span class="doccomment">/// Encode the `REX` byte. -</span><span class="kw">const fn </span>rex(w: bool, r: u8, x: u8, b: u8) -> u8 { - <span class="kw">let </span>w = <span class="kw">if </span>w { <span class="number">1 </span>} <span class="kw">else </span>{ <span class="number">0 </span>}; - <span class="kw">let </span>r = (r >> <span class="number">3</span>) & <span class="number">1</span>; - <span class="kw">let </span>x = (x >> <span class="number">3</span>) & <span class="number">1</span>; - <span class="kw">let </span>b = (b >> <span class="number">3</span>) & <span class="number">1</span>; - <span class="number">0b0100_0000 </span>| ((w & <span class="number">1</span>) << <span class="number">3</span>) | (r << <span class="number">2</span>) | (x << <span class="number">1</span>) | b -} - -<span class="doccomment">/// Encode the `ModR/M` byte. -</span><span class="kw">const fn </span>modrm(mod_: u8, reg: u8, rm: u8) -> u8 { - ((mod_ & <span class="number">0b11</span>) << <span class="number">6</span>) | ((reg & <span class="number">0b111</span>) << <span class="number">3</span>) | (rm & <span class="number">0b111</span>) -} - -<span class="doccomment">/// `x64` jit assembler. -</span><span class="kw">pub struct </span>Asm { - buf: Vec<u8>, -} - -<span class="kw">impl </span>Asm { - <span class="doccomment">/// Create a new `x64` jit assembler. - </span><span class="kw">pub fn </span>new() -> Asm { - <span class="comment">// Some random default capacity. - </span><span class="kw">let </span>buf = Vec::with_capacity(<span class="number">1024</span>); - Asm { buf } - } - - <span class="doccomment">/// Consume the assembler and get the emitted code. - </span><span class="kw">pub fn </span>into_code(<span class="self">self</span>) -> Vec<u8> { - <span class="self">self</span>.buf - } - - <span class="doccomment">/// Emit a slice of bytes. - </span><span class="kw">fn </span>emit(<span class="kw-2">&mut </span><span class="self">self</span>, bytes: <span class="kw-2">&</span>[u8]) { - <span class="self">self</span>.buf.extend_from_slice(bytes); - } - - <span class="doccomment">/// Emit a slice of optional bytes. - </span><span class="kw">fn </span>emit_optional(<span class="kw-2">&mut </span><span class="self">self</span>, bytes: <span class="kw-2">&</span>[<span class="prelude-ty">Option</span><u8>]) { - <span class="kw">for </span>byte <span class="kw">in </span>bytes.iter().filter_map(|<span class="kw-2">&</span>b| b) { - <span class="self">self</span>.buf.push(byte); - } - } - - <span class="doccomment">/// Emit a slice of bytes at `pos`. - /// - /// # Panics - /// - /// Panics if [pos..pos+len] indexes out of bound of the underlying code buffer. - </span><span class="kw">fn </span>emit_at(<span class="kw-2">&mut </span><span class="self">self</span>, pos: usize, bytes: <span class="kw-2">&</span>[u8]) { - <span class="kw">if let </span><span class="prelude-val">Some</span>(buf) = <span class="self">self</span>.buf.get_mut(pos..pos + bytes.len()) { - buf.copy_from_slice(bytes); - } <span class="kw">else </span>{ - <span class="macro">unimplemented!</span>(); - } - } - - <span class="doccomment">/// Bind the [Label] to the current location. - </span><span class="kw">pub fn </span>bind(<span class="kw-2">&mut </span><span class="self">self</span>, label: <span class="kw-2">&mut </span>Label) { - <span class="comment">// Bind the label to the current offset. - </span>label.bind(<span class="self">self</span>.buf.len()); - - <span class="comment">// Resolve any pending relocations for the label. - </span><span class="self">self</span>.resolve(label); - } - - <span class="doccomment">/// If the [Label] is bound, patch any pending relocation. - </span><span class="kw">pub fn </span>resolve(<span class="kw-2">&mut </span><span class="self">self</span>, label: <span class="kw-2">&mut </span>Label) { - <span class="kw">if let </span><span class="prelude-val">Some</span>(loc) = label.location() { - <span class="comment">// For now we only support disp32 as label location. - </span><span class="kw">let </span>loc = i32::try_from(loc).expect(<span class="string">"Label location did not fit into i32."</span>); - - <span class="comment">// Resolve any pending relocations for the label. - </span><span class="kw">for </span>off <span class="kw">in </span>label.offsets_mut().drain() { - <span class="comment">// Displacement is relative to the next instruction following the jump. - // We record the offset to patch at the first byte of the disp32 therefore we need - // to account for that in the disp computation. - </span><span class="kw">let </span>disp32 = loc - i32::try_from(off).expect(<span class="string">"Label offset did not fit into i32"</span>) - <span class="number">4 </span><span class="comment">/* account for the disp32 */</span>; - - <span class="comment">// Patch the relocation with the disp32. - </span><span class="self">self</span>.emit_at(off, <span class="kw-2">&</span>disp32.to_ne_bytes()); - } - } - } - - <span class="comment">// -- Encode utilities. - - </span><span class="doccomment">/// Encode an register-register instruction. - </span><span class="kw">fn </span>encode_rr<T: Reg>(<span class="kw-2">&mut </span><span class="self">self</span>, opc: u8, op1: T, op2: T) - <span class="kw">where - </span><span class="self">Self</span>: EncodeRR<T>, - { - <span class="comment">// MR operand encoding. - // op1 -> modrm.rm - // op2 -> modrm.reg - </span><span class="kw">let </span>modrm = modrm( - <span class="number">0b11</span>, <span class="comment">/* mod */ - </span>op2.idx(), <span class="comment">/* reg */ - </span>op1.idx(), <span class="comment">/* rm */ - </span>); - - <span class="kw">let </span>prefix = <<span class="self">Self </span><span class="kw">as </span>EncodeRR<T>>::legacy_prefix(); - <span class="kw">let </span>rex = <<span class="self">Self </span><span class="kw">as </span>EncodeRR<T>>::rex(op1, op2); - - <span class="self">self</span>.emit_optional(<span class="kw-2">&</span>[prefix, rex]); - <span class="self">self</span>.emit(<span class="kw-2">&</span>[opc, modrm]); - } - - <span class="doccomment">/// Encode an offset-immediate instruction. - /// Register idx is encoded in the opcode. - </span><span class="kw">fn </span>encode_oi<T: Reg, U: Imm>(<span class="kw-2">&mut </span><span class="self">self</span>, opc: u8, op1: T, op2: U) - <span class="kw">where - </span><span class="self">Self</span>: EncodeR<T>, - { - <span class="kw">let </span>opc = opc + (op1.idx() & <span class="number">0b111</span>); - <span class="kw">let </span>prefix = <<span class="self">Self </span><span class="kw">as </span>EncodeR<T>>::legacy_prefix(); - <span class="kw">let </span>rex = <<span class="self">Self </span><span class="kw">as </span>EncodeR<T>>::rex(op1); - - <span class="self">self</span>.emit_optional(<span class="kw-2">&</span>[prefix, rex]); - <span class="self">self</span>.emit(<span class="kw-2">&</span>[opc]); - <span class="self">self</span>.emit(op2.bytes()); - } - - <span class="doccomment">/// Encode a register-immediate instruction. - </span><span class="kw">fn </span>encode_ri<T: Reg, U: Imm>(<span class="kw-2">&mut </span><span class="self">self</span>, opc: u8, opc_ext: u8, op1: T, op2: U) - <span class="kw">where - </span><span class="self">Self</span>: EncodeR<T>, - { - <span class="comment">// MI operand encoding. - // op1 -> modrm.rm - // opc extension -> modrm.reg - </span><span class="kw">let </span>modrm = modrm( - <span class="number">0b11</span>, <span class="comment">/* mod */ - </span>opc_ext, <span class="comment">/* reg */ - </span>op1.idx(), <span class="comment">/* rm */ - </span>); - - <span class="kw">let </span>prefix = <<span class="self">Self </span><span class="kw">as </span>EncodeR<T>>::legacy_prefix(); - <span class="kw">let </span>rex = <<span class="self">Self </span><span class="kw">as </span>EncodeR<T>>::rex(op1); - - <span class="self">self</span>.emit_optional(<span class="kw-2">&</span>[prefix, rex]); - <span class="self">self</span>.emit(<span class="kw-2">&</span>[opc, modrm]); - <span class="self">self</span>.emit(op2.bytes()); - } - - <span class="doccomment">/// Encode a register instruction. - </span><span class="kw">fn </span>encode_r<T: Reg>(<span class="kw-2">&mut </span><span class="self">self</span>, opc: u8, opc_ext: u8, op1: T) - <span class="kw">where - </span><span class="self">Self</span>: EncodeR<T>, - { - <span class="comment">// M operand encoding. - // op1 -> modrm.rm - // opc extension -> modrm.reg - </span><span class="kw">let </span>modrm = modrm( - <span class="number">0b11</span>, <span class="comment">/* mod */ - </span>opc_ext, <span class="comment">/* reg */ - </span>op1.idx(), <span class="comment">/* rm */ - </span>); - - <span class="kw">let </span>prefix = <<span class="self">Self </span><span class="kw">as </span>EncodeR<T>>::legacy_prefix(); - <span class="kw">let </span>rex = <<span class="self">Self </span><span class="kw">as </span>EncodeR<T>>::rex(op1); - - <span class="self">self</span>.emit_optional(<span class="kw-2">&</span>[prefix, rex]); - <span class="self">self</span>.emit(<span class="kw-2">&</span>[opc, modrm]); - } - - <span class="doccomment">/// Encode a memory-immediate instruction. - </span><span class="kw">fn </span>encode_mi<T: Imm>(<span class="kw-2">&mut </span><span class="self">self</span>, opc: u8, opc_ext: u8, op1: MemOp, op2: T) - <span class="kw">where - </span><span class="self">Self</span>: EncodeMI<T>, - { - <span class="comment">// MI operand encoding. - // op1 -> modrm.rm - // op2 -> imm - </span><span class="kw">let </span>mode = <span class="kw">match </span>op1 { - MemOp::Indirect(..) => { - <span class="macro">assert!</span>(!op1.base().need_sib() && !op1.base().is_pc_rel()); - <span class="number">0b00 - </span>} - MemOp::IndirectDisp(..) => { - <span class="macro">assert!</span>(!op1.base().need_sib()); - <span class="number">0b10 - </span>} - }; - - <span class="kw">let </span>modrm = modrm( - mode, <span class="comment">/* mode */ - </span>opc_ext, <span class="comment">/* reg */ - </span>op1.base().idx(), <span class="comment">/* rm */ - </span>); - - <span class="kw">let </span>prefix = <<span class="self">Self </span><span class="kw">as </span>EncodeMI<T>>::legacy_prefix(); - <span class="kw">let </span>rex = <<span class="self">Self </span><span class="kw">as </span>EncodeMI<T>>::rex(<span class="kw-2">&</span>op1); - - <span class="self">self</span>.emit_optional(<span class="kw-2">&</span>[prefix, rex]); - <span class="self">self</span>.emit(<span class="kw-2">&</span>[opc, modrm]); - <span class="kw">if let </span>MemOp::IndirectDisp(<span class="kw">_</span>, disp) = op1 { - <span class="self">self</span>.emit(<span class="kw-2">&</span>disp.to_ne_bytes()); - } - <span class="self">self</span>.emit(op2.bytes()); - } - - <span class="doccomment">/// Encode a memory-register instruction. - </span><span class="kw">fn </span>encode_mr<T: Reg>(<span class="kw-2">&mut </span><span class="self">self</span>, opc: u8, op1: MemOp, op2: T) - <span class="kw">where - </span><span class="self">Self</span>: EncodeMR<T>, - { - <span class="comment">// MR operand encoding. - // op1 -> modrm.rm - // op2 -> modrm.reg - </span><span class="kw">let </span>mode = <span class="kw">match </span>op1 { - MemOp::Indirect(..) => { - <span class="macro">assert!</span>(!op1.base().need_sib() && !op1.base().is_pc_rel()); - <span class="number">0b00 - </span>} - MemOp::IndirectDisp(..) => { - <span class="macro">assert!</span>(!op1.base().need_sib()); - <span class="number">0b10 - </span>} - }; - - <span class="kw">let </span>modrm = modrm( - mode, <span class="comment">/* mode */ - </span>op2.idx(), <span class="comment">/* reg */ - </span>op1.base().idx(), <span class="comment">/* rm */ - </span>); - <span class="kw">let </span>prefix = <<span class="self">Self </span><span class="kw">as </span>EncodeMR<T>>::legacy_prefix(); - <span class="kw">let </span>rex = <<span class="self">Self </span><span class="kw">as </span>EncodeMR<T>>::rex(<span class="kw-2">&</span>op1, op2); - - <span class="self">self</span>.emit_optional(<span class="kw-2">&</span>[prefix, rex]); - <span class="self">self</span>.emit(<span class="kw-2">&</span>[opc, modrm]); - <span class="kw">if let </span>MemOp::IndirectDisp(<span class="kw">_</span>, disp) = op1 { - <span class="self">self</span>.emit(<span class="kw-2">&</span>disp.to_ne_bytes()); - } - } - - <span class="doccomment">/// Encode a register-memory instruction. - </span><span class="kw">fn </span>encode_rm<T: Reg>(<span class="kw-2">&mut </span><span class="self">self</span>, opc: u8, op1: T, op2: MemOp) - <span class="kw">where - </span><span class="self">Self</span>: EncodeMR<T>, - { - <span class="comment">// RM operand encoding. - // op1 -> modrm.reg - // op2 -> modrm.rm - </span><span class="self">self</span>.encode_mr(opc, op2, op1); - } - - <span class="doccomment">/// Encode a jump to label instruction. - </span><span class="kw">fn </span>encode_jmp_label(<span class="kw-2">&mut </span><span class="self">self</span>, opc: <span class="kw-2">&</span>[u8], op1: <span class="kw-2">&mut </span>Label) { - <span class="comment">// Emit the opcode. - </span><span class="self">self</span>.emit(opc); - - <span class="comment">// Record relocation offset starting at the first byte of the disp32. - </span>op1.record_offset(<span class="self">self</span>.buf.len()); - - <span class="comment">// Emit a zeroed disp32, which serves as placeholder for the relocation. - // We currently only support disp32 jump targets. - </span><span class="self">self</span>.emit(<span class="kw-2">&</span>[<span class="number">0u8</span>; <span class="number">4</span>]); - - <span class="comment">// Resolve any pending relocations for the label. - </span><span class="self">self</span>.resolve(op1); - } -} - -<span class="comment">// -- Encoder helper. - -</span><span class="doccomment">/// Encode helper for register-register instructions. -</span><span class="kw">trait </span>EncodeRR<T: Reg> { - <span class="kw">fn </span>legacy_prefix() -> <span class="prelude-ty">Option</span><u8> { - <span class="prelude-val">None - </span>} - - <span class="kw">fn </span>rex(op1: T, op2: T) -> <span class="prelude-ty">Option</span><u8> { - <span class="kw">if </span>op1.need_rex() || op2.need_rex() { - <span class="prelude-val">Some</span>(rex(op1.rexw(), op2.idx(), <span class="number">0</span>, op1.idx())) - } <span class="kw">else </span>{ - <span class="prelude-val">None - </span>} - } -} - -<span class="kw">impl </span>EncodeRR<Reg8> <span class="kw">for </span>Asm {} -<span class="kw">impl </span>EncodeRR<Reg32> <span class="kw">for </span>Asm {} -<span class="kw">impl </span>EncodeRR<Reg16> <span class="kw">for </span>Asm { - <span class="kw">fn </span>legacy_prefix() -> <span class="prelude-ty">Option</span><u8> { - <span class="prelude-val">Some</span>(<span class="number">0x66</span>) - } -} -<span class="kw">impl </span>EncodeRR<Reg64> <span class="kw">for </span>Asm {} - -<span class="doccomment">/// Encode helper for register instructions. -</span><span class="kw">trait </span>EncodeR<T: Reg> { - <span class="kw">fn </span>legacy_prefix() -> <span class="prelude-ty">Option</span><u8> { - <span class="prelude-val">None - </span>} - - <span class="kw">fn </span>rex(op1: T) -> <span class="prelude-ty">Option</span><u8> { - <span class="kw">if </span>op1.need_rex() { - <span class="prelude-val">Some</span>(rex(op1.rexw(), <span class="number">0</span>, <span class="number">0</span>, op1.idx())) - } <span class="kw">else </span>{ - <span class="prelude-val">None - </span>} - } -} - -<span class="kw">impl </span>EncodeR<Reg8> <span class="kw">for </span>Asm {} -<span class="kw">impl </span>EncodeR<Reg32> <span class="kw">for </span>Asm {} -<span class="kw">impl </span>EncodeR<Reg16> <span class="kw">for </span>Asm { - <span class="kw">fn </span>legacy_prefix() -> <span class="prelude-ty">Option</span><u8> { - <span class="prelude-val">Some</span>(<span class="number">0x66</span>) - } -} -<span class="kw">impl </span>EncodeR<Reg64> <span class="kw">for </span>Asm {} - -<span class="doccomment">/// Encode helper for memory-register instructions. -</span><span class="kw">trait </span>EncodeMR<T: Reg> { - <span class="kw">fn </span>legacy_prefix() -> <span class="prelude-ty">Option</span><u8> { - <span class="prelude-val">None - </span>} - - <span class="kw">fn </span>rex(op1: <span class="kw-2">&</span>MemOp, op2: T) -> <span class="prelude-ty">Option</span><u8> { - <span class="kw">if </span>op2.need_rex() || (op1.base().is_ext()) { - <span class="prelude-val">Some</span>(rex(op2.rexw(), op2.idx(), <span class="number">0</span>, op1.base().idx())) - } <span class="kw">else </span>{ - <span class="prelude-val">None - </span>} - } -} - -<span class="kw">impl </span>EncodeMR<Reg8> <span class="kw">for </span>Asm {} -<span class="kw">impl </span>EncodeMR<Reg16> <span class="kw">for </span>Asm { - <span class="kw">fn </span>legacy_prefix() -> <span class="prelude-ty">Option</span><u8> { - <span class="prelude-val">Some</span>(<span class="number">0x66</span>) - } -} -<span class="kw">impl </span>EncodeMR<Reg32> <span class="kw">for </span>Asm {} -<span class="kw">impl </span>EncodeMR<Reg64> <span class="kw">for </span>Asm {} - -<span class="doccomment">/// Encode helper for memory-immediate instructions. -</span><span class="kw">trait </span>EncodeMI<T: Imm> { - <span class="kw">fn </span>legacy_prefix() -> <span class="prelude-ty">Option</span><u8> { - <span class="prelude-val">None - </span>} - - <span class="kw">fn </span>rex(op1: <span class="kw-2">&</span>MemOp) -> <span class="prelude-ty">Option</span><u8> { - <span class="kw">if </span>op1.base().is_ext() { - <span class="prelude-val">Some</span>(rex(<span class="bool-val">false</span>, <span class="number">0</span>, <span class="number">0</span>, op1.base().idx())) - } <span class="kw">else </span>{ - <span class="prelude-val">None - </span>} - } -} - -<span class="kw">impl </span>EncodeMI<Imm8> <span class="kw">for </span>Asm {} -<span class="kw">impl </span>EncodeMI<Imm16> <span class="kw">for </span>Asm { - <span class="kw">fn </span>legacy_prefix() -> <span class="prelude-ty">Option</span><u8> { - <span class="prelude-val">Some</span>(<span class="number">0x66</span>) - } -} -<span class="kw">impl </span>EncodeMI<Imm32> <span class="kw">for </span>Asm {} </code></pre></div></section></main></body></html>
\ No newline at end of file |