Merge pull request #18 from Bastacyclop/flexc-dataset

New 'FlexC' dataset
egraphs-good · Jan 6, 2024 · 6e88612 · 6e88612
2 parents 80d9c63 + c5bd691
commit 6e88612
Show file tree

Hide file tree

Showing 15 changed files with 20 additions and 0 deletions.
diff --git a/data/flexc/03d369d0-bb23-477a-8ea1-a452efc850fe.json b/data/flexc/03d369d0-bb23-477a-8ea1-a452efc850fe.json
diff --git a/data/flexc/4a29e9e7-a232-4608-b7d2-37796d0ecd97.json b/data/flexc/4a29e9e7-a232-4608-b7d2-37796d0ecd97.json
diff --git a/data/flexc/5cd5008c-4481-4751-90cf-0a0e23cd3d30.json b/data/flexc/5cd5008c-4481-4751-90cf-0a0e23cd3d30.json
diff --git a/data/flexc/67addae9-f7db-4ebb-a02e-e1e045f87fc4.json b/data/flexc/67addae9-f7db-4ebb-a02e-e1e045f87fc4.json
diff --git a/data/flexc/757f44bf-7134-426f-9d2f-71bc2dec1b36.json b/data/flexc/757f44bf-7134-426f-9d2f-71bc2dec1b36.json
diff --git a/data/flexc/7bdc5ff7-82f5-4bd0-a8c6-f3a735e016dc.json b/data/flexc/7bdc5ff7-82f5-4bd0-a8c6-f3a735e016dc.json
diff --git a/data/flexc/85a0fc72-1972-4bc8-ab98-d0d468095601.json b/data/flexc/85a0fc72-1972-4bc8-ab98-d0d468095601.json
diff --git a/data/flexc/86d12271-435d-463d-a7b4-e671423f0ced.json b/data/flexc/86d12271-435d-463d-a7b4-e671423f0ced.json
diff --git a/data/flexc/README.md b/data/flexc/README.md
@@ -0,0 +1,6 @@
+This dataset comes from a CGRA mapping tool called 'FlexC': https://arxiv.org/abs/2309.09112.
+
+The e-graphs were derived by running equality saturation on the dataflow of loop bodies found in C code.
+A simple cost model considers e-node operations to be either free (cost 0), costly (cost 1), or unavailable (cost 10 000).
+The 'unavailable' cost of 10 000 encodes an infinite cost: picking these nodes would result in CGRA mapping failure.
+As this is dataflow rewriting, extraction should ideally consider DAG cost.
diff --git a/data/flexc/a097ffbc-8fe4-4919-b6b3-342b0a3acb1b.json b/data/flexc/a097ffbc-8fe4-4919-b6b3-342b0a3acb1b.json
diff --git a/data/flexc/b87bf0f2-74dc-40f2-b601-cd31937b81d5.json b/data/flexc/b87bf0f2-74dc-40f2-b601-cd31937b81d5.json
diff --git a/data/flexc/db344dbd-fb20-4e9e-badb-076d7a3809bc.json b/data/flexc/db344dbd-fb20-4e9e-badb-076d7a3809bc.json
diff --git a/data/flexc/fdbbd205-1519-4880-9a24-07b2ea772d16.json b/data/flexc/fdbbd205-1519-4880-9a24-07b2ea772d16.json
diff --git a/data/flexc/fea54919-328c-4f00-aedc-2698d17914b6.json b/data/flexc/fea54919-328c-4f00-aedc-2698d17914b6.json
diff --git a/data/flexc/ff14944f-3228-48c8-8d8b-2ae849bbddef.json b/data/flexc/ff14944f-3228-48c8-8d8b-2ae849bbddef.json