search

openhwgroup / corev-binutils-gdb

GNU General Public License v2.0
9 stars 26 forks source link

Naming of cv.slet #100

Closed MaryBennett closed 1 year ago

MaryBennett commented 1 year ago

Make the change: https://github.com/openhwgroup/cv32e40p/issues/833

Actions:

  1. Rename cv.slet -> cv.sle
  2. Add pseudo instruction cv.slet
  3. Make cv.sle the preferred disassembly (ensure cv.slet is further down in the disassembly table)
  4. Repeat for unsigned (cv.sletu)
  5. Document pseudo instruction in official CV32E40P documentation
MaryBennett commented 1 year ago

Corresponding pull request has been merged