diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-04-05 11:50:46 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-04-05 11:50:46 +0200 |
commit | 7cf2665680872984dd62468b3e921276196d0290 (patch) | |
tree | 01bb8929fb74ea9ab4ee03581eed4248a2696b59 /mppa_k1c/PostpassSchedulingOracle.ml | |
parent | 4b018d72e7494cc3eb8b0385a78b3c888aebfd66 (diff) | |
download | compcert-kvx-7cf2665680872984dd62468b3e921276196d0290.tar.gz compcert-kvx-7cf2665680872984dd62468b3e921276196d0290.zip |
Possible fix pour l'issue #82 (mauvais calcul de taille de bundle pour les store)
Diffstat (limited to 'mppa_k1c/PostpassSchedulingOracle.ml')
-rw-r--r-- | mppa_k1c/PostpassSchedulingOracle.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mppa_k1c/PostpassSchedulingOracle.ml b/mppa_k1c/PostpassSchedulingOracle.ml index 6bb1c6b8..f7a35443 100644 --- a/mppa_k1c/PostpassSchedulingOracle.ml +++ b/mppa_k1c/PostpassSchedulingOracle.ml @@ -304,7 +304,7 @@ let encode_imm (imm:int64) = else let length = unsigned_length imm in if length <= 6 then U6 - else if length <= 10 then S10 + else if length <= 9 then S10 (* Special case for S10 - stay signed no matter what *) else if length <= 32 then U27L5 else if length <= 37 then U27L10 else if length <= 64 then E27U27L10 |