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