m_checker.fpp.f90

Go to the documentation of this file.

# 1 "/home/runner/work/MFC/MFC/src/simulation/m_checker.fpp"
!>
!!@file
!!@brief Contains module m_checker
 
# 1 "/home/runner/work/MFC/MFC/src/common/include/macros.fpp" 1
# 1 "/home/runner/work/MFC/MFC/src/common/include/parallel_macros.fpp" 1
# 1 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp" 1
# 2 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
# 3 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
# 4 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
# 5 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
# 6 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
 
# 8 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
# 9 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
# 10 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
 
# 12 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
# 1 "/home/runner/work/MFC/MFC/src/common/include/defaults/thermochem.fpp" 1
! Default for Fypp runs outside the toolchain (e.g. documentation). Searched last, so the
! build/include/<target>/thermochem.fpp the toolchain writes from m_thermochem takes precedence.
# 4 "/home/runner/work/MFC/MFC/src/common/include/defaults/thermochem.fpp"
# 5 "/home/runner/work/MFC/MFC/src/common/include/defaults/thermochem.fpp"
# 13 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp" 2
 
# 16 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
# 17 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
 
# 24 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
 
# 53 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
 
# 65 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
 
# 75 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
 
# 105 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
 
# 117 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
 
# 127 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
 
# 174 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
! New line at end of file is required for FYPP
# 2 "/home/runner/work/MFC/MFC/src/common/include/parallel_macros.fpp" 2
# 1 "/home/runner/work/MFC/MFC/src/common/include/omp_macros.fpp" 1
# 1 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp" 1
# 2 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
# 3 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
# 4 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
# 5 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
# 6 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
 
# 8 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
# 9 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
# 10 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
 
# 12 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
# 1 "/home/runner/work/MFC/MFC/src/common/include/defaults/thermochem.fpp" 1
! Default for Fypp runs outside the toolchain (e.g. documentation). Searched last, so the
! build/include/<target>/thermochem.fpp the toolchain writes from m_thermochem takes precedence.
# 4 "/home/runner/work/MFC/MFC/src/common/include/defaults/thermochem.fpp"
# 5 "/home/runner/work/MFC/MFC/src/common/include/defaults/thermochem.fpp"
# 13 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp" 2
 
# 16 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
# 17 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
 
# 24 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
 
# 53 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
 
# 65 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
 
# 75 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
 
# 105 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
 
# 117 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
 
# 127 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
 
# 174 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
! New line at end of file is required for FYPP
# 2 "/home/runner/work/MFC/MFC/src/common/include/omp_macros.fpp" 2
 
# 4 "/home/runner/work/MFC/MFC/src/common/include/omp_macros.fpp"
# 5 "/home/runner/work/MFC/MFC/src/common/include/omp_macros.fpp"
# 6 "/home/runner/work/MFC/MFC/src/common/include/omp_macros.fpp"
# 7 "/home/runner/work/MFC/MFC/src/common/include/omp_macros.fpp"
# 8 "/home/runner/work/MFC/MFC/src/common/include/omp_macros.fpp"
 
# 20 "/home/runner/work/MFC/MFC/src/common/include/omp_macros.fpp"
 
# 43 "/home/runner/work/MFC/MFC/src/common/include/omp_macros.fpp"
 
# 48 "/home/runner/work/MFC/MFC/src/common/include/omp_macros.fpp"
 
# 53 "/home/runner/work/MFC/MFC/src/common/include/omp_macros.fpp"
 
# 58 "/home/runner/work/MFC/MFC/src/common/include/omp_macros.fpp"
 
# 63 "/home/runner/work/MFC/MFC/src/common/include/omp_macros.fpp"
 
# 68 "/home/runner/work/MFC/MFC/src/common/include/omp_macros.fpp"
 
# 81 "/home/runner/work/MFC/MFC/src/common/include/omp_macros.fpp"
 
# 95 "/home/runner/work/MFC/MFC/src/common/include/omp_macros.fpp"
 
# 100 "/home/runner/work/MFC/MFC/src/common/include/omp_macros.fpp"
 
# 105 "/home/runner/work/MFC/MFC/src/common/include/omp_macros.fpp"
 
