diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-16 14:26:32 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-16 14:26:32 +0100 |
commit | 1b1577c372c71a11831feb043e3b050deb60ba99 (patch) | |
tree | a072e1f1991b345d44463a7296ca78086e0f0ca7 | |
parent | 983cab07c39a7bed288e9e953d95ffe990783825 (diff) | |
download | compcert-kvx-1b1577c372c71a11831feb043e3b050deb60ba99.tar.gz compcert-kvx-1b1577c372c71a11831feb043e3b050deb60ba99.zip |
fix problem with ALU reservation tables
-rw-r--r-- | mppa_k1c/PostpassSchedulingOracle.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/mppa_k1c/PostpassSchedulingOracle.ml b/mppa_k1c/PostpassSchedulingOracle.ml index 97108a90..4627dd09 100644 --- a/mppa_k1c/PostpassSchedulingOracle.ml +++ b/mppa_k1c/PostpassSchedulingOracle.ml @@ -506,7 +506,9 @@ let rec_to_usage r = | Some U27L5 | Some U27L10 -> mau_x | Some E27U27L10 -> mau_y) | Nop -> alu_nop - | Sraw | Srlw | Sllw | Rorw | Srad | Srld | Slld -> (match encoding with None | Some U6 -> alu_tiny | _ -> raise InvalidEncoding) + | Sraw | Srlw | Sllw | Srad | Srld | Slld -> (match encoding with None | Some U6 -> alu_tiny | _ -> raise InvalidEncoding) + (* TODO: check *) + | Rorw -> (match encoding with None | Some U6 -> alu_lite | _ -> raise InvalidEncoding) | Sxwd | Zxwd -> (match encoding with None -> alu_lite | _ -> raise InvalidEncoding) | Fixeduwz | Fixedwz | Floatwz | Floatuwz | Fixeddz | Fixedudz | Floatdz | Floatudz -> mau | Lbs | Lbz | Lhs | Lhz | Lws | Ld -> |