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

phase29ao: refactor composer release adopt and split-scan shapes

Browse Source
This commit is contained in:
tomoaki
2025-12-30 20:12:11 +09:00
parent f4bcd4f6b9
commit 85707267bd
7 changed files with 82 additions and 122 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@ -350,66 +350,8 @@ pub(crate) fn route_loop_pattern(
}
if !strict_or_dev {
if let Some(core_plan) = composer::try_release_adopt_core_plan_for_pattern1(
builder,
ctx,
&domain_plan,
&outcome,
)? {
PlanVerifier::verify(&core_plan)?;
return PlanLowerer::lower(builder, core_plan, ctx);
}
if let Some(core_plan) =
composer::try_release_adopt_core_plan_for_pattern6_scan_with_init(
builder,
ctx,
&domain_plan,
&outcome,
)?
{
PlanVerifier::verify(&core_plan)?;
return PlanLowerer::lower(builder, core_plan, ctx);
}
if let Some(core_plan) =
composer::try_release_adopt_core_plan_for_pattern7_split_scan(
builder,
ctx,
&domain_plan,
&outcome,
)?
{
PlanVerifier::verify(&core_plan)?;
return PlanLowerer::lower(builder, core_plan, ctx);
}
if let Some(core_plan) =
composer::try_release_adopt_core_plan_for_pattern2_break_subset(
builder,
ctx,
&domain_plan,
&outcome,
)?
{
PlanVerifier::verify(&core_plan)?;
return PlanLowerer::lower(builder, core_plan, ctx);
}
if let Some(core_plan) =
composer::try_release_adopt_core_plan_for_pattern3_ifphi(
builder,
ctx,
&domain_plan,
&outcome,
)?
{
PlanVerifier::verify(&core_plan)?;
return PlanLowerer::lower(builder, core_plan, ctx);
}
if let Some(core_plan) =
composer::try_release_adopt_core_plan_for_pattern5_infinite_early_exit(
builder,
ctx,
&domain_plan,
&outcome,
)?
composer::try_release_adopt_core_plan(builder, ctx, &domain_plan, &outcome)?
{
PlanVerifier::verify(&core_plan)?;
return PlanLowerer::lower(builder, core_plan, ctx);