diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-09-02 22:29:54 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-09-02 22:29:54 +0200 |
| commit | 4ad441ab00faf3545cb5e360fc375f6b295aeaa1 (patch) | |
| tree | 7c38ea14a883ef14a55011391f79a847537501de /kvx/PostpassSchedulingOracle.ml | |
| parent | 93604827233bc337f4235b1feb2c48b4a917d386 (diff) | |
| download | compcert-kvx-4ad441ab00faf3545cb5e360fc375f6b295aeaa1.tar.gz compcert-kvx-4ad441ab00faf3545cb5e360fc375f6b295aeaa1.zip | |
fix issue 198 (incorrect reservation table for multiply-add)
Diffstat (limited to 'kvx/PostpassSchedulingOracle.ml')
| -rw-r--r-- | kvx/PostpassSchedulingOracle.ml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/kvx/PostpassSchedulingOracle.ml b/kvx/PostpassSchedulingOracle.ml index 484903c7..2326f97e 100644 --- a/kvx/PostpassSchedulingOracle.ml +++ b/kvx/PostpassSchedulingOracle.ml @@ -626,16 +626,16 @@ let rec_to_usage r = | Some U27L5 | Some U27L10 -> alu_tiny_x | Some E27U27L10 -> alu_tiny_y | _ -> raise InvalidEncoding) - | Maddw -> (match encoding with None -> mau_auxr + | Maddw | Msbfw -> (match encoding with None -> mau_auxr | Some U6 | Some S10 | Some U27L5 -> mau_auxr_x | _ -> raise InvalidEncoding) - | Maddd -> (match encoding with None | Some U6 | Some S10 -> mau_auxr + | Maddd | Msbfd -> (match encoding with None | Some U6 | Some S10 -> mau_auxr | Some U27L5 | Some U27L10 -> mau_auxr_x | Some E27U27L10 -> mau_auxr_y) - | Mulw| Msbfw -> (match encoding with None -> mau + | Mulw -> (match encoding with None -> mau | Some U6 | Some S10 | Some U27L5 -> mau_x | _ -> raise InvalidEncoding) - | Muld | Msbfd -> (match encoding with None | Some U6 | Some S10 -> mau + | Muld -> (match encoding with None | Some U6 | Some S10 -> mau | Some U27L5 | Some U27L10 -> mau_x | Some E27U27L10 -> mau_y) | Nop -> alu_nop @@ -920,7 +920,7 @@ let print_schedule sched = let do_schedule bb = let problem = build_problem bb in - print_problem stdout problem; + (if debug then print_problem stdout problem); let solution = (match !Clflags.option_fpostpass_sched with | "ilp" -> validated_scheduler cascaded_scheduler |