add pet_scop_collect_tagged_must_kills
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 23 Aug 2013 11:58:32 +0000 (23 13:58 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 18 Sep 2013 11:18:55 +0000 (18 13:18 +0200)
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
include/pet.h
scop.c

index d5328da..bacf469 100644 (file)
@@ -331,6 +331,9 @@ __isl_give isl_union_map *pet_scop_collect_tagged_must_writes(
        struct pet_scop *scop);
 /* Collect all definite kill access relations. */
 __isl_give isl_union_map *pet_scop_collect_must_kills(struct pet_scop *scop);
+/* Collect all tagged definite kill access relations. */
+__isl_give isl_union_map *pet_scop_collect_tagged_must_kills(
+       struct pet_scop *scop);
 __isl_give isl_union_map *pet_scop_collect_schedule(struct pet_scop *scop);
 
 #if defined(__cplusplus)
diff --git a/scop.c b/scop.c
index 926cd5f..bdb99c0 100644 (file)
--- a/scop.c
+++ b/scop.c
@@ -3602,6 +3602,14 @@ __isl_give isl_union_map *pet_scop_collect_tagged_must_writes(
        return scop_collect_accesses(scop, 0, 1, 0, 1, 1);
 }
 
+/* Collect all tagged definite kill access relations.
+ */
+__isl_give isl_union_map *pet_scop_collect_tagged_must_kills(
+       struct pet_scop *scop)
+{
+       return scop_collect_accesses(scop, 0, 0, 1, 1, 1);
+}
+
 /* Collect and return the union of iteration domains in "scop".
  */
 __isl_give isl_union_set *pet_scop_collect_domains(struct pet_scop *scop)