From 71ed77c280f1e608768f07f9d87f1cfae485dbee Mon Sep 17 00:00:00 2001 From: Isuru Fernando Date: Thu, 12 Jan 2023 00:19:26 +0530 Subject: [PATCH] Add option to disable check_implemented_domains --- loopy/check.py | 3 +++ loopy/options.py | 4 ++++ 2 files changed, 7 insertions(+) diff --git a/loopy/check.py b/loopy/check.py index 3f65ad7ab..f2c7868fc 100644 --- a/loopy/check.py +++ b/loopy/check.py @@ -1768,6 +1768,9 @@ def check_implemented_domains(kernel, implemented_domains, code=None): from islpy import align_two + if kernel.options.disable_implemented_domains_check: + return True + last_idomains = None last_insn_inames = None diff --git a/loopy/options.py b/loopy/options.py index 4763252bc..687d4565e 100644 --- a/loopy/options.py +++ b/loopy/options.py @@ -171,6 +171,8 @@ class Options(ImmutableRecord): .. attribute:: disable_global_barriers + .. attribute:: disable_implemented_domains_check + .. attribute:: enforce_variable_access_ordered If *True*, require that @@ -267,6 +269,8 @@ def __init__( "enforce_array_accesses_within_bounds", True), insert_gbarriers=kwargs.get( "insert_gbarriers", False), + disable_implemented_domains_check=kwargs.get( + "disable_implemented_domains_check", False), ) # {{{ legacy compatibility