diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2018-04-17 17:28:51 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2018-04-17 17:28:51 +0200 |
| commit | eb3fd167668695c33f776cbb381c7664c3ec1858 (patch) | |
| tree | e7bcfaa9fc18a8755d8fa983d3e8a8d18f1d89f1 /mppa_k1c/Asmgen.v | |
| parent | 139595171a98e6722503202a2a8fb7c000f267c2 (diff) | |
| download | compcert-kvx-eb3fd167668695c33f776cbb381c7664c3ec1858.tar.gz compcert-kvx-eb3fd167668695c33f776cbb381c7664c3ec1858.zip | |
MPPA - Added Pmull -> now able to run the sort test
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 9025a00d..d17ba14b 100644 --- a/mppa_k1c/Asmgen.v +++ b/mppa_k1c/Asmgen.v @@ -377,10 +377,10 @@ Definition transl_op (*| Osubl, a1 :: a2 :: nil => do rd <- ireg_of res; do rs1 <- ireg_of a1; do rs2 <- ireg_of a2; OK (Psubl rd rs1 rs2 :: k) - | Omull, a1 :: a2 :: nil => +*)| Omull, a1 :: a2 :: nil => do rd <- ireg_of res; do rs1 <- ireg_of a1; do rs2 <- ireg_of a2; OK (Pmull rd rs1 rs2 :: k) - | Omullhs, a1 :: a2 :: nil => +(*| Omullhs, a1 :: a2 :: nil => do rd <- ireg_of res; do rs1 <- ireg_of a1; do rs2 <- ireg_of a2; OK (Pmulhl rd rs1 rs2 :: k) | Omullhu, a1 :: a2 :: nil => |