From a4c7a7240a93e874779027a6a3d41ccebc81b396 Mon Sep 17 00:00:00 2001 From: Léo Gourdin Date: Wed, 1 Sep 2021 16:39:13 +0200 Subject: fix stub for no-prepass archs... --- x86/PrepassSchedulingOracle.ml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'x86') diff --git a/x86/PrepassSchedulingOracle.ml b/x86/PrepassSchedulingOracle.ml index 31b4ea5b..a8ba6720 100644 --- a/x86/PrepassSchedulingOracle.ml +++ b/x86/PrepassSchedulingOracle.ml @@ -1,3 +1,4 @@ - (* Do not do anything *) -let schedule_sequence inst btl = None +let schedule_sequence seqa btl (live_regs_entry : Registers.Regset.t) + (typing : RTLtyping.regenv) reference = + None -- cgit