# 110 "/home/runner/work/MFC/MFC/src/common/include/omp_macros.fpp"
 
# 115 "/home/runner/work/MFC/MFC/src/common/include/omp_macros.fpp"
 
# 120 "/home/runner/work/MFC/MFC/src/common/include/omp_macros.fpp"
 
# 125 "/home/runner/work/MFC/MFC/src/common/include/omp_macros.fpp"
 
# 130 "/home/runner/work/MFC/MFC/src/common/include/omp_macros.fpp"
 
# 135 "/home/runner/work/MFC/MFC/src/common/include/omp_macros.fpp"
 
# 165 "/home/runner/work/MFC/MFC/src/common/include/omp_macros.fpp"
 
# 219 "/home/runner/work/MFC/MFC/src/common/include/omp_macros.fpp"
 
# 233 "/home/runner/work/MFC/MFC/src/common/include/omp_macros.fpp"
 
# 258 "/home/runner/work/MFC/MFC/src/common/include/omp_macros.fpp"
 
# 269 "/home/runner/work/MFC/MFC/src/common/include/omp_macros.fpp"
 
# 271 "/home/runner/work/MFC/MFC/src/common/include/omp_macros.fpp"
# 282 "/home/runner/work/MFC/MFC/src/common/include/omp_macros.fpp"
 
# 332 "/home/runner/work/MFC/MFC/src/common/include/omp_macros.fpp"
 
# 342 "/home/runner/work/MFC/MFC/src/common/include/omp_macros.fpp"
 
# 352 "/home/runner/work/MFC/MFC/src/common/include/omp_macros.fpp"
 
# 361 "/home/runner/work/MFC/MFC/src/common/include/omp_macros.fpp"
 
# 378 "/home/runner/work/MFC/MFC/src/common/include/omp_macros.fpp"
 
# 388 "/home/runner/work/MFC/MFC/src/common/include/omp_macros.fpp"
 
# 395 "/home/runner/work/MFC/MFC/src/common/include/omp_macros.fpp"
 
# 401 "/home/runner/work/MFC/MFC/src/common/include/omp_macros.fpp"
 
# 407 "/home/runner/work/MFC/MFC/src/common/include/omp_macros.fpp"
 
# 413 "/home/runner/work/MFC/MFC/src/common/include/omp_macros.fpp"
 
# 419 "/home/runner/work/MFC/MFC/src/common/include/omp_macros.fpp"
 
# 425 "/home/runner/work/MFC/MFC/src/common/include/omp_macros.fpp"
! New line at end of file is required for FYPP
# 3 "/home/runner/work/MFC/MFC/src/common/include/parallel_macros.fpp" 2
# 1 "/home/runner/work/MFC/MFC/src/common/include/acc_macros.fpp" 1
# 1 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp" 1
# 2 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
# 3 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
# 4 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
# 5 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
# 6 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
 
# 8 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
# 9 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
# 10 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
 
# 12 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
# 1 "/home/runner/work/MFC/MFC/src/common/include/defaults/thermochem.fpp" 1
! Default for Fypp runs outside the toolchain (e.g. documentation). Searched last, so the
! build/include/<target>/thermochem.fpp the toolchain writes from m_thermochem takes precedence.
# 4 "/home/runner/work/MFC/MFC/src/common/include/defaults/thermochem.fpp"
# 5 "/home/runner/work/MFC/MFC/src/common/include/defaults/thermochem.fpp"
# 13 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp" 2
 
# 16 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
# 17 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
 
# 24 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
 
# 53 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
 
# 65 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
 
# 75 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
 
# 105 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
 
# 117 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
 
# 127 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
 
# 174 "/home/runner/work/MFC/MFC/src/common/include/shared_parallel_macros.fpp"
! New line at end of file is required for FYPP
# 2 "/home/runner/work/MFC/MFC/src/common/include/acc_macros.fpp" 2
 
# 7 "/home/runner/work/MFC/MFC/src/common/include/acc_macros.fpp"
 
# 17 "/home/runner/work/MFC/MFC/src/common/include/acc_macros.fpp"
 
# 22 "/home/runner/work/MFC/MFC/src/common/include/acc_macros.fpp"
 
