diff options
Diffstat (limited to 'arm/PrepassSchedulingOracle.ml')
| l---------[-rw-r--r--] | arm/PrepassSchedulingOracle.ml | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/arm/PrepassSchedulingOracle.ml b/arm/PrepassSchedulingOracle.ml index 42a3da23..9885fd52 100644..120000 --- a/arm/PrepassSchedulingOracle.ml +++ b/arm/PrepassSchedulingOracle.ml @@ -1,6 +1 @@ -open RTL -open Registers - -(* Do not do anything *) -let schedule_sequence (seqa : (instruction*Regset.t) array) - live_regs_entry typing reference = None +../x86/PrepassSchedulingOracle.ml
\ No newline at end of file |