1 // Copyright 2016, VIXL authors 2 // All rights reserved. 3 // 4 // Redistribution and use in source and binary forms, with or without 5 // modification, are permitted provided that the following conditions are met: 6 // 7 // * Redistributions of source code must retain the above copyright notice, 8 // this list of conditions and the following disclaimer. 9 // * Redistributions in binary form must reproduce the above copyright notice, 10 // this list of conditions and the following disclaimer in the documentation 11 // and/or other materials provided with the distribution. 12 // * Neither the name of ARM Limited nor the names of its contributors may be 13 // used to endorse or promote products derived from this software without 14 // specific prior written permission. 15 // 16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND 17 // ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED 18 // WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE 19 // DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE 20 // FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 21 // DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR 22 // SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER 23 // CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, 24 // OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 25 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 26 27 { 28 "mnemonics": [ 29 "Ldr", // LDR{<c>}{<q>} <Rt>, [<Rn>{, #{+/-}<imm_3>}] ; A1 30 // LDR{<c>}{<q>} <Rt>, [<Rn>], #{+/-}<imm_3> ; A1 31 // LDR{<c>}{<q>} <Rt>, [<Rn>{, #{+/-}<imm_3>}]! ; A1 32 "Ldrb", // LDRB{<c>}{<q>} <Rt>, [<Rn>{, #{+/-}<imm_3>}] ; A1 33 // LDRB{<c>}{<q>} <Rt>, [<Rn>], #{+/-}<imm_3> ; A1 34 // LDRB{<c>}{<q>} <Rt>, [<Rn>{, #{+/-}<imm_3>}]! ; A1 35 "Str", // STR{<c>}{<q>} <Rt>, [<Rn>{, #{+/-}<imm_3>}] ; A1 36 // STR{<c>}{<q>} <Rt>, [<Rn>], #{+/-}<imm_3> ; A1 37 // STR{<c>}{<q>} <Rt>, [<Rn>{, #{+/-}<imm_3>}]! ; A1 38 "Strb" // STRB{<c>}{<q>} <Rt>, [<Rn>{, #{+/-}<imm_3>}] ; A1 39 // STRB{<c>}{<q>} <Rt>, [<Rn>], #{+/-}<imm_3> ; A1 40 // STRB{<c>}{<q>} <Rt>, [<Rn>{, #{+/-}<imm_3>}]! ; A1 41 ], 42 "description": { 43 "operands": [ 44 { 45 "name": "cond", 46 "type": "Condition" 47 }, 48 { 49 "name": "rd", 50 "type": "AllRegistersButPC" 51 }, 52 { 53 "name": "memop", 54 "wrapper": "MemOperand", 55 "operands": [ 56 { 57 "name": "rn", 58 "type": "AllRegistersButPC" 59 }, 60 { 61 "name": "sign", 62 "type": "Sign" 63 }, 64 { 65 "name": "offset", 66 "type": "OffsetLowerThan4096" 67 }, 68 { 69 "name": "addr_mode", 70 "type": "AddressingMode" 71 } 72 ] 73 } 74 ], 75 "inputs": [ 76 { 77 "name": "apsr", 78 "type": "NZCV" 79 }, 80 { 81 "name": "rd", 82 "type": "Register" 83 }, 84 { 85 "name": "memop", 86 "type": "MemOperand" 87 } 88 ] 89 }, 90 "test-files": [ 91 { 92 "type": "assembler", 93 "test-cases": [ 94 { 95 "name": "Registers", 96 "operands": [ 97 "cond", "rd", "rn" 98 ], 99 "operand-limit": 100 100 }, 101 { 102 "name": "MemOperandsOffset", 103 "operands": [ 104 "rn", "sign", "offset", "addr_mode" 105 ], 106 "operand-filter": "addr_mode == 'Offset'", 107 "operand-limit": 200 108 }, 109 { 110 "name": "MemOperandsWriteBack", 111 "operands": [ 112 "rd", "rn", "sign", "offset", "addr_mode" 113 ], 114 "operand-filter": "addr_mode != 'Offset' and rd != rn", 115 "operand-limit": 400 116 } 117 ] 118 }, 119 { 120 // TODO: The simulator tests do not support the case where `rd` == 121 // `rn`. See `data_types.MemOperand.Epilogue()` for details. 122 "type": "simulator", 123 "test-cases": [ 124 { 125 "name": "Condition", 126 "operands": [ 127 "cond", "rd", "rn" 128 ], 129 "operand-filter": "rd == 'r0' and rn == 'r1'", 130 "inputs": [ 131 "apsr" 132 ] 133 }, 134 { 135 "name": "PositiveOffset", 136 "operands": [ 137 "rd", "rn", "sign", "offset", "addr_mode" 138 ], 139 "operand-filter": "sign == 'plus' and addr_mode == 'Offset' and rd != rn", 140 "operand-limit": 100, 141 "inputs": [ 142 "rd", "memop" 143 ], 144 "input-limit": 10 145 }, 146 { 147 "name": "NegativeOffset", 148 "operands": [ 149 "rd", "rn", "sign", "offset", "addr_mode" 150 ], 151 "operand-filter": "sign == 'minus' and addr_mode == 'Offset' and rd != rn", 152 "operand-limit": 100, 153 "inputs": [ 154 "rd", "memop" 155 ], 156 "input-limit": 10 157 }, 158 { 159 "name": "PositivePostIndex", 160 "operands": [ 161 "rd", "rn", "sign", "offset", "addr_mode" 162 ], 163 "operand-filter": "sign == 'plus' and addr_mode == 'PostIndex' and rd != rn", 164 "operand-limit": 100, 165 "inputs": [ 166 "rd", "memop" 167 ], 168 "input-limit": 10 169 }, 170 { 171 "name": "NegativePostIndex", 172 "operands": [ 173 "rd", "rn", "sign", "offset", "addr_mode" 174 ], 175 "operand-filter": "sign == 'minus' and addr_mode == 'PostIndex' and rd != rn", 176 "operand-limit": 100, 177 "inputs": [ 178 "rd", "memop" 179 ], 180 "input-limit": 10 181 }, 182 { 183 "name": "PositivePreIndex", 184 "operands": [ 185 "rd", "rn", "sign", "offset", "addr_mode" 186 ], 187 "operand-filter": "sign == 'plus' and addr_mode == 'PreIndex' and rd != rn", 188 "operand-limit": 100, 189 "inputs": [ 190 "rd", "memop" 191 ], 192 "input-limit": 10 193 }, 194 { 195 "name": "NegativePreIndex", 196 "operands": [ 197 "rd", "rn", "sign", "offset", "addr_mode" 198 ], 199 "operand-filter": "sign == 'minus' and addr_mode == 'PreIndex' and rd != rn", 200 "operand-limit": 100, 201 "inputs": [ 202 "rd", "memop" 203 ], 204 "input-limit": 10 205 } 206 ] 207 } 208 ] 209 } 210