# 27 "/home/runner/work/MFC/MFC/src/common/include/acc_macros.fpp"
 
# 32 "/home/runner/work/MFC/MFC/src/common/include/acc_macros.fpp"
 
# 37 "/home/runner/work/MFC/MFC/src/common/include/acc_macros.fpp"
 
# 42 "/home/runner/work/MFC/MFC/src/common/include/acc_macros.fpp"
 
# 47 "/home/runner/work/MFC/MFC/src/common/include/acc_macros.fpp"
 
# 52 "/home/runner/work/MFC/MFC/src/common/include/acc_macros.fpp"
 
# 57 "/home/runner/work/MFC/MFC/src/common/include/acc_macros.fpp"
 
# 62 "/home/runner/work/MFC/MFC/src/common/include/acc_macros.fpp"
 
# 73 "/home/runner/work/MFC/MFC/src/common/include/acc_macros.fpp"
 
# 78 "/home/runner/work/MFC/MFC/src/common/include/acc_macros.fpp"
 
# 83 "/home/runner/work/MFC/MFC/src/common/include/acc_macros.fpp"
 
# 88 "/home/runner/work/MFC/MFC/src/common/include/acc_macros.fpp"
 
# 103 "/home/runner/work/MFC/MFC/src/common/include/acc_macros.fpp"
 
# 131 "/home/runner/work/MFC/MFC/src/common/include/acc_macros.fpp"
 
# 160 "/home/runner/work/MFC/MFC/src/common/include/acc_macros.fpp"
 
# 175 "/home/runner/work/MFC/MFC/src/common/include/acc_macros.fpp"
 
# 193 "/home/runner/work/MFC/MFC/src/common/include/acc_macros.fpp"
 
# 215 "/home/runner/work/MFC/MFC/src/common/include/acc_macros.fpp"
 
# 244 "/home/runner/work/MFC/MFC/src/common/include/acc_macros.fpp"
 
# 259 "/home/runner/work/MFC/MFC/src/common/include/acc_macros.fpp"
 
# 269 "/home/runner/work/MFC/MFC/src/common/include/acc_macros.fpp"
 
# 278 "/home/runner/work/MFC/MFC/src/common/include/acc_macros.fpp"
 
# 294 "/home/runner/work/MFC/MFC/src/common/include/acc_macros.fpp"
 
# 304 "/home/runner/work/MFC/MFC/src/common/include/acc_macros.fpp"
 
# 311 "/home/runner/work/MFC/MFC/src/common/include/acc_macros.fpp"
! New line at end of file is required for FYPP
# 4 "/home/runner/work/MFC/MFC/src/common/include/parallel_macros.fpp" 2
 
! GPU parallel region (scalar reductions, maxval/minval)
# 23 "/home/runner/work/MFC/MFC/src/common/include/parallel_macros.fpp"
 
! GPU parallel loop over threads (most common GPU macro)
# 43 "/home/runner/work/MFC/MFC/src/common/include/parallel_macros.fpp"
 
! Required closing for GPU_PARALLEL_LOOP
# 55 "/home/runner/work/MFC/MFC/src/common/include/parallel_macros.fpp"
 
! Mark routine for device compilation
# 112 "/home/runner/work/MFC/MFC/src/common/include/parallel_macros.fpp"
 
! Declare device-resident data
# 130 "/home/runner/work/MFC/MFC/src/common/include/parallel_macros.fpp"
 
! Inner loop within a GPU parallel region
# 145 "/home/runner/work/MFC/MFC/src/common/include/parallel_macros.fpp"
 
! Scoped GPU data region
# 164 "/home/runner/work/MFC/MFC/src/common/include/parallel_macros.fpp"
 
! Host code with device pointers (for MPI with GPU buffers)
# 193 "/home/runner/work/MFC/MFC/src/common/include/parallel_macros.fpp"
 
! Allocate device memory (unscoped)
# 207 "/home/runner/work/MFC/MFC/src/common/include/parallel_macros.fpp"
 
! Free device memory
# 219 "/home/runner/work/MFC/MFC/src/common/include/parallel_macros.fpp"
 
