From e1a954c2e22b17c952aacc9b40f6093ae783c265 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Fri, 23 Aug 2013 13:58:32 +0200 Subject: [PATCH] add pet_scop_collect_tagged_must_kills Signed-off-by: Sven Verdoolaege --- include/pet.h | 3 +++ scop.c | 8 ++++++++ 2 files changed, 11 insertions(+) diff --git a/include/pet.h b/include/pet.h index d5328da..bacf469 100644 --- a/include/pet.h +++ b/include/pet.h @@ -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 --- 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) -- 2.11.4.GIT