Silence useless "Insufficient parallelism" autoscheduler warning (#7990)

steven-johnson · web-flow · commit 9f6ec17acafa · 2023-12-06T16:59:53.000-08:00
diff --git a/src/autoschedulers/mullapudi2016/AutoSchedule.cpp b/src/autoschedulers/mullapudi2016/AutoSchedule.cpp
@@ -2804,9 +2804,12 @@ void Partitioner::generate_group_cpu_schedule(
         }
     }
 
-    if (can_prove(def_par < arch_params.parallelism)) {
-        user_warning << "Insufficient parallelism for " << f_handle.name() << "\n";
-    }
+    // Silenced: the user can't really do anything about it,
+    // and it triggers on things like tiny lookup tables
+    //
+    // if (can_prove(def_par < arch_params.parallelism)) {
+    //     user_warning << "Insufficient parallelism for " << f_handle.name() << "\n";
+    // }
 
     // Find the level at which group members will be computed.
     int tile_inner_index = dims.size() - outer_dims.size() - 1;

Original file line number	Diff line number	Diff line change
`@@ -2804,9 +2804,12 @@ void Partitioner::generate_group_cpu_schedule(`
`2804`	`2804`	`}`
`2805`	`2805`	`}`
`2806`	`2806`
`2807`		`- if (can_prove(def_par < arch_params.parallelism)) {`
`2808`		`- user_warning << "Insufficient parallelism for " << f_handle.name() << "\n";`
`2809`		`- }`
	`2807`	`+ // Silenced: the user can't really do anything about it,`
	`2808`	`+ // and it triggers on things like tiny lookup tables`
	`2809`	`+ //`
	`2810`	`+ // if (can_prove(def_par < arch_params.parallelism)) {`
	`2811`	`+ // user_warning << "Insufficient parallelism for " << f_handle.name() << "\n";`
	`2812`	`+ // }`
`2810`	`2813`
`2811`	`2814`	`// Find the level at which group members will be computed.`
`2812`	`2815`	`int tile_inner_index = dims.size() - outer_dims.size() - 1;`