! Atomic operation on device
# 231 "/home/runner/work/MFC/MFC/src/common/include/parallel_macros.fpp"
 
! End atomic capture block
# 242 "/home/runner/work/MFC/MFC/src/common/include/parallel_macros.fpp"
 
! Copy data between host and device
# 254 "/home/runner/work/MFC/MFC/src/common/include/parallel_macros.fpp"
 
! Synchronization barrier
# 266 "/home/runner/work/MFC/MFC/src/common/include/parallel_macros.fpp"
 
! Import GPU library module (openacc or omp_lib)
# 275 "/home/runner/work/MFC/MFC/src/common/include/parallel_macros.fpp"
 
! Emit code only for AMD compiler
# 282 "/home/runner/work/MFC/MFC/src/common/include/parallel_macros.fpp"
 
! Emit code for non-Cray compilers
# 289 "/home/runner/work/MFC/MFC/src/common/include/parallel_macros.fpp"
 
! Emit code only for Cray compiler
# 296 "/home/runner/work/MFC/MFC/src/common/include/parallel_macros.fpp"
 
! Emit code for non-NVIDIA compilers
# 303 "/home/runner/work/MFC/MFC/src/common/include/parallel_macros.fpp"
 
# 305 "/home/runner/work/MFC/MFC/src/common/include/parallel_macros.fpp"
# 306 "/home/runner/work/MFC/MFC/src/common/include/parallel_macros.fpp"
! New line at end of file is required for FYPP
# 2 "/home/runner/work/MFC/MFC/src/common/include/macros.fpp" 2
 
# 14 "/home/runner/work/MFC/MFC/src/common/include/macros.fpp"
 
! Caution: This macro requires the use of a binding script to set CUDA_VISIBLE_DEVICES, such that we have one GPU device per MPI
! rank. That's because for both cudaMemAdvise (preferred location) and cudaMemPrefetchAsync we use location = device_id = 0. For an
! example see misc/nvidia_uvm/bind.sh.
# 52 "/home/runner/work/MFC/MFC/src/common/include/macros.fpp"
 
! Allocate and create GPU device memory
# 72 "/home/runner/work/MFC/MFC/src/common/include/macros.fpp"
 
! Free GPU device memory and deallocate
# 80 "/home/runner/work/MFC/MFC/src/common/include/macros.fpp"
 
! Cray-specific GPU pointer setup for vector fields
# 104 "/home/runner/work/MFC/MFC/src/common/include/macros.fpp"
 
! Cray-specific GPU pointer setup for scalar fields
# 120 "/home/runner/work/MFC/MFC/src/common/include/macros.fpp"
 
! Cray-specific GPU pointer setup for acoustic source spatials
# 145 "/home/runner/work/MFC/MFC/src/common/include/macros.fpp"
 
# 151 "/home/runner/work/MFC/MFC/src/common/include/macros.fpp"
 
# 158 "/home/runner/work/MFC/MFC/src/common/include/macros.fpp"
! New line at end of file is required for FYPP
# 6 "/home/runner/work/MFC/MFC/src/simulation/m_checker.fpp" 2
# 1 "/home/runner/work/MFC/MFC/src/common/include/case.fpp" 1
! This file exists so that Fypp can be run without generating case.fpp files for
! each target. This is useful when generating documentation, for example. This
! should also let MFC be built with CMake directly, without invoking mfc.sh.
 
! For pre-process.
# 8 "/home/runner/work/MFC/MFC/src/common/include/case.fpp"
 
! For moving immersed boundaries in simulation
# 12 "/home/runner/work/MFC/MFC/src/common/include/case.fpp"
# 7 "/home/runner/work/MFC/MFC/src/simulation/m_checker.fpp" 2
 
!> @brief Validates simulation input parameters for consistency and supported configurations
module m_checker
 
    use m_global_parameters
    use m_mpi_proxy
    use m_helper
    use m_constants, only: recon_type_weno, recon_type_muscl
 
    implicit none
 
    private; public :: s_check_inputs
 
