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