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

phase29ai(p12): expose loopbodylocal facts via LoopFacts

Browse Source
This commit is contained in:
tomoaki
2025-12-29 10:20:15 +09:00
parent 678c2c1d14
commit 253b4225e8
1 changed files with 1 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/mir/builder/control_flow/plan/facts/loop_facts.rs
View File

@ -58,11 +58,7 @@ pub(in crate::mir::builder) fn try_build_loop_facts(
let scan_with_init = try_extract_scan_with_init_facts(body, &condition_shape, &step_shape)?;
let split_scan = try_extract_split_scan_facts(condition, body)?;
let pattern2_break = try_extract_pattern2_break_facts(condition, body)?;
let pattern2_loopbodylocal = if pattern2_break.is_some() {
try_extract_pattern2_loopbodylocal_facts(condition, body)?
} else {
None
};
let pattern2_loopbodylocal = try_extract_pattern2_loopbodylocal_facts(condition, body)?;
if scan_with_init.is_none()
&& split_scan.is_none()