| commit | 6b5587abc439a49b535dbe965bdc037f3743cd95 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 2 Apr 2014 12:10:22 +0000 (2 14:10 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 20 Jun 2014 15:19:35 +0000 (20 17:19 +0200) | ||
| tree | fd541ec463ad253f19c08c442eed5100908428a5 | treesnapshot (tar.gz zip) |
| parent | 8d871826cf0f7fe11b4a033943849e5f80b196c3 | commitdiff |
explicitly mark kill accesses
The access expression argument of a kill operation represents
the set of array elements that are killed by the operation.
This access expression is marked neither read nor write.
Explicitly mark it as a kill access for clarity.
The explicit marking will also be useful in printing different
labels for the access relation. It is simply called "relation" now,
but when we split the relation into may_read, may_write and must_write,
then none of these labels are suitable for a kill access.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
The access expression argument of a kill operation represents
the set of array elements that are killed by the operation.
This access expression is marked neither read nor write.
Explicitly mark it as a kill access for clarity.
The explicit marking will also be useful in printing different
labels for the access relation. It is simply called "relation" now,
but when we split the relation into may_read, may_write and must_write,
then none of these labels are suitable for a kill access.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
19 files changed: