aboutsummaryrefslogtreecommitdiff
path: root/machine/fp_ldst.c
blob: 33c30c1e7b24fd9facc07894ed8ccf5eca6e1cfe (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
// See LICENSE for license details.

#include "fp_emulation.h"
#include "unprivileged_memory.h"

#define punt_to_misaligned_handler(align, handler) \
  if (addr % (align) != 0) \
    return write_csr(mtval, addr), (handler)(regs, mcause, mepc)

DECLARE_EMULATION_FUNC(emulate_float_load)
{
  uintptr_t addr = GET_RS1(insn, regs) + IMM_I(insn);

  // if FPU is disabled, punt back to the OS
  if (unlikely((mstatus & MSTATUS_FS) == 0))
    return truly_illegal_insn(regs, mcause, mepc, mstatus, insn);
  
  switch (insn & MASK_FUNCT3)
  {
    case MATCH_FLW & MASK_FUNCT3:
      punt_to_misaligned_handler(4, misaligned_load_trap);
      SET_F32_RD(insn, regs, load_int32_t((void *)addr, mepc));
      break;

    case MATCH_FLD & MASK_FUNCT3:
      punt_to_misaligned_handler(sizeof(uintptr_t), misaligned_load_trap);
      SET_F64_RD(insn, regs, load_uint64_t((void *)addr, mepc));
      break;

    default:
      return truly_illegal_insn(regs, mcause, mepc, mstatus, insn);
  }
}

DECLARE_EMULATION_FUNC(emulate_float_store)
{
  uintptr_t addr = GET_RS1(insn, regs) + IMM_S(insn);

  // if FPU is disabled, punt back to the OS
  if (unlikely((mstatus & MSTATUS_FS) == 0))
    return truly_illegal_insn(regs, mcause, mepc, mstatus, insn);
  
  switch (insn & MASK_FUNCT3)
  {
    case MATCH_FSW & MASK_FUNCT3:
      punt_to_misaligned_handler(4, misaligned_store_trap);
      store_uint32_t((void *)addr, GET_F32_RS2(insn, regs), mepc);
      break;

    case MATCH_FSD & MASK_FUNCT3:
      punt_to_misaligned_handler(sizeof(uintptr_t), misaligned_store_trap);
      store_uint64_t((void *)addr, GET_F64_RS2(insn, regs), mepc);
      break;

    default:
      return truly_illegal_insn(regs, mcause, mepc, mstatus, insn);
  }
}