op_bctarl CR, TAR, CTR
"""
-from nmigen import Signal, Const, Cat
-from ieee754.fpcommon.getop import FPPipeContext
-from soc.decoder.power_decoder2 import Data
-from soc.fu.pipe_data import IntegerData, CommonPipeSpec
+from soc.fu.pipe_data import FUBaseData, CommonPipeSpec
from soc.fu.branch.br_input_record import CompBROpSubset # TODO: replace
-class BranchInputData(IntegerData):
- regspec = [('SPR', 'spr1', '0:63'),
- ('SPR', 'spr2', '0:63'),
- ('CR', 'cr_a', '0:3'),
- ('FAST', 'cia', '0:63')]
+class BranchInputData(FUBaseData):
+ # Note: for OP_BCREG, SPR1 will either be CTR, LR, or TAR
+ # this involves the *decode* unit selecting the register, based
+ # on detecting the operand being bcctr, bclr or bctar
+ regspec = [('FAST', 'fast1', '0:63'), # see table above, SPR1
+ ('FAST', 'fast2', '0:63'), # see table above, SPR2
+ ('CR', 'cr_a', '0:3'), # Condition Register(s) CR0-7
+ ]
def __init__(self, pspec):
- super().__init__(pspec)
- # Note: for OP_BCREG, SPR1 will either be CTR, LR, or TAR
- # this involves the *decode* unit selecting the register, based
- # on detecting the operand being bcctr, bclr or bctar
-
- self.spr1 = Signal(64, reset_less=True) # see table above, SPR1
- self.spr2 = Signal(64, reset_less=True) # see table above, SPR2
- self.cr_a = Signal(4, reset_less=True) # Condition Register(s) CR0-7
- self.cia = Signal(64, reset_less=True) # Current Instruction Address
+ super().__init__(pspec, False)
# convenience variables. not all of these are used at once
- self.ctr = self.srr0 = self.hsrr0 = self.spr1
- self.lr = self.tar = self.srr1 = self.hsrr1 = self.spr2
+ self.ctr = self.fast1
+ self.lr = self.tar = self.fast2
self.cr = self.cr_a
- def __iter__(self):
- yield from super().__iter__()
- yield self.spr1
- yield self.spr2
- yield self.cr_a
- yield self.cia
-
- def eq(self, i):
- lst = super().eq(i)
- return lst + [self.spr1.eq(i.spr1), self.spr2.eq(i.spr2),
- self.cr_a.eq(i.cr_a), self.cia.eq(i.cia)]
-
-class BranchOutputData(IntegerData):
- regspec = [('SPR', 'spr1', '0:63'),
- ('SPR', 'spr2', '0:63'),
- ('FAST', 'nia', '0:63')]
+class BranchOutputData(FUBaseData):
+ regspec = [('FAST', 'fast1', '0:63'),
+ ('FAST', 'fast2', '0:63'),
+ ('STATE', 'nia', '0:63')]
def __init__(self, pspec):
- super().__init__(pspec)
- self.spr1 = Data(64, name="spr1")
- self.spr2 = Data(64, name="spr2")
- self.nia = Data(64, name="nia")
+ super().__init__(pspec, True)
# convenience variables.
- self.ctr = self.spr1
- self.lr = self.tar = self.spr2
-
- def __iter__(self):
- yield from super().__iter__()
- yield from self.spr1
- yield from self.spr2
- yield from self.nia
-
- def eq(self, i):
- lst = super().eq(i)
- return lst + [self.spr1.eq(i.spr1), self.spr2.eq(i.spr2),
- self.nia.eq(i.nia)]
+ self.ctr = self.fast1
+ self.lr = self.tar = self.fast2
class BranchPipeSpec(CommonPipeSpec):
- regspec = (BranchInputData.regspec, BranchOutputData.regspec)
+ regspecklses = (BranchInputData, BranchOutputData)
opsubsetkls = CompBROpSubset
- def rdflags(self, e): # in order of regspec
- cr1_en = e.read_cr1.ok # CR A
- spr1_ok = e.read_spr1.ok # SPR1
- spr2_ok = e.read_spr2.ok # SPR2
- return Cat(spr1_ok, spr2_ok, cr1_en, 1) # CIA CR SPR1 SPR2