284 lines
14 KiB
XML
284 lines
14 KiB
XML
<?xml version="1.0" encoding="utf-8"?>
|
||
<?xml-stylesheet type="text/xsl" encoding="UTF-8" href="iform.xsl" version="1.0"?>
|
||
<!DOCTYPE instructionsection PUBLIC "-//ARM//DTD instructionsection //EN" "iform-p.dtd">
|
||
<!-- Copyright (c) 2010-2022 Arm Limited or its affiliates. All rights reserved. -->
|
||
<!-- This document is Non-Confidential. This document may only be used and distributed in accordance with the terms of the agreement entered into by Arm and the party that Arm delivered this document to. -->
|
||
|
||
<instructionsection id="PLD_l" title="PLD (literal) -- AArch32" type="instruction">
|
||
<docvars>
|
||
<docvar key="instr-class" value="general" />
|
||
<docvar key="mnemonic" value="PLD" />
|
||
</docvars>
|
||
<heading>PLD (literal)</heading>
|
||
<desc>
|
||
<brief>
|
||
<para>Preload Data (literal)</para>
|
||
</brief>
|
||
<authored>
|
||
<para>Preload Data (literal) signals the memory system that data memory accesses from a specified address are likely in the near future. The memory system can respond by taking actions that are expected to speed up the memory accesses when they do occur, such as preloading the cache line containing the specified address into the data cache.</para>
|
||
<para>The effect of a <instruction>PLD</instruction> instruction is <arm-defined-word>implementation defined</arm-defined-word>. For more information, see <xref linkend="CEGJJFCA">Preloading caches</xref>.</para>
|
||
</authored>
|
||
<encodingnotes>
|
||
<para>For more information about the <arm-defined-word>constrained unpredictable</arm-defined-word> behavior of this instruction, see <xref linkend="CJAEGDJC">Architectural Constraints on UNPREDICTABLE behaviors</xref>.</para>
|
||
</encodingnotes>
|
||
<syntaxnotes>
|
||
<para>The alternative syntax permits the addition or subtraction of the offset and the immediate offset to be specified separately, including permitting a subtraction of 0 that cannot be specified using the normal syntax. For more information, see <xref linkend="BABGCIBA">Use of labels in UAL instruction syntax</xref>.</para>
|
||
</syntaxnotes>
|
||
</desc>
|
||
<alias_list howmany="0"></alias_list>
|
||
<classes>
|
||
<classesintro count="2">
|
||
<txt>It has encodings from the following instruction sets:</txt>
|
||
<txt> A32 (</txt>
|
||
<a href="#iclass_a1">A1</a>
|
||
<txt>)</txt>
|
||
<txt> and </txt>
|
||
<txt> T32 (</txt>
|
||
<a href="#iclass_t1">T1</a>
|
||
<txt>)</txt>
|
||
<txt>.</txt>
|
||
</classesintro>
|
||
<iclass name="A1" oneof="2" id="iclass_a1" no_encodings="1" isa="A32">
|
||
<docvars>
|
||
<docvar key="armarmheading" value="A1" />
|
||
<docvar key="instr-class" value="general" />
|
||
<docvar key="isa" value="A32" />
|
||
<docvar key="mnemonic" value="PLD" />
|
||
<docvar key="preload-type" value="pld" />
|
||
</docvars>
|
||
<iclassintro count="1"></iclassintro>
|
||
<regdiagram form="32" psname="aarch32/instrs/PLD_l/A1_A.txt">
|
||
<box hibit="31" width="7" settings="7">
|
||
<c>1</c>
|
||
<c>1</c>
|
||
<c>1</c>
|
||
<c>1</c>
|
||
<c>0</c>
|
||
<c>1</c>
|
||
<c>0</c>
|
||
</box>
|
||
<box hibit="24" name="D" settings="1">
|
||
<c>1</c>
|
||
</box>
|
||
<box hibit="23" name="U" usename="1">
|
||
<c></c>
|
||
</box>
|
||
<box hibit="22" name="R" settings="1">
|
||
<c>(1)</c>
|
||
</box>
|
||
<box hibit="21" width="2" settings="2">
|
||
<c>0</c>
|
||
<c>1</c>
|
||
</box>
|
||
<box hibit="19" width="4" name="Rn" settings="4">
|
||
<c>1</c>
|
||
<c>1</c>
|
||
<c>1</c>
|
||
<c>1</c>
|
||
</box>
|
||
<box hibit="15" settings="1">
|
||
<c>(1)</c>
|
||
</box>
|
||
<box hibit="14" settings="1">
|
||
<c>(1)</c>
|
||
</box>
|
||
<box hibit="13" settings="1">
|
||
<c>(1)</c>
|
||
</box>
|
||
<box hibit="12" settings="1">
|
||
<c>(1)</c>
|
||
</box>
|
||
<box hibit="11" width="12" name="imm12" usename="1">
|
||
<c colspan="12"></c>
|
||
</box>
|
||
</regdiagram>
|
||
<encoding name="PLD_l_A1" oneofinclass="1" oneof="2" label="A1">
|
||
<docvars>
|
||
<docvar key="armarmheading" value="A1" />
|
||
<docvar key="instr-class" value="general" />
|
||
<docvar key="isa" value="A32" />
|
||
<docvar key="mnemonic" value="PLD" />
|
||
<docvar key="preload-type" value="pld" />
|
||
</docvars>
|
||
<asmtemplate comment="Normal form"><text>PLD</text><text>{</text><a link="sa_c_1" hover="See {xref{ARMARM_Babbefhf}{Standard assembler syntax fields}}"><c></a><text>}</text><text>{</text><a link="sa_q" hover="See {xref{ARMARM_Babbefhf}{Standard assembler syntax fields}}"><q></a><text>}</text><text> </text><a link="sa_label" hover="The label of literal data item that is likely to be accessed in the near future"><label></a></asmtemplate>
|
||
<asmtemplate comment="Alternative form"><text>PLD</text><text>{</text><a link="sa_c_1" hover="See {xref{ARMARM_Babbefhf}{Standard assembler syntax fields}}"><c></a><text>}</text><text>{</text><a link="sa_q" hover="See {xref{ARMARM_Babbefhf}{Standard assembler syntax fields}}"><q></a><text>}</text><text> [PC, #</text><a link="sa__plusminus_" hover="Specifies the offset is added to or subtracted from the base register (field "U") [+,-]">{+/-}</a><a link="sa_imm_1" hover="12-bit unsigned immediate byte offset [0-4095] (field "imm12")"><imm></a><text>]</text></asmtemplate>
|
||
</encoding>
|
||
<ps_section howmany="1">
|
||
<ps name="aarch32/instrs/PLD_l/A1_A.txt" mylink="aarch32.instrs.PLD_l.A1_A.txt" enclabels="" sections="1" secttype="noheading">
|
||
<pstext mayhavelinks="1" section="Decode" rep_section="decode">imm32 = <a link="impl-shared.ZeroExtend.2" file="shared_pseudocode.xml" hover="function: bits(N) ZeroExtend(bits(M) x, integer N)">ZeroExtend</a>(imm12, 32); add = (U == '1');</pstext>
|
||
</ps>
|
||
</ps_section>
|
||
</iclass>
|
||
<iclass name="T1" oneof="2" id="iclass_t1" no_encodings="1" isa="T32">
|
||
<docvars>
|
||
<docvar key="address-form" value="literal" />
|
||
<docvar key="armarmheading" value="T1" />
|
||
<docvar key="instr-class" value="general" />
|
||
<docvar key="isa" value="T32" />
|
||
<docvar key="mnemonic" value="PLD" />
|
||
</docvars>
|
||
<iclassintro count="1"></iclassintro>
|
||
<regdiagram form="16x2" psname="aarch32/instrs/PLD_l/T1_A.txt">
|
||
<box hibit="31" width="8" settings="8">
|
||
<c>1</c>
|
||
<c>1</c>
|
||
<c>1</c>
|
||
<c>1</c>
|
||
<c>1</c>
|
||
<c>0</c>
|
||
<c>0</c>
|
||
<c>0</c>
|
||
</box>
|
||
<box hibit="23" name="U" usename="1">
|
||
<c></c>
|
||
</box>
|
||
<box hibit="22" settings="1">
|
||
<c>0</c>
|
||
</box>
|
||
<box hibit="21" name="W" settings="1">
|
||
<c>(0)</c>
|
||
</box>
|
||
<box hibit="20" name="L" settings="1">
|
||
<c>1</c>
|
||
</box>
|
||
<box hibit="19" width="4" settings="4">
|
||
<c>1</c>
|
||
<c>1</c>
|
||
<c>1</c>
|
||
<c>1</c>
|
||
</box>
|
||
<box hibit="15" width="4" name="Rt" settings="4">
|
||
<c>1</c>
|
||
<c>1</c>
|
||
<c>1</c>
|
||
<c>1</c>
|
||
</box>
|
||
<box hibit="11" width="12" name="imm12" usename="1">
|
||
<c colspan="12"></c>
|
||
</box>
|
||
</regdiagram>
|
||
<encoding name="PLD_l_T1" oneofinclass="1" oneof="2" label="T1">
|
||
<docvars>
|
||
<docvar key="address-form" value="literal" />
|
||
<docvar key="armarmheading" value="T1" />
|
||
<docvar key="instr-class" value="general" />
|
||
<docvar key="isa" value="T32" />
|
||
<docvar key="mnemonic" value="PLD" />
|
||
</docvars>
|
||
<asmtemplate comment="Preferred syntax"><text>PLD</text><text>{</text><a link="sa_c" hover="See {xref{ARMARM_Babbefhf}{Standard assembler syntax fields}}"><c></a><text>}</text><text>{</text><a link="sa_q" hover="See {xref{ARMARM_Babbefhf}{Standard assembler syntax fields}}"><q></a><text>}</text><text> </text><a link="sa_label" hover="The label of literal data item that is likely to be accessed in the near future"><label></a></asmtemplate>
|
||
<asmtemplate comment="Alternative syntax"><text>PLD</text><text>{</text><a link="sa_c" hover="See {xref{ARMARM_Babbefhf}{Standard assembler syntax fields}}"><c></a><text>}</text><text>{</text><a link="sa_q" hover="See {xref{ARMARM_Babbefhf}{Standard assembler syntax fields}}"><q></a><text>}</text><text> [PC, #</text><a link="sa__plusminus_" hover="Specifies the offset is added to or subtracted from the base register (field "U") [+,-]">{+/-}</a><a link="sa_imm" hover="12-bit unsigned immediate byte offset [0-4095] (field "imm12")"><imm></a><text>]</text></asmtemplate>
|
||
</encoding>
|
||
<ps_section howmany="1">
|
||
<ps name="aarch32/instrs/PLD_l/T1_A.txt" mylink="aarch32.instrs.PLD_l.T1_A.txt" enclabels="" sections="1" secttype="noheading">
|
||
<pstext mayhavelinks="1" section="Decode" rep_section="decode">imm32 = <a link="impl-shared.ZeroExtend.2" file="shared_pseudocode.xml" hover="function: bits(N) ZeroExtend(bits(M) x, integer N)">ZeroExtend</a>(imm12, 32); add = (U == '1');</pstext>
|
||
</ps>
|
||
</ps_section>
|
||
</iclass>
|
||
</classes>
|
||
<explanations scope="all">
|
||
<explanation enclist="PLD_l_A1" symboldefcount="1">
|
||
<symbol link="sa_c_1"><c></symbol>
|
||
<account encodedin="">
|
||
<docvars>
|
||
<docvar key="armarmheading" value="A1" />
|
||
<docvar key="isa" value="A32" />
|
||
<docvar key="preload-type" value="pld" />
|
||
</docvars>
|
||
<intro>
|
||
<para>For encoding A1: see <xref linkend="Babbefhf">Standard assembler syntax fields</xref>. Must be <value>AL</value> or omitted.</para>
|
||
</intro>
|
||
</account>
|
||
</explanation>
|
||
<explanation enclist="PLD_l_T1" symboldefcount="2">
|
||
<symbol link="sa_c"><c></symbol>
|
||
<account encodedin="">
|
||
<docvars>
|
||
<docvar key="address-form" value="literal" />
|
||
<docvar key="armarmheading" value="T1" />
|
||
<docvar key="isa" value="T32" />
|
||
</docvars>
|
||
<intro>
|
||
<para>For encoding T1: see <xref linkend="Babbefhf">Standard assembler syntax fields</xref>.</para>
|
||
</intro>
|
||
</account>
|
||
</explanation>
|
||
<explanation enclist="PLD_l_A1, PLD_l_T1" symboldefcount="1">
|
||
<symbol link="sa_q"><q></symbol>
|
||
<account encodedin="">
|
||
<intro>
|
||
<para>See <xref linkend="Babbefhf">Standard assembler syntax fields</xref>.</para>
|
||
</intro>
|
||
</account>
|
||
</explanation>
|
||
<explanation enclist="PLD_l_A1, PLD_l_T1" symboldefcount="1">
|
||
<symbol link="sa_label"><label></symbol>
|
||
<account encodedin="imm12">
|
||
<intro>
|
||
<para>The label of the literal data item that is likely to be accessed in the near future. The assembler calculates the required value of the offset from the <function>Align(PC, 4)</function> value of the instruction to this label. The offset must be in the range –4095 to 4095.</para>
|
||
<para>If the offset is zero or positive, <field>imm32</field> is equal to the offset and <field>add</field> == <enumvalue>TRUE</enumvalue>.</para>
|
||
<para>If the offset is negative, <field>imm32</field> is equal to minus the offset and <field>add</field> == <enumvalue>FALSE</enumvalue>.</para>
|
||
</intro>
|
||
</account>
|
||
</explanation>
|
||
<explanation enclist="PLD_l_A1, PLD_l_T1" symboldefcount="1">
|
||
<symbol link="sa__plusminus_">+/-</symbol>
|
||
<definition encodedin="U">
|
||
<intro>Specifies the offset is added to or subtracted from the base register, defaulting to + if omitted and </intro>
|
||
<table class="valuetable">
|
||
<tgroup cols="2">
|
||
<thead>
|
||
<row>
|
||
<entry class="bitfield">U</entry>
|
||
<entry class="symbol">+/-</entry>
|
||
</row>
|
||
</thead>
|
||
<tbody>
|
||
<row>
|
||
<entry class="bitfield">0</entry>
|
||
<entry class="symbol">-</entry>
|
||
</row>
|
||
<row>
|
||
<entry class="bitfield">1</entry>
|
||
<entry class="symbol">+</entry>
|
||
</row>
|
||
</tbody>
|
||
</tgroup>
|
||
</table>
|
||
</definition>
|
||
</explanation>
|
||
<explanation enclist="PLD_l_A1" symboldefcount="1">
|
||
<symbol link="sa_imm_1"><imm></symbol>
|
||
<account encodedin="imm12">
|
||
<docvars>
|
||
<docvar key="armarmheading" value="A1" />
|
||
<docvar key="isa" value="A32" />
|
||
<docvar key="preload-type" value="pld" />
|
||
</docvars>
|
||
<intro>
|
||
<para>For encoding A1: is the 12-bit unsigned immediate byte offset, in the range 0 to 4095, encoded in the "imm12" field.</para>
|
||
</intro>
|
||
</account>
|
||
</explanation>
|
||
<explanation enclist="PLD_l_T1" symboldefcount="2">
|
||
<symbol link="sa_imm"><imm></symbol>
|
||
<account encodedin="imm12">
|
||
<docvars>
|
||
<docvar key="address-form" value="literal" />
|
||
<docvar key="armarmheading" value="T1" />
|
||
<docvar key="isa" value="T32" />
|
||
</docvars>
|
||
<intro>
|
||
<para>For encoding T1: is a 12-bit unsigned immediate byte offset, in the range 0 to 4095, encoded in the "imm12" field.</para>
|
||
</intro>
|
||
</account>
|
||
</explanation>
|
||
</explanations>
|
||
<ps_section howmany="1">
|
||
<ps name="aarch32/instrs/PLD_l/Op_A.txt" mylink="execute" enclabels="" sections="1" secttype="Operation">
|
||
<pstext mayhavelinks="1" section="Execute" rep_section="execute">if <a link="impl-aarch32.ConditionPassed.0" file="shared_pseudocode.xml" hover="function: boolean ConditionPassed()">ConditionPassed</a>() then
|
||
EncodingSpecificOperations();
|
||
address = if add then (<a link="impl-shared.Align.2" file="shared_pseudocode.xml" hover="function: integer Align(integer x, integer y)">Align</a>(<a link="impl-aarch32.PC.read.none" file="shared_pseudocode.xml" hover="accessor: bits(32) PC">PC</a>,4) + imm32) else (<a link="impl-shared.Align.2" file="shared_pseudocode.xml" hover="function: integer Align(integer x, integer y)">Align</a>(<a link="impl-aarch32.PC.read.none" file="shared_pseudocode.xml" hover="accessor: bits(32) PC">PC</a>,4) - imm32);
|
||
<a link="impl-aarch32.Hint_PreloadData.1" file="shared_pseudocode.xml" hover="function: Hint_PreloadData(bits(32) address)">Hint_PreloadData</a>(address);</pstext>
|
||
</ps>
|
||
</ps_section>
|
||
</instructionsection>
|