update rspirv 0.11 to 0.12

crates/rustc_codegen_spirv-types/Cargo.toml

@@ -8,6 +8,6 @@ license.workspace = true
 repository.workspace = true
 
 [dependencies]
-rspirv = "0.11"
+rspirv = "0.12"
 serde = { version = "1.0", features = ["derive"] }
 serde_json = "1.0"

crates/rustc_codegen_spirv/Cargo.toml

@@ -50,7 +50,7 @@ regex = { version = "1", features = ["perf"] }
 ar = "0.9.0"
 either = "1.8.0"
 indexmap = "1.6.0"
-rspirv = "0.11"
+rspirv = "0.12"
 rustc_codegen_spirv-types.workspace = true
 rustc-demangle = "0.1.21"
 sanitize-filename = "0.4"

crates/rustc_codegen_spirv/src/abi.rs

@@ -4,7 +4,7 @@
 use crate::attr::{AggregatedSpirvAttributes, IntrinsicType};
 use crate::codegen_cx::CodegenCx;
 use crate::spirv_type::SpirvType;
-use rspirv::spirv::{StorageClass, Word};
+use rspirv::spirv::{Dim, ImageFormat, StorageClass, Word};
 use rustc_data_structures::fx::FxHashMap;
 use rustc_errors::ErrorGuaranteed;
 use rustc_index::Idx;
@@ -862,13 +862,35 @@ fn trans_intrinsic_type<'tcx>(
             // let image_format: spirv::ImageFormat =
             //     type_from_variant_discriminant(cx, args.const_at(6));
 
-            fn const_int_value<'tcx, P: FromPrimitive>(
+            trait FromU128Const: Sized {
+                fn from_u128_const(n: u128) -> Option<Self>;
+            }
+
+            impl FromU128Const for u32 {
+                fn from_u128_const(n: u128) -> Option<Self> {
+                    u32::from_u128(n)
+                }
+            }
+
+            impl FromU128Const for Dim {
+                fn from_u128_const(n: u128) -> Option<Self> {
+                    Dim::from_u32(u32::from_u128(n)?)
+                }
+            }
+
+            impl FromU128Const for ImageFormat {
+                fn from_u128_const(n: u128) -> Option<Self> {
+                    ImageFormat::from_u32(u32::from_u128(n)?)
+                }
+            }
+
+            fn const_int_value<'tcx, P: FromU128Const>(
                 cx: &CodegenCx<'tcx>,
                 const_: Const<'tcx>,
             ) -> Result<P, ErrorGuaranteed> {
                 assert!(const_.ty().is_integral());
                 let value = const_.eval_bits(cx.tcx, ParamEnv::reveal_all());
-                match P::from_u128(value) {
+                match P::from_u128_const(value) {
                     Some(v) => Ok(v),
                     None => Err(cx
                         .tcx

crates/rustc_codegen_spirv/src/builder/builder_methods.rs

@@ -1106,9 +1106,9 @@ impl<'a, 'tcx> BuilderMethods<'a, 'tcx> for Builder<'a, 'tcx> {
                 ))
             } else if signed {
                 // this cast chain can probably be collapsed, but, whatever, be safe
-                Operand::LiteralInt32(v as u8 as i8 as i32 as u32)
+                Operand::LiteralBit32(v as u8 as i8 as i32 as u32)
             } else {
-                Operand::LiteralInt32(v as u8 as u32)
+                Operand::LiteralBit32(v as u8 as u32)
             }
         }
         fn construct_16(self_: &Builder<'_, '_>, signed: bool, v: u128) -> Operand {
@@ -1117,9 +1117,9 @@ impl<'a, 'tcx> BuilderMethods<'a, 'tcx> for Builder<'a, 'tcx> {
                     "Switches to values above u16::MAX not supported: {v:?}"
                 ))
             } else if signed {
-                Operand::LiteralInt32(v as u16 as i16 as i32 as u32)
+                Operand::LiteralBit32(v as u16 as i16 as i32 as u32)
             } else {
-                Operand::LiteralInt32(v as u16 as u32)
+                Operand::LiteralBit32(v as u16 as u32)
             }
         }
         fn construct_32(self_: &Builder<'_, '_>, _signed: bool, v: u128) -> Operand {
@@ -1128,7 +1128,7 @@ impl<'a, 'tcx> BuilderMethods<'a, 'tcx> for Builder<'a, 'tcx> {
                     "Switches to values above u32::MAX not supported: {v:?}"
                 ))
             } else {
-                Operand::LiteralInt32(v as u32)
+                Operand::LiteralBit32(v as u32)
             }
         }
         fn construct_64(self_: &Builder<'_, '_>, _signed: bool, v: u128) -> Operand {
@@ -1137,7 +1137,7 @@ impl<'a, 'tcx> BuilderMethods<'a, 'tcx> for Builder<'a, 'tcx> {
                     "Switches to values above u64::MAX not supported: {v:?}"
                 ))
             } else {
-                Operand::LiteralInt64(v as u64)
+                Operand::LiteralBit64(v as u64)
             }
         }
         // pass in signed into the closure to be able to unify closure types
@@ -2915,7 +2915,7 @@ impl<'a, 'tcx> BuilderMethods<'a, 'tcx> for Builder<'a, 'tcx> {
 
                         // HACK(eddyb) avoid the logic below that assumes only ID operands
                         if inst.class.opcode == Op::CompositeExtract {
-                            if let (Some(r), &[Operand::IdRef(x), Operand::LiteralInt32(i)]) =
+                            if let (Some(r), &[Operand::IdRef(x), Operand::LiteralBit32(i)]) =
                                 (inst.result_id, &inst.operands[..])
                             {
                                 return Some(Inst::CompositeExtract(r, x, i));