diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-05 11:55:09 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-05 11:55:09 +0200 |
commit | 0b7517e9a348b830ad800759a0fa7e589ab98f4a (patch) | |
tree | 03d773be320012929cd7545dc164204dca478cd3 /mppa_k1c | |
parent | 57925286e8ba6055534cd0acbcf2b411366d3e0b (diff) | |
parent | 7cf2665680872984dd62468b3e921276196d0290 (diff) | |
download | compcert-kvx-0b7517e9a348b830ad800759a0fa7e589ab98f4a.tar.gz compcert-kvx-0b7517e9a348b830ad800759a0fa7e589ab98f4a.zip |
Merge remote-tracking branch 'origin/mppa-work' into mppa-ternary
Diffstat (limited to 'mppa_k1c')
-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 b01b7e54..c4d8cd8d 100644 --- a/mppa_k1c/PostpassSchedulingOracle.ml +++ b/mppa_k1c/PostpassSchedulingOracle.ml @@ -306,7 +306,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 |