From f0c7368dfe89344005965e7de2ce64d0af5e87b1 Mon Sep 17 00:00:00 2001 From: Fabio Luporini Date: Mon, 17 Mar 2025 13:31:12 +0000 Subject: [PATCH] compiler: Tweak init_core/halo properties --- devito/ir/support/properties.py | 15 ++++++++++++--- 1 file changed, 12 insertions(+), 3 deletions(-) diff --git a/devito/ir/support/properties.py b/devito/ir/support/properties.py index dec11445b5..c563f5416c 100644 --- a/devito/ir/support/properties.py +++ b/devito/ir/support/properties.py @@ -296,13 +296,22 @@ def inbound(self, dims): return self.add(dims, INBOUND) def init_core_shm(self, dims): - return self.add(dims, INIT_CORE_SHM) + properties = self.add(dims, INIT_CORE_SHM) + properties = properties.drop(properties={INIT_HALO_LEFT_SHM, + INIT_HALO_RIGHT_SHM}) + return properties def init_halo_left_shm(self, dims): - return self.add(dims, INIT_HALO_LEFT_SHM) + properties = self.add(dims, INIT_HALO_LEFT_SHM) + properties = properties.drop(properties={INIT_CORE_SHM, + INIT_HALO_RIGHT_SHM}) + return properties def init_halo_right_shm(self, dims): - return self.add(dims, INIT_HALO_RIGHT_SHM) + properties = self.add(dims, INIT_HALO_RIGHT_SHM) + properties = properties.drop(properties={INIT_CORE_SHM, + INIT_HALO_LEFT_SHM}) + return properties def is_parallel(self, dims): return any(len(self[d] & {PARALLEL, PARALLEL_INDEP}) > 0