feat: optimization wasm gas meter (#1853)

* feat: refactor wasm gas meter

* feat: add test case for prohibit ops

* feat: add unit test

Cargo.toml

@@ -288,6 +288,7 @@ base64 = "0.21.3"
 #criterion-cpu-time = "0.1.0"
 wasmer = "4.2.5"
 wasmer-types = "4.2.5"
+wasmer-compiler-singlepass = "4.3.1"
 ciborium = "0.2.1"
 pprof = { version = "0.13.0", features = ["flamegraph", "criterion", "cpp", "frame-pointer", "protobuf-codec"] }
 celestia-rpc = { git = "https://github.com/eigerco/celestia-node-rs.git", rev = "129272e8d926b4c7badf27a26dea915323dd6489" }

frameworks/moveos-stdlib/sources/wasm.move

@@ -260,4 +260,19 @@ module moveos_std::wasm {
         // 3. Release the WASM VM instance (required step)
         release_wasm_instance(wasm_instance);
     }
+
+    #[test]
+    fun test_call_indirect() {
+        // Enable all features for testing
+        features::init_and_enable_all_features_for_test();
+
+        // Define WASM code with a CallIndirect instruction
+        let wasm_code: vector<u8> = b"(module (type $t0 (func (param i32) (result i32))) (table 1 1 funcref) (elem (i32.const 0) $f) (func $f (type $t0) (param $p i32) (result i32) local.get $p) (func (export \"call_indirect_test\") (param i32) (result i32) local.get 0 i32.const 0 call_indirect (type $t0)))";
+
+        // 1. Create WASM VM instance (required step)
+        let wasm_instance_option = create_wasm_instance_option(wasm_code);
+        assert!(option::is_none(&wasm_instance_option), 1);
+        option::destroy_none(wasm_instance_option);
+    }
+
 }

moveos/moveos-wasm/Cargo.toml

@@ -9,6 +9,7 @@ serde_json = { workspace = true }
 once_cell = { workspace = true }
 wasmer = { workspace = true }
 wasmer-types = { workspace = true }
+wasmer-compiler-singlepass = { workspace = true }
 ciborium = { workspace = true }
 rand = { workspace = true }
 anyhow = { workspace = true }