openpower/sv/executive_summary.mdwn

   1 Simple-V is a Scalable Vector ISA Extension specifically tailored
   2 for the uniquely powerful capabilities of the Power ISA.
   3
   4 **Simple-V does not modify harm or corrupt the existing Power ISA** and
   5 does not interfere with an existing system.  It needs only a small
   6 allocation of opcodes (five) to implement, whereas any other Vector
   7 implementation would require an intrusive fundamental overhaul of the
   8 Power ISA.
   9
  10 It is extremely important to think of Simple-V as a 2-Dimensional ISA:
  11 instructions vertical and registers horizontal otherwise it will be
  12 difficult to grasp and appreciate its RISC simplicity.
  13
  14 Like all Cray-Style Scalable Vector ISAs, Simple-V binaries remain
  15 ubiquitous, the ISA uniform.
  16
  17 * GPUs may implement massive-wide SIMD back-ends, focussing on
  18   number-crunching.
  19 * Existing Multi-issue Superscalar implementations may
  20   insert Simple-V between decode and issue with minimal disruption.
  21 * Single-issue in-order implementations are very straightforward.
  22
  23 All implementations regardless of back-end capability may execute the exact
  24 same binaries *(this is known to be extremely important to the Power ISA
  25 ecosystem)*.
  26
  27 Simple-V is **not RISC-V and is not RISC-V Vectors**.
  28 [NEC SX Aurora](https://sxauroratsubasa.sakura.ne.jp/documents/guide/pdfs/Aurora_ISA_guide.pdf),
  29 [RVV](https://github.com/riscv/riscv-v-spec/blob/master/v-spec.adoc), [Simple-V](https://ftp.libre-soc.org/simple_v_spec.pdf) and
  30 [MRISC32](https://github.com/mrisc32/mrisc32)
  31 are all based on Cray-style Scalable Vectors
  32 of 30 years ago, hence the similarity,
  33 the provision of a `setvl` instruction, and why they are each called
  34 "Scalable" Vectors, because it is the `setvl` instruction that
  35 presents the **programmer** with explicit control over Vector length.
  36
  37 ARM NEON, AVX-512 and ARM SVE2 are all Predicated SIMD ISAs and
  38 **do not provide Scalability to the Programmer**.  SVE2 is **Silicon**
  39 Scalable, not **Programmer** Scalable: the distinction is profoundly
  40 important.
  41 For Predicated SIMD, Programmers must emulate Cray-style scaling
  42 through explicit predicate masking, which increases instruction count in
  43 hot-loops.
  44
  45 We invented Simple-V to be simple because we don't like complicated.
  46
  47 | description, URL                                                                            |
  48 |---------------------------------------------------------------------------------------------|
  49 | **Unit tests and simulator for Power ISA v3.0 and SVP64**                                   |
  50 | <https://git.libre-soc.org/?p=openpower-isa.git;a=tree;f=src/openpower/decoder/isa;hb=HEAD> |
  51 | - - -                                                                                       |
  52 | **pypowersim tutorial**                                                                     |
  53 | <https://libre-soc.org/docs/pypowersim/>                                                    |
  54 | - - -                                                                                       |
  55 | **several thousand more ISA unit tests**                                                    |
  56 |  <https://git.libre-soc.org/?p=openpower-isa.git;a=tree;f=src/openpower/test;hb=HEAD>       |
  57 | - - -                                                                                       |
  58 | **demo, showing 4.5x reduction in program size for MP3 decode, greatly simplifies assembler development** |
  59 | <https://git.libre-soc.org/?p=openpower-isa.git;a=tree;f=media/audio/mp3;hb=HEAD>           |
  60 | - - -                                                                                       |
  61 | **binutils support for SVP64**                                                              |
  62 | <https://git.libre-soc.org/?p=binutils-gdb.git;a=shortlog;h=refs/heads/svp64-ng>            |