tomoaki/hakorune
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

phase29ao(p29): require shadow adopt tags for all gate patterns

Browse Source
This commit is contained in:
tomoaki
2025-12-30 14:11:17 +09:00
parent ac272526c1
commit ac5231555f
11 changed files with 55 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/mir/builder/control_flow/joinir/patterns/router.rs
View File

@ -354,6 +354,7 @@ pub(crate) fn route_loop_pattern(
"pattern1 strict/dev adopt failed: skeleton compose rejected".to_string()
})?;
PlanVerifier::verify(&core_plan)?;
eprintln!("[coreplan/shadow_adopt:pattern1_simplewhile]");
return PlanLowerer::lower(builder, core_plan, ctx);
}
@ -376,6 +377,7 @@ pub(crate) fn route_loop_pattern(
"pattern3 strict/dev adopt failed: compose rejected".to_string()
})?;
PlanVerifier::verify(&core_plan)?;
eprintln!("[coreplan/shadow_adopt:pattern3_ifphi]");
return PlanLowerer::lower(builder, core_plan, ctx);
}
@ -442,6 +444,7 @@ pub(crate) fn route_loop_pattern(
"pattern5 strict/dev adopt failed: compose rejected".to_string()
})?;
PlanVerifier::verify(&core_plan)?;
eprintln!("[coreplan/shadow_adopt:pattern5_infinite_early_exit]");
return PlanLowerer::lower(builder, core_plan, ctx);
}
@ -465,6 +468,7 @@ pub(crate) fn route_loop_pattern(
let core_plan = PlanNormalizer::normalize_pattern2_break_from_facts(builder, facts, ctx)?
.ok_or_else(|| "pattern2 strict/dev adopt failed: compose rejected".to_string())?;
PlanVerifier::verify(&core_plan)?;
eprintln!("[coreplan/shadow_adopt:pattern2_break_subset]");
return PlanLowerer::lower(builder, core_plan, ctx);
}