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: 7b6a1b1467e2bf47089d87878d1d83ceab514396 (plain)

open RTL
open Registers

(* Do not do anything *)
let schedule_sequence (seqa : (instruction*Regset.t) array) = None