Code

Add if extraction transformation#1641

Code

Open

luigifusco wants to merge 11 commits intomainspcl/dace:mainfrom if_extractionspcl/dace:if_extractionCopy head branch name to clipboard

+401

Commits

Commits on Oct 28, 2024

• add if extraction transformation

  

  luigifusco

  authored and

  pratyai

  committed
  eeb772a

• update symbol checking logic

  

  luigifusco

  authored and

  pratyai

  committed
  5cf7df9

• check if symbol is written in the state containing the nested sdfg

  

  luigifusco

  authored and

  pratyai

  committed
  cc5c10e

• add tests

  

  luigifusco

  authored and

  pratyai

  committed
  8095aeb

• fix to_sdfg in test

  

  luigifusco

  authored and

  pratyai

  committed
  96706d3

Commits on Oct 29, 2024

• Add further explanation (especially about explicit assumptions) and some cosmetic rephrasing of expressions.

  pratyai

  committed
  b1f10ac

• Don't rely on simplify() for testing and construct the intended graphs

  Show description for 75eb10d
  pratyai

  committed
  75eb10d

• Construct the graph for the "non-dependency" test too.

  pratyai

  committed
  ce1f733

• Add one more test with a more complicated structure (and to cover a tiny

  Show description for 5bdff31
  pratyai

  committed
  5bdff31

• Merge branch 'main' into if_extraction

  alexnick83

  authored
  e7800f7

• Replace add_memlet_path() with add_edge().

  pratyai

  committed
  eb6b838