12 auto m1_extract = m1->isa<
Extract>();
13 auto m3_extract = m3->isa<
Extract>();
14 if (!m1_extract || !m3_extract || m1_extract->
tuple() != m3_extract->
tuple())
15 return Super::rewrite_imm_App(app);
16 auto common_prev = m1_extract->tuple();
18 auto common_var = common_prev->isa<
Var>();
20 if (has_common_prev_sync || is_kernel_start) {
26 return Super::rewrite_imm_App(app);