diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-05-30 17:41:25 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-05-30 17:41:25 +0200 |
commit | 616f796999a47aa12aa60b0dc39274dd4fe7a2ca (patch) | |
tree | 0e2271997dd8f5c265e4559475676256531182b6 /mppa_k1c/TargetPrinter.ml | |
parent | 8acbfc64cd77d911076aec57e8e0a558b36e448f (diff) | |
download | compcert-kvx-616f796999a47aa12aa60b0dc39274dd4fe7a2ca.tar.gz compcert-kvx-616f796999a47aa12aa60b0dc39274dd4fe7a2ca.zip |
WIP - Trying to add builtins support. They are not detected for now :(
Diffstat (limited to 'mppa_k1c/TargetPrinter.ml')
-rw-r--r-- | mppa_k1c/TargetPrinter.ml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/mppa_k1c/TargetPrinter.ml b/mppa_k1c/TargetPrinter.ml index 8e3cce5a..ad06500e 100644 --- a/mppa_k1c/TargetPrinter.ml +++ b/mppa_k1c/TargetPrinter.ml @@ -222,6 +222,12 @@ module Target : TARGET = assert false end + (* Pseudo-instructions not generated by Asmgen *) + | Pclzll(rd, rs) -> + fprintf oc " clzll %a = %a\n;;\n" ireg rd ireg rs + | Pstsud(rd, rs1, rs2) -> + fprintf oc " stsud %a = %a, %a\n;;\n" ireg rd ireg rs1 ireg rs2 + let print_cf_instruction oc = function | Pget (rd, rs) -> fprintf oc " get %a = %a\n;;\n" ireg rd preg rs |