diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-03 16:48:07 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-03 16:48:07 +0200 |
| commit | 3916ecbc8c77c99bab0bd69de184ae432fd9d3f4 (patch) | |
| tree | acc34ad011074be44abbda58118ffd33997a2a9d /mppa_k1c/PostpassSchedulingOracle.ml | |
| parent | 919d1dfbf22967ae9686d5b982b51cfa707b5edd (diff) | |
| download | compcert-kvx-3916ecbc8c77c99bab0bd69de184ae432fd9d3f4.tar.gz compcert-kvx-3916ecbc8c77c99bab0bd69de184ae432fd9d3f4.zip | |
Lq finished ?
Diffstat (limited to 'mppa_k1c/PostpassSchedulingOracle.ml')
| -rw-r--r-- | mppa_k1c/PostpassSchedulingOracle.ml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/mppa_k1c/PostpassSchedulingOracle.ml b/mppa_k1c/PostpassSchedulingOracle.ml index e3d43237..d3f16366 100644 --- a/mppa_k1c/PostpassSchedulingOracle.ml +++ b/mppa_k1c/PostpassSchedulingOracle.ml @@ -448,7 +448,7 @@ type real_instruction = | Maddw | Maddd | Cmoved | Make | Nop | Extfz | Extfs | Insf (* LSU *) - | Lbs | Lbz | Lhs | Lhz | Lws | Ld + | Lbs | Lbz | Lhs | Lhz | Lws | Ld | Lq | Sb | Sh | Sw | Sd | Sq (* BCU *) | Icall | Call | Cb | Igoto | Goto | Ret | Get | Set @@ -521,6 +521,7 @@ let ab_inst_to_real = function | "Plhu" -> Lhz | "Plw" | "Plw_a" | "Pfls" -> Lws | "Pld" | "Pfld" | "Pld_a" -> Ld + | "Plq" -> Lq | "Psb" -> Sb | "Psh" -> Sh @@ -598,7 +599,7 @@ let rec_to_usage r = | Rorw -> (match encoding with None | Some U6 -> alu_lite | _ -> raise InvalidEncoding) | Extfz | Extfs | Insf -> (match encoding with None -> alu_lite | _ -> raise InvalidEncoding) | Fixeduwz | Fixedwz | Floatwz | Floatuwz | Fixeddz | Fixedudz | Floatdz | Floatudz -> mau - | Lbs | Lbz | Lhs | Lhz | Lws | Ld -> + | Lbs | Lbz | Lhs | Lhz | Lws | Ld | Lq -> (match encoding with None | Some U6 | Some S10 -> lsu_data | Some U27L5 | Some U27L10 -> lsu_data_x | Some E27U27L10 -> lsu_data_y) @@ -623,7 +624,7 @@ let real_inst_to_latency = function -> 1 | Floatwz | Floatuwz | Fixeduwz | Fixedwz | Floatdz | Floatudz | Fixeddz | Fixedudz -> 4 | Mulw | Muld | Maddw | Maddd -> 2 (* FIXME - WORST CASE. If it's S10 then it's only 1 *) - | Lbs | Lbz | Lhs | Lhz | Lws | Ld -> 3 + | Lbs | Lbz | Lhs | Lhz | Lws | Ld | Lq -> 3 | Sb | Sh | Sw | Sd | Sq -> 1 (* See k1c-Optimization.pdf page 19 *) | Get -> 1 | Set -> 4 (* According to the manual should be 3, but I measured 4 *) |