diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2018-04-17 16:30:26 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2018-04-17 16:30:26 +0200 |
| commit | 3997c0bc61ddbbceefd449a8007e7212add8ac4a (patch) | |
| tree | f75c6a9409ee76b6f628f012a88f1c4e293b7f85 /mppa_k1c/Asmgen.v | |
| parent | 8a77a2d41eb560ce9dbc3669971ccbc342743784 (diff) | |
| download | compcert-kvx-3997c0bc61ddbbceefd449a8007e7212add8ac4a.tar.gz compcert-kvx-3997c0bc61ddbbceefd449a8007e7212add8ac4a.zip | |
MPPA - added all shifts
Diffstat (limited to 'mppa_k1c/Asmgen.v')
| -rw-r--r-- | mppa_k1c/Asmgen.v | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/mppa_k1c/Asmgen.v b/mppa_k1c/Asmgen.v index 0f0d3e41..12cdb114 100644 --- a/mppa_k1c/Asmgen.v +++ b/mppa_k1c/Asmgen.v @@ -416,7 +416,7 @@ Definition transl_op | Oxorlimm n, a1 :: nil => do rd <- ireg_of res; do rs <- ireg_of a1; OK (xorimm64 rd rs n k) - | Oshll, a1 :: a2 :: nil => +*)| Oshll, a1 :: a2 :: nil => do rd <- ireg_of res; do rs1 <- ireg_of a1; do rs2 <- ireg_of a2; OK (Pslll rd rs1 rs2 :: k) | Oshllimm n, a1 :: nil => @@ -431,7 +431,7 @@ Definition transl_op | Oshrlu, a1 :: a2 :: nil => do rd <- ireg_of res; do rs1 <- ireg_of a1; do rs2 <- ireg_of a2; OK (Psrll rd rs1 rs2 :: k) -*)| Oshrluimm n, a1 :: nil => + | Oshrluimm n, a1 :: nil => do rd <- ireg_of res; do rs <- ireg_of a1; OK (Psrlil rd rs n :: k) (*| Oshrxlimm n, a1 :: nil => |