This PR adds dynamic `IsIsolatedFromAbove` trait support and exposes it to Python as `IsIsolatedFromAboveTrait`. The test verifies that a region with the trait cannot capture an SSA value from above, while a region without the trait can. Assisted by Codex/GPT 5.6 Sol (for writing test cases). |
||
|---|---|---|
| .. | ||
| mlir | ||
| mlir-c | ||