Code

Check new dependencies against SIO#264

Code

Open

jdsteve2 wants to merge 96 commits intostatement-instance-order-and-lex-order-mapinducer/loopy:statement-instance-order-and-lex-order-mapfrom check-new-dependencies-against-sioinducer/loopy:check-new-dependencies-against-sioCopy head branch name to clipboard

+740-30

Commits

Commits on Apr 2, 2021

• add dependencies attribute to instruction (copying in changes from downstream PR to create intermediate PR)

  jdsteve2

  committed
  cd59be5

  Copy full SHA for cd59be5

• create function to add new dependencies, add_stmt_inst_dependency() (copying in changes from downstream PR to create intermediate PR)

  jdsteve2

  committed
  c03636d

  Copy full SHA for c03636d

• create function to ensure linearization satisfies deps, check_linearization_validity() (copying in changes from downstream PR to create intermediate PR)

  jdsteve2

  committed
  8a2e7ff

  Copy full SHA for 8a2e7ff

• make check_linearization_validity() and add_stmt_inst_dependency() global loopy funcs (copying in changes from downstream PR to create intermediate PR)

  jdsteve2

  committed
  10f2ff5

  Copy full SHA for 10f2ff5

• create test for adding dependencies to statements (copying in changes from downstream PR to create intermediate PR)

  jdsteve2

  committed
  a4deb28

  Copy full SHA for a4deb28

• rename check_linearization_validity()->check_dependency_satisfaction()

  jdsteve2

  committed
  b62e109

  Copy full SHA for b62e109

Commits on Apr 5, 2021

• fixing merge conflicts

  jdsteve2

  committed
  0f48ba6

  Copy full SHA for 0f48ba6

• return info about unsatisfied deps from check_dependency_satisfaction(); also clean up code/comments

  jdsteve2

  committed
  a6feb6d

  Copy full SHA for a6feb6d

• rename check_dependency_satisfaction()->find_unsatisfied_dependencies(); eliminate redundant bool return value for dep satisfaction and instead just check if unsatisfied dep list is empty

  jdsteve2

  committed
  daedf10

  Copy full SHA for daedf10

• fix merge conflicts

  jdsteve2

  committed
  bfa61f0

  Copy full SHA for bfa61f0

• renaming instruction->statement

  jdsteve2

  committed
  0446d3d

  Copy full SHA for 0446d3d

• add update_for_Map to LoopyKeyBuilder

  jdsteve2

  committed
  03fa0c9

  Copy full SHA for 03fa0c9

• Merge branch 'statement-instance-order-and-lex-order-map' into check-new-dependencies-against-sio

  jdsteve2

  committed
  3b990b0

  Copy full SHA for 3b990b0

• change BEFORE_MARK to underscore since ISL ignores apostrophes; now caching works

  jdsteve2

  committed
  50332c3

  Copy full SHA for 50332c3

Commits on Apr 9, 2021

• add todo

  jdsteve2

  committed
  31783ee

  Copy full SHA for 31783ee

Commits on Apr 11, 2021

• Merge branch 'statement-instance-order-and-lex-order-map' into check-new-dependencies-against-sio

  jdsteve2

  committed
  da77260

  Copy full SHA for da77260

Commits on Apr 14, 2021

• Merge branch 'statement-instance-order-and-lex-order-map' into check-new-dependencies-against-sio

  jdsteve2

  committed
  82670e8

  Copy full SHA for 82670e8

• switch BEFORE_MARK back to apostrophe now that isl can handle it during pickling

  jdsteve2

  committed
  f42f2ac

  Copy full SHA for f42f2ac

• fix doctest after projecting out unused inames from sched dims

  jdsteve2

  committed
  a202ffe

  Copy full SHA for a202ffe

• add test for dep checking with finite differences dependency example, including barrier handling

  jdsteve2

  committed
  5206882

  Copy full SHA for 5206882

Commits on Apr 15, 2021

• Merge branch 'statement-instance-order-and-lex-order-map' into check-new-dependencies-against-sio

  jdsteve2

  committed
  988041e

  Copy full SHA for 988041e

• add docstring for find_unsatisfied_dependencies()

  jdsteve2

  committed
  1b61319

  Copy full SHA for 1b61319

• add docstring to add_stmt_inst_dependency()

  jdsteve2

  committed
  00d9737

  Copy full SHA for 00d9737

• add dependencies attribute to docstring for InstructionBase; handle dependencies in InstructionBase.get_str_options()

  jdsteve2

  committed
  887f64e

  Copy full SHA for 887f64e

Commits on Apr 17, 2021

• Merge branch 'statement-instance-order-and-lex-order-map' into check-new-dependencies-against-sio

  jdsteve2

  committed
  8cc3545

  Copy full SHA for 8cc3545

• fixing merge conflicts

  jdsteve2

  committed
  e2d8477

  Copy full SHA for e2d8477

Commits on Apr 23, 2021

• Merge branch 'statement-instance-order-and-lex-order-map' into check-new-dependencies-against-sio

  jdsteve2

  committed
  e796475

  Copy full SHA for e796475

• rename add_stmt_inst_dependency->add_dependency_v2

  jdsteve2

  committed
  bc1c27b

  Copy full SHA for bc1c27b

Commits on Apr 25, 2021

• fix merge conflicts

  jdsteve2

  committed
  28a01b4

  Copy full SHA for 28a01b4

• reduce duplicated code in tests by using _process_and_linearize(knl) function (created in ancestor branch)

  jdsteve2

  committed
  1615991

  Copy full SHA for 1615991

Commits on Apr 26, 2021

• Merge branch 'statement-instance-order-and-lex-order-map' into check-new-dependencies-against-sio

  jdsteve2

  committed
  1109b1a

  Copy full SHA for 1109b1a

Commits on Apr 27, 2021

• Merge branch 'statement-instance-order-and-lex-order-map' into check-new-dependencies-against-sio

  jdsteve2

  committed
  520d1ac

  Copy full SHA for 520d1ac

Commits on May 23, 2021

• Merge branch 'statement-instance-order-and-lex-order-map' into check-new-dependencies-against-sio

  jdsteve2

  committed
  9c8901b

  Copy full SHA for 9c8901b

• make helper function for dep creation that adds marks and inserts statement var dims (make_dep_map)

  jdsteve2

  committed
  48b4dfb

  Copy full SHA for 48b4dfb

• use make_dep_map() instead of _isl_map_with_marked_dims (still need to replace more)

  jdsteve2

  committed
  36793bd

  Copy full SHA for 36793bd

Commits on May 27, 2021

• allow dep checking to work if lin_items is not provided

  jdsteve2

  committed
  ec3185d

  Copy full SHA for ec3185d

• make sure dep checking works even when linearization items are not provided separately from kernel

  jdsteve2

  committed
  f17f282

  Copy full SHA for f17f282

Commits on Jun 2, 2021

• add TODO

  jdsteve2

  committed
  77bed8f

  Copy full SHA for 77bed8f

• make make_dep_map smart enough to get relevant iname domains from kernel if provided

  jdsteve2

  committed
  493c8e8

  Copy full SHA for 493c8e8

• some initial tests for make_dep_map

  jdsteve2

  committed
  d7e9342

  Copy full SHA for d7e9342

Commits on Jun 6, 2021

• Merge branch 'statement-instance-order-and-lex-order-map' into check-new-dependencies-against-sio

  jdsteve2

  committed
  83e35d3

  Copy full SHA for 83e35d3

• fix make_dep_map so it handles automatic domain creation correctly when input dims don't match output dims

  jdsteve2

  committed
  fb4c43d

  Copy full SHA for fb4c43d

• add dedicated test for make_dep_map

  jdsteve2

  committed
  473116c

  Copy full SHA for 473116c

Commits on Jun 10, 2021

• don't check deps on/by barriers at the moment

  jdsteve2

  committed
  871ccae

  Copy full SHA for 871ccae

• set obj_bigger_ok=True when aligning inames domain with dep in make_dep_map

  jdsteve2

  committed
  a8ec66d

  Copy full SHA for a8ec66d

Commits on Jul 15, 2021

• fix merge conflicts

  jdsteve2

  committed
  71c93b1

  Copy full SHA for 71c93b1

• after callables update, use knl[loopy_kernel] where needed

  jdsteve2

  committed
  31718ae

  Copy full SHA for 31718ae

• use @for_each_kernel with add_dependency_v2

  jdsteve2

  committed
  150576a

  Copy full SHA for 150576a

Commits on Jul 19, 2021

• fixing merge conflict

  jdsteve2

  committed
  39a8429

  Copy full SHA for 39a8429

• Merge branch 'statement-instance-order-and-lex-order-map' into check-new-dependencies-against-sio

  jdsteve2

  committed
  d46cf80

  Copy full SHA for d46cf80

Commits on Jul 20, 2021

• Merge branch 'statement-instance-order-and-lex-order-map' into check-new-dependencies-against-sio

  jdsteve2

  committed
  139fa2c

  Copy full SHA for 139fa2c

• Merge branch 'statement-instance-order-and-lex-order-map' into check-new-dependencies-against-sio

  jdsteve2

  committed
  1d61ecf

  Copy full SHA for 1d61ecf

Commits on Jul 23, 2021

• Merge branch 'statement-instance-order-and-lex-order-map' into check-new-dependencies-against-sio

  jdsteve2

  committed
  f0e90d1

  Copy full SHA for f0e90d1

Commits on Jul 26, 2021

