1// -*- mode:c++ -*-
2
3// Copyright (c) 2010 ARM Limited
4// All rights reserved
5//
6// The license below extends only to copyright in the software and shall
7// not be construed as granting a license to any other intellectual
8// property including but not limited to intellectual property relating
9// to a hardware implementation of the functionality of the software
10// licensed hereunder. You may use the software subject to the license
11// terms below provided that you ensure that this notice is replicated
12// unmodified and in its entirety in all distributions of the software,
13// modified or unmodified, in source code or in binary form.
14//
15// Redistribution and use in source and binary forms, with or without
16// modification, are permitted provided that the following conditions are
17// met: redistributions of source code must retain the above copyright
18// notice, this list of conditions and the following disclaimer;
19// redistributions in binary form must reproduce the above copyright
20// notice, this list of conditions and the following disclaimer in the
21// documentation and/or other materials provided with the distribution;
22// neither the name of the copyright holders nor the names of its
23// contributors may be used to endorse or promote products derived from
24// this software without specific prior written permission.
25//
26// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
27// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
28// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
29// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
30// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
31// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
32// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
33// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
34// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
35// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
36// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
37//
38// Authors: Gabe Black
39
40let {{
41
42 header_output = ""
43 decoder_output = ""
44 exec_output = ""
45
46 def storeImmClassName(post, add, writeback, \
47 size=4, sign=False, user=False):
48 return memClassName("STORE_IMM", post, add, writeback,
49 size, sign, user)
50
51 def storeRegClassName(post, add, writeback, \
52 size=4, sign=False, user=False):
53 return memClassName("STORE_REG", post, add, writeback,
54 size, sign, user)
55
56 def storeDoubleImmClassName(post, add, writeback):
57 return memClassName("STORE_IMMD", post, add, writeback,
58 4, False, False)
59
60 def storeDoubleRegClassName(post, add, writeback):
61 return memClassName("STORE_REGD", post, add, writeback,
62 4, False, False)
63
64 def emitStore(name, Name, imm, eaCode, accCode, \
65 memFlags, instFlags, base, double=False):
64 def emitStore(name, Name, imm, eaCode, accCode, postAccCode, \
65 memFlags, instFlags, base, double=False, strex=False,
66 execTemplateBase = 'Store'):
67 global header_output, decoder_output, exec_output
68
69 (newHeader,
70 newDecoder,
71 newExec) = loadStoreBase(name, Name, imm,
71 eaCode, accCode,
72 memFlags, instFlags, double,
73 base, execTemplateBase = 'Store')
72 eaCode, accCode, postAccCode,
73 memFlags, instFlags, double, strex,
74 base, execTemplateBase = execTemplateBase)
75
76 header_output += newHeader
77 decoder_output += newDecoder
78 exec_output += newExec
79
80 def buildImmStore(mnem, post, add, writeback, \
80 size=4, sign=False, user=False):
81 size=4, sign=False, user=False, strex=False):
82 name = mnem
83 Name = storeImmClassName(post, add, writeback, \
84 size, sign, user)
85
86 if add:
87 op = " +"
88 else:
89 op = " -"
90
91 offset = op + " imm"
92 eaCode = "EA = Base"
93 if not post:
94 eaCode += offset
95 eaCode += ";"
96
97 accCode = "Mem%(suffix)s = cSwap(Dest%(suffix)s, ((CPSR)Cpsr).e);" % \
98 { "suffix" : buildMemSuffix(sign, size) }
99 if writeback:
100 accCode += "Base = Base %s;\n" % offset
100 base = buildMemBase("MemoryImm", post, writeback)
101
102 emitStore(name, Name, True, eaCode, accCode, \
103 ["ArmISA::TLB::MustBeOne", \
104 "ArmISA::TLB::AllowUnaligned", \
105 "%d" % (size - 1)], [], base)
102 memFlags = ["ArmISA::TLB::MustBeOne", "%d" % (size - 1)]
103 if strex:
104 memFlags.append("Request::LLSC")
105 Name = "%s_%s" % (mnem.upper(), Name)
106 base = buildMemBase("MemoryExImm", post, writeback)
107 postAccCode = "Result = !writeResult;"
108 execTemplateBase = 'StoreEx'
109 else:
110 memFlags.append("ArmISA::TLB::AllowUnaligned")
111 base = buildMemBase("MemoryImm", post, writeback)
112 postAccCode = ""
113 execTemplateBase = 'Store'
114
115 emitStore(name, Name, True, eaCode, accCode, postAccCode, \
116 memFlags, [], base, strex=strex,
117 execTemplateBase = execTemplateBase)
118
119 def buildRegStore(mnem, post, add, writeback, \
108 size=4, sign=False, user=False):
120 size=4, sign=False, user=False, strex=False):
121 name = mnem
122 Name = storeRegClassName(post, add, writeback,
123 size, sign, user)
124
125 if add:
126 op = " +"
127 else:
128 op = " -"
129
130 offset = op + " shift_rm_imm(Index, shiftAmt," + \
131 " shiftType, CondCodes<29:>)"
132 eaCode = "EA = Base"
133 if not post:
134 eaCode += offset
135 eaCode += ";"
136
137 accCode = "Mem%(suffix)s = cSwap(Dest%(suffix)s, ((CPSR)Cpsr).e);" % \
138 { "suffix" : buildMemSuffix(sign, size) }
139 if writeback:
140 accCode += "Base = Base %s;\n" % offset
141 base = buildMemBase("MemoryReg", post, writeback)
142
131 emitStore(name, Name, False, eaCode, accCode, \
143 emitStore(name, Name, False, eaCode, accCode, "",\
144 ["ArmISA::TLB::MustBeOne", \
145 "ArmISA::TLB::AllowUnaligned", \
146 "%d" % (size - 1)], [], base)
147
136 def buildDoubleImmStore(mnem, post, add, writeback):
148 def buildDoubleImmStore(mnem, post, add, writeback, strex=False):
149 name = mnem
150 Name = storeDoubleImmClassName(post, add, writeback)
151
152 if add:
153 op = " +"
154 else:
155 op = " -"
156
157 offset = op + " imm"
158 eaCode = "EA = Base"
159 if not post:
160 eaCode += offset
161 eaCode += ";"
162
163 accCode = '''
164 CPSR cpsr = Cpsr;
165 Mem.ud = (uint64_t)cSwap(Dest.uw, cpsr.e) |
166 ((uint64_t)cSwap(Dest2.uw, cpsr.e) << 32);
167 '''
168 if writeback:
169 accCode += "Base = Base %s;\n" % offset
158 base = buildMemBase("MemoryDImm", post, writeback)
170
160 emitStore(name, Name, True, eaCode, accCode, \
161 ["ArmISA::TLB::MustBeOne",
162 "ArmISA::TLB::AlignWord"], [], base, double=True)
171 memFlags = ["ArmISA::TLB::MustBeOne",
172 "ArmISA::TLB::AlignWord"]
173 if strex:
174 memFlags.append("Request::LLSC")
175 Name = "%s_%s" % (mnem.upper(), Name)
176 base = buildMemBase("MemoryExDImm", post, writeback)
177 postAccCode = "Result = !writeResult;"
178 else:
179 base = buildMemBase("MemoryDImm", post, writeback)
180 postAccCode = ""
181
182 emitStore(name, Name, True, eaCode, accCode, postAccCode, \
183 memFlags, [], base, double=True, strex=strex)
184
185 def buildDoubleRegStore(mnem, post, add, writeback):
186 name = mnem
187 Name = storeDoubleRegClassName(post, add, writeback)
188
189 if add:
190 op = " +"
191 else:
192 op = " -"
193
194 offset = op + " shift_rm_imm(Index, shiftAmt," + \
195 " shiftType, CondCodes<29:>)"
196 eaCode = "EA = Base"
197 if not post:
198 eaCode += offset
199 eaCode += ";"
200
201 accCode = '''
202 CPSR cpsr = Cpsr;
203 Mem.ud = (uint64_t)cSwap(Dest.uw, cpsr.e) |
204 ((uint64_t)cSwap(Dest2.uw, cpsr.e) << 32);
205 '''
206 if writeback:
207 accCode += "Base = Base %s;\n" % offset
208 base = buildMemBase("MemoryDReg", post, writeback)
209
189 emitStore(name, Name, False, eaCode, accCode, \
190 ["ArmISA::TLB::MustBeOne", \
191 "ArmISA::TLB::AlignWord"], [], base, double=True)
210 memFlags = ["ArmISA::TLB::MustBeOne",
211 "ArmISA::TLB::AlignWord"]
212
213 emitStore(name, Name, False, eaCode, accCode, "", \
214 memFlags, [], base, double=True)
215
216 def buildStores(mnem, size=4, sign=False, user=False):
217 buildImmStore(mnem, True, True, True, size, sign, user)
218 buildRegStore(mnem, True, True, True, size, sign, user)
219 buildImmStore(mnem, True, False, True, size, sign, user)
220 buildRegStore(mnem, True, False, True, size, sign, user)
221 buildImmStore(mnem, False, True, True, size, sign, user)
222 buildRegStore(mnem, False, True, True, size, sign, user)
223 buildImmStore(mnem, False, False, True, size, sign, user)
224 buildRegStore(mnem, False, False, True, size, sign, user)
225 buildImmStore(mnem, False, True, False, size, sign, user)
226 buildRegStore(mnem, False, True, False, size, sign, user)
227 buildImmStore(mnem, False, False, False, size, sign, user)
228 buildRegStore(mnem, False, False, False, size, sign, user)
229
230 def buildDoubleStores(mnem):
231 buildDoubleImmStore(mnem, True, True, True)
232 buildDoubleRegStore(mnem, True, True, True)
233 buildDoubleImmStore(mnem, True, False, True)
234 buildDoubleRegStore(mnem, True, False, True)
235 buildDoubleImmStore(mnem, False, True, True)
236 buildDoubleRegStore(mnem, False, True, True)
237 buildDoubleImmStore(mnem, False, False, True)
238 buildDoubleRegStore(mnem, False, False, True)
239 buildDoubleImmStore(mnem, False, True, False)
240 buildDoubleRegStore(mnem, False, True, False)
241 buildDoubleImmStore(mnem, False, False, False)
242 buildDoubleRegStore(mnem, False, False, False)
243
244 buildStores("str")
245 buildStores("strt", user=True)
246 buildStores("strb", size=1)
247 buildStores("strbt", size=1, user=True)
248 buildStores("strh", size=2)
249 buildStores("strht", size=2, user=True)
250
251 buildDoubleStores("strd")
252
253 buildImmStore("strex", False, True, False, size=4, strex=True)
254 buildImmStore("strexh", False, True, False, size=2, strex=True)
255 buildImmStore("strexb", False, True, False, size=1, strex=True)
256 buildDoubleImmStore("strexd", False, True, False, strex=True)
257}};