Skip to content
Snippets Groups Projects

Scheduler rename

Merged Aaron Councilman requested to merge scheduler-rename into main
7 files
+ 75
5
Compare changes
  • Side-by-side
  • Inline
Files
7
@@ -14,6 +14,8 @@ cpu(auto.test5);
cpu(auto.test7);
cpu(auto.test8);
let test1_cpu = auto.test1;
rename["test1_cpu"](test1_cpu);
ip-sroa(*);
sroa(*);
@@ -39,7 +41,10 @@ dce(*);
fixpoint panic after 20 {
infer-schedules(*);
}
fork-split(auto.test1);
let out = fork-split(test1_cpu);
let first_fork = out.test1_cpu.fj1;
fixpoint panic after 20 {
unroll(auto.test1);
}
Loading