• for some reason, I need to commit 'changes' to the submodule (but didn't actually do anything to submodule...?)

  jdsteve2

  committed
  d94cfa4

  Copy full SHA for d94cfa4

Commits on Aug 2, 2021

• clarify docstring for new dependencies

  jdsteve2

  committed
  215fc1c

  Copy full SHA for 215fc1c

• update docstring for find_unsatisfied_dependencies and clarify comments in code

  jdsteve2

  committed
  0f85942

  Copy full SHA for 0f85942

• when checking dependencies, don't ignore dependencies on/by barrier statements

  jdsteve2

  committed
  011ffd5

  Copy full SHA for 011ffd5

• document and clean up make_dep_map

  jdsteve2

  committed
  2cddff9

  Copy full SHA for 2cddff9

• clean up add_dependency

  jdsteve2

  committed
  516a7d0

  Copy full SHA for 516a7d0

• one more test for make_dep_map; clean up dep checking tests

  jdsteve2

  committed
  77e031c

  Copy full SHA for 77e031c

• add 'returns' to docstring for add_dependency_v2

  jdsteve2

  committed
  63a4c39

  Copy full SHA for 63a4c39

Commits on Aug 13, 2021

• Merge branch 'statement-instance-order-and-lex-order-map' into check-new-dependencies-against-sio

  jdsteve2

  committed
  e0d601a

  Copy full SHA for e0d601a

• use dim_type to abbreviate isl.dim_type class and dt to refer to a particular dim type

  jdsteve2

  committed
  56d51ba

  Copy full SHA for 56d51ba

Commits on Sep 13, 2021

• fix merge conflicts

  jdsteve2

  committed
  78a3236

  Copy full SHA for 78a3236

• Merge branch 'statement-instance-order-and-lex-order-map' into check-new-dependencies-against-sio

  jdsteve2

  committed
  9d03f63

  Copy full SHA for 9d03f63

Commits on Sep 15, 2021

• Merge branch 'statement-instance-order-and-lex-order-map' into check-new-dependencies-against-sio

  jdsteve2

  committed
  ead908b

  Copy full SHA for ead908b

• improve comment

  jdsteve2

  committed
  19e51d9

  Copy full SHA for 19e51d9

• Merge branch 'statement-instance-order-and-lex-order-map' into check-new-dependencies-against-sio

  jdsteve2

  committed
  70c9bb3

  Copy full SHA for 70c9bb3

• Merge branch 'statement-instance-order-and-lex-order-map' into check-new-dependencies-against-sio

  jdsteve2

  committed
  4f47cce

  Copy full SHA for 4f47cce

Commits on Sep 16, 2021

• eliminate duplicated code in subtraction map creation by adding function _pad_tuples_and_assign_integer_vals_to_map_template

  jdsteve2

  committed
  d3b6079

  Copy full SHA for d3b6079

• Merge branch 'statement-instance-order-and-lex-order-map' into check-new-dependencies-against-sio

  jdsteve2

  committed
  eb58df3

  Copy full SHA for eb58df3

• fix merge conflicts

  jdsteve2

  committed
  4392849

  Copy full SHA for 4392849

• Merge branch 'statement-instance-order-and-lex-order-map' into check-new-dependencies-against-sio

  jdsteve2

  committed
  2139ec8

  Copy full SHA for 2139ec8

• Merge branch 'statement-instance-order-and-lex-order-map' into check-new-dependencies-against-sio

  jdsteve2

  committed
  9d740ff

  Copy full SHA for 9d740ff

• fix weird merging issue

  jdsteve2

  committed
  67b52e4

  Copy full SHA for 67b52e4

• Merge branch 'statement-instance-order-and-lex-order-map' into check-new-dependencies-against-sio

  jdsteve2

  committed
  8d64b2b

  Copy full SHA for 8d64b2b

Commits on Sep 17, 2021

• revise docstring for dependencies attribute of instruction

  Show description for 883df76
  

  jdsteve2

  and

  inducer

  authored
  883df76

  Copy full SHA for 883df76

• revise docstring for dependencies attribute of instruction

  Show description for 2ba8a2a
  

  jdsteve2

  and

  inducer

  authored
  2ba8a2a

  Copy full SHA for 2ba8a2a

• handle dependencies in instruction.__setstate__

  Show description for fef6322
  

  jdsteve2

  and

  inducer

  authored
  fef6322

  Copy full SHA for fef6322

• combine add_dependency_v2 with add_dependency by accepting a two-tuple as the third argument; if the third argument is not a two-tuple, add legacy deps as before, else add contemporary dep; this ch…

  Show description for cb52c10
  jdsteve2

  committed
  cb52c10

  Copy full SHA for cb52c10

• remove add_dependency_v2 from imports

  jdsteve2

  committed
  fea47e8

  Copy full SHA for fea47e8

• placate flake8

  jdsteve2

  committed
  b05d5de

  Copy full SHA for b05d5de

• more details in docstring for stmt.dependencies attribute

  jdsteve2

  committed
  a44e4b6

  Copy full SHA for a44e4b6

• add stop_on_first_violation arg to find_unsatisfied_dependencies()

  jdsteve2

  committed
  c0890f5

  Copy full SHA for c0890f5

• add FIXME about potentially checking individual parts of deps/sios

  jdsteve2

  committed
  73f832c

  Copy full SHA for 73f832c

• add helpful comments/docstrings to dependency checking test functions

  jdsteve2

  committed
  539c39c

  Copy full SHA for 539c39c

• also describe statement dims of instruction.dependencies attribute

  jdsteve2

  committed
  c7b3d18

  Copy full SHA for c7b3d18

• add get_pairwise_statement_orderings to loopy.__init__

  jdsteve2

  committed
  b151403

  Copy full SHA for b151403

• add new dep checking stuff to documentation

  jdsteve2

  committed
  d99d8ba

  Copy full SHA for d99d8ba

• fix merge conflicts

  jdsteve2

  committed
  08cc0a9

  Copy full SHA for 08cc0a9

• fix merge conflicts

  jdsteve2

  committed
  ab55b38

  Copy full SHA for ab55b38

• fix merge conflicts

  jdsteve2

  committed
  f147478

  Copy full SHA for f147478

• add autofunction find_unsatisfied_deps

  jdsteve2

  committed
  7755f6a

  Copy full SHA for 7755f6a

• Fix up schedule checker docs

  inducer

  committed
  68a242f

  Copy full SHA for 68a242f

• Merge branch 'statement-instance-order-and-lex-order-map' into check-new-dependencies-against-sio

  jdsteve2

  committed
  206b41a

  Copy full SHA for 206b41a

• fix reference in docstrings loopy.kernel.LoopKernel->loopy.LoopKernel

  jdsteve2

  committed
  a887ff2

  Copy full SHA for a887ff2