src/soc/fu/alu/test/svp64_cases.py

   1 from soc.fu.test.common import (TestAccumulatorBase, skip_case)
   2 from soc.config.endian import bigendian
   3 from soc.simulator.program import Program
   4 from soc.decoder.isa.caller import SVP64State
   5 from soc.sv.trans.svp64 import SVP64Asm
   6
   7
   8 class SVP64ALUTestCase(TestAccumulatorBase):
   9
  10     def case_1_sv_add(self):
  11         # adds:
  12         #       1 = 5 + 9   => 0x5555 = 0x4321 + 0x1234
  13         #       2 = 6 + 10  => 0x3334 = 0x2223 + 0x1111
  14         isa = SVP64Asm(['sv.add 1.v, 5.v, 9.v'])
  15         lst = list(isa)
  16         print("listing", lst)
  17
  18         # initial values in GPR regfile
  19         initial_regs = [0] * 32
  20         initial_regs[9] = 0x1234
  21         initial_regs[10] = 0x1111
  22         initial_regs[5] = 0x4321
  23         initial_regs[6] = 0x2223
  24         # SVSTATE (in this case, VL=2)
  25         svstate = SVP64State()
  26         svstate.vl[0:7] = 2  # VL
  27         svstate.maxvl[0:7] = 2  # MAXVL
  28         print("SVSTATE", bin(svstate.spr.asint()))
  29
  30         self.add_case(Program(lst, bigendian), initial_regs,
  31                       initial_svstate=svstate)
  32
  33     def case_2_sv_add_scalar(self):
  34         # adds:
  35         #       1 = 5 + 9   => 0x5555 = 0x4321 + 0x1234
  36         isa = SVP64Asm(['sv.add 1, 5, 9'])
  37         lst = list(isa)
  38         print("listing", lst)
  39
  40         # initial values in GPR regfile
  41         initial_regs = [0] * 32
  42         initial_regs[9] = 0x1234
  43         initial_regs[5] = 0x4321
  44         svstate = SVP64State()
  45         # SVSTATE (in this case, VL=1, so everything works as in v3.0B)
  46         svstate.vl[0:7] = 1  # VL
  47         svstate.maxvl[0:7] = 1  # MAXVL
  48         print("SVSTATE", bin(svstate.spr.asint()))
  49
  50         self.add_case(Program(lst, bigendian), initial_regs,
  51                       initial_svstate=svstate)
  52
  53     # This case helps checking the encoding of the Extra field
  54     # It was built so the v3.0b registers are: 3, 2, 1
  55     # and the Extra field is: 101.110.111
  56     # The expected SVP64 register numbers are: 13, 10, 7
  57     # Any mistake in decoding will probably give a different answer
  58     def case_3_sv_check_extra(self):
  59         # adds:
  60         #       13 = 10 + 7   => 0x4242 = 0x1230 + 0x3012
  61         isa = SVP64Asm(['sv.add 13.v, 10.v, 7.v'])
  62         lst = list(isa)
  63         print("listing", lst)
  64
  65         # initial values in GPR regfile
  66         initial_regs = [0] * 32
  67         initial_regs[7] = 0x3012
  68         initial_regs[10] = 0x1230
  69         svstate = SVP64State()
  70         # SVSTATE (in this case, VL=1, so everything works as in v3.0B)
  71         svstate.vl[0:7] = 1  # VL
  72         svstate.maxvl[0:7] = 1  # MAXVL
  73         print("SVSTATE", bin(svstate.spr.asint()))
  74
  75         self.add_case(Program(lst, bigendian), initial_regs,
  76                       initial_svstate=svstate)
  77
  78     def case_4_sv_add_(self):
  79         # adds when Rc=1:                               TODO CRs higher up
  80         #       1 = 5 + 9   => 0 = -1+1                 CR0=0b100
  81         #       2 = 6 + 10  => 0x3334 = 0x2223+0x1111   CR1=0b010
  82
  83         isa = SVP64Asm(['sv.add. 1.v, 5.v, 9.v'])
  84         lst = list(isa)
  85         print("listing", lst)
  86
  87         # initial values in GPR regfile
  88         initial_regs = [0] * 32
  89         initial_regs[9] = 0xffffffffffffffff
  90         initial_regs[10] = 0x1111
  91         initial_regs[5] = 0x1
  92         initial_regs[6] = 0x2223
  93
  94         # SVSTATE (in this case, VL=2)
  95         svstate = SVP64State()
  96         svstate.vl[0:7] = 2  # VL
  97         svstate.maxvl[0:7] = 2  # MAXVL
  98         print("SVSTATE", bin(svstate.spr.asint()))
  99
 100         self.add_case(Program(lst, bigendian), initial_regs,
 101                       initial_svstate=svstate)
 102
 103     def case_5_sv_check_vl_0(self):
 104         # adds:
 105         #       1 = 5 + 9   => 0x5555 = 0x4321 + 0x1234
 106         isa = SVP64Asm([
 107             'sv.add 13.v, 10.v, 7.v',  # skipped, because VL == 0
 108             'add 1, 5, 9'
 109         ])
 110         lst = list(isa)
 111         print("listing", lst)
 112
 113         # initial values in GPR regfile
 114         initial_regs = [0] * 32
 115         initial_regs[9] = 0x1234
 116         initial_regs[5] = 0x4321
 117         initial_regs[7] = 0x3012
 118         initial_regs[10] = 0x1230
 119         svstate = SVP64State()
 120         # SVSTATE (in this case, VL=0, so vector instructions are skipped)
 121         svstate.vl[0:7] = 0  # VL
 122         svstate.maxvl[0:7] = 0  # MAXVL
 123         print("SVSTATE", bin(svstate.spr.asint()))
 124
 125         self.add_case(Program(lst, bigendian), initial_regs,
 126                       initial_svstate=svstate)
 127
 128     # checks that SRCSTEP was reset properly after an SV instruction
 129     def case_6_sv_add_multiple(self):
 130         # adds:
 131         #       1 = 5 + 9   => 0x5555 = 0x4321 + 0x1234
 132         #       2 = 6 + 10  => 0x3334 = 0x2223 + 0x1111
 133         #       3 = 7 + 11  => 0x4242 = 0x3012 + 0x1230
 134         #      13 = 10 + 7  => 0x2341 = 0x1111 + 0x1230
 135         #      14 = 11 + 8  => 0x3012 = 0x3012 + 0x0000
 136         #      15 = 12 + 9  => 0x1234 = 0x0000 + 0x1234
 137         isa = SVP64Asm([
 138             'sv.add 1.v, 5.v, 9.v',
 139             'sv.add 13.v, 10.v, 7.v'
 140         ])
 141         lst = list(isa)
 142         print("listing", lst)
 143
 144         # initial values in GPR regfile
 145         initial_regs = [0] * 32
 146         initial_regs[9] = 0x1234
 147         initial_regs[10] = 0x1111
 148         initial_regs[11] = 0x3012
 149         initial_regs[5] = 0x4321
 150         initial_regs[6] = 0x2223
 151         initial_regs[7] = 0x1230
 152         # SVSTATE (in this case, VL=3)
 153         svstate = SVP64State()
 154         svstate.vl[0:7] = 3  # VL
 155         svstate.maxvl[0:7] = 3  # MAXVL
 156         print("SVSTATE", bin(svstate.spr.asint()))
 157
 158         self.add_case(Program(lst, bigendian), initial_regs,
 159                       initial_svstate=svstate)
 160
 161     def case_7_sv_add_2(self):
 162         # adds:
 163         #       1 = 5 + 9   => 0x5555 = 0x4321 + 0x1234
 164         #       r1 is scalar so ENDS EARLY
 165         isa = SVP64Asm(['sv.add 1, 5.v, 9.v'])
 166         lst = list(isa)
 167         print("listing", lst)
 168
 169         # initial values in GPR regfile
 170         initial_regs = [0] * 32
 171         initial_regs[9] = 0x1234
 172         initial_regs[10] = 0x1111
 173         initial_regs[5] = 0x4321
 174         initial_regs[6] = 0x2223
 175         # SVSTATE (in this case, VL=2)
 176         svstate = SVP64State()
 177         svstate.vl[0:7] = 2  # VL
 178         svstate.maxvl[0:7] = 2  # MAXVL
 179         print("SVSTATE", bin(svstate.spr.asint()))
 180         self.add_case(Program(lst, bigendian), initial_regs,
 181                       initial_svstate=svstate)
 182
 183     def case_8_sv_add_3(self):
 184         # adds:
 185         #       1 = 5 + 9   => 0x5555 = 0x4321+0x1234
 186         #       2 = 5 + 10  => 0x5432 = 0x4321+0x1111
 187         isa = SVP64Asm(['sv.add 1.v, 5, 9.v'])
 188         lst = list(isa)
 189         print("listing", lst)
 190
 191         # initial values in GPR regfile
 192         initial_regs = [0] * 32
 193         initial_regs[9] = 0x1234
 194         initial_regs[10] = 0x1111
 195         initial_regs[5] = 0x4321
 196         initial_regs[6] = 0x2223
 197         # SVSTATE (in this case, VL=2)
 198         svstate = SVP64State()
 199         svstate.vl[0:7] = 2  # VL
 200         svstate.maxvl[0:7] = 2  # MAXVL
 201         print("SVSTATE", bin(svstate.spr.asint()))
 202         self.add_case(Program(lst, bigendian), initial_regs,
 203                       initial_svstate=svstate)
 204
 205     @skip_case("Predication not implemented yet")
 206     def case_9_sv_extsw_intpred(self):
 207         # extsb, integer twin-pred mask: source is ~r3 (0b01), dest r3 (0b10)
 208         # works as follows, where any zeros indicate "skip element"
 209         #       - sources are 9 and 10
 210         #       - dests are 5 and 6
 211         #       - source mask says "pick first element from source (5)
 212         #       - dest mask says "pick *second* element from dest (10)
 213         #
 214         # therefore the operation that's carried out is:
 215         #       GPR(10) = extsb(GPR(5))
 216         #
 217         # this is a type of back-to-back VREDUCE and VEXPAND but it applies
 218         # to *operations*, not just MVs like in traditional Vector ISAs
 219         # ascii graphic:
 220         #
 221         #   reg num        0 1 2 3 4 5 6 7 8 9 10
 222         #   src ~r3=0b01                     Y N
 223         #                                    |
 224         #                              +-----+
 225         #                              |
 226         #   dest r3=0b10             N Y
 227
 228         # expected results:
 229         # r5 = 0x0                   dest r3 is 0b10: skip
 230         # r6 = 0xffff_ffff_ffff_ff91 2nd bit of r3 is 1
 231         isa = SVP64Asm(['sv.extsb/sm=~r3/dm=r3 5.v, 9.v'])
 232         lst = list(isa)
 233         print("listing", lst)
 234
 235         # initial values in GPR regfile
 236         initial_regs = [0] * 32
 237         initial_regs[3] = 0b10   # predicate mask
 238         initial_regs[9] = 0x91   # source ~r3 is 0b01 so this will be used
 239         initial_regs[10] = 0x90  # this gets skipped
 240         # SVSTATE (in this case, VL=2)
 241         svstate = SVP64State()
 242         svstate.vl[0:7] = 2  # VL
 243         svstate.maxvl[0:7] = 2  # MAXVL
 244         print("SVSTATE", bin(svstate.spr.asint()))
 245
 246         self.add_case(Program(lst, bigendian), initial_regs,
 247                       initial_svstate=svstate)
 248
 249     def case_10_intpred_vcompress(self):
 250         #   reg num        0 1 2 3 4 5 6 7 8 9 10 11
 251         #   src r3=0b101                     Y  N  Y
 252         #                                    |     |
 253         #                            +-------+     |
 254         #                            | +-----------+
 255         #                            | |
 256         #   dest always              Y Y Y
 257
 258         # expected results:
 259         # r5 = 0xffff_ffff_ffff_ff90 (from r9)
 260         # r6 = 0xffff_ffff_ffff_ff92 (from r11)
 261         # r7 = 0x0 (VL loop runs out before we can use it)
 262         isa = SVP64Asm(['sv.extsb/sm=r3 5.v, 9.v'])
 263         lst = list(isa)
 264         print("listing", lst)
 265
 266         # initial values in GPR regfile
 267         initial_regs = [0] * 32
 268         initial_regs[3] = 0b101  # predicate mask
 269         initial_regs[9] = 0x90   # source r3 is 0b101 so this will be used
 270         initial_regs[10] = 0x91  # this gets skipped
 271         initial_regs[11] = 0x92  # source r3 is 0b101 so this will be used
 272         # SVSTATE (in this case, VL=3)
 273         svstate = SVP64State()
 274         svstate.vl[0:7] = 3  # VL
 275         svstate.maxvl[0:7] = 3  # MAXVL
 276         print("SVSTATE", bin(svstate.spr.asint()))
 277
 278         self.add_case(Program(lst, bigendian), initial_regs,
 279                       initial_svstate=svstate)
 280
 281     @skip_case("Predication not implemented yet")
 282     def case_11_intpred_vexpand(self):
 283         #   reg num        0 1 2 3 4 5 6 7 8 9 10 11
 284         #   src always                       Y  Y  Y
 285         #                                    |  |
 286         #                            +-------+  |
 287         #                            |   +------+
 288         #                            |   |
 289         #   dest r3=0b101            Y N Y
 290
 291         # expected results:
 292         # r5 = 0xffff_ffff_ffff_ff90 1st bit of r3 is 1
 293         # r6 = 0x0                   skip
 294         # r7 = 0xffff_ffff_ffff_ff91 3nd bit of r3 is 1
 295         isa = SVP64Asm(['sv.extsb/dm=r3 5.v, 9.v'])
 296         lst = list(isa)
 297         print("listing", lst)
 298
 299         # initial values in GPR regfile
 300         initial_regs = [0] * 32
 301         initial_regs[3] = 0b101  # predicate mask
 302         initial_regs[9] = 0x90   # source is "always", so this will be used
 303         initial_regs[10] = 0x91  # likewise
 304         initial_regs[11] = 0x92  # the VL loop runs out before we can use it
 305         # SVSTATE (in this case, VL=3)
 306         svstate = SVP64State()
 307         svstate.vl[0:7] = 3  # VL
 308         svstate.maxvl[0:7] = 3  # MAXVL
 309         print("SVSTATE", bin(svstate.spr.asint()))
 310
 311         self.add_case(Program(lst, bigendian), initial_regs,
 312                       initial_svstate=svstate)
 313
 314     @skip_case("Predication not implemented yet")
 315     def case_12_sv_twinpred(self):
 316         #   reg num        0 1 2 3 4 5 6 7 8 9 10 11
 317         #   src r3=0b101                     Y  N  Y
 318         #                                    |
 319         #                              +-----+
 320         #                              |
 321         #   dest ~r3=0b010           N Y N
 322
 323         # expected results:
 324         # r5 = 0x0                   dest ~r3 is 0b010: skip
 325         # r6 = 0xffff_ffff_ffff_ff90 2nd bit of ~r3 is 1
 326         # r7 = 0x0                   dest ~r3 is 0b010: skip
 327         isa = SVP64Asm(['sv.extsb/sm=r3/dm=~r3 5.v, 9.v'])
 328         lst = list(isa)
 329         print("listing", lst)
 330
 331         # initial values in GPR regfile
 332         initial_regs = [0] * 32
 333         initial_regs[3] = 0b101  # predicate mask
 334         initial_regs[9] = 0x90   # source r3 is 0b101 so this will be used
 335         initial_regs[10] = 0x91  # this gets skipped
 336         initial_regs[11] = 0x92  # VL loop runs out before we can use it
 337         # SVSTATE (in this case, VL=3)
 338         svstate = SVP64State()
 339         svstate.vl[0:7] = 3  # VL
 340         svstate.maxvl[0:7] = 3  # MAXVL
 341         print("SVSTATE", bin(svstate.spr.asint()))
 342
 343         self.add_case(Program(lst, bigendian), initial_regs,
 344                       initial_svstate=svstate)