1 # python code-writer for OpenPOWER ISA pseudo-code parsing
7 from openpower
.decoder
.pseudo
.pagereader
import ISA
, get_isa_dir
8 from openpower
.decoder
.power_pseudo
import (convert_to_python
,
10 from openpower
.decoder
.orderedset
import OrderedSet
11 from openpower
.decoder
.isa
.caller
import create_args
15 fdir
= os
.path
.abspath(os
.path
.dirname(__file__
))
16 fdir
= os
.path
.split(fdir
)[0]
17 return os
.path
.join(fdir
, "isa")
21 # auto-generated by pywriter.py, do not edit or commit
23 from openpower.decoder.isa.caller import inject, instruction_info
24 from openpower.decoder.helpers import (
25 ne, eq, gt, ge, lt, le, ltu, gtu, length,
26 RANGE, copy_assign_rhs,
29 from openpower.decoder.selectable_int import SelectableInt
30 from openpower.decoder.selectable_int import selectconcat as concat
31 from openpower.decoder.orderedset import OrderedSet
32 from openpower.decoder.isafunctions.all import ISACallerFnHelper
37 from openpower.decoder.helpers import (
39 #FPADD32, FPSUB32, FPMUL32, FPDIV32,
40 FPADD64, FPSUB64, FPMUL64, FPDIV64,
47 iinfo_template
= """instruction_info(func=%s,
49 uninit_regs=%s, write_regs=%s,
50 special_regs=%s, op_fields=%s,
55 OLD_GENERATED_FILES_EXCEPTIONS
= {
56 "example_exception.py",
59 class PyISAWriter(ISA
):
62 self
.pages_written
= []
64 def check_for_old_generated_files(self
, pagenames
):
65 isadir
= get_isasrc_dir()
68 for pagename
in sorted(pagenames
):
69 fbasename
= pagename
+ ".py"
70 if fbasename
in OLD_GENERATED_FILES_EXCEPTIONS
:
72 old_fname
= os
.path
.join(isadir
, fbasename
)
73 if os
.path
.exists(old_fname
):
74 if first_fname
is None:
75 first_fname
= os
.path
.join(isadir
, "generated", fbasename
)
76 found
.append(fbasename
)
77 for first_old_fname
in found
:
78 found_str
= " ".join(f
"'{i}'" for i
in found
)
80 f
"found likely old generated file: {first_old_fname!r}",
81 f
"new location: {first_fname!r}",
82 "please remove the old generated files or add to:",
83 ("openpower.decoder.pseudo.pywriter."
84 "OLD_GENERATED_FILES_EXCEPTIONS"),
85 "commands to remove all likely old generated files:",
86 f
"(cd {isadir}; rm -v {found_str})",
92 def write_pysource(self
, pagename
):
93 self
.pages_written
.append(pagename
)
94 instrs
= self
.page
[pagename
]
95 isadir
= get_isasrc_dir()
96 fname
= os
.path
.join(isadir
, "generated", pagename
+ ".py")
97 check_in_gitignore(fname
)
98 with
open(fname
, "w") as f
:
100 # write headers: FP gets extra imports
101 f
.write(header
) # write out header
102 if (pagename
.startswith("fp") or
103 pagename
.startswith("svfp")):
105 f
.write("class %s:\n" % pagename
)
107 # go through all instructions
110 print("page", pagename
, page
, fname
, d
.opcode
)
111 pcode
= '\n'.join(d
.pcode
) + '\n'
113 incl_carry
= pagename
== 'fixedshift'
114 filename
= os
.path
.join(get_isa_dir(), pagename
+ ".mdwn")
115 pycode
, rused
= convert_to_python(pcode
, d
.form
, incl_carry
,
117 rused
['uninit_regs'] |
= d
.extra_uninit_regs
118 # create list of arguments to call
119 regs
= list(rused
['read_regs']) + list(rused
['uninit_regs'])
120 regs
+= list(rused
['special_regs'])
121 args
= ', '.join(create_args(regs
, 'self'))
122 # create list of arguments to return
123 retargs
= ', '.join(create_args(rused
['write_regs']))
124 # write out function. pre-pend "op_" because some instrs are
125 # also python keywords (cmp). also replace "." with "_"
126 op_fname
= "op_%s" % page
.replace(".", "_")
127 f
.write(" @inject()\n")
128 f
.write(" def %s(%s):\n" % (op_fname
, args
))
129 # blech! this works in combination with ISACaller
130 # @inject decorator, which works by injecting
131 # global variables into the function namespace.
132 for blech
in ['NIA', 'end_loop']:
133 if blech
in pycode
: # HACK - TODO fix
134 f
.write(" global %s\n" % blech
)
135 pycode
= pycode
.split("\n")
136 pycode
= '\n'.join(map(lambda x
: " %s" % x
, pycode
))
137 pycode
= pycode
.rstrip()
138 f
.write(pycode
+ '\n')
140 f
.write(" return (%s,)\n\n" % retargs
)
143 # accumulate the instruction info
144 ops
= repr(rused
['op_fields'])
145 iinfo
= iinfo_template
% (op_fname
, rused
['read_regs'],
146 rused
['uninit_regs'],
148 rused
['special_regs'],
150 iinf
+= " %s_instrs['%s'] = %s\n" % (pagename
, page
, iinfo
)
151 # write out initialisation of info, for ISACaller to use
152 f
.write(" %s_instrs = {}\n" % pagename
)
155 def patch_if_needed(self
, source
):
156 isadir
= get_isasrc_dir()
157 fname
= os
.path
.join(isadir
, "generated", "%s.py" % source
)
158 patchname
= os
.path
.join(isadir
, "%s.patch" % source
)
161 with
open(patchname
, 'r') as patch
:
162 newfname
= fname
+ '.orig'
163 shutil
.copyfile(fname
, newfname
)
164 subprocess
.check_call(['patch', fname
],
169 def write_isa_class(self
):
170 isadir
= get_isasrc_dir()
171 fname
= os
.path
.join(isadir
, "all.py")
172 check_in_gitignore(fname
)
173 with
open(fname
, "w") as f
:
174 f
.write('# auto-generated by pywriter.py: do not edit or commit\n')
175 f
.write('from openpower.decoder.isa.caller import ISACaller\n')
176 f
.write('from openpower.decoder.helpers import ISACallerHelper\n')
177 f
.write('from openpower.decoder.isafunctions.all '
178 'import ISACallerFnHelper\n')
179 for page
in self
.pages_written
:
180 f
.write('from openpower.decoder.isa.generated.%s '
181 'import %s\n' % (page
, page
))
184 f
.write('class ISAPages(%s):\n' % ", ".join(self
.pages_written
))
185 f
.write(' def __init__(self, *args, **kwargs):\n')
186 f
.write(' super().__init__(*args, **kwargs)\n')
187 f
.write(' self.instrs = {\n')
188 for page
in self
.pages_written
:
189 f
.write(' **self.%s_instrs,\n' % page
)
191 classes
= ', '.join(['ISAPages', 'ISACaller', 'ISACallerFnHelper',
193 f
.write('class ISA(%s): pass\n' % classes
)
198 write_isa_class
= True
199 if len(sys
.argv
) == 1: # quick way to do it
201 sources
= isa
.page
.keys()
203 sources
= sys
.argv
[1:]
204 if sources
[0] == "noall": # don't rewrite all.py
205 write_isa_class
= False
207 print("sources", write_isa_class
, sources
)
208 isa
.check_for_old_generated_files(sources
)
209 for source
in sources
:
210 isa
.write_pysource(source
)
211 isa
.patch_if_needed(source
)
213 isa
.write_isa_class()
215 if __name__
== '__main__':