diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-27 19:16:08 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-27 19:16:08 +0100 |
| commit | 88a8995fbbb9242d1f97110e79badd608dd03f6b (patch) | |
| tree | c2296843c9482714aefb8506b5206021ac18d724 | |
| parent | b0b62fc1e92faae5de190e543bc345223855073c (diff) | |
| download | compcert-kvx-88a8995fbbb9242d1f97110e79badd608dd03f6b.tar.gz compcert-kvx-88a8995fbbb9242d1f97110e79badd608dd03f6b.zip | |
give meaningful messages please
| -rw-r--r-- | mppa_k1c/Asmexpand.ml | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/mppa_k1c/Asmexpand.ml b/mppa_k1c/Asmexpand.ml index de75df25..b6962bdc 100644 --- a/mppa_k1c/Asmexpand.ml +++ b/mppa_k1c/Asmexpand.ml @@ -529,8 +529,18 @@ let expand_instruction instr = expand_builtin_memcpy (Z.to_int sz) (Z.to_int al) args | EF_annot _ | EF_debug _ | EF_inline_asm _ -> emit instr - *)| _ -> - assert false + *) + | EF_memcpy _ -> failwith "asmexpand: memcpy" + | EF_malloc -> failwith "asmexpand: malloc" + | EF_free -> failwith "asmexpand: free" + | EF_vload _ -> failwith "asmexpand: vload" + | EF_vstore _ -> failwith "asmexpand: vstore" + | EF_debug _ -> failwith "asmexpand: debug" + | EF_annot _ -> failwith "asmexpand: annot" + | EF_annot_val _ -> failwith "asmexpand: annot_val" + | EF_external _ -> failwith "asmexpand: external" + | EF_inline_asm _ -> failwith "asmexpand: inline asm" + | EF_runtime _ -> failwith "asmexpand: runtime" end | _ -> emit instr |