diff options
| author | Christopher Pulte | 2016-09-09 13:30:10 +0100 |
|---|---|---|
| committer | Christopher Pulte | 2016-09-09 13:30:10 +0100 |
| commit | 70b8a25d893e8bec8ec05fe313c8e883fb3e8fbc (patch) | |
| tree | 31ee4579d3398e243607b67cd40edd788eeb6f06 /src/pretty_print.ml | |
| parent | c669e42539f4b26adc6458ed9293cc6469f87bc6 (diff) | |
update instruction_analysis to support nias and instruction kind
Diffstat (limited to 'src/pretty_print.ml')
| -rw-r--r-- | src/pretty_print.ml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/pretty_print.ml b/src/pretty_print.ml index d81ad23c..296554b8 100644 --- a/src/pretty_print.ml +++ b/src/pretty_print.ml @@ -2884,9 +2884,11 @@ let reg_decls (Defs defs) = (fun (name,typ) -> let ((n1,n2,_,_),typname) = match typ with + | Some "bit" -> ((Nexp_aux (Nexp_constant 0,Unknown), + Nexp_aux (Nexp_constant 1,Unknown),[],[]),"register") | Some typname -> (try (List.assoc typname regtypes,"register_" ^ typname) with - | Not_found -> failwith ("Couldn't find register type " ^ typname)) + | Not_found -> failwith ("Couldn't find register type " ^ typname ^ " for register " ^ name)) | None -> (default,"register") in separate space [pipe;string name;arrow;doc_nexp (if is_inc then n2 else n1); minus;doc_nexp (if is_inc then n1 else n2);plus;string "1"]) @@ -2909,6 +2911,8 @@ let reg_decls (Defs defs) = (fun (name,typ) -> let ((n1,_,_,_),typname) = match typ with + | Some "bit" -> ((Nexp_aux (Nexp_constant 0,Unknown), + Nexp_aux (Nexp_constant 1,Unknown),[],[]),"register") | Some typname -> (List.assoc typname regtypes,"register_" ^ typname) | None -> (default,"register") in separate space [pipe;string name;arrow;doc_nexp n1]) |