From 983cab07c39a7bed288e9e953d95ffe990783825 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Sat, 16 Mar 2019 14:07:07 +0100 Subject: 32-bit rotate finished --- mppa_k1c/TargetPrinter.ml | 3 +++ 1 file changed, 3 insertions(+) (limited to 'mppa_k1c/TargetPrinter.ml') diff --git a/mppa_k1c/TargetPrinter.ml b/mppa_k1c/TargetPrinter.ml index 70d9ff6c..810808c2 100644 --- a/mppa_k1c/TargetPrinter.ml +++ b/mppa_k1c/TargetPrinter.ml @@ -430,6 +430,9 @@ module Target (*: TARGET*) = fprintf oc " srlw %a = %a, %a\n" ireg rd ireg rs coqint imm | Pslliw (rd, rs, imm) -> fprintf oc " sllw %a = %a, %a\n" ireg rd ireg rs coqint imm + | Proriw (rd, rs, imm) -> + fprintf oc " rorw %a = %a, %a\n" ireg rd ireg rs coqint imm + | Psllil (rd, rs, imm) -> fprintf oc " slld %a = %a, %a\n" ireg rd ireg rs coqint64 imm | Psrlil (rd, rs, imm) -> -- cgit