diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-03-01 14:44:09 +0100 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-03-01 14:44:09 +0100 |
| commit | df32503f46a62b18f92363ac7f81ec0d5b36c64a (patch) | |
| tree | b11b1282e4b44e96c84dcaad438ee4e264fcacc9 /mppa_k1c/PostpassSchedulingOracle.ml | |
| parent | 50affca71434b1e1ca3e75ce8f62a304ed1913cf (diff) | |
| download | compcert-kvx-df32503f46a62b18f92363ac7f81ec0d5b36c64a.tar.gz compcert-kvx-df32503f46a62b18f92363ac7f81ec0d5b36c64a.zip | |
Ointuofsingle done
Diffstat (limited to 'mppa_k1c/PostpassSchedulingOracle.ml')
| -rw-r--r-- | mppa_k1c/PostpassSchedulingOracle.ml | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/mppa_k1c/PostpassSchedulingOracle.ml b/mppa_k1c/PostpassSchedulingOracle.ml index d9a60fb4..c3473b9f 100644 --- a/mppa_k1c/PostpassSchedulingOracle.ml +++ b/mppa_k1c/PostpassSchedulingOracle.ml @@ -46,6 +46,7 @@ let arith_rr_str = function | Pfloatdrnsz -> "Pfloatdrnsz" | Pfloatdrnsz_i32 -> "Pfloatdrnsz_i32" | Pfixedwrzz -> "Pfixedwrzz" + | Pfixeduwrzz -> "Pfixeduwrzz" | Pfixeddrzz -> "Pfixeddrzz" | Pfixedudrzz -> "Pfixedudrzz" | Pfixeddrzz_i32 -> "Pfixeddrzz_i32" @@ -371,7 +372,7 @@ type real_instruction = (* FPU *) | Fabsd | Fabsw | Fnegw | Fnegd | Faddd | Faddw | Fsbfd | Fsbfw | Fmuld | Fmulw - | Fnarrowdw | Fwidenlwd | Floatwz | Floatuwz | Floatdz | Floatudz | Fixedwz | Fixeddz | Fixedudz + | Fnarrowdw | Fwidenlwd | Floatwz | Floatuwz | Floatdz | Floatudz | Fixedwz | Fixeduwz | Fixeddz | Fixedudz let ab_inst_to_real = function | "Paddw" | "Paddiw" | "Pcvtl2w" -> Addw @@ -407,6 +408,7 @@ let ab_inst_to_real = function | "Pfloatudrnsz" -> Floatudz | "Pfloatudrnsz_i32" -> Floatudz | "Pfixedwrzz" -> Fixedwz + | "Pfixeduwrzz" -> Fixeduwz | "Pfixeddrzz" -> Fixeddz | "Pfixedudrzz" -> Fixedudz | "Pfixeddrzz_i32" -> Fixeddz @@ -481,7 +483,7 @@ let rec_to_usage r = | Nop -> alu_nop | Sraw | Srlw | Sllw | Srad | Srld | Slld -> (match encoding with None | Some U6 -> alu_tiny | _ -> raise InvalidEncoding) | Sxwd | Zxwd -> (match encoding with None -> alu_lite | _ -> raise InvalidEncoding) - | Fixedwz | Floatwz | Floatuwz | Fixeddz | Fixedudz | Floatdz | Floatudz -> mau + | Fixeduwz | Fixedwz | Floatwz | Floatuwz | Fixeddz | Fixedudz | Floatdz | Floatudz -> mau | Lbs | Lbz | Lhs | Lhz | Lws | Ld -> (match encoding with None | Some U6 | Some S10 -> lsu_data | Some U27L5 | Some U27L10 -> lsu_data_x @@ -502,7 +504,7 @@ let real_inst_to_latency = function | Addd | Andd | Compd | Ord | Sbfd | Srad | Srld | Slld | Xord | Make | Sxwd | Zxwd -> 1 - | Floatwz | Floatuwz | Fixedwz | Floatdz | Floatudz | Fixeddz | Fixedudz -> 4 + | Floatwz | Floatuwz | Fixeduwz | Fixedwz | Floatdz | Floatudz | Fixeddz | Fixedudz -> 4 | Mulw | Muld -> 2 (* FIXME - WORST CASE. If it's S10 then it's only 1 *) | Lbs | Lbz | Lhs | Lhz | Lws | Ld | Sb | Sh | Sw | Sd |