scripts/decodetree: Pass lvalue-formatter function to str_extract()

To support referring to other named fields in field definitions, we
need to pass the str_extract() method a function which tells it how
to emit the code for a previously initialized named field.  (In
Pattern::output_code() the other field will be "u.f_foo.field", and
in Format::output_extract() it is "a->field".)

Refactor the two callsites that currently do "output code to
initialize each field", and have them pass a lambda that defines how
to format the lvalue in each case.  This is then used both in
emitting the LHS of the assignment and also passed down to
str_extract() as a new argument (unused at the moment, but will be
used in the following patch).

Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Reviewed-by: Richard Henderson <richard.henderson@linaro.org>
Message-Id: <20230523120447.728365-4-peter.maydell@linaro.org>
This commit is contained in:
Peter Maydell 2023-05-23 13:04:44 +01:00 committed by Richard Henderson
parent 7e62609353
commit aeac22ba1e

View file

@ -211,7 +211,7 @@ def __str__(self):
s = ''
return str(self.pos) + ':' + s + str(self.len)
def str_extract(self):
def str_extract(self, lvalue_formatter):
global bitop_width
s = 's' if self.sign else ''
return f'{s}extract{bitop_width}(insn, {self.pos}, {self.len})'
@ -234,12 +234,12 @@ def __init__(self, subs, mask):
def __str__(self):
return str(self.subs)
def str_extract(self):
def str_extract(self, lvalue_formatter):
global bitop_width
ret = '0'
pos = 0
for f in reversed(self.subs):
ext = f.str_extract()
ext = f.str_extract(lvalue_formatter)
if pos == 0:
ret = ext
else:
@ -270,7 +270,7 @@ def __init__(self, value):
def __str__(self):
return str(self.value)
def str_extract(self):
def str_extract(self, lvalue_formatter):
return str(self.value)
def __cmp__(self, other):
@ -289,8 +289,9 @@ def __init__(self, func, base):
def __str__(self):
return self.func + '(' + str(self.base) + ')'
def str_extract(self):
return self.func + '(ctx, ' + self.base.str_extract() + ')'
def str_extract(self, lvalue_formatter):
return (self.func + '(ctx, '
+ self.base.str_extract(lvalue_formatter) + ')')
def __eq__(self, other):
return self.func == other.func and self.base == other.base
@ -310,7 +311,7 @@ def __init__(self, func):
def __str__(self):
return self.func
def str_extract(self):
def str_extract(self, lvalue_formatter):
return self.func + '(ctx)'
def __eq__(self, other):
@ -363,6 +364,11 @@ def __str__(self):
def str1(self, i):
return str_indent(i) + self.__str__()
def output_fields(self, indent, lvalue_formatter):
for n, f in self.fields.items():
output(indent, lvalue_formatter(n), ' = ',
f.str_extract(lvalue_formatter), ';\n')
# end General
@ -376,8 +382,7 @@ def extract_name(self):
def output_extract(self):
output('static void ', self.extract_name(), '(DisasContext *ctx, ',
self.base.struct_name(), ' *a, ', insntype, ' insn)\n{\n')
for n, f in self.fields.items():
output(' a->', n, ' = ', f.str_extract(), ';\n')
self.output_fields(str_indent(4), lambda n: 'a->' + n)
output('}\n\n')
# end Format
@ -401,8 +406,7 @@ def output_code(self, i, extracted, outerbits, outermask):
if not extracted:
output(ind, self.base.extract_name(),
'(ctx, &u.f_', arg, ', insn);\n')
for n, f in self.fields.items():
output(ind, 'u.f_', arg, '.', n, ' = ', f.str_extract(), ';\n')
self.output_fields(ind, lambda n: 'u.f_' + arg + '.' + n)
output(ind, 'if (', translate_prefix, '_', self.name,
'(ctx, &u.f_', arg, ')) return true;\n')