[msl-out] Implement index bounds check policies for non-texture acces…

…ses.

cli/src/main.rs

@@ -335,14 +335,17 @@ fn run() -> Result<(), Box<dyn std::error::Error>> {
             "metal" => {
                 use naga::back::msl;
 
+                let mut options = params.msl.clone();
+                options.bounds_check_policies = params.bounds_check_policies;
+
                 let pipeline_options = msl::PipelineOptions::default();
                 let (msl, _) = msl::write_string(
                     &module,
                     info.as_ref().ok_or(CliError(
                         "Generating metal output requires validation to \
                         succeed, and it failed in a previous step",
                     ))?,
-                    &params.msl,
+                    &options,
                     &pipeline_options,
                 )
                 .unwrap_pretty();

src/back/msl/mod.rs

@@ -23,7 +23,7 @@ For the result type, if it's a structure, we re-compose it with a temporary valu
 holding the result.
 !*/
 
-use crate::{arena::Handle, valid::ModuleInfo};
+use crate::{arena::Handle, proc::index, valid::ModuleInfo};
 use std::{
     fmt::{Error as FmtError, Write},
     ops,
@@ -177,6 +177,9 @@ pub struct Options {
     pub spirv_cross_compatibility: bool,
     /// Don't panic on missing bindings, instead generate invalid MSL.
     pub fake_missing_bindings: bool,
+    /// Bounds checking policies.
+    #[cfg_attr(feature = "deserialize", serde(default))]
+    pub bounds_check_policies: index::BoundsCheckPolicies,
 }
 
 impl Default for Options {
@@ -187,6 +190,7 @@ impl Default for Options {
             inline_samplers: Vec::new(),
             spirv_cross_compatibility: false,
             fake_missing_bindings: true,
+            bounds_check_policies: index::BoundsCheckPolicies::default(),
         }
     }
 }