fix handling of --no-private-memory and --no-shared-memory
commit85efa5f57dd818a9b009e00550fc7ccadb2e8ea8
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 11 Apr 2013 16:25:30 +0000 (11 18:25 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 11 Apr 2013 16:25:30 +0000 (11 18:25 +0200)
treedb5b4c0d65bee5c7e53313494bac0ec773eff428
parentca26eece31b69e1fb8b29797a34e280c68d444c6
fix handling of --no-private-memory and --no-shared-memory

Support for these flags was broken in 5da0148 (gpu.c: compute private tile
during array reference grouping, Sat Dec 15 15:46:13 2012 +0100).
In particular, since then the --no-private-memory and --no-shared-memory
options were only respected if both of them were specified.

Also handle the options individually.

Reported-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
gpu.c