| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Add a loop analysis step to infer the exit values of loop phi parameters. ↵ | Sai Praveen Bangaru | 2025-04-04 |
| (#6696) * Initial loop analysis pass * More changes for a single-pass implication propagation * Update slang-ir-autodiff-loop-analysis.cpp * Cleanup + new system for loop analysis * Fixup bugs in loop analysis * Remove some relation types to simplify the analysis. Add test * Remove unused * Address comments * Fix issue with continue loops * Update reverse-loop-exit-value-inference-1.slang * Update reverse-continue-loop.slang | |||
