diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-06-17 17:05:30 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-06-17 17:05:30 +0200 |
| commit | cf2aa686bcf9a823562fe977df6dd778d5467985 (patch) | |
| tree | c56c63a1095376a97afafcbd46a14eff7daf3945 | |
| parent | eddbce33e28c49bf7b9e83ebd5dbf6cb0d770090 (diff) | |
| parent | fe557bf65ec738eaa078bc5e398ff690eb1f2b9e (diff) | |
| download | compcert-kvx-cf2aa686bcf9a823562fe977df6dd778d5467985.tar.gz compcert-kvx-cf2aa686bcf9a823562fe977df6dd778d5467985.zip | |
Merge branch 'kvx-sched-w-reg-press' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into kvx-sched-w-reg-press
| -rw-r--r-- | x86/PrepassSchedulingOracle.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/x86/PrepassSchedulingOracle.ml b/x86/PrepassSchedulingOracle.ml index 7b6a1b14..42a3da23 100644 --- a/x86/PrepassSchedulingOracle.ml +++ b/x86/PrepassSchedulingOracle.ml @@ -2,4 +2,5 @@ open RTL open Registers (* Do not do anything *) -let schedule_sequence (seqa : (instruction*Regset.t) array) = None +let schedule_sequence (seqa : (instruction*Regset.t) array) + live_regs_entry typing reference = None |