diff options
| -rw-r--r-- | risc-v/hgen/types.hgen | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/risc-v/hgen/types.hgen b/risc-v/hgen/types.hgen index 87fc9b95..3c4ae55a 100644 --- a/risc-v/hgen/types.hgen +++ b/risc-v/hgen/types.hgen @@ -107,14 +107,12 @@ let pp_riscv_load_op (unsigned, width) = match (unsigned, width) with | (false, RISCVWORD) -> "lw" | (true, RISCVWORD) -> "lwu" | (_, RISCVDOUBLE) -> "ld" - | _ -> failwith "unexpected load op" let pp_riscv_store_op width = match width with | RISCVBYTE -> "sb" | RISCVHALF -> "sh" | RISCVWORD -> "sw" | RISCVDOUBLE -> "sd" -| _ -> failwith "unexpected store op" let pp_riscv_fence_option = function | 0b0011 -> "rw" |