jdsteve2

Results 11 issues of jdsteve2

@kaushikcfd I did my best to clean this up and pull out the parts that will be useful to your new linearization stuff. Once your linearization step is incorporating the...

**NOTE**: This PR has been subsumed by #479, which targets main. This PR still targets new-dependency-and-nest-constraint-semantics-development. ### What's changed: **Last merged PR (parent of this PR)**: - Generate a pairwise...

This branch accumulates changes related to the updates to the loopy dependency and loop-prioritization semantics. Moved to github from from [old gitlab MR](https://gitlab.tiker.net/inducer/loopy/-/merge_requests/391). Next pull request to merge into this...

**Where @jdsteve2 left off:** Just merged callables update and some new SIO changes related to dependent iname domains (e.g., 'triangular' domains). Callables test is failing, so there may need to...

Create a statement DAG representing a simplifed version of the statement-instance-level dependencies and use it during linearization. PR for parent branch: [Check new dependencies against SIO](https://github.com/inducer/loopy/pull/264) Replaces the [old version...

This PR is ready for review, but likely should be reviewed AFTER its parent branch, [`statement-instance-order-and-lex-order-map`](https://github.com/inducer/loopy/pull/169) is merged. - Add dependencies to loopy statements - Check kernel dependencies against SIO...

**MOVED to [new PR/branch: Map domain transformation v2](https://github.com/inducer/loopy/pull/478)** This PR/branch was moved to independent, top-level PR/branch [Map domain transformation v2](https://github.com/inducer/loopy/pull/478). Add `map_domain` transformation [Previous (upstream) PR in chain](https://github.com/inducer/loopy/pull/264) [Next (downstream)...

Specify and check must-nest and must-not-nest constraints on loop nestings. - [x] Constraint specification and checking - [x] Enforcement during linearization - Child PR covers processing of constraints during transformations:...

transformations where loop nest constraints handled: - [x] split_iname - [x] remove_unused_inames - [x] duplicate_inames - [ ] rename_iname - [x] (when new iname doesn't exist) - [ ] (when...

**DO NOT MERGE** Comparison of old loop nest constraint branch to new one to aid transplantation of functionality. Unfortunately, this branch also has all the new dependency stuff in it,...