projects
/
openpower-isa.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
9841231
)
insn/core: rename extra-related classes
author
Dmitry Selyutin
<ghostmansd@gmail.com>
Wed, 7 Jun 2023 08:52:04 +0000
(11:52 +0300)
committer
Luke Kenneth Casson Leighton
<lkcl@lkcl.net>
Fri, 22 Dec 2023 19:26:19 +0000
(19:26 +0000)
src/openpower/insndb/core.py
patch
|
blob
|
history
diff --git
a/src/openpower/insndb/core.py
b/src/openpower/insndb/core.py
index 859852b9b47fba4bca2a92ece1ecf5d166ca2f01..511d695ac150c3754d9c50647f9bc5c490b3faab 100644
(file)
--- a/
src/openpower/insndb/core.py
+++ b/
src/openpower/insndb/core.py
@@
-824,7
+824,7
@@
class MarkdownRecord:
@_dataclasses.dataclass(eq=True, frozen=True)
@_dataclasses.dataclass(eq=True, frozen=True)
-class
Visitable
Extra:
+class Extra:
name: str
sel: _typing.Union[
_In1Sel, _In2Sel, _In3Sel, _CRInSel, _CRIn2Sel,
name: str
sel: _typing.Union[
_In1Sel, _In2Sel, _In3Sel, _CRInSel, _CRIn2Sel,
@@
-853,7
+853,7
@@
class Record:
def visit(self, visitor):
with visitor.record(record=self) as record:
for (name, fields) in record.extras.items():
def visit(self, visitor):
with visitor.record(record=self) as record:
for (name, fields) in record.extras.items():
- extra =
Visitable
Extra(name=name, **fields)
+ extra = Extra(name=name, **fields)
extra.visit(visitor=visitor)
@property
extra.visit(visitor=visitor)
@property
@@
-1928,11
+1928,11
@@
class Mode(_Mapping):
sel: _Field = (0, 1)
sel: _Field = (0, 1)
-class Extra(_Mapping):
+class Extra
RM
(_Mapping):
_: _Field = range(0, 9)
_: _Field = range(0, 9)
-class Extra2
(Extra
):
+class Extra2
RM(ExtraRM
):
idx0: _Field = range(0, 2)
idx1: _Field = range(2, 4)
idx2: _Field = range(4, 6)
idx0: _Field = range(0, 2)
idx1: _Field = range(2, 4)
idx2: _Field = range(4, 6)
@@
-1954,7
+1954,7
@@
class Extra2(Extra):
self[key].assign(value)
self[key].assign(value)
-class Extra3
(Extra
):
+class Extra3
RM(ExtraRM
):
idx0: _Field = range(0, 3)
idx1: _Field = range(3, 6)
idx2: _Field = range(6, 9)
idx0: _Field = range(0, 3)
idx1: _Field = range(3, 6)
idx2: _Field = range(6, 9)
@@
-1983,9
+1983,9
@@
class BaseRM(_Mapping):
mode: Mode.remap(range(19, 24))
smask_extra322: _Field = (6,7,18,) # LDST_IDX is EXTRA332
smask: _Field = range(16, 19) # everything else use this
mode: Mode.remap(range(19, 24))
smask_extra322: _Field = (6,7,18,) # LDST_IDX is EXTRA332
smask: _Field = range(16, 19) # everything else use this
- extra: Extra.remap(range(10, 19))
- extra2: Extra2.remap(range(10, 19))
- extra3: Extra3.remap(range(10, 19))
+ extra: Extra
RM
.remap(range(10, 19))
+ extra2: Extra2
RM
.remap(range(10, 19))
+ extra3: Extra3
RM
.remap(range(10, 19))
# XXX extra332 = (extra3[0], extra3[1], extra2[3])
def specifiers(self, record):
# XXX extra332 = (extra3[0], extra3[1], extra2[3])
def specifiers(self, record):