Skip to content

fix(ptodsl): preserve sequential conditional values - #1186

Open
Zhendong404 wants to merge 1 commit into
hw-native-sys:mainfrom
Zhendong404:codex/issue-1162
Open

fix(ptodsl): preserve sequential conditional values#1186
Zhendong404 wants to merge 1 commit into
hw-native-sys:mainfrom
Zhendong404:codex/issue-1162

Conversation

@Zhendong404

Copy link
Copy Markdown
Collaborator

Summary

  • initialize section-local aliases from their outer values at section entry
  • preserve the current SSA value across sequential single-sided runtime conditionals and loop carries
  • add PTODSL regressions for sequential conditional merges and reads before rebinding

Validation

  • source env.sh && PYTHONPATH=$PWD/ptodsl python ptodsl/tests/test_section.py
  • ctest --test-dir /home/zhangzhendong/ptoas-workspace/builds/issue-1162 -I 20,32 --output-on-failure

Fixes #1183

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[PTODSL] 顺序单侧运行时 if 的 SSA merge 回退到 section 初始值,导致错误地址

1 participant