summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRobert Norton2017-08-16 14:31:25 +0100
committerRobert Norton2017-08-17 11:46:24 +0100
commit71f4339b60addfa55ce2de1ccceb40aabe63cc31 (patch)
tree57600ff04255ac21b39c432927b8180ed11ba209
parentc6d639e0f03053b905a9cb0ab6929f4efe6153f4 (diff)
riscv: fix warnings because of unneeded catch-all cases in types.hgen.
-rw-r--r--risc-v/hgen/types.hgen2
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"