From 4ad441ab00faf3545cb5e360fc375f6b295aeaa1 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Wed, 2 Sep 2020 22:29:54 +0200 Subject: fix issue 198 (incorrect reservation table for multiply-add) --- kvx/PostpassSchedulingOracle.ml | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'kvx/PostpassSchedulingOracle.ml') 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 -- cgit