contains
 
    !> Checks compatibility of parameters in the input file. Used by the simulation stage
    impure subroutine s_check_inputs
 
        call s_check_inputs_compilers
 
        if (igr) then
            call s_check_inputs_nvidia_uvm
        else
            if (recon_type == recon_type_weno) then
                call s_check_inputs_weno
            else if (recon_type == recon_type_muscl) then
                call s_check_inputs_muscl
            end if
        end if
 
        if (ib) then
            call s_check_inputs_ib_injection
        end if
 
    end subroutine s_check_inputs
 
    !> Checks constraints on compiler options
    impure subroutine s_check_inputs_compilers
 
#if !defined(MFC_OpenACC) && !(defined(__PGI) || defined(_CRAYFTN))
    if (rdma_mpi) then
# 47 "/home/runner/work/MFC/MFC/src/simulation/m_checker.fpp"
        call s_prohibit_abort("rdma_mpi", "Unsupported value of rdma_mpi for the current compiler")
# 47 "/home/runner/work/MFC/MFC/src/simulation/m_checker.fpp"
    end if
# 48 "/home/runner/work/MFC/MFC/src/simulation/m_checker.fpp"
#endif
 
    end subroutine s_check_inputs_compilers
 
    !> Checks constraints on WENO scheme parameters
    impure subroutine s_check_inputs_weno
 
        character(len=5) :: numstr  !< for int to string conversion
 
        call s_int_to_str(num_stcls_min*weno_order, numstr)
        ! lint: runtime-check m/n/p are per-rank extents after MPI decomposition, not the case-file values
    if (m + 1 < num_stcls_min*weno_order) then
