starknet_os: resources test - l1 handler

Author: dorimedini-starkware

crates/blockifier/resources/blockifier_versioned_constants_0_14_4.json

@@ -547,7 +547,7 @@
             },
             "L1Handler": {
                 "constant": {
-                    "n_steps": 1315,
+                    "n_steps": 1329,
                     "n_memory_holes": 0,
                     "builtin_instance_counter": {
                         "range_check_builtin": 19,

crates/blockifier/resources/versioned_constants_diff_regression/0.14.3_0.14.4.txt

@@ -31,3 +31,4 @@
 ~ /os_resources/execute_txs_inner/InvokeFunction/constant/builtin_instance_counter/poseidon_builtin: 11
 ~ /os_resources/execute_txs_inner/InvokeFunction/constant/builtin_instance_counter/range_check_builtin: 110
 ~ /os_resources/execute_txs_inner/InvokeFunction/constant/n_steps: 4779
+~ /os_resources/execute_txs_inner/L1Handler/constant/n_steps: 1329

crates/blockifier/src/transaction/transactions_test.rs

@@ -2850,7 +2850,7 @@ fn test_l1_handler(#[values(false, true)] use_kzg_da: bool) {
                     160,
                 ),
                 l2_gas: GasAmount(
-                    651775,
+                    653175,
                 ),
             }
         "#]]
@@ -2864,7 +2864,7 @@ fn test_l1_handler(#[values(false, true)] use_kzg_da: bool) {
                     0,
                 ),
                 l2_gas: GasAmount(
-                    600875,
+                    602275,
                 ),
             }
         "#]]

crates/starknet_os_flow_tests/src/os_resources_test.rs

@@ -509,15 +509,15 @@ async fn test_execute_txs_inner_resources() {
     let version = StarknetVersion::LATEST;
     let mut raw_vc: RawVersionedConstants =
         serde_json::from_str(VersionedConstants::json_str(&version).unwrap()).unwrap();
-    // TODO(Dori): L1Handler.
-    const N_TXS: usize = 5;
+    const N_TXS: usize = 7;
 
     // For linear factor measurements, it's not enough to just add one more calldata element; the
     // increase is not the same per element. The linear scale is on average.
     const INVOKE_SCALING_FACTOR: usize = 2;
     const DEPLOY_SCALING_FACTOR: usize = 2;
     const INVOKE_EXTRA_ARGS: usize = 10;
     const DEPLOY_EXTRA_ARGS: usize = 10;
+    const L1_HANDLER_EXTRA_ARGS: usize = 10;
 
     let OsResourcesTestSetup {
         stable_contract_address,
@@ -605,6 +605,28 @@ async fn test_execute_txs_inner_resources() {
     test_builder.add_deploy_account_tx(deploy_tx_first);
     test_builder.add_deploy_account_tx(deploy_tx_second);
 
+    // L1 handler.
+    test_builder.add_l1_handler(
+        stable_contract_address,
+        "l1_handler",
+        // From address, extra args length.
+        calldata![Felt::from(100), Felt::ZERO],
+        None,
+    );
+    test_builder.add_l1_handler(
+        stable_contract_address,
+        "l1_handler",
+        // From address, extra args.
+        Calldata(Arc::new(
+            [
+                vec![Felt::from(100), Felt::from(L1_HANDLER_EXTRA_ARGS)],
+                vec![Felt::ZERO; L1_HANDLER_EXTRA_ARGS],
+            ]
+            .concat(),
+        )),
+        None,
+    );
+
     // Execute the business logic and extract the business logic resources for each tx.
     let test_runner = test_builder.build().await;
     let business_logic_resources: [ExecutionResources; N_TXS] = test_runner
@@ -643,6 +665,8 @@ async fn test_execute_txs_inner_resources() {
         declare_constant,
         deploy_first,
         deploy_second,
+        l1_handler_first,
+        l1_handler_second,
     ]: [ExecutionResources; N_TXS] = test_output
         .runner_output
         .txs_trace
@@ -669,6 +693,10 @@ async fn test_execute_txs_inner_resources() {
     let deploy_linear_factor = (&(&deploy_second - &deploy_first).filter_unused_builtins()
         * DEPLOY_SCALING_FACTOR)
         .div_ceil(DEPLOY_EXTRA_ARGS);
+    // L1 handler linear factor is unscaled.
+    let l1_handler_linear_factor = (&l1_handler_second - &l1_handler_first)
+        .filter_unused_builtins()
+        .div_ceil(L1_HANDLER_EXTRA_ARGS);
     raw_vc.os_resources.execute_txs_inner.extend([
         (
             TransactionType::InvokeFunction,
@@ -691,6 +719,13 @@ async fn test_execute_txs_inner_resources() {
                 }),
             }),
         ),
+        (
+            TransactionType::L1Handler,
+            VariableResourceParams::WithFactor(ResourcesParams {
+                constant: (&l1_handler_first - &l1_handler_linear_factor).filter_unused_builtins(),
+                calldata_factor: VariableCallDataFactor::Unscaled(l1_handler_linear_factor),
+            }),
+        ),
     ]);
 
     // Verify computation.