feat(blockifier_test_utils): migrate to new cairo recompilation logic

Author: dorimedini-starkware

crates/blockifier_test_utils/src/cairo_compile.rs

@@ -9,8 +9,6 @@ use apollo_infra_utils::path::project_path;
 use tempfile::NamedTempFile;
 use tracing::info;
 
-use crate::contracts::TagAndToolchain;
-
 const CAIRO0_PIP_REQUIREMENTS_FILE: &str = "tests/requirements.txt";
 const CAIRO1_REPO_RELATIVE_PATH_OVERRIDE_ENV_VAR: &str = "CAIRO1_REPO_RELATIVE_PATH";
 const DEFAULT_CAIRO1_REPO_RELATIVE_PATH: &str = "../../../cairo";
@@ -93,8 +91,7 @@ fn download_cairo_package(version: &String) {
 }
 
 /// Verifies that the Cairo1 package (of the given version) is available.
-#[allow(dead_code)]
-fn verify_cairo1_package(version: &String, download_if_missing: bool) {
+pub fn verify_cairo1_package(version: &String, download_if_missing: bool) {
     let cairo_compiler_path = starknet_compile_binary_path(version);
     let sierra_compiler_path = starknet_sierra_compile_binary_path(version);
     if download_if_missing && (!cairo_compiler_path.exists() || !sierra_compiler_path.exists()) {
@@ -140,68 +137,41 @@ pub fn cairo0_compile(
 pub fn cairo1_compile(
     path: String,
     git_tag_override: Option<String>,
-    cargo_nightly_arg: Option<String>,
+    _cargo_nightly_arg: Option<String>,
 ) -> CompilationArtifacts {
-    let mut base_compile_args = vec![];
-    verify_cairo1_compiler_deps(git_tag_override);
-
-    let cairo1_compiler_path = local_cairo1_compiler_repo_path();
-
-    // Command args common to both compilation phases.
-    base_compile_args.extend(vec![
-        "run".into(),
-        format!("--manifest-path={}/Cargo.toml", cairo1_compiler_path.to_string_lossy()),
-        "--bin".into(),
-    ]);
-    // Add additional cargo arg if provided. Should be first arg (base command is `cargo`).
-    if let Some(nightly_version) = cargo_nightly_arg {
-        base_compile_args.insert(0, format!("+nightly-{nightly_version}"));
-    }
+    let (tag, _cairo_repo_path) = get_tag_and_repo_file_path(git_tag_override);
+    let download_if_missing = false;
+    let version = tag.strip_prefix("v").unwrap().to_string();
+    verify_cairo1_package(&version, download_if_missing);
 
-    let sierra_output = starknet_compile(path, &mut base_compile_args);
+    let sierra_output = starknet_compile(path, &version);
 
     let mut temp_file = NamedTempFile::new().unwrap();
     temp_file.write_all(&sierra_output).unwrap();
     let temp_path_str = temp_file.into_temp_path();
 
     // Sierra -> CASM.
-    let casm_output = starknet_sierra_compile(
-        temp_path_str.to_str().unwrap().to_string(),
-        &mut base_compile_args,
-    );
+    let casm_output =
+        starknet_sierra_compile(temp_path_str.to_str().unwrap().to_string(), &version);
 
     CompilationArtifacts::Cairo1 { casm: casm_output, sierra: sierra_output }
 }
 
-/// Compile Cairo1 Contract into their Sierra version using the compiler version set in the
-/// Cargo.toml
-pub fn starknet_compile(path: String, base_compile_args: &mut Vec<String>) -> Vec<u8> {
-    // Cairo -> Sierra.
-    let mut starknet_compile_commmand = Command::new("cargo");
-    starknet_compile_commmand.args(base_compile_args.clone());
-    starknet_compile_commmand.args([
-        "starknet-compile",
-        "--",
-        "--single-file",
-        &path,
-        "--allowed-libfuncs-list-name",
-        "all",
-    ]);
+/// Compile Cairo1 Contract into their Sierra version using the given compiler version.
+/// Assumes the relevant compiler version is already downloaded.
+pub fn starknet_compile(path: String, version: &String) -> Vec<u8> {
+    let mut starknet_compile_commmand = Command::new(starknet_compile_binary_path(version));
+    starknet_compile_commmand.args(["--single-file", &path, "--allowed-libfuncs-list-name", "all"]);
     let sierra_output = run_and_verify_output(&mut starknet_compile_commmand);
 
     sierra_output.stdout
 }
 
-/// Compile Sierra code into CASM.
-fn starknet_sierra_compile(path: String, base_compile_args: &mut Vec<String>) -> Vec<u8> {
-    let mut sierra_compile_command = Command::new("cargo");
-    sierra_compile_command.args(base_compile_args);
-    sierra_compile_command.args([
-        "starknet-sierra-compile",
-        path.as_str(),
-        "--allowed-libfuncs-list-name",
-        "all",
-    ]);
+/// Compile Sierra code into CASM using the given compiler version.
+/// Assumes the relevant compiler version is already downloaded.
+fn starknet_sierra_compile(path: String, version: &String) -> Vec<u8> {
+    let mut sierra_compile_command = Command::new(starknet_sierra_compile_binary_path(version));
+    sierra_compile_command.args([path.as_str(), "--allowed-libfuncs-list-name", "all"]);
     let casm_output = run_and_verify_output(&mut sierra_compile_command);
     casm_output.stdout
 }
@@ -250,36 +220,3 @@ fn get_tag_and_repo_file_path(git_tag_override: Option<String>) -> (String, Path
 
     (tag, cairo_repo_path)
 }
-
-pub fn prepare_group_tag_compiler_deps(tag_and_toolchain: &TagAndToolchain) {
-    let (optional_tag, optional_toolchain) = tag_and_toolchain;
-
-    // Checkout the required version in the compiler repo.
-    let (tag, cairo_repo_path) = get_tag_and_repo_file_path(optional_tag.clone());
-    run_and_verify_output(Command::new("git").args([
-        "-C",
-        cairo_repo_path.to_str().unwrap(),
-        "checkout",
-        &tag,
-    ]));
-
-    // Install the toolchain, if specified.
-    if let Some(toolchain) = optional_toolchain {
-        run_and_verify_output(
-            Command::new("rustup").args(["install", &format!("nightly-{toolchain}")]),
-        );
-    }
-}
-
-fn verify_cairo1_compiler_deps(git_tag_override: Option<String>) {
-    let (tag, cairo_repo_path) = get_tag_and_repo_file_path(git_tag_override);
-
-    // Verify that the checked out tag is as expected.
-    run_and_verify_output(Command::new("git").args([
-        "-C",
-        cairo_repo_path.to_str().unwrap(),
-        "rev-parse",
-        "--verify",
-        &tag,
-    ]));
-}

crates/blockifier_test_utils/tests/feature_contracts_compatibility_test.rs

@@ -1,6 +1,10 @@
 use std::fs;
 
-use blockifier_test_utils::cairo_compile::{prepare_group_tag_compiler_deps, CompilationArtifacts};
+use blockifier_test_utils::cairo_compile::{
+    cairo1_compiler_tag,
+    verify_cairo1_package,
+    CompilationArtifacts,
+};
 use blockifier_test_utils::cairo_versions::{CairoVersion, RunnableCairo1};
 use blockifier_test_utils::contracts::{
     FeatureContract,
@@ -85,7 +89,14 @@ async fn verify_feature_contracts_compatibility(fix: bool, cairo_version: CairoV
             for (tag_and_tool_chain, feature_contracts) in
                 FeatureContract::cairo1_feature_contracts_by_tag()
             {
-                prepare_group_tag_compiler_deps(&tag_and_tool_chain);
+                let download_if_missing = true;
+                let version = tag_and_tool_chain
+                    .0
+                    .unwrap_or(cairo1_compiler_tag())
+                    .strip_prefix("v")
+                    .unwrap()
+                    .to_string();
+                verify_cairo1_package(&version, download_if_missing);
 
                 let mut task_set = tokio::task::JoinSet::new();
 
@@ -97,9 +108,9 @@ async fn verify_feature_contracts_compatibility(fix: bool, cairo_version: CairoV
                     task_set
                         .spawn(verify_feature_contracts_compatibility_logic_async(contract, fix));
                 }
-                info!("Done spawning tasks for {tag_and_tool_chain:?}. Awaiting them...");
+                info!("Done spawning tasks for {version:?}. Awaiting them...");
                 task_set.join_all().await;
-                info!("Done awaiting tasks for {tag_and_tool_chain:?}.");
+                info!("Done awaiting tasks for {version:?}.");
             }
         }
         #[cfg(feature = "cairo_native")]