src/soc/fu/logical/pipe_data.py

   1 from nmigen import Signal, Const, Cat
   2 from ieee754.fpcommon.getop import FPPipeContext
   3 from soc.fu.pipe_data import IntegerData
   4 from soc.decoder.power_decoder2 import Data
   5 from soc.fu.alu.pipe_data import ALUOutputData, CommonPipeSpec
   6 from soc.fu.logical.logical_input_record import CompLogicalOpSubset
   7
   8
   9 class LogicalInputData(IntegerData):
  10     regspec = [('INT', 'ra', '0:63'),
  11                ('INT', 'rb', '0:63'),
  12                ]
  13     def __init__(self, pspec):
  14         super().__init__(pspec)
  15         self.ra = Signal(64, reset_less=True) # RA
  16         self.rb = Signal(64, reset_less=True) # RB/immediate
  17         # convenience
  18         self.a, self.b = self.ra, self.rb
  19
  20     def __iter__(self):
  21         yield from super().__iter__()
  22         yield self.ra
  23         yield self.rb
  24
  25     def eq(self, i):
  26         lst = super().eq(i)
  27         return lst + [self.ra.eq(i.ra), self.rb.eq(i.rb),
  28                        ]
  29
  30
  31 class LogicalOutputData(IntegerData):
  32     regspec = [('INT', 'o', '0:63'),
  33                ('CR', 'cr_a', '0:3'),
  34                ('XER', 'xer_ca', '34,45'),
  35                ]
  36     def __init__(self, pspec):
  37         super().__init__(pspec)
  38         self.o = Data(64, name="stage_o")  # RT
  39         self.cr_a = Data(4, name="cr_a")
  40         self.xer_ca = Data(2, name="xer_co") # bit0: ca, bit1: ca32
  41         # convenience
  42         self.cr0 = self.cr_a
  43
  44     def __iter__(self):
  45         yield from super().__iter__()
  46         yield self.o
  47         yield self.xer_ca
  48         yield self.cr_a
  49
  50     def eq(self, i):
  51         lst = super().eq(i)
  52         return lst + [self.o.eq(i.o),
  53                       self.xer_ca.eq(i.xer_ca),
  54                       self.cr_a.eq(i.cr_a),
  55                       ]
  56
  57
  58 class LogicalPipeSpec(CommonPipeSpec):
  59     regspec = (LogicalInputData.regspec, LogicalOutputData.regspec)
  60     opsubsetkls = CompLogicalOpSubset