diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2018-12-07 16:42:31 +0100 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2018-12-07 16:42:31 +0100 |
| commit | 7ae2c448ca5c318a3b752293792e7912379183a5 (patch) | |
| tree | a2db381cc1963591bce86e85ce06b064205f932d | |
| parent | a8398e8909add27e55c5d196ab280557622584d7 (diff) | |
| download | compcert-kvx-7ae2c448ca5c318a3b752293792e7912379183a5.tar.gz compcert-kvx-7ae2c448ca5c318a3b752293792e7912379183a5.zip | |
Fixed that fnegd and negd had been inverted
| -rw-r--r-- | mppa_k1c/Asm.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mppa_k1c/Asm.v b/mppa_k1c/Asm.v index 520bc453..23b11a03 100644 --- a/mppa_k1c/Asm.v +++ b/mppa_k1c/Asm.v @@ -181,7 +181,7 @@ Definition basic_to_instruction (b: basic) := (* RR *)
| PArithRR Asmblock.Pmv rd rs => Pmv rd rs
| PArithRR Asmblock.Pnegw rd rs => Pnegw rd rs
- | PArithRR Asmblock.Pnegl rd rs => Pfnegd rd rs
+ | PArithRR Asmblock.Pnegl rd rs => Pnegl rd rs
| PArithRR Asmblock.Pcvtl2w rd rs => Pcvtl2w rd rs
| PArithRR Asmblock.Pmvw2l rd rs => Pmvw2l rd rs
| PArithRR Asmblock.Pfnegd rd rs => Pfnegd rd rs
|