Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
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>
  • Loading branch information
pm215 authored and rth7680 committed May 30, 2023
1 parent 7e62609 commit aeac22b
Showing 1 changed file with 15 additions and 11 deletions.
26 changes: 15 additions & 11 deletions scripts/decodetree.py
Expand Up @@ -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})'
Expand All @@ -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:
Expand Down Expand Up @@ -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):
Expand All @@ -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
Expand All @@ -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):
Expand Down Expand Up @@ -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


Expand All @@ -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

Expand All @@ -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')

Expand Down

0 comments on commit aeac22b

Please sign in to comment.