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);
@@ -14,6 +14,8 @@ cpu(auto.test5);
cpu(auto.test7);
cpu(auto.test7);
cpu(auto.test8);
cpu(auto.test8);
 
let test1_cpu = auto.test1;
 
rename["test1_cpu"](test1_cpu);
ip-sroa(*);
ip-sroa(*);
sroa(*);
sroa(*);
@@ -39,7 +41,10 @@ dce(*);
@@ -39,7 +41,10 @@ dce(*);
fixpoint panic after 20 {
fixpoint panic after 20 {
infer-schedules(*);
infer-schedules(*);
}
}
fork-split(auto.test1);
 
let out = fork-split(test1_cpu);
 
let first_fork = out.test1_cpu.fj1;
 
fixpoint panic after 20 {
fixpoint panic after 20 {
unroll(auto.test1);
unroll(auto.test1);
}
}
Loading