PrepassSchedulingOracle.ml « x86 - compcert-kvx - Unnamed repository; edit this file 'description' to name the repository.

about summary refs log tree commit diff stats

path: root/x86/PrepassSchedulingOracle.ml

blob: a8ba6720c5fa22d0919e6149333b8d7b9c0c5f92 (plain)

(* Do not do anything *)
let schedule_sequence seqa btl (live_regs_entry : Registers.Regset.t)
    (typing : RTLtyping.regenv) reference =
  None