assembly.md

Assembly

Assembly tokenization should be working completely. It knows what instructions the CPU implementation supports and parses based on them.

Instruction sets:

• RV32I
  • Loads/Stores: lb, lh, lw, lbu, lhu, sw, sh, sb (supported arg format is either rd, imm(reg) or rd, reg, imm)
  • Branch statements: beq, bne, blt, bge, bltu, bgeu
  • Jumps j, jal, jalr, ret
  • Basic arithmetic: add, addi, sub, lui, auipc
  • Shifts: sll, slli, srl, srli, sra, srai
  • Syscall/Debugging:scall, ecall, sbreak, ebreak (both s and e version are the same instruction)
  • Compares: slt, sltu, slti, sltiu
  • Logical: and, or, xor, andi, ori, xori
  • Not implemented: fence, fence.i, rdcycle, rdcycleh, rdtime, rdtimeh, rdinstret, rdinstreth
• RV32M
  • Multiplication: mul, mulh, not implemented yet are mulhsu, mulhu
  • Division: div, divu, rem, remu

Pseudo-ops

The following pseudo-ops are implemented as of yet:

• .space <len> reverse bytes of zero
• .ascii 'text' put text into memory
• .asciiz 'text' put text into memory (null terminated)
• .section .<name> same as .<name>, see sections
• .set <name>, <value> to create a const symbol with a given value
• .global <name> mark symbol <name> as a global symbol. It is available from all loaded programs
• .align <bytes> currently a nop as cpu does not care about alignment as of now

Sections:

Currently only these three sections are supported:

• data read-write data (non-executable)
• rodata read-only data (non-executable)
• text executable data (read-only)