diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-04-11 10:53:48 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-04-11 10:53:48 +0200 |
commit | 89a54eee40305a61d1c1c0b9c5e6ba039592507b (patch) | |
tree | 83cf2236e0cc161551cc025af531803547654270 /mppa_k1c/TargetPrinter.ml | |
parent | 8bdfa912a9ba8cee569cb40bf2ec4c584095e402 (diff) | |
download | compcert-kvx-89a54eee40305a61d1c1c0b9c5e6ba039592507b.tar.gz compcert-kvx-89a54eee40305a61d1c1c0b9c5e6ba039592507b.zip |
MPPA - Onegf
Diffstat (limited to 'mppa_k1c/TargetPrinter.ml')
-rw-r--r-- | mppa_k1c/TargetPrinter.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/mppa_k1c/TargetPrinter.ml b/mppa_k1c/TargetPrinter.ml index e93603a4..16d75df3 100644 --- a/mppa_k1c/TargetPrinter.ml +++ b/mppa_k1c/TargetPrinter.ml @@ -268,6 +268,9 @@ module Target : TARGET = | Psd(rd, ra, ofs) | Psd_a(rd, ra, ofs) | Pfsd(rd, ra, ofs) -> assert Archi.ptr64; fprintf oc " sd %a[%a] = %a\n;;\n" offset ofs ireg ra ireg rd + | Pfnegd(rd, ra) -> + fprintf oc " fnegd %a = %a\n;;\n" ireg ra ireg rd + (* Pseudo-instructions expanded in Asmexpand *) | Pallocframe(sz, ofs) -> assert false |