diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-04-05 15:54:51 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-04-05 15:54:51 +0200 |
commit | 9d94664fa180d909c43992a4cbdf6808fb9c4289 (patch) | |
tree | dd6216f214debcbeeee32378d7b4b670e9de695d /mppa_k1c/PostpassSchedulingOracle.ml | |
parent | 7cf2665680872984dd62468b3e921276196d0290 (diff) | |
download | compcert-kvx-9d94664fa180d909c43992a4cbdf6808fb9c4289.tar.gz compcert-kvx-9d94664fa180d909c43992a4cbdf6808fb9c4289.zip |
#90 Asmvliw/Asmblock refactoring attempt
Diffstat (limited to 'mppa_k1c/PostpassSchedulingOracle.ml')
-rw-r--r-- | mppa_k1c/PostpassSchedulingOracle.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/mppa_k1c/PostpassSchedulingOracle.ml b/mppa_k1c/PostpassSchedulingOracle.ml index f7a35443..6e2539e3 100644 --- a/mppa_k1c/PostpassSchedulingOracle.ml +++ b/mppa_k1c/PostpassSchedulingOracle.ml @@ -1,4 +1,4 @@ -open Asmblock +open Asmvliw open Printf open Camlcoq open InstructionScheduler @@ -7,7 +7,7 @@ open TargetPrinter.Target let debug = false (** - * Extracting infos from Asmblock instructions + * Extracting infos from Asmvliw instructions *) type immediate = I32 of Integers.Int.int | I64 of Integers.Int64.int | Off of offset @@ -22,7 +22,7 @@ type ab_inst_rec = { is_control : bool; } -(** Asmblock constructor to string functions *) +(** Asmvliw constructor to string functions *) exception OpaqueInstruction |