chore(hugr-llvm): upgrade to inkwell 0.6.0 (#2128)

Part of quantinuum-dev/hugrverse#158

Author: qartik

Cargo.lock

@@ -28,10 +28,10 @@ shell by setting up [direnv](https://devenv.sh/automatic-shell-activation/).
 
 To setup the environment manually you will need:
 
-- Just: https://just.systems/
-- Rust `>=1.85`: https://www.rust-lang.org/tools/install
-- uv `>=0.3`: docs.astral.sh/uv/getting-started/installation
-- Optional: capnproto `>=1.0`: https://capnproto.org/install.html
+- Just: <https://just.systems/>
+- Rust `>=1.85`: <https://www.rust-lang.org/tools/install>
+- uv `>=0.3`: <https://docs.astral.sh/uv/getting-started/installation>
+- Optional: capnproto `>=1.0`: <https://capnproto.org/install.html>
     Required when modifying the `hugr-model` serialization schema.
 - Optional: llvm `== 14.0`. The "llvm" feature (backed by the sub-crate `hugr-llvm`)
   requires LLVM installed. We use the rust bindings

DEVELOPMENT.md

@@ -23,7 +23,7 @@ llvm14-0 = ["inkwell/llvm14-0"]
 
 
 [dependencies]
-inkwell = { version = "0.5.0", default-features = false }
+inkwell = { version = "0.6.0", default-features = false }
 hugr-core = { path = "../hugr-core", version = "0.15.4" }
 anyhow = "1.0.98"
 itertools.workspace = true

hugr-llvm/Cargo.toml

@@ -25,7 +25,7 @@ version will only change on major releases.
 
 ## Developing hugr-llvm
 
-See [DEVELOPMENT](DEVELOPMENT.md) for instructions on setting up the development environment.
+See [DEVELOPMENT](../DEVELOPMENT.md) for instructions on setting up the development environment.
 
 ## License
 

hugr-llvm/README.md

@@ -58,6 +58,7 @@ fn value_is_const<'c>(value: impl BasicValue<'c>) -> bool {
         BasicValueEnum::PointerValue(v) => v.is_const(),
         BasicValueEnum::StructValue(v) => v.is_const(),
         BasicValueEnum::VectorValue(v) => v.is_const(),
+        BasicValueEnum::ScalableVectorValue(v) => v.is_const(),
     }
 }
 
@@ -109,6 +110,13 @@ fn const_array<'c>(
                 .collect_vec()
                 .as_slice(),
         ),
+        BasicTypeEnum::ScalableVectorType(t) => t.const_array(
+            values
+                .into_iter()
+                .map(|x| x.as_basic_value_enum().into_scalable_vector_value())
+                .collect_vec()
+                .as_slice(),
+        ),
     }
 }
 

hugr-llvm/src/extension/collections/static_array.rs

@@ -47,6 +47,7 @@ fn basic_type_undef<'c>(t: impl BasicType<'c>) -> BasicValueEnum<'c> {
         BasicTypeEnum::PointerType(t) => t.get_undef().as_basic_value_enum(),
         BasicTypeEnum::StructType(t) => t.get_undef().as_basic_value_enum(),
         BasicTypeEnum::VectorType(t) => t.get_undef().as_basic_value_enum(),
+        BasicTypeEnum::ScalableVectorType(t) => t.get_undef().as_basic_value_enum(),
     }
 }
 
@@ -60,6 +61,7 @@ fn basic_type_poison<'c>(t: impl BasicType<'c>) -> BasicValueEnum<'c> {
         BasicTypeEnum::PointerType(t) => t.get_poison().as_basic_value_enum(),
         BasicTypeEnum::StructType(t) => t.get_poison().as_basic_value_enum(),
         BasicTypeEnum::VectorType(t) => t.get_poison().as_basic_value_enum(),
+        BasicTypeEnum::ScalableVectorType(t) => t.get_poison().as_basic_value_enum(),
     }
 }
 

hugr-llvm/src/sum.rs

@@ -45,6 +45,9 @@ fn size_of_type<'c>(t: impl BasicType<'c>) -> Option<u64> {
         BasicTypeEnum::PointerType(t) => t.size_of().get_zero_extended_constant(),
         BasicTypeEnum::StructType(t) => t.size_of().and_then(|x| x.get_zero_extended_constant()),
         BasicTypeEnum::VectorType(t) => t.size_of().and_then(|x| x.get_zero_extended_constant()),
+        BasicTypeEnum::ScalableVectorType(t) => {
+            t.size_of().and_then(|x| x.get_zero_extended_constant())
+        }
     }
 }