# 59 "/home/runner/work/MFC/MFC/src/simulation/m_checker.fpp"
        call s_prohibit_abort("m + 1 < num_stcls_min*weno_order", "m must be greater than or equal to (num_stcls_min*weno_order - 1), whose value is " // trim(numstr))
# 59 "/home/runner/work/MFC/MFC/src/simulation/m_checker.fpp"
    end if
# 61 "/home/runner/work/MFC/MFC/src/simulation/m_checker.fpp"
        ! lint: runtime-check per-rank n
    if (n + 1 < min(1, n)*num_stcls_min*weno_order) then
# 62 "/home/runner/work/MFC/MFC/src/simulation/m_checker.fpp"
        call s_prohibit_abort("n + 1 < min(1, n)*num_stcls_min*weno_order", "For 2D simulation, n must be greater than or equal to (num_stcls_min*weno_order - 1), whose value is "  // trim(numstr))
# 62 "/home/runner/work/MFC/MFC/src/simulation/m_checker.fpp"
    end if
# 65 "/home/runner/work/MFC/MFC/src/simulation/m_checker.fpp"
        ! lint: runtime-check per-rank p
    if (p + 1 < min(1, p)*num_stcls_min*weno_order) then
# 66 "/home/runner/work/MFC/MFC/src/simulation/m_checker.fpp"
        call s_prohibit_abort("p + 1 < min(1, p)*num_stcls_min*weno_order", "For 3D simulation, p must be greater than or equal to (num_stcls_min*weno_order - 1), whose value is "  // trim(numstr))
# 66 "/home/runner/work/MFC/MFC/src/simulation/m_checker.fpp"
    end if
# 69 "/home/runner/work/MFC/MFC/src/simulation/m_checker.fpp"
 
    end subroutine s_check_inputs_weno
 
    !> Validate that the grid resolution is sufficient for the MUSCL reconstruction order
    impure subroutine s_check_inputs_muscl
 
        character(len=5) :: numstr  !< for int to string conversion
 
        call s_int_to_str(num_stcls_min*muscl_order, numstr)
        ! lint: runtime-check m/n/p are per-rank extents after MPI decomposition, not the case-file values
    if (m + 1 < num_stcls_min*muscl_order) then
# 79 "/home/runner/work/MFC/MFC/src/simulation/m_checker.fpp"
        call s_prohibit_abort("m + 1 < num_stcls_min*muscl_order", "m must be greater than or equal to (num_stcls_min*muscl_order - 1), whose value is " // trim(numstr))
# 79 "/home/runner/work/MFC/MFC/src/simulation/m_checker.fpp"
    end if
# 81 "/home/runner/work/MFC/MFC/src/simulation/m_checker.fpp"
        ! lint: runtime-check per-rank n
    if (n + 1 < min(1, n)*num_stcls_min*muscl_order) then
# 82 "/home/runner/work/MFC/MFC/src/simulation/m_checker.fpp"
        call s_prohibit_abort("n + 1 < min(1, n)*num_stcls_min*muscl_order", "For 2D simulation, n must be greater than or equal to (num_stcls_min*muscl_order - 1), whose value is "  // trim(numstr))
# 82 "/home/runner/work/MFC/MFC/src/simulation/m_checker.fpp"
    end if
# 85 "/home/runner/work/MFC/MFC/src/simulation/m_checker.fpp"
        ! lint: runtime-check per-rank p
    if (p + 1 < min(1, p)*num_stcls_min*muscl_order) then
# 86 "/home/runner/work/MFC/MFC/src/simulation/m_checker.fpp"
        call s_prohibit_abort("p + 1 < min(1, p)*num_stcls_min*muscl_order", "For 3D simulation, p must be greater than or equal to (num_stcls_min*muscl_order - 1), whose value is "  // trim(numstr))
# 86 "/home/runner/work/MFC/MFC/src/simulation/m_checker.fpp"
    end if
# 89 "/home/runner/work/MFC/MFC/src/simulation/m_checker.fpp"
 
    end subroutine s_check_inputs_muscl
 
    !> Validate NVIDIA unified virtual memory configuration parameters
    impure subroutine s_check_inputs_nvidia_uvm
 
#ifdef __NVCOMPILER_GPU_UNIFIED_MEM
    if (nv_uvm_igr_temps_on_gpu > 3 .or. nv_uvm_igr_temps_on_gpu < 0) then
# 96 "/home/runner/work/MFC/MFC/src/simulation/m_checker.fpp"
        call s_prohibit_abort(.or."nv_uvm_igr_temps_on_gpu > 3  nv_uvm_igr_temps_on_gpu < 0", "nv_uvm_igr_temps_on_gpu must be in the range [0, 3]")
# 96 "/home/runner/work/MFC/MFC/src/simulation/m_checker.fpp"
    end if
# 98 "/home/runner/work/MFC/MFC/src/simulation/m_checker.fpp"
    if (nv_uvm_igr_temps_on_gpu == 3 .and. igr_iter_solver == 2) then
# 98 "/home/runner/work/MFC/MFC/src/simulation/m_checker.fpp"
        call s_prohibit_abort(.and."nv_uvm_igr_temps_on_gpu == 3  igr_iter_solver == 2", "nv_uvm_igr_temps_on_gpu must be in the range [0, 2] for igr_iter_solver == 2")
# 98 "/home/runner/work/MFC/MFC/src/simulation/m_checker.fpp"
    end if
# 100 "/home/runner/work/MFC/MFC/src/simulation/m_checker.fpp"
#endif
 
    end subroutine s_check_inputs_nvidia_uvm
 
    !> Validates immersed-boundary injection, thermal, and heterogeneous surface-reaction parameters.
    !> Validates the one immersed-boundary surface parameter that cannot be checked from the case file alone.
    !!
    !! Every other relation between these parameters -- the ranges, the chemistry and inj_species
    !! combinations, the Twall window -- is between case-file values and lives in
    !! case_validator.py, where it runs before any binary starts and is unit tested. num_species
    !! is populated by Cantera at run time, so this bound has to be here.
    impure subroutine s_check_inputs_ib_injection
 
        integer :: i
 
        do i = 1, num_ibs
            ! lint: runtime-check num_species is populated by Cantera, not read from the case file
    if (patch_ib(i)%inj_species > num_species) then
# 117 "/home/runner/work/MFC/MFC/src/simulation/m_checker.fpp"
        call s_prohibit_abort("patch_ib(i)%inj_species > num_species", "patch_ib inj_species must be <= num_species")
# 117 "/home/runner/work/MFC/MFC/src/simulation/m_checker.fpp"
    end if
# 118 "/home/runner/work/MFC/MFC/src/simulation/m_checker.fpp"
        end do
 
    end subroutine s_check_inputs_ib_injection
 
end module m_checker