diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-11 06:35:31 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-11 06:35:31 +0200 |
| commit | d336d31434602b786bcaa89c8d91d2472d9cb3f5 (patch) | |
| tree | e315eb52c474ea628b066c1108556abaad838453 /mppa_k1c/Asmvliw.v | |
| parent | d8d22519bff9414f973a1310cb32eb60e6695796 (diff) | |
| download | compcert-kvx-d336d31434602b786bcaa89c8d91d2472d9cb3f5.tar.gz compcert-kvx-d336d31434602b786bcaa89c8d91d2472d9cb3f5.zip | |
Oaddx -> P
Diffstat (limited to 'mppa_k1c/Asmvliw.v')
| -rw-r--r-- | mppa_k1c/Asmvliw.v | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/mppa_k1c/Asmvliw.v b/mppa_k1c/Asmvliw.v index 2bf9115e..c1f21f8d 100644 --- a/mppa_k1c/Asmvliw.v +++ b/mppa_k1c/Asmvliw.v @@ -1068,8 +1068,8 @@ Definition arith_eval_rrr n v1 v2 := | Pfmuld => Val.mulf v1 v2 | Pfmulw => Val.mulfs v1 v2 - | Paddxw shift => Val.add v1 (Val.shl v2 (Vint (int_of_shift1_4 shift))) - | Paddxl shift => Val.addl v1 (Val.shll v2 (Vint (int_of_shift1_4 shift))) + | Paddxw shift => Val.add v2 (Val.shl v1 (Vint (int_of_shift1_4 shift))) + | Paddxl shift => Val.addl v1 (Val.shll v1 (Vint (int_of_shift1_4 shift))) | Prevsubxw shift => Val.sub v2 (Val.shl v1 (Vint (int_of_shift1_4 shift))) |