From c9858cc63049812803d0ffd9cce611436879ef98 Mon Sep 17 00:00:00 2001 From: Wolfgang Grieskamp Date: Mon, 20 Jan 2025 12:54:23 -0800 Subject: [PATCH] [move-vm] Increase bytecode VERSION_MAX to v8 This creates a lot of diffs in baselines allover the codebase, so putting it into its own PR. No functional change expected, as this only sets VERSION_MAX but not VERSION_DEFAULT, and the bytecode version on chain is furthermore controlled by feature flags. --- .../src/execution.rs | 2 +- .../src/components/feature_flags.rs | 3 + .../aptos_test_harness/diamond_clicker.exp | 2 +- .../aptos-vm/src/move_vm_ext/warm_vm_cache.rs | 7 +- aptos-move/framework/src/prover.rs | 3 +- .../move-binary-format/src/file_format.rs | 10 +++ .../src/file_format_common.rs | 5 +- .../borrowed_from_one_path.exp | 2 +- .../tests/ability-transform/by_reference.exp | 2 +- .../ability-transform/copy_ability_tuple.exp | 2 +- .../ability-transform/dead_but_borrowed.exp | 2 +- .../ability-transform/destroy_after_call.exp | 2 +- .../ability-transform/drop_after_loop.exp | 2 +- .../ability-transform/drop_at_branch.exp | 2 +- .../foreach_mut_expanded.exp | 2 +- .../tests/ability-transform/mutate_return.exp | 2 +- .../tests/ability-transform/mutate_vector.exp | 2 +- .../tests/bytecode-generator/assign.exp | 2 +- .../bytecode-generator/assign_inline.exp | 2 +- .../tests/bytecode-generator/borrow.exp | 2 +- .../borrow_deref_optimize.exp | 2 +- .../bug_14300_update_variant_select.exp | 2 +- .../bug_14300_variant_select_autoref.exp | 2 +- .../bug_14471_receiver_inference.exp | 2 +- .../tests/bytecode-generator/bug_14629.exp | 2 +- .../bytecode-generator/conditional_borrow.exp | 2 +- .../bytecode-generator/escape_autoref.exp | 2 +- .../tests/bytecode-generator/fields.exp | 2 +- .../bytecode-generator/freeze_mut_ref.exp | 2 +- .../tests/bytecode-generator/globals.exp | 2 +- .../tests/bytecode-generator/if_else.exp | 2 +- .../tests/bytecode-generator/inline_specs.exp | 2 +- .../tests/bytecode-generator/loop.exp | 2 +- .../tests/bytecode-generator/loop_labels.exp | 2 +- .../matching_refutable_err.exp | 2 +- .../tests/bytecode-generator/operators.exp | 2 +- .../tests/bytecode-generator/pack_order.exp | 2 +- .../tests/bytecode-generator/pack_unpack.exp | 2 +- .../reference_conversion.exp | 2 +- .../bytecode-generator/spec_construct.exp | 2 +- .../tests/bytecode-generator/vector.exp | 2 +- .../tests/bytecode-generator/wildcard5.exp | 2 +- .../bug-10253.off.exp | 2 +- .../bug-10253.on.exp | 2 +- .../jump-label.off.exp | 2 +- .../jump-label.on.exp | 2 +- .../control-flow-simplification/loop.off.exp | 2 +- .../control-flow-simplification/loop.on.exp | 2 +- .../tests/eager-pushes/eager_load_03.exp | 2 +- .../eager-pushes/framework_reduced_01.exp | 2 +- .../eager-pushes/framework_reduced_02.exp | 2 +- .../eager-pushes/framework_reduced_03.exp | 2 +- .../eager-pushes/framework_reduced_04.exp | 2 +- .../eager-pushes/framework_reduced_05.exp | 2 +- .../eager-pushes/framework_reduced_06.exp | 2 +- .../eager-pushes/framework_reduced_07.exp | 2 +- .../eager-pushes/framework_reduced_08.exp | 2 +- .../eager-pushes/framework_reduced_09.exp | 2 +- .../eager-pushes/framework_reduced_10.exp | 2 +- .../eager-pushes/move_stdlib_reduced.exp | 2 +- .../tests/eager-pushes/txn_reduced_01.exp | 2 +- .../tests/file-format-generator/assign.exp | 2 +- .../file-format-generator/assign.opt.exp | 2 +- .../tests/file-format-generator/borrow.exp | 2 +- .../file-format-generator/borrow.opt.exp | 2 +- .../bug_13952_stack_balance.exp | 2 +- .../bug_13952_stack_balance.opt.exp | 2 +- .../bug_13952_stack_balance_regression.exp | 2 +- ...bug_13952_stack_balance_regression.opt.exp | 2 +- .../tests/file-format-generator/bug_14762.exp | 2 +- .../file-format-generator/bug_14762.opt.exp | 2 +- .../tests/file-format-generator/const.exp | 2 +- .../tests/file-format-generator/const.opt.exp | 2 +- .../file-format-generator/eager_push_01.exp | 2 +- .../eager_push_01.opt.exp | 2 +- .../file-format-generator/eager_push_02.exp | 2 +- .../eager_push_02.opt.exp | 2 +- .../tests/file-format-generator/fields.exp | 2 +- .../file-format-generator/fields.opt.exp | 2 +- .../framework_reduced_06.exp | 2 +- .../framework_reduced_06.opt.exp | 2 +- .../file-format-generator/generic_call.exp | 2 +- .../generic_call.opt.exp | 2 +- .../tests/file-format-generator/globals.exp | 2 +- .../file-format-generator/globals.opt.exp | 2 +- .../file-format-generator/has_script.exp | 2 +- .../file-format-generator/has_script.opt.exp | 2 +- .../tests/file-format-generator/if_else.exp | 2 +- .../file-format-generator/if_else.opt.exp | 2 +- .../index_then_field_select.exp | 2 +- .../index_then_field_select.opt.exp | 2 +- .../tests/file-format-generator/loop.exp | 2 +- .../tests/file-format-generator/loop.opt.exp | 2 +- .../tests/file-format-generator/multi_use.exp | 2 +- .../file-format-generator/multi_use.opt.exp | 2 +- .../tests/file-format-generator/operators.exp | 2 +- .../file-format-generator/operators.opt.exp | 2 +- .../file-format-generator/opt_load_01.exp | 2 +- .../file-format-generator/opt_load_01.opt.exp | 2 +- .../file-format-generator/opt_load_02.exp | 2 +- .../file-format-generator/opt_load_02.opt.exp | 2 +- .../file-format-generator/opt_load_04.exp | 2 +- .../file-format-generator/opt_load_04.opt.exp | 2 +- .../file-format-generator/opt_load_05.exp | 2 +- .../file-format-generator/opt_load_05.opt.exp | 2 +- .../file-format-generator/pack_order.exp | 2 +- .../file-format-generator/pack_order.opt.exp | 2 +- .../file-format-generator/pack_unpack.exp | 2 +- .../file-format-generator/pack_unpack.opt.exp | 2 +- .../file-format-generator/pack_unpack_ref.exp | 2 +- .../pack_unpack_ref.opt.exp | 2 +- .../file-format-generator/struct_variants.exp | 2 +- .../struct_variants.opt.exp | 2 +- .../unpack_generic_struct.exp | 2 +- .../unpack_generic_struct.opt.exp | 2 +- .../unpack_generic_struct_typed.exp | 2 +- .../unpack_generic_struct_typed.opt.exp | 2 +- .../tests/file-format-generator/vector.exp | 2 +- .../file-format-generator/vector.opt.exp | 2 +- .../tests/file-format-generator/with_spec.exp | 2 +- .../file-format-generator/with_spec.opt.exp | 2 +- .../tests/flush-writes/def_use_01.off.exp | 2 +- .../tests/flush-writes/def_use_01.on.exp | 2 +- .../tests/flush-writes/def_use_02.off.exp | 2 +- .../tests/flush-writes/def_use_02.on.exp | 2 +- .../tests/flush-writes/def_use_03.off.exp | 2 +- .../tests/flush-writes/def_use_03.on.exp | 2 +- .../tests/flush-writes/def_use_04.off.exp | 2 +- .../tests/flush-writes/def_use_04.on.exp | 2 +- .../tests/flush-writes/def_use_05.off.exp | 2 +- .../tests/flush-writes/def_use_05.on.exp | 2 +- .../tests/flush-writes/def_use_06.off.exp | 2 +- .../tests/flush-writes/def_use_06.on.exp | 2 +- .../tests/flush-writes/def_use_07.off.exp | 2 +- .../tests/flush-writes/def_use_07.on.exp | 2 +- .../tests/flush-writes/def_use_08.off.exp | 2 +- .../tests/flush-writes/def_use_08.on.exp | 2 +- .../flush-writes/in_order_use_01.off.exp | 2 +- .../tests/flush-writes/in_order_use_01.on.exp | 2 +- .../tests/flush-writes/loop_01.off.exp | 2 +- .../tests/flush-writes/loop_01.on.exp | 2 +- .../tests/flush-writes/loop_02.off.exp | 2 +- .../tests/flush-writes/loop_02.on.exp | 2 +- .../flush-writes/out_of_order_use_01.off.exp | 2 +- .../flush-writes/out_of_order_use_01.on.exp | 2 +- .../flush-writes/out_of_order_use_02.off.exp | 2 +- .../flush-writes/out_of_order_use_02.on.exp | 2 +- .../flush-writes/out_of_order_use_03.off.exp | 2 +- .../flush-writes/out_of_order_use_03.on.exp | 2 +- .../flush-writes/out_of_order_use_04.off.exp | 2 +- .../flush-writes/out_of_order_use_04.on.exp | 2 +- .../unused_flush_early_01.off.exp | 2 +- .../flush-writes/unused_flush_early_01.on.exp | 2 +- .../unused_flush_early_02.off.exp | 2 +- .../flush-writes/unused_flush_early_02.on.exp | 2 +- .../unused_flush_early_03.off.exp | 2 +- .../flush-writes/unused_flush_early_03.on.exp | 2 +- .../tests/flush-writes/write_ref_01.off.exp | 2 +- .../tests/flush-writes/write_ref_01.on.exp | 2 +- .../tests/lambda/lambda5.lambda.exp | 2 +- .../lambda/unused_lambda_param.lambda.exp | 2 +- .../tests/live-var/bug_9717_looponly.exp | 2 +- .../tests/live-var/mut_inline.exp | 2 +- .../tests/live-var/mut_inline_typed.exp | 2 +- .../tests/op-equal/eval_order.exp | 2 +- .../tests/op-equal/valid0.exp | 2 +- .../tests/op-equal/valid1.exp | 2 +- .../tests/op-equal/valid2.exp | 2 +- .../uninit-use-checker/assign_both_branch.exp | 2 +- .../tests/uninit-use-checker/no_error.exp | 2 +- .../unreachable-code-remover/abort_only.exp | 2 +- .../abort_or_return_always.exp | 2 +- .../always_false_branch.exp | 2 +- .../break_unreachable.exp | 2 +- .../conditional_loop_unreachable.exp | 2 +- .../inter_procedural_abort.exp | 2 +- .../loop_unreachable.exp | 2 +- .../return_after_abort.exp | 2 +- .../args_with_side_effects.exp | 2 +- .../args_with_side_effects.opt.exp | 2 +- .../variable-coalescing/borrowed_var.exp | 2 +- .../variable-coalescing/borrowed_var.opt.exp | 2 +- .../tests/variable-coalescing/branch_1.exp | 2 +- .../variable-coalescing/branch_1.opt.exp | 2 +- .../tests/variable-coalescing/branch_2.exp | 2 +- .../variable-coalescing/branch_2.opt.exp | 2 +- .../tests/variable-coalescing/branch_3.exp | 2 +- .../variable-coalescing/branch_3.opt.exp | 2 +- ...branch_assigns_then_moves_then_assigns.exp | 2 +- ...ch_assigns_then_moves_then_assigns.opt.exp | 2 +- .../tests/variable-coalescing/bug_12068.exp | 2 +- .../variable-coalescing/bug_12068.opt.exp | 2 +- .../tests/variable-coalescing/call_1.exp | 2 +- .../tests/variable-coalescing/call_1.opt.exp | 2 +- .../tests/variable-coalescing/call_2.exp | 2 +- .../tests/variable-coalescing/call_2.opt.exp | 2 +- .../variable-coalescing/cant_coalesce_1.exp | 2 +- .../cant_coalesce_1.opt.exp | 2 +- .../cant_copy_propagate.exp | 2 +- .../cant_copy_propagate.opt.exp | 2 +- .../tests/variable-coalescing/conditional.exp | 2 +- .../variable-coalescing/conditional.opt.exp | 2 +- .../tests/variable-coalescing/consume_1.exp | 2 +- .../variable-coalescing/consume_1.opt.exp | 2 +- .../tests/variable-coalescing/consume_2.exp | 2 +- .../variable-coalescing/consume_2.opt.exp | 2 +- .../tests/variable-coalescing/consume_3.exp | 2 +- .../variable-coalescing/consume_3.opt.exp | 2 +- .../tests/variable-coalescing/consume_4.exp | 2 +- .../variable-coalescing/consume_4.opt.exp | 2 +- .../tests/variable-coalescing/consume_5.exp | 2 +- .../variable-coalescing/consume_5.opt.exp | 2 +- .../cyclic_assignment_without_use.exp | 2 +- .../cyclic_assignment_without_use.opt.exp | 2 +- .../cyclic_assignments.exp | 2 +- .../cyclic_assignments.opt.exp | 2 +- .../variable-coalescing/cyclic_dead_store.exp | 2 +- .../cyclic_dead_store.opt.exp | 2 +- .../variable-coalescing/dead_assignment_1.exp | 2 +- .../dead_assignment_1.opt.exp | 2 +- .../variable-coalescing/dead_assignment_2.exp | 2 +- .../dead_assignment_2.opt.exp | 2 +- .../variable-coalescing/dead_assignment_3.exp | 2 +- .../dead_assignment_3.opt.exp | 2 +- .../variable-coalescing/dead_assignment_4.exp | 2 +- .../dead_assignment_4.opt.exp | 2 +- .../variable-coalescing/immut_refs_1.exp | 2 +- .../variable-coalescing/immut_refs_1.opt.exp | 2 +- .../variable-coalescing/immut_refs_2.exp | 2 +- .../variable-coalescing/immut_refs_2.opt.exp | 2 +- .../tests/variable-coalescing/inlining1.exp | 2 +- .../variable-coalescing/inlining1.opt.exp | 2 +- .../variable-coalescing/inlining1_typed.exp | 2 +- .../inlining1_typed.opt.exp | 2 +- .../variable-coalescing/intermingled_1.exp | 2 +- .../intermingled_1.opt.exp | 2 +- .../variable-coalescing/intermingled_2.exp | 2 +- .../intermingled_2.opt.exp | 2 +- .../variable-coalescing/intermingled_3.exp | 2 +- .../intermingled_3.opt.exp | 2 +- .../tests/variable-coalescing/loop_1.exp | 2 +- .../tests/variable-coalescing/loop_1.opt.exp | 2 +- .../tests/variable-coalescing/loop_2.exp | 2 +- .../tests/variable-coalescing/loop_2.opt.exp | 2 +- .../variable-coalescing/multi_assigns.exp | 2 +- .../variable-coalescing/multi_assigns.opt.exp | 2 +- .../tests/variable-coalescing/mut_refs_1.exp | 2 +- .../variable-coalescing/mut_refs_1.opt.exp | 2 +- .../tests/variable-coalescing/mut_refs_2.exp | 2 +- .../variable-coalescing/mut_refs_2.opt.exp | 2 +- .../non_overlapping_vars1.exp | 2 +- .../non_overlapping_vars1.opt.exp | 2 +- .../non_overlapping_vars_diff_type.exp | 2 +- .../non_overlapping_vars_diff_type.opt.exp | 2 +- .../variable-coalescing/overlapping_vars.exp | 2 +- .../overlapping_vars.opt.exp | 2 +- .../variable-coalescing/reassigned_var.exp | 2 +- .../reassigned_var.opt.exp | 2 +- .../variable-coalescing/self_assigns.exp | 2 +- .../variable-coalescing/self_assigns.opt.exp | 2 +- .../tests/variable-coalescing/seq_kills_1.exp | 2 +- .../variable-coalescing/seq_kills_1.opt.exp | 2 +- .../tests/variable-coalescing/seq_kills_2.exp | 2 +- .../variable-coalescing/seq_kills_2.opt.exp | 2 +- .../sequential_assign_struct.exp | 2 +- .../sequential_assign_struct.opt.exp | 2 +- .../simple_sequential_assign.exp | 2 +- .../simple_sequential_assign.opt.exp | 2 +- .../straight_line_kills.exp | 2 +- .../straight_line_kills.opt.exp | 2 +- .../tests/variable-coalescing/swap.exp | 2 +- .../tests/variable-coalescing/swap.opt.exp | 2 +- .../variable-coalescing/swap_in_a_loop.exp | 2 +- .../swap_in_a_loop.opt.exp | 2 +- .../tests/variable-coalescing/unused_add.exp | 2 +- .../variable-coalescing/unused_add.opt.exp | 2 +- .../misc/bug_14243_stack_size.baseline.exp | 65 ++++++++++--------- .../misc/bug_14243_stack_size.no-optimize.exp | 3 +- ..._14243_stack_size.optimize-no-simplify.exp | 65 ++++++++++--------- .../misc/bug_14243_stack_size.optimize.exp | 65 ++++++++++--------- .../print_bytecode.baseline.exp | 4 +- .../print_bytecode.no-optimize.exp | 4 +- .../print_bytecode.optimize-no-simplify.exp | 4 +- .../print_bytecode.optimize.exp | 4 +- .../vm_test_harness/print_move_bytecode.exp | 4 +- .../build_tests/build_with_warnings/args.exp | 2 +- .../build_tests/disassemble_script/args.exp | 2 +- types/src/on_chain_config/aptos_features.rs | 10 ++- vm-validator/src/vm_validator.rs | 15 +++-- 289 files changed, 418 insertions(+), 399 deletions(-) diff --git a/aptos-move/aptos-e2e-comparison-testing/src/execution.rs b/aptos-move/aptos-e2e-comparison-testing/src/execution.rs index dcdaae42872b2..02bfbb9b3f6bb 100644 --- a/aptos-move/aptos-e2e-comparison-testing/src/execution.rs +++ b/aptos-move/aptos-e2e-comparison-testing/src/execution.rs @@ -362,7 +362,7 @@ impl Execution { // Update features if needed to the correct binary format used by V2 compiler. let mut features = Features::fetch_config(&state).unwrap_or_default(); if v2_flag { - features.enable(FeatureFlag::VM_BINARY_FORMAT_V7); + features.enable(FeatureFlag::VM_BINARY_FORMAT_V8); } else { features.enable(FeatureFlag::VM_BINARY_FORMAT_V6); } diff --git a/aptos-move/aptos-release-builder/src/components/feature_flags.rs b/aptos-move/aptos-release-builder/src/components/feature_flags.rs index 376af23caa9ec..6a652d42e1c09 100644 --- a/aptos-move/aptos-release-builder/src/components/feature_flags.rs +++ b/aptos-move/aptos-release-builder/src/components/feature_flags.rs @@ -137,6 +137,7 @@ pub enum FeatureFlag { EnableCallTreeAndInstructionVMCache, PermissionedSigner, AccountAbstraction, + VMBinaryFormatV8, } fn generate_features_blob(writer: &CodeWriter, data: &[u64]) { @@ -229,6 +230,7 @@ impl From for AptosFeatureFlag { FeatureFlag::AptosStdChainIdNatives => AptosFeatureFlag::APTOS_STD_CHAIN_ID_NATIVES, FeatureFlag::VMBinaryFormatV6 => AptosFeatureFlag::VM_BINARY_FORMAT_V6, FeatureFlag::VMBinaryFormatV7 => AptosFeatureFlag::VM_BINARY_FORMAT_V7, + FeatureFlag::VMBinaryFormatV8 => AptosFeatureFlag::VM_BINARY_FORMAT_V8, FeatureFlag::MultiEd25519PkValidateV2Natives => { AptosFeatureFlag::MULTI_ED25519_PK_VALIDATE_V2_NATIVES }, @@ -384,6 +386,7 @@ impl From for FeatureFlag { AptosFeatureFlag::APTOS_STD_CHAIN_ID_NATIVES => FeatureFlag::AptosStdChainIdNatives, AptosFeatureFlag::VM_BINARY_FORMAT_V6 => FeatureFlag::VMBinaryFormatV6, AptosFeatureFlag::VM_BINARY_FORMAT_V7 => FeatureFlag::VMBinaryFormatV7, + AptosFeatureFlag::VM_BINARY_FORMAT_V8 => FeatureFlag::VMBinaryFormatV8, AptosFeatureFlag::MULTI_ED25519_PK_VALIDATE_V2_NATIVES => { FeatureFlag::MultiEd25519PkValidateV2Natives }, diff --git a/aptos-move/aptos-transactional-test-harness/tests/aptos_test_harness/diamond_clicker.exp b/aptos-move/aptos-transactional-test-harness/tests/aptos_test_harness/diamond_clicker.exp index 6da8712401946..97dc38ab63995 100644 --- a/aptos-move/aptos-transactional-test-harness/tests/aptos_test_harness/diamond_clicker.exp +++ b/aptos-move/aptos-transactional-test-harness/tests/aptos_test_harness/diamond_clicker.exp @@ -1,7 +1,7 @@ processed 4 tasks task 1 'print-bytecode'. lines 4-35: -// Move bytecode v7 +// Move bytecode v8 module f75daa73fc071f93593335eb9033da804777eb94491650dd3f095ce6f778acb6.game { use 0000000000000000000000000000000000000000000000000000000000000001::signer; use 0000000000000000000000000000000000000000000000000000000000000001::debug; diff --git a/aptos-move/aptos-vm/src/move_vm_ext/warm_vm_cache.rs b/aptos-move/aptos-vm/src/move_vm_ext/warm_vm_cache.rs index 55daa85625583..e291c9c9590b2 100644 --- a/aptos-move/aptos-vm/src/move_vm_ext/warm_vm_cache.rs +++ b/aptos-move/aptos-vm/src/move_vm_ext/warm_vm_cache.rs @@ -9,10 +9,7 @@ use aptos_gas_schedule::AptosGasParameters; use aptos_infallible::RwLock; use aptos_metrics_core::TimerHelper; use aptos_native_interface::SafeNativeBuilder; -use aptos_types::{ - on_chain_config::{FeatureFlag, OnChainConfig}, - state_store::state_key::StateKey, -}; +use aptos_types::{on_chain_config::OnChainConfig, state_store::state_key::StateKey}; use aptos_vm_environment::environment::AptosEnvironment; use bytes::Bytes; use move_binary_format::errors::{Location, PartialVMError, VMResult}; @@ -102,7 +99,6 @@ struct WarmVmId { natives: Bytes, vm_config: Bytes, core_packages_registry: Option, - bin_v7_enabled: bool, inject_create_signer_for_gov_sim: bool, } @@ -137,7 +133,6 @@ impl WarmVmId { natives, vm_config: Self::vm_config_bytes(env.vm_config()), core_packages_registry: Self::core_packages_id_bytes(resolver)?, - bin_v7_enabled: env.features().is_enabled(FeatureFlag::VM_BINARY_FORMAT_V7), inject_create_signer_for_gov_sim, }) } diff --git a/aptos-move/framework/src/prover.rs b/aptos-move/framework/src/prover.rs index ccf3a5acfbf76..3dac3d21a7513 100644 --- a/aptos-move/framework/src/prover.rs +++ b/aptos-move/framework/src/prover.rs @@ -245,8 +245,7 @@ impl ProverOptions { || base_opts.prover.check_inconsistency, unconditional_abort_as_inconsistency: self.unconditional_abort_as_inconsistency || base_opts.prover.unconditional_abort_as_inconsistency, - skip_loop_analysis: self.keep_loops - || base_opts.prover.unconditional_abort_as_inconsistency, + skip_loop_analysis: self.keep_loops || base_opts.prover.skip_loop_analysis, ..base_opts.prover.clone() }, backend: move_prover_boogie_backend::options::BoogieOptions { diff --git a/third_party/move/move-binary-format/src/file_format.rs b/third_party/move/move-binary-format/src/file_format.rs index 468bdcca9fd32..c1d15fcfb5ac4 100644 --- a/third_party/move/move-binary-format/src/file_format.rs +++ b/third_party/move/move-binary-format/src/file_format.rs @@ -33,6 +33,7 @@ use crate::{ access::{ModuleAccess, ScriptAccess}, errors::{PartialVMError, PartialVMResult}, file_format_common, + file_format_common::VERSION_DEFAULT, internals::ModuleIndex, IndexKind, }; @@ -3397,6 +3398,15 @@ impl Arbitrary for CompiledModule { } impl CompiledModule { + /// Sets the version of this module to VERSION_DEFAULT.The default initial value + /// is VERSION_MAX. + pub fn set_default_version(self) -> Self { + Self { + version: VERSION_DEFAULT, + ..self + } + } + /// Returns the count of a specific `IndexKind` pub fn kind_count(&self, kind: IndexKind) -> usize { debug_assert!(!matches!( diff --git a/third_party/move/move-binary-format/src/file_format_common.rs b/third_party/move/move-binary-format/src/file_format_common.rs index b9790db3d35f8..7f2e91b74bead 100644 --- a/third_party/move/move-binary-format/src/file_format_common.rs +++ b/third_party/move/move-binary-format/src/file_format_common.rs @@ -513,9 +513,8 @@ pub const VERSION_7: u32 = 7; /// + TBD pub const VERSION_8: u32 = 8; -/// Mark which version is the latest version. Should be set to v8 once features -/// are added. -pub const VERSION_MAX: u32 = VERSION_7; +/// Mark which version is the latest version. +pub const VERSION_MAX: u32 = VERSION_8; /// Mark which version is the default version. This is the version used by default by tools like /// the compiler. Notice that this version might be different from the one supported on nodes. diff --git a/third_party/move/move-compiler-v2/tests/ability-transform/borrowed_from_one_path.exp b/third_party/move/move-compiler-v2/tests/ability-transform/borrowed_from_one_path.exp index 10e16f2fa63ea..1d1cdc29e700f 100644 --- a/third_party/move/move-compiler-v2/tests/ability-transform/borrowed_from_one_path.exp +++ b/third_party/move/move-compiler-v2/tests/ability-transform/borrowed_from_one_path.exp @@ -672,7 +672,7 @@ fun m::f($t0: u8, $t1: &vector): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.m { struct R has key { data: vector diff --git a/third_party/move/move-compiler-v2/tests/ability-transform/by_reference.exp b/third_party/move/move-compiler-v2/tests/ability-transform/by_reference.exp index cc091f905d208..5bc28df4e87f1 100644 --- a/third_party/move/move-compiler-v2/tests/ability-transform/by_reference.exp +++ b/third_party/move/move-compiler-v2/tests/ability-transform/by_reference.exp @@ -2242,7 +2242,7 @@ fun _0::check() { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 script { diff --git a/third_party/move/move-compiler-v2/tests/ability-transform/copy_ability_tuple.exp b/third_party/move/move-compiler-v2/tests/ability-transform/copy_ability_tuple.exp index 6631e64df9b64..94fd505328e76 100644 --- a/third_party/move/move-compiler-v2/tests/ability-transform/copy_ability_tuple.exp +++ b/third_party/move/move-compiler-v2/tests/ability-transform/copy_ability_tuple.exp @@ -442,7 +442,7 @@ public fun M::g($t0: &signer) { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.M { struct R has key { f: u64 diff --git a/third_party/move/move-compiler-v2/tests/ability-transform/dead_but_borrowed.exp b/third_party/move/move-compiler-v2/tests/ability-transform/dead_but_borrowed.exp index 45d341c56e269..41c8950ad0f74 100644 --- a/third_party/move/move-compiler-v2/tests/ability-transform/dead_but_borrowed.exp +++ b/third_party/move/move-compiler-v2/tests/ability-transform/dead_but_borrowed.exp @@ -190,7 +190,7 @@ fun explicate_drop::test0(): u8 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.explicate_drop { diff --git a/third_party/move/move-compiler-v2/tests/ability-transform/destroy_after_call.exp b/third_party/move/move-compiler-v2/tests/ability-transform/destroy_after_call.exp index ed7fd966f9853..28989b60c87a0 100644 --- a/third_party/move/move-compiler-v2/tests/ability-transform/destroy_after_call.exp +++ b/third_party/move/move-compiler-v2/tests/ability-transform/destroy_after_call.exp @@ -402,7 +402,7 @@ fun m::g() { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.m { diff --git a/third_party/move/move-compiler-v2/tests/ability-transform/drop_after_loop.exp b/third_party/move/move-compiler-v2/tests/ability-transform/drop_after_loop.exp index cba211794ffba..03d3555dffd54 100644 --- a/third_party/move/move-compiler-v2/tests/ability-transform/drop_after_loop.exp +++ b/third_party/move/move-compiler-v2/tests/ability-transform/drop_after_loop.exp @@ -828,7 +828,7 @@ fun m::drop_after_loop() { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.m { diff --git a/third_party/move/move-compiler-v2/tests/ability-transform/drop_at_branch.exp b/third_party/move/move-compiler-v2/tests/ability-transform/drop_at_branch.exp index 2a72ca3c481ba..b42efcd4c3779 100644 --- a/third_party/move/move-compiler-v2/tests/ability-transform/drop_at_branch.exp +++ b/third_party/move/move-compiler-v2/tests/ability-transform/drop_at_branch.exp @@ -254,7 +254,7 @@ fun explicate_drop::drop_at_branch($t0: bool): u8 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.explicate_drop { diff --git a/third_party/move/move-compiler-v2/tests/ability-transform/foreach_mut_expanded.exp b/third_party/move/move-compiler-v2/tests/ability-transform/foreach_mut_expanded.exp index 62571bab81005..4b6ab45471a9d 100644 --- a/third_party/move/move-compiler-v2/tests/ability-transform/foreach_mut_expanded.exp +++ b/third_party/move/move-compiler-v2/tests/ability-transform/foreach_mut_expanded.exp @@ -1152,7 +1152,7 @@ fun m::test_for_each_mut() { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.m { diff --git a/third_party/move/move-compiler-v2/tests/ability-transform/mutate_return.exp b/third_party/move/move-compiler-v2/tests/ability-transform/mutate_return.exp index af7b55902c140..ec818ad212a7f 100644 --- a/third_party/move/move-compiler-v2/tests/ability-transform/mutate_return.exp +++ b/third_party/move/move-compiler-v2/tests/ability-transform/mutate_return.exp @@ -303,7 +303,7 @@ fun m::g<#0>($t0: &mut vector<#0>) { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/ability-transform/mutate_vector.exp b/third_party/move/move-compiler-v2/tests/ability-transform/mutate_vector.exp index 9808a45e289f0..0ce14f2ddd2ce 100644 --- a/third_party/move/move-compiler-v2/tests/ability-transform/mutate_vector.exp +++ b/third_party/move/move-compiler-v2/tests/ability-transform/mutate_vector.exp @@ -475,7 +475,7 @@ public fun m::scalar_zero(): 0x42::m::Scalar { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.m { struct Scalar has copy, drop, store { data: vector diff --git a/third_party/move/move-compiler-v2/tests/bytecode-generator/assign.exp b/third_party/move/move-compiler-v2/tests/bytecode-generator/assign.exp index 68478954e23e8..49f3dd966e628 100644 --- a/third_party/move/move-compiler-v2/tests/bytecode-generator/assign.exp +++ b/third_party/move/move-compiler-v2/tests/bytecode-generator/assign.exp @@ -98,7 +98,7 @@ fun assign::assign_struct($t0: &mut 0x42::assign::S) { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.assign { struct T has drop { h: u64 diff --git a/third_party/move/move-compiler-v2/tests/bytecode-generator/assign_inline.exp b/third_party/move/move-compiler-v2/tests/bytecode-generator/assign_inline.exp index 5cd8580b46bb1..e5696d58bc8e8 100644 --- a/third_party/move/move-compiler-v2/tests/bytecode-generator/assign_inline.exp +++ b/third_party/move/move-compiler-v2/tests/bytecode-generator/assign_inline.exp @@ -31,7 +31,7 @@ public fun assign::main(): (u64, u64) { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.assign { diff --git a/third_party/move/move-compiler-v2/tests/bytecode-generator/borrow.exp b/third_party/move/move-compiler-v2/tests/bytecode-generator/borrow.exp index cd348d9e72963..1e5308da56d40 100644 --- a/third_party/move/move-compiler-v2/tests/bytecode-generator/borrow.exp +++ b/third_party/move/move-compiler-v2/tests/bytecode-generator/borrow.exp @@ -172,7 +172,7 @@ fun borrow::mut_param($t0: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.borrow { struct S { f: u64 diff --git a/third_party/move/move-compiler-v2/tests/bytecode-generator/borrow_deref_optimize.exp b/third_party/move/move-compiler-v2/tests/bytecode-generator/borrow_deref_optimize.exp index 21034a034b38a..96d0081cb3271 100644 --- a/third_party/move/move-compiler-v2/tests/bytecode-generator/borrow_deref_optimize.exp +++ b/third_party/move/move-compiler-v2/tests/bytecode-generator/borrow_deref_optimize.exp @@ -141,7 +141,7 @@ fun test::optimize_vector() { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.test { struct X has copy, drop, key { value: bool diff --git a/third_party/move/move-compiler-v2/tests/bytecode-generator/bug_14300_update_variant_select.exp b/third_party/move/move-compiler-v2/tests/bytecode-generator/bug_14300_update_variant_select.exp index 19090c4f6c297..4c47cdbf2cbc1 100644 --- a/third_party/move/move-compiler-v2/tests/bytecode-generator/bug_14300_update_variant_select.exp +++ b/third_party/move/move-compiler-v2/tests/bytecode-generator/bug_14300_update_variant_select.exp @@ -180,7 +180,7 @@ fun m::update_non_common_field(): u32 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 815.m { enum CommonFields has drop { Foo{ diff --git a/third_party/move/move-compiler-v2/tests/bytecode-generator/bug_14300_variant_select_autoref.exp b/third_party/move/move-compiler-v2/tests/bytecode-generator/bug_14300_variant_select_autoref.exp index fc0bec82c9031..5b3bd28e9ed23 100644 --- a/third_party/move/move-compiler-v2/tests/bytecode-generator/bug_14300_variant_select_autoref.exp +++ b/third_party/move/move-compiler-v2/tests/bytecode-generator/bug_14300_variant_select_autoref.exp @@ -56,7 +56,7 @@ fun m::test_common_access(): u8 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 815.m { enum Positional has drop { A{ diff --git a/third_party/move/move-compiler-v2/tests/bytecode-generator/bug_14471_receiver_inference.exp b/third_party/move/move-compiler-v2/tests/bytecode-generator/bug_14471_receiver_inference.exp index 12e828b0b7a36..92ece741c02b7 100644 --- a/third_party/move/move-compiler-v2/tests/bytecode-generator/bug_14471_receiver_inference.exp +++ b/third_party/move/move-compiler-v2/tests/bytecode-generator/bug_14471_receiver_inference.exp @@ -107,7 +107,7 @@ public fun m::add_when_missing($t0: address, $t1: u64) { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 815.m { struct MyMap has key { table: Table diff --git a/third_party/move/move-compiler-v2/tests/bytecode-generator/bug_14629.exp b/third_party/move/move-compiler-v2/tests/bytecode-generator/bug_14629.exp index 8c840d334cfe2..cc7d129cd9687 100644 --- a/third_party/move/move-compiler-v2/tests/bytecode-generator/bug_14629.exp +++ b/third_party/move/move-compiler-v2/tests/bytecode-generator/bug_14629.exp @@ -75,7 +75,7 @@ fun M::t0_u128() { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 8675309.M { struct R { r: Ty0 diff --git a/third_party/move/move-compiler-v2/tests/bytecode-generator/conditional_borrow.exp b/third_party/move/move-compiler-v2/tests/bytecode-generator/conditional_borrow.exp index 6d359a9b8806a..556bc35ef880d 100644 --- a/third_party/move/move-compiler-v2/tests/bytecode-generator/conditional_borrow.exp +++ b/third_party/move/move-compiler-v2/tests/bytecode-generator/conditional_borrow.exp @@ -413,7 +413,7 @@ public fun M::testb(): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 8675.M { struct S has copy, drop { f: u64 diff --git a/third_party/move/move-compiler-v2/tests/bytecode-generator/escape_autoref.exp b/third_party/move/move-compiler-v2/tests/bytecode-generator/escape_autoref.exp index 023d9b8e57d10..9fac8ac8de79f 100644 --- a/third_party/move/move-compiler-v2/tests/bytecode-generator/escape_autoref.exp +++ b/third_party/move/move-compiler-v2/tests/bytecode-generator/escape_autoref.exp @@ -117,7 +117,7 @@ fun m::will_autoref(): address { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.m { struct Object has copy, drop { inner: address diff --git a/third_party/move/move-compiler-v2/tests/bytecode-generator/fields.exp b/third_party/move/move-compiler-v2/tests/bytecode-generator/fields.exp index 8fee7cb9bb152..f3ff487814513 100644 --- a/third_party/move/move-compiler-v2/tests/bytecode-generator/fields.exp +++ b/third_party/move/move-compiler-v2/tests/bytecode-generator/fields.exp @@ -264,7 +264,7 @@ fun fields::write_val($t0: 0x42::fields::S): 0x42::fields::S { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.fields { struct T has drop { h: u64 diff --git a/third_party/move/move-compiler-v2/tests/bytecode-generator/freeze_mut_ref.exp b/third_party/move/move-compiler-v2/tests/bytecode-generator/freeze_mut_ref.exp index c6e038e4bb34f..734e7667cfc63 100644 --- a/third_party/move/move-compiler-v2/tests/bytecode-generator/freeze_mut_ref.exp +++ b/third_party/move/move-compiler-v2/tests/bytecode-generator/freeze_mut_ref.exp @@ -404,7 +404,7 @@ warning: Unused assignment to `x`. Consider removing or prefixing with an unders ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.freeze_mut_ref { struct G { f: u64 diff --git a/third_party/move/move-compiler-v2/tests/bytecode-generator/globals.exp b/third_party/move/move-compiler-v2/tests/bytecode-generator/globals.exp index ee19b08313cc7..cc135bf4ee86d 100644 --- a/third_party/move/move-compiler-v2/tests/bytecode-generator/globals.exp +++ b/third_party/move/move-compiler-v2/tests/bytecode-generator/globals.exp @@ -114,7 +114,7 @@ fun globals::write($t0: address, $t1: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.globals { struct R has store, key { f: u64 diff --git a/third_party/move/move-compiler-v2/tests/bytecode-generator/if_else.exp b/third_party/move/move-compiler-v2/tests/bytecode-generator/if_else.exp index 357a4135d110f..e377f0a494db1 100644 --- a/third_party/move/move-compiler-v2/tests/bytecode-generator/if_else.exp +++ b/third_party/move/move-compiler-v2/tests/bytecode-generator/if_else.exp @@ -97,7 +97,7 @@ fun if_else::if_else_nested($t0: bool, $t1: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.if_else { diff --git a/third_party/move/move-compiler-v2/tests/bytecode-generator/inline_specs.exp b/third_party/move/move-compiler-v2/tests/bytecode-generator/inline_specs.exp index 0901c91cacf7a..a17c8ced9927e 100644 --- a/third_party/move/move-compiler-v2/tests/bytecode-generator/inline_specs.exp +++ b/third_party/move/move-compiler-v2/tests/bytecode-generator/inline_specs.exp @@ -80,7 +80,7 @@ fun inline_specs::succ($t0: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.inline_specs { diff --git a/third_party/move/move-compiler-v2/tests/bytecode-generator/loop.exp b/third_party/move/move-compiler-v2/tests/bytecode-generator/loop.exp index a203d708b09bd..1ee2180a3de73 100644 --- a/third_party/move/move-compiler-v2/tests/bytecode-generator/loop.exp +++ b/third_party/move/move-compiler-v2/tests/bytecode-generator/loop.exp @@ -225,7 +225,7 @@ fun loops::while_loop_with_break_and_continue($t0: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.loops { diff --git a/third_party/move/move-compiler-v2/tests/bytecode-generator/loop_labels.exp b/third_party/move/move-compiler-v2/tests/bytecode-generator/loop_labels.exp index 89bd08ec9c7b6..96514fd1c3151 100644 --- a/third_party/move/move-compiler-v2/tests/bytecode-generator/loop_labels.exp +++ b/third_party/move/move-compiler-v2/tests/bytecode-generator/loop_labels.exp @@ -76,7 +76,7 @@ fun test::f1() { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 815.test { diff --git a/third_party/move/move-compiler-v2/tests/bytecode-generator/matching_refutable_err.exp b/third_party/move/move-compiler-v2/tests/bytecode-generator/matching_refutable_err.exp index a8af7fd83d17a..43f7eac4ce2e6 100644 --- a/third_party/move/move-compiler-v2/tests/bytecode-generator/matching_refutable_err.exp +++ b/third_party/move/move-compiler-v2/tests/bytecode-generator/matching_refutable_err.exp @@ -41,7 +41,7 @@ fun m::t($t0: 0x815::m::E): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 815.m { enum E { None{ diff --git a/third_party/move/move-compiler-v2/tests/bytecode-generator/operators.exp b/third_party/move/move-compiler-v2/tests/bytecode-generator/operators.exp index 958118005acac..8c219c4b430c6 100644 --- a/third_party/move/move-compiler-v2/tests/bytecode-generator/operators.exp +++ b/third_party/move/move-compiler-v2/tests/bytecode-generator/operators.exp @@ -203,7 +203,7 @@ fun operators::order($t0: u64, $t1: u64): bool { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.operators { diff --git a/third_party/move/move-compiler-v2/tests/bytecode-generator/pack_order.exp b/third_party/move/move-compiler-v2/tests/bytecode-generator/pack_order.exp index d3d547a43fd85..af17ccf7fc790 100644 --- a/third_party/move/move-compiler-v2/tests/bytecode-generator/pack_order.exp +++ b/third_party/move/move-compiler-v2/tests/bytecode-generator/pack_order.exp @@ -175,7 +175,7 @@ fun pack_unpack::pack6($t0: u8, $t1: u8, $t2: u8): 0x42::pack_unpack::S { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.pack_unpack { struct S { f1: u8, diff --git a/third_party/move/move-compiler-v2/tests/bytecode-generator/pack_unpack.exp b/third_party/move/move-compiler-v2/tests/bytecode-generator/pack_unpack.exp index 1d424b9e884a1..5cdfcc682917e 100644 --- a/third_party/move/move-compiler-v2/tests/bytecode-generator/pack_unpack.exp +++ b/third_party/move/move-compiler-v2/tests/bytecode-generator/pack_unpack.exp @@ -66,7 +66,7 @@ fun pack_unpack::unpack($t0: 0x42::pack_unpack::S): (u64, u64) { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.pack_unpack { struct T { h: u64 diff --git a/third_party/move/move-compiler-v2/tests/bytecode-generator/reference_conversion.exp b/third_party/move/move-compiler-v2/tests/bytecode-generator/reference_conversion.exp index 1a7186b1877b0..aa1fa5dabbff6 100644 --- a/third_party/move/move-compiler-v2/tests/bytecode-generator/reference_conversion.exp +++ b/third_party/move/move-compiler-v2/tests/bytecode-generator/reference_conversion.exp @@ -56,7 +56,7 @@ fun reference_conversion::use_it(): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.reference_conversion { diff --git a/third_party/move/move-compiler-v2/tests/bytecode-generator/spec_construct.exp b/third_party/move/move-compiler-v2/tests/bytecode-generator/spec_construct.exp index 4a95c4483a3a9..6f5a5d47b5ab9 100644 --- a/third_party/move/move-compiler-v2/tests/bytecode-generator/spec_construct.exp +++ b/third_party/move/move-compiler-v2/tests/bytecode-generator/spec_construct.exp @@ -44,7 +44,7 @@ public fun m::foo($t0: &0x42::m::S): u8 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.m { struct E { k: u8 diff --git a/third_party/move/move-compiler-v2/tests/bytecode-generator/vector.exp b/third_party/move/move-compiler-v2/tests/bytecode-generator/vector.exp index b3e3f13164e21..cf306f447b8c1 100644 --- a/third_party/move/move-compiler-v2/tests/bytecode-generator/vector.exp +++ b/third_party/move/move-compiler-v2/tests/bytecode-generator/vector.exp @@ -23,7 +23,7 @@ fun vector::create(): vector { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.vector { diff --git a/third_party/move/move-compiler-v2/tests/bytecode-generator/wildcard5.exp b/third_party/move/move-compiler-v2/tests/bytecode-generator/wildcard5.exp index 5eb3acb11c33c..145f2854c589a 100644 --- a/third_party/move/move-compiler-v2/tests/bytecode-generator/wildcard5.exp +++ b/third_party/move/move-compiler-v2/tests/bytecode-generator/wildcard5.exp @@ -45,7 +45,7 @@ public fun m::test() { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { struct S { x: u64, diff --git a/third_party/move/move-compiler-v2/tests/control-flow-simplification/bug-10253.off.exp b/third_party/move/move-compiler-v2/tests/control-flow-simplification/bug-10253.off.exp index d82b0f70c4794..c4a3cd72fb828 100644 --- a/third_party/move/move-compiler-v2/tests/control-flow-simplification/bug-10253.off.exp +++ b/third_party/move/move-compiler-v2/tests/control-flow-simplification/bug-10253.off.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module cafe.vectors { diff --git a/third_party/move/move-compiler-v2/tests/control-flow-simplification/bug-10253.on.exp b/third_party/move/move-compiler-v2/tests/control-flow-simplification/bug-10253.on.exp index 9c62e420cdcaa..cbb9306b55fc3 100644 --- a/third_party/move/move-compiler-v2/tests/control-flow-simplification/bug-10253.on.exp +++ b/third_party/move/move-compiler-v2/tests/control-flow-simplification/bug-10253.on.exp @@ -240,7 +240,7 @@ fun vectors::test_guess_without_break() { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module cafe.vectors { diff --git a/third_party/move/move-compiler-v2/tests/control-flow-simplification/jump-label.off.exp b/third_party/move/move-compiler-v2/tests/control-flow-simplification/jump-label.off.exp index 362c68f2794cb..57163c15070ff 100644 --- a/third_party/move/move-compiler-v2/tests/control-flow-simplification/jump-label.off.exp +++ b/third_party/move/move-compiler-v2/tests/control-flow-simplification/jump-label.off.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.test { use 0000000000000000000000000000000000000000000000000000000000000001::string; diff --git a/third_party/move/move-compiler-v2/tests/control-flow-simplification/jump-label.on.exp b/third_party/move/move-compiler-v2/tests/control-flow-simplification/jump-label.on.exp index e4ecc4bc0e0da..f89d9052e1725 100644 --- a/third_party/move/move-compiler-v2/tests/control-flow-simplification/jump-label.on.exp +++ b/third_party/move/move-compiler-v2/tests/control-flow-simplification/jump-label.on.exp @@ -84,7 +84,7 @@ fun test::foo<#0>(): 0x1::string::String { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.test { use 0000000000000000000000000000000000000000000000000000000000000001::string; diff --git a/third_party/move/move-compiler-v2/tests/control-flow-simplification/loop.off.exp b/third_party/move/move-compiler-v2/tests/control-flow-simplification/loop.off.exp index ba8c1ff8999d4..3cb0925e672fa 100644 --- a/third_party/move/move-compiler-v2/tests/control-flow-simplification/loop.off.exp +++ b/third_party/move/move-compiler-v2/tests/control-flow-simplification/loop.off.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.test { diff --git a/third_party/move/move-compiler-v2/tests/control-flow-simplification/loop.on.exp b/third_party/move/move-compiler-v2/tests/control-flow-simplification/loop.on.exp index c798ecef4e795..8da4949cdfa42 100644 --- a/third_party/move/move-compiler-v2/tests/control-flow-simplification/loop.on.exp +++ b/third_party/move/move-compiler-v2/tests/control-flow-simplification/loop.on.exp @@ -8,7 +8,7 @@ fun test::test() { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.test { diff --git a/third_party/move/move-compiler-v2/tests/eager-pushes/eager_load_03.exp b/third_party/move/move-compiler-v2/tests/eager-pushes/eager_load_03.exp index fc9d04860fc2b..23f75064fe3a2 100644 --- a/third_party/move/move-compiler-v2/tests/eager-pushes/eager_load_03.exp +++ b/third_party/move/move-compiler-v2/tests/eager-pushes/eager_load_03.exp @@ -82,7 +82,7 @@ fun m::one(): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/eager-pushes/framework_reduced_01.exp b/third_party/move/move-compiler-v2/tests/eager-pushes/framework_reduced_01.exp index d0f01cb6ab0e2..bf83aa314396e 100644 --- a/third_party/move/move-compiler-v2/tests/eager-pushes/framework_reduced_01.exp +++ b/third_party/move/move-compiler-v2/tests/eager-pushes/framework_reduced_01.exp @@ -107,7 +107,7 @@ fun m::two(): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/eager-pushes/framework_reduced_02.exp b/third_party/move/move-compiler-v2/tests/eager-pushes/framework_reduced_02.exp index c0e3b1ea99dca..223c33a4c46f0 100644 --- a/third_party/move/move-compiler-v2/tests/eager-pushes/framework_reduced_02.exp +++ b/third_party/move/move-compiler-v2/tests/eager-pushes/framework_reduced_02.exp @@ -45,7 +45,7 @@ public fun m::make($t0: u64, $t1: u64, $t2: u64, $t3: &0xc0ffee::m::S, $t4: u64) ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { struct S { x: u64 diff --git a/third_party/move/move-compiler-v2/tests/eager-pushes/framework_reduced_03.exp b/third_party/move/move-compiler-v2/tests/eager-pushes/framework_reduced_03.exp index 9a2f3f7a3e223..f62f1aba80d3a 100644 --- a/third_party/move/move-compiler-v2/tests/eager-pushes/framework_reduced_03.exp +++ b/third_party/move/move-compiler-v2/tests/eager-pushes/framework_reduced_03.exp @@ -65,7 +65,7 @@ public fun m::make($t0: u64, $t1: u64, $t2: u64, $t3: address, $t4: u64): 0xc0ff ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { struct S has key { x: u64, diff --git a/third_party/move/move-compiler-v2/tests/eager-pushes/framework_reduced_04.exp b/third_party/move/move-compiler-v2/tests/eager-pushes/framework_reduced_04.exp index d635928819623..9a575ec5b6f5b 100644 --- a/third_party/move/move-compiler-v2/tests/eager-pushes/framework_reduced_04.exp +++ b/third_party/move/move-compiler-v2/tests/eager-pushes/framework_reduced_04.exp @@ -98,7 +98,7 @@ fun m::zero($t0: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { struct Wrap has drop, key { a: u64, diff --git a/third_party/move/move-compiler-v2/tests/eager-pushes/framework_reduced_05.exp b/third_party/move/move-compiler-v2/tests/eager-pushes/framework_reduced_05.exp index c2ca65e0b72da..042b3e5303bc8 100644 --- a/third_party/move/move-compiler-v2/tests/eager-pushes/framework_reduced_05.exp +++ b/third_party/move/move-compiler-v2/tests/eager-pushes/framework_reduced_05.exp @@ -68,7 +68,7 @@ public fun m::test($t0: &signer, $t1: 0xc0ffee::m::S) { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { struct S has drop { a: u64, diff --git a/third_party/move/move-compiler-v2/tests/eager-pushes/framework_reduced_06.exp b/third_party/move/move-compiler-v2/tests/eager-pushes/framework_reduced_06.exp index 0f65187b98c3e..280e224e41e66 100644 --- a/third_party/move/move-compiler-v2/tests/eager-pushes/framework_reduced_06.exp +++ b/third_party/move/move-compiler-v2/tests/eager-pushes/framework_reduced_06.exp @@ -160,7 +160,7 @@ public fun m::test($t0: &mut 0xc0ffee::m::S, $t1: 0xc0ffee::m::S) { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { struct S { x: u64 diff --git a/third_party/move/move-compiler-v2/tests/eager-pushes/framework_reduced_07.exp b/third_party/move/move-compiler-v2/tests/eager-pushes/framework_reduced_07.exp index e2018fce1b597..c8eca1b327793 100644 --- a/third_party/move/move-compiler-v2/tests/eager-pushes/framework_reduced_07.exp +++ b/third_party/move/move-compiler-v2/tests/eager-pushes/framework_reduced_07.exp @@ -105,7 +105,7 @@ public fun m::test($t0: &mut 0xc0ffee::m::S, $t1: u64) { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { struct S { x: u64, diff --git a/third_party/move/move-compiler-v2/tests/eager-pushes/framework_reduced_08.exp b/third_party/move/move-compiler-v2/tests/eager-pushes/framework_reduced_08.exp index fec0212ea2814..0ba77f3e40d87 100644 --- a/third_party/move/move-compiler-v2/tests/eager-pushes/framework_reduced_08.exp +++ b/third_party/move/move-compiler-v2/tests/eager-pushes/framework_reduced_08.exp @@ -101,7 +101,7 @@ public fun m::test($t0: &0xc0ffee::m::S, $t1: u64) { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { struct S { x: u64, diff --git a/third_party/move/move-compiler-v2/tests/eager-pushes/framework_reduced_09.exp b/third_party/move/move-compiler-v2/tests/eager-pushes/framework_reduced_09.exp index ecf2efc2599ef..1011e6826b7d0 100644 --- a/third_party/move/move-compiler-v2/tests/eager-pushes/framework_reduced_09.exp +++ b/third_party/move/move-compiler-v2/tests/eager-pushes/framework_reduced_09.exp @@ -145,7 +145,7 @@ public fun m::test($t0: &mut 0xc0ffee::m::S, $t1: u64) { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { struct S { x: u64, diff --git a/third_party/move/move-compiler-v2/tests/eager-pushes/framework_reduced_10.exp b/third_party/move/move-compiler-v2/tests/eager-pushes/framework_reduced_10.exp index f12e640934cca..9f49291f21447 100644 --- a/third_party/move/move-compiler-v2/tests/eager-pushes/framework_reduced_10.exp +++ b/third_party/move/move-compiler-v2/tests/eager-pushes/framework_reduced_10.exp @@ -151,7 +151,7 @@ public fun m::test($t0: &mut 0xc0ffee::m::S, $t1: u64) { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { struct S { x: u64, diff --git a/third_party/move/move-compiler-v2/tests/eager-pushes/move_stdlib_reduced.exp b/third_party/move/move-compiler-v2/tests/eager-pushes/move_stdlib_reduced.exp index d4df43193625b..973e5da1c6e83 100644 --- a/third_party/move/move-compiler-v2/tests/eager-pushes/move_stdlib_reduced.exp +++ b/third_party/move/move-compiler-v2/tests/eager-pushes/move_stdlib_reduced.exp @@ -116,7 +116,7 @@ fun m::one(): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/eager-pushes/txn_reduced_01.exp b/third_party/move/move-compiler-v2/tests/eager-pushes/txn_reduced_01.exp index 834258b42a956..af825886ad30a 100644 --- a/third_party/move/move-compiler-v2/tests/eager-pushes/txn_reduced_01.exp +++ b/third_party/move/move-compiler-v2/tests/eager-pushes/txn_reduced_01.exp @@ -132,7 +132,7 @@ public fun m::test($t0: &signer, $t1: vector
, $t2: vector) { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/assign.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/assign.exp index 1400c660aa9f9..3e11104bc101b 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/assign.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/assign.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.assign { struct T has drop { h: u64 diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/assign.opt.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/assign.opt.exp index 0140492ccc133..34ba49df0621f 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/assign.opt.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/assign.opt.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.assign { struct T has drop { h: u64 diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/borrow.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/borrow.exp index 7c8e04ea03fee..7030d9017ddab 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/borrow.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/borrow.exp @@ -14,7 +14,7 @@ warning: Unused parameter `param`. Consider removing or prefixing with an unders ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.borrow { struct S { f: u64 diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/borrow.opt.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/borrow.opt.exp index 08d837d2d7d15..f0c76f47e5ffc 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/borrow.opt.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/borrow.opt.exp @@ -14,7 +14,7 @@ warning: Unused parameter `param`. Consider removing or prefixing with an unders ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.borrow { struct S { f: u64 diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/bug_13952_stack_balance.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/bug_13952_stack_balance.exp index 26c01f6e2c6c7..b95ba9666cac4 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/bug_13952_stack_balance.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/bug_13952_stack_balance.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module cafe.Module0 { struct Struct0 has copy, drop { x: bool diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/bug_13952_stack_balance.opt.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/bug_13952_stack_balance.opt.exp index 80c2d7c56e9ef..12ec4c8809d82 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/bug_13952_stack_balance.opt.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/bug_13952_stack_balance.opt.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module cafe.Module0 { struct Struct0 has copy, drop { x: bool diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/bug_13952_stack_balance_regression.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/bug_13952_stack_balance_regression.exp index e074d9d7a3f6b..6f0be2131764f 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/bug_13952_stack_balance_regression.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/bug_13952_stack_balance_regression.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.m { enum Data has drop { V1{ diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/bug_13952_stack_balance_regression.opt.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/bug_13952_stack_balance_regression.opt.exp index 270b8bcd4d6c7..98e33dc7c7061 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/bug_13952_stack_balance_regression.opt.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/bug_13952_stack_balance_regression.opt.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.m { enum Data has drop { V1{ diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/bug_14762.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/bug_14762.exp index 8289c4d42afd3..e6f80635cb2ff 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/bug_14762.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/bug_14762.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { use 0000000000000000000000000000000000000000000000000000000000000001::option; use 0000000000000000000000000000000000000000000000000000000000000001::vector; diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/bug_14762.opt.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/bug_14762.opt.exp index 99ccbf85e8dfb..aca86ca2a1e4b 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/bug_14762.opt.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/bug_14762.opt.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { use 0000000000000000000000000000000000000000000000000000000000000001::option; use 0000000000000000000000000000000000000000000000000000000000000001::vector; diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/const.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/const.exp index 8c6bd9d68e95d..4875310195562 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/const.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/const.exp @@ -136,7 +136,7 @@ warning: Unused assignment to `s`. Consider removing or prefixing with an unders ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.constant { diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/const.opt.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/const.opt.exp index 695c613d7fb91..92f815b350fce 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/const.opt.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/const.opt.exp @@ -136,7 +136,7 @@ warning: Unused assignment to `s`. Consider removing or prefixing with an unders ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.constant { diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/eager_push_01.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/eager_push_01.exp index 677926f405b44..d490048942cae 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/eager_push_01.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/eager_push_01.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/eager_push_01.opt.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/eager_push_01.opt.exp index 677926f405b44..d490048942cae 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/eager_push_01.opt.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/eager_push_01.opt.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/eager_push_02.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/eager_push_02.exp index 8f98258bd77db..0e2e489198575 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/eager_push_02.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/eager_push_02.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/eager_push_02.opt.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/eager_push_02.opt.exp index 8f98258bd77db..0e2e489198575 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/eager_push_02.opt.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/eager_push_02.opt.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/fields.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/fields.exp index 3337fb03ac051..c71a442d9f1a1 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/fields.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/fields.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.fields { struct T has drop { h: u64 diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/fields.opt.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/fields.opt.exp index 180ffa3a427e6..7f498dd3d5ca3 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/fields.opt.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/fields.opt.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.fields { struct T has drop { h: u64 diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/framework_reduced_06.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/framework_reduced_06.exp index d3f45765c6ccf..ce6026f0348d8 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/framework_reduced_06.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/framework_reduced_06.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { struct S { f: u64, diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/framework_reduced_06.opt.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/framework_reduced_06.opt.exp index 41776e5da98bf..66710764d3088 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/framework_reduced_06.opt.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/framework_reduced_06.opt.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { struct S { f: u64, diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/generic_call.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/generic_call.exp index 953ed238d97bb..e72445bb68c7b 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/generic_call.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/generic_call.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.Test { diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/generic_call.opt.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/generic_call.opt.exp index 953ed238d97bb..e72445bb68c7b 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/generic_call.opt.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/generic_call.opt.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.Test { diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/globals.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/globals.exp index b844357e1f32c..e6d63039a9fee 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/globals.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/globals.exp @@ -8,7 +8,7 @@ warning: Unused parameter `x`. Consider removing or prefixing with an underscore ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.globals { struct R has store, key { f: u64 diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/globals.opt.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/globals.opt.exp index 602dc61fed548..653e752246825 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/globals.opt.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/globals.opt.exp @@ -8,7 +8,7 @@ warning: Unused parameter `x`. Consider removing or prefixing with an underscore ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.globals { struct R has store, key { f: u64 diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/has_script.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/has_script.exp index 75a6803ddcb55..cbdecba108a44 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/has_script.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/has_script.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 script { diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/has_script.opt.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/has_script.opt.exp index 2680eba157cc4..7a4f02edec541 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/has_script.opt.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/has_script.opt.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 script { diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/if_else.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/if_else.exp index 7e6a2899f6d6a..3c03bdbf84896 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/if_else.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/if_else.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.if_else { diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/if_else.opt.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/if_else.opt.exp index 73a27449cd2ba..3f2c9a3e8185d 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/if_else.opt.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/if_else.opt.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.if_else { diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/index_then_field_select.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/index_then_field_select.exp index 44a3e29f4bebb..7722cd6013929 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/index_then_field_select.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/index_then_field_select.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.test { struct Coin has copy, drop { _0: u256 diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/index_then_field_select.opt.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/index_then_field_select.opt.exp index 90386c16ab2f7..77d6c32ae1b17 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/index_then_field_select.opt.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/index_then_field_select.opt.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.test { struct Coin has copy, drop { _0: u256 diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/loop.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/loop.exp index 4e092c9ac7c46..c139069875f11 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/loop.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/loop.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.loops { diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/loop.opt.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/loop.opt.exp index 9c56b091164f6..6dfc69c99feae 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/loop.opt.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/loop.opt.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.loops { diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/multi_use.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/multi_use.exp index dbad90fc3f4b2..0ba5ac92f60c8 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/multi_use.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/multi_use.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/multi_use.opt.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/multi_use.opt.exp index dbad90fc3f4b2..0ba5ac92f60c8 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/multi_use.opt.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/multi_use.opt.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/operators.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/operators.exp index 313ac0f4abb86..a23107aa7a713 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/operators.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/operators.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.operators { diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/operators.opt.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/operators.opt.exp index 94d263a3c0343..9ab7b1d2c6834 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/operators.opt.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/operators.opt.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.operators { diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/opt_load_01.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/opt_load_01.exp index 2c32c62eca7a1..996f7cf248a73 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/opt_load_01.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/opt_load_01.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/opt_load_01.opt.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/opt_load_01.opt.exp index 2c32c62eca7a1..996f7cf248a73 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/opt_load_01.opt.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/opt_load_01.opt.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/opt_load_02.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/opt_load_02.exp index ffe373d4103a1..58cfe87ab0a13 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/opt_load_02.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/opt_load_02.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { struct S { x: u64 diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/opt_load_02.opt.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/opt_load_02.opt.exp index ffe373d4103a1..58cfe87ab0a13 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/opt_load_02.opt.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/opt_load_02.opt.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { struct S { x: u64 diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/opt_load_04.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/opt_load_04.exp index 8b175afa80b86..5804a60964df4 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/opt_load_04.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/opt_load_04.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/opt_load_04.opt.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/opt_load_04.opt.exp index 8b175afa80b86..5804a60964df4 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/opt_load_04.opt.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/opt_load_04.opt.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/opt_load_05.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/opt_load_05.exp index baaf060b97b15..041e6be6b54b5 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/opt_load_05.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/opt_load_05.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/opt_load_05.opt.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/opt_load_05.opt.exp index 14e6070b12992..a0d0bb9f292c7 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/opt_load_05.opt.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/opt_load_05.opt.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/pack_order.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/pack_order.exp index c0000ffe2f26a..2e27ad09a00da 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/pack_order.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/pack_order.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.pack_unpack { struct S { f1: u8, diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/pack_order.opt.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/pack_order.opt.exp index be1fc10efe638..731a056e0c30f 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/pack_order.opt.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/pack_order.opt.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.pack_unpack { struct S { f1: u8, diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/pack_unpack.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/pack_unpack.exp index 5ddae932e6e0d..caf52c1e1749b 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/pack_unpack.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/pack_unpack.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.pack_unpack { struct T { h: u64 diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/pack_unpack.opt.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/pack_unpack.opt.exp index 478176a41191f..b1263d5089755 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/pack_unpack.opt.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/pack_unpack.opt.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.pack_unpack { struct T { h: u64 diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/pack_unpack_ref.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/pack_unpack_ref.exp index c512474b9d57f..422fcc57760b5 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/pack_unpack_ref.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/pack_unpack_ref.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.pack_unpack_ref { struct G { x1: u64, diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/pack_unpack_ref.opt.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/pack_unpack_ref.opt.exp index ceb4c3c0a03a1..0e034f3552e98 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/pack_unpack_ref.opt.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/pack_unpack_ref.opt.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.pack_unpack_ref { struct G { x1: u64, diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/struct_variants.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/struct_variants.exp index fee04f8b946f4..fa4fda23d123d 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/struct_variants.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/struct_variants.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { struct Box has drop { x: u64 diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/struct_variants.opt.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/struct_variants.opt.exp index 34f5133865c63..0a38b33ad65b2 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/struct_variants.opt.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/struct_variants.opt.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { struct Box has drop { x: u64 diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/unpack_generic_struct.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/unpack_generic_struct.exp index a2257aaa12612..b01c2b757b6d2 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/unpack_generic_struct.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/unpack_generic_struct.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.m { use 0000000000000000000000000000000000000000000000000000000000000001::vector; diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/unpack_generic_struct.opt.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/unpack_generic_struct.opt.exp index 046a3069a091c..392be5859e7c7 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/unpack_generic_struct.opt.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/unpack_generic_struct.opt.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.m { use 0000000000000000000000000000000000000000000000000000000000000001::vector; diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/unpack_generic_struct_typed.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/unpack_generic_struct_typed.exp index a2257aaa12612..b01c2b757b6d2 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/unpack_generic_struct_typed.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/unpack_generic_struct_typed.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.m { use 0000000000000000000000000000000000000000000000000000000000000001::vector; diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/unpack_generic_struct_typed.opt.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/unpack_generic_struct_typed.opt.exp index 046a3069a091c..392be5859e7c7 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/unpack_generic_struct_typed.opt.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/unpack_generic_struct_typed.opt.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.m { use 0000000000000000000000000000000000000000000000000000000000000001::vector; diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/vector.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/vector.exp index 40b822e92a9a0..75ecb306f7ed4 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/vector.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/vector.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.vector { use 0000000000000000000000000000000000000000000000000000000000000001::vector as 1vector; diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/vector.opt.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/vector.opt.exp index f334510d33d10..767469ecf05ae 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/vector.opt.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/vector.opt.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.vector { use 0000000000000000000000000000000000000000000000000000000000000001::vector as 1vector; diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/with_spec.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/with_spec.exp index 64c51d30a8b28..f3179217e86ae 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/with_spec.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/with_spec.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.m { struct E { k: u8 diff --git a/third_party/move/move-compiler-v2/tests/file-format-generator/with_spec.opt.exp b/third_party/move/move-compiler-v2/tests/file-format-generator/with_spec.opt.exp index 64c51d30a8b28..f3179217e86ae 100644 --- a/third_party/move/move-compiler-v2/tests/file-format-generator/with_spec.opt.exp +++ b/third_party/move/move-compiler-v2/tests/file-format-generator/with_spec.opt.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.m { struct E { k: u8 diff --git a/third_party/move/move-compiler-v2/tests/flush-writes/def_use_01.off.exp b/third_party/move/move-compiler-v2/tests/flush-writes/def_use_01.off.exp index 50d32f3a5d22f..a31aed00bc536 100644 --- a/third_party/move/move-compiler-v2/tests/flush-writes/def_use_01.off.exp +++ b/third_party/move/move-compiler-v2/tests/flush-writes/def_use_01.off.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/flush-writes/def_use_01.on.exp b/third_party/move/move-compiler-v2/tests/flush-writes/def_use_01.on.exp index a98457b592311..612ad7279fadd 100644 --- a/third_party/move/move-compiler-v2/tests/flush-writes/def_use_01.on.exp +++ b/third_party/move/move-compiler-v2/tests/flush-writes/def_use_01.on.exp @@ -45,7 +45,7 @@ public fun m::test() { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/flush-writes/def_use_02.off.exp b/third_party/move/move-compiler-v2/tests/flush-writes/def_use_02.off.exp index 5e5634c188d85..ee33d39e9c099 100644 --- a/third_party/move/move-compiler-v2/tests/flush-writes/def_use_02.off.exp +++ b/third_party/move/move-compiler-v2/tests/flush-writes/def_use_02.off.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/flush-writes/def_use_02.on.exp b/third_party/move/move-compiler-v2/tests/flush-writes/def_use_02.on.exp index cf1b28b1c904d..5a68ae7e6cf9f 100644 --- a/third_party/move/move-compiler-v2/tests/flush-writes/def_use_02.on.exp +++ b/third_party/move/move-compiler-v2/tests/flush-writes/def_use_02.on.exp @@ -45,7 +45,7 @@ public fun m::test() { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/flush-writes/def_use_03.off.exp b/third_party/move/move-compiler-v2/tests/flush-writes/def_use_03.off.exp index 644ce0b581edb..3e4bb1088337c 100644 --- a/third_party/move/move-compiler-v2/tests/flush-writes/def_use_03.off.exp +++ b/third_party/move/move-compiler-v2/tests/flush-writes/def_use_03.off.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/flush-writes/def_use_03.on.exp b/third_party/move/move-compiler-v2/tests/flush-writes/def_use_03.on.exp index f7d24cf2808cd..1c12ccc27da93 100644 --- a/third_party/move/move-compiler-v2/tests/flush-writes/def_use_03.on.exp +++ b/third_party/move/move-compiler-v2/tests/flush-writes/def_use_03.on.exp @@ -47,7 +47,7 @@ public fun m::test() { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/flush-writes/def_use_04.off.exp b/third_party/move/move-compiler-v2/tests/flush-writes/def_use_04.off.exp index 8be11c4705ab7..de48e54f966b8 100644 --- a/third_party/move/move-compiler-v2/tests/flush-writes/def_use_04.off.exp +++ b/third_party/move/move-compiler-v2/tests/flush-writes/def_use_04.off.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/flush-writes/def_use_04.on.exp b/third_party/move/move-compiler-v2/tests/flush-writes/def_use_04.on.exp index ff806c7c0db02..d624cb86e360a 100644 --- a/third_party/move/move-compiler-v2/tests/flush-writes/def_use_04.on.exp +++ b/third_party/move/move-compiler-v2/tests/flush-writes/def_use_04.on.exp @@ -47,7 +47,7 @@ public fun m::test() { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/flush-writes/def_use_05.off.exp b/third_party/move/move-compiler-v2/tests/flush-writes/def_use_05.off.exp index f7dae31e80974..b69e87ed3f739 100644 --- a/third_party/move/move-compiler-v2/tests/flush-writes/def_use_05.off.exp +++ b/third_party/move/move-compiler-v2/tests/flush-writes/def_use_05.off.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/flush-writes/def_use_05.on.exp b/third_party/move/move-compiler-v2/tests/flush-writes/def_use_05.on.exp index a31d5538a0d1f..f88bc7bdfeec9 100644 --- a/third_party/move/move-compiler-v2/tests/flush-writes/def_use_05.on.exp +++ b/third_party/move/move-compiler-v2/tests/flush-writes/def_use_05.on.exp @@ -44,7 +44,7 @@ public fun m::test() { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/flush-writes/def_use_06.off.exp b/third_party/move/move-compiler-v2/tests/flush-writes/def_use_06.off.exp index 23df3a621f973..3de60f5a297a9 100644 --- a/third_party/move/move-compiler-v2/tests/flush-writes/def_use_06.off.exp +++ b/third_party/move/move-compiler-v2/tests/flush-writes/def_use_06.off.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/flush-writes/def_use_06.on.exp b/third_party/move/move-compiler-v2/tests/flush-writes/def_use_06.on.exp index 96861d4e1c3bc..24d4a2c641adb 100644 --- a/third_party/move/move-compiler-v2/tests/flush-writes/def_use_06.on.exp +++ b/third_party/move/move-compiler-v2/tests/flush-writes/def_use_06.on.exp @@ -34,7 +34,7 @@ public fun m::test($t0: u64) { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/flush-writes/def_use_07.off.exp b/third_party/move/move-compiler-v2/tests/flush-writes/def_use_07.off.exp index 9de43d650013d..b9c0a77dcbee8 100644 --- a/third_party/move/move-compiler-v2/tests/flush-writes/def_use_07.off.exp +++ b/third_party/move/move-compiler-v2/tests/flush-writes/def_use_07.off.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/flush-writes/def_use_07.on.exp b/third_party/move/move-compiler-v2/tests/flush-writes/def_use_07.on.exp index e7ce2ad25d5c3..75d59ac074943 100644 --- a/third_party/move/move-compiler-v2/tests/flush-writes/def_use_07.on.exp +++ b/third_party/move/move-compiler-v2/tests/flush-writes/def_use_07.on.exp @@ -43,7 +43,7 @@ public fun m::test(): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/flush-writes/def_use_08.off.exp b/third_party/move/move-compiler-v2/tests/flush-writes/def_use_08.off.exp index 66a0ac32e662b..fe4ed244fc14b 100644 --- a/third_party/move/move-compiler-v2/tests/flush-writes/def_use_08.off.exp +++ b/third_party/move/move-compiler-v2/tests/flush-writes/def_use_08.off.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/flush-writes/def_use_08.on.exp b/third_party/move/move-compiler-v2/tests/flush-writes/def_use_08.on.exp index 4d2c4ea40228b..bd4686eb0dd2d 100644 --- a/third_party/move/move-compiler-v2/tests/flush-writes/def_use_08.on.exp +++ b/third_party/move/move-compiler-v2/tests/flush-writes/def_use_08.on.exp @@ -46,7 +46,7 @@ public fun m::test() { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/flush-writes/in_order_use_01.off.exp b/third_party/move/move-compiler-v2/tests/flush-writes/in_order_use_01.off.exp index 83f331d38c8cd..fd1d67a0bace5 100644 --- a/third_party/move/move-compiler-v2/tests/flush-writes/in_order_use_01.off.exp +++ b/third_party/move/move-compiler-v2/tests/flush-writes/in_order_use_01.off.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/flush-writes/in_order_use_01.on.exp b/third_party/move/move-compiler-v2/tests/flush-writes/in_order_use_01.on.exp index aaa2e97210b77..a56b53ebf5f68 100644 --- a/third_party/move/move-compiler-v2/tests/flush-writes/in_order_use_01.on.exp +++ b/third_party/move/move-compiler-v2/tests/flush-writes/in_order_use_01.on.exp @@ -54,7 +54,7 @@ public fun m::test() { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/flush-writes/loop_01.off.exp b/third_party/move/move-compiler-v2/tests/flush-writes/loop_01.off.exp index 611c59a093878..3973407c4006f 100644 --- a/third_party/move/move-compiler-v2/tests/flush-writes/loop_01.off.exp +++ b/third_party/move/move-compiler-v2/tests/flush-writes/loop_01.off.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/flush-writes/loop_01.on.exp b/third_party/move/move-compiler-v2/tests/flush-writes/loop_01.on.exp index 8a73dad251497..9cbe17fd83e31 100644 --- a/third_party/move/move-compiler-v2/tests/flush-writes/loop_01.on.exp +++ b/third_party/move/move-compiler-v2/tests/flush-writes/loop_01.on.exp @@ -68,7 +68,7 @@ public fun m::test2($t0: u64) { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/flush-writes/loop_02.off.exp b/third_party/move/move-compiler-v2/tests/flush-writes/loop_02.off.exp index 665c8ba795cbe..bbda630fbc03e 100644 --- a/third_party/move/move-compiler-v2/tests/flush-writes/loop_02.off.exp +++ b/third_party/move/move-compiler-v2/tests/flush-writes/loop_02.off.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/flush-writes/loop_02.on.exp b/third_party/move/move-compiler-v2/tests/flush-writes/loop_02.on.exp index 70a98721f5664..0f5261d441010 100644 --- a/third_party/move/move-compiler-v2/tests/flush-writes/loop_02.on.exp +++ b/third_party/move/move-compiler-v2/tests/flush-writes/loop_02.on.exp @@ -53,7 +53,7 @@ public fun m::test() { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/flush-writes/out_of_order_use_01.off.exp b/third_party/move/move-compiler-v2/tests/flush-writes/out_of_order_use_01.off.exp index 833d133284576..68e1752a9c223 100644 --- a/third_party/move/move-compiler-v2/tests/flush-writes/out_of_order_use_01.off.exp +++ b/third_party/move/move-compiler-v2/tests/flush-writes/out_of_order_use_01.off.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/flush-writes/out_of_order_use_01.on.exp b/third_party/move/move-compiler-v2/tests/flush-writes/out_of_order_use_01.on.exp index 8fabfb3efeb16..beaa1a23f6fae 100644 --- a/third_party/move/move-compiler-v2/tests/flush-writes/out_of_order_use_01.on.exp +++ b/third_party/move/move-compiler-v2/tests/flush-writes/out_of_order_use_01.on.exp @@ -55,7 +55,7 @@ public fun m::test() { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/flush-writes/out_of_order_use_02.off.exp b/third_party/move/move-compiler-v2/tests/flush-writes/out_of_order_use_02.off.exp index c0ceec5e952f7..4b9f4ecb7810c 100644 --- a/third_party/move/move-compiler-v2/tests/flush-writes/out_of_order_use_02.off.exp +++ b/third_party/move/move-compiler-v2/tests/flush-writes/out_of_order_use_02.off.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/flush-writes/out_of_order_use_02.on.exp b/third_party/move/move-compiler-v2/tests/flush-writes/out_of_order_use_02.on.exp index 1c11b62be1e43..57467a8403c5f 100644 --- a/third_party/move/move-compiler-v2/tests/flush-writes/out_of_order_use_02.on.exp +++ b/third_party/move/move-compiler-v2/tests/flush-writes/out_of_order_use_02.on.exp @@ -38,7 +38,7 @@ public fun m::test() { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/flush-writes/out_of_order_use_03.off.exp b/third_party/move/move-compiler-v2/tests/flush-writes/out_of_order_use_03.off.exp index 434e4c65aa790..c44bcb32dd846 100644 --- a/third_party/move/move-compiler-v2/tests/flush-writes/out_of_order_use_03.off.exp +++ b/third_party/move/move-compiler-v2/tests/flush-writes/out_of_order_use_03.off.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/flush-writes/out_of_order_use_03.on.exp b/third_party/move/move-compiler-v2/tests/flush-writes/out_of_order_use_03.on.exp index 857902c6a6fa5..5d14ab4849a09 100644 --- a/third_party/move/move-compiler-v2/tests/flush-writes/out_of_order_use_03.on.exp +++ b/third_party/move/move-compiler-v2/tests/flush-writes/out_of_order_use_03.on.exp @@ -39,7 +39,7 @@ public fun m::test() { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/flush-writes/out_of_order_use_04.off.exp b/third_party/move/move-compiler-v2/tests/flush-writes/out_of_order_use_04.off.exp index 462ac4e1682c1..2a4b21ad76414 100644 --- a/third_party/move/move-compiler-v2/tests/flush-writes/out_of_order_use_04.off.exp +++ b/third_party/move/move-compiler-v2/tests/flush-writes/out_of_order_use_04.off.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/flush-writes/out_of_order_use_04.on.exp b/third_party/move/move-compiler-v2/tests/flush-writes/out_of_order_use_04.on.exp index 9d129dc3ef425..a0242ca717e5d 100644 --- a/third_party/move/move-compiler-v2/tests/flush-writes/out_of_order_use_04.on.exp +++ b/third_party/move/move-compiler-v2/tests/flush-writes/out_of_order_use_04.on.exp @@ -39,7 +39,7 @@ public fun m::test() { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/flush-writes/unused_flush_early_01.off.exp b/third_party/move/move-compiler-v2/tests/flush-writes/unused_flush_early_01.off.exp index 46a77fd2beeb5..438d30cb8eff7 100644 --- a/third_party/move/move-compiler-v2/tests/flush-writes/unused_flush_early_01.off.exp +++ b/third_party/move/move-compiler-v2/tests/flush-writes/unused_flush_early_01.off.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/flush-writes/unused_flush_early_01.on.exp b/third_party/move/move-compiler-v2/tests/flush-writes/unused_flush_early_01.on.exp index 5422f150f3094..c9d248f08dca0 100644 --- a/third_party/move/move-compiler-v2/tests/flush-writes/unused_flush_early_01.on.exp +++ b/third_party/move/move-compiler-v2/tests/flush-writes/unused_flush_early_01.on.exp @@ -69,7 +69,7 @@ public fun m::test3(): (u64, u64) { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/flush-writes/unused_flush_early_02.off.exp b/third_party/move/move-compiler-v2/tests/flush-writes/unused_flush_early_02.off.exp index fc1ffb79f8430..4058648feefbf 100644 --- a/third_party/move/move-compiler-v2/tests/flush-writes/unused_flush_early_02.off.exp +++ b/third_party/move/move-compiler-v2/tests/flush-writes/unused_flush_early_02.off.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/flush-writes/unused_flush_early_02.on.exp b/third_party/move/move-compiler-v2/tests/flush-writes/unused_flush_early_02.on.exp index df0b8aa411527..ea75eda12850a 100644 --- a/third_party/move/move-compiler-v2/tests/flush-writes/unused_flush_early_02.on.exp +++ b/third_party/move/move-compiler-v2/tests/flush-writes/unused_flush_early_02.on.exp @@ -61,7 +61,7 @@ public fun m::test(): (u64, u64) { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/flush-writes/unused_flush_early_03.off.exp b/third_party/move/move-compiler-v2/tests/flush-writes/unused_flush_early_03.off.exp index cafdb9ffef84d..4391ac5b2a293 100644 --- a/third_party/move/move-compiler-v2/tests/flush-writes/unused_flush_early_03.off.exp +++ b/third_party/move/move-compiler-v2/tests/flush-writes/unused_flush_early_03.off.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/flush-writes/unused_flush_early_03.on.exp b/third_party/move/move-compiler-v2/tests/flush-writes/unused_flush_early_03.on.exp index faae5c17d09e4..3191cdbd8a588 100644 --- a/third_party/move/move-compiler-v2/tests/flush-writes/unused_flush_early_03.on.exp +++ b/third_party/move/move-compiler-v2/tests/flush-writes/unused_flush_early_03.on.exp @@ -98,7 +98,7 @@ public fun m::test1() { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/flush-writes/write_ref_01.off.exp b/third_party/move/move-compiler-v2/tests/flush-writes/write_ref_01.off.exp index 4b438fa00127b..3492aa55bee1a 100644 --- a/third_party/move/move-compiler-v2/tests/flush-writes/write_ref_01.off.exp +++ b/third_party/move/move-compiler-v2/tests/flush-writes/write_ref_01.off.exp @@ -1,6 +1,6 @@ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/flush-writes/write_ref_01.on.exp b/third_party/move/move-compiler-v2/tests/flush-writes/write_ref_01.on.exp index 865b77b6fbf24..7f51244bae81b 100644 --- a/third_party/move/move-compiler-v2/tests/flush-writes/write_ref_01.on.exp +++ b/third_party/move/move-compiler-v2/tests/flush-writes/write_ref_01.on.exp @@ -17,7 +17,7 @@ public fun m::test($t0: u64) { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/lambda/lambda5.lambda.exp b/third_party/move/move-compiler-v2/tests/lambda/lambda5.lambda.exp index e1b739ddf2748..1f1965c4af5ad 100644 --- a/third_party/move/move-compiler-v2/tests/lambda/lambda5.lambda.exp +++ b/third_party/move/move-compiler-v2/tests/lambda/lambda5.lambda.exp @@ -114,7 +114,7 @@ module 0x8675309::M { ============ after LiveVarAnalysisProcessor: ================ ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 8675309.M { diff --git a/third_party/move/move-compiler-v2/tests/lambda/unused_lambda_param.lambda.exp b/third_party/move/move-compiler-v2/tests/lambda/unused_lambda_param.lambda.exp index b406b29e1df3d..65eee0ce8396a 100644 --- a/third_party/move/move-compiler-v2/tests/lambda/unused_lambda_param.lambda.exp +++ b/third_party/move/move-compiler-v2/tests/lambda/unused_lambda_param.lambda.exp @@ -392,7 +392,7 @@ fun m::unused_lambda_suppressed2() { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/live-var/bug_9717_looponly.exp b/third_party/move/move-compiler-v2/tests/live-var/bug_9717_looponly.exp index 6e8dc21ffe57c..7fe6d05092f98 100644 --- a/third_party/move/move-compiler-v2/tests/live-var/bug_9717_looponly.exp +++ b/third_party/move/move-compiler-v2/tests/live-var/bug_9717_looponly.exp @@ -721,7 +721,7 @@ public fun vectors::guess_flips_break2($t0: vector): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module cafe.vectors { diff --git a/third_party/move/move-compiler-v2/tests/live-var/mut_inline.exp b/third_party/move/move-compiler-v2/tests/live-var/mut_inline.exp index e6e9ffce3b0ea..3b0a3a25546a4 100644 --- a/third_party/move/move-compiler-v2/tests/live-var/mut_inline.exp +++ b/third_party/move/move-compiler-v2/tests/live-var/mut_inline.exp @@ -1291,7 +1291,7 @@ fun m::foo(): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.m { diff --git a/third_party/move/move-compiler-v2/tests/live-var/mut_inline_typed.exp b/third_party/move/move-compiler-v2/tests/live-var/mut_inline_typed.exp index e6e9ffce3b0ea..3b0a3a25546a4 100644 --- a/third_party/move/move-compiler-v2/tests/live-var/mut_inline_typed.exp +++ b/third_party/move/move-compiler-v2/tests/live-var/mut_inline_typed.exp @@ -1291,7 +1291,7 @@ fun m::foo(): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.m { diff --git a/third_party/move/move-compiler-v2/tests/op-equal/eval_order.exp b/third_party/move/move-compiler-v2/tests/op-equal/eval_order.exp index 1710e30cb9de9..9471e897d8e14 100644 --- a/third_party/move/move-compiler-v2/tests/op-equal/eval_order.exp +++ b/third_party/move/move-compiler-v2/tests/op-equal/eval_order.exp @@ -435,7 +435,7 @@ public fun m::test3(): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/op-equal/valid0.exp b/third_party/move/move-compiler-v2/tests/op-equal/valid0.exp index 66ed1975916a0..016af3a8ad770 100644 --- a/third_party/move/move-compiler-v2/tests/op-equal/valid0.exp +++ b/third_party/move/move-compiler-v2/tests/op-equal/valid0.exp @@ -939,7 +939,7 @@ fun test::inc_wrapped_coin_old($t0: &mut 0x42::test::Wrapper<0x42::test::Coin>) ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.test { struct Coin has drop, key { _0: u256 diff --git a/third_party/move/move-compiler-v2/tests/op-equal/valid1.exp b/third_party/move/move-compiler-v2/tests/op-equal/valid1.exp index 4687235280fae..3aa105ea5c67e 100644 --- a/third_party/move/move-compiler-v2/tests/op-equal/valid1.exp +++ b/third_party/move/move-compiler-v2/tests/op-equal/valid1.exp @@ -526,7 +526,7 @@ fun test::xor_vec_wrapped_coin_new($t0: vector<0x42::test::Wrapper<0x42::test::C ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.test { struct Coin has drop, key { _0: u256 diff --git a/third_party/move/move-compiler-v2/tests/op-equal/valid2.exp b/third_party/move/move-compiler-v2/tests/op-equal/valid2.exp index e8c5f393627ac..871c7c4a3c881 100644 --- a/third_party/move/move-compiler-v2/tests/op-equal/valid2.exp +++ b/third_party/move/move-compiler-v2/tests/op-equal/valid2.exp @@ -164,7 +164,7 @@ public fun m::test(): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { struct S has drop { x: u64 diff --git a/third_party/move/move-compiler-v2/tests/uninit-use-checker/assign_both_branch.exp b/third_party/move/move-compiler-v2/tests/uninit-use-checker/assign_both_branch.exp index d8ee05d270a80..3eda357dfcc9a 100644 --- a/third_party/move/move-compiler-v2/tests/uninit-use-checker/assign_both_branch.exp +++ b/third_party/move/move-compiler-v2/tests/uninit-use-checker/assign_both_branch.exp @@ -53,7 +53,7 @@ fun m::test($t0: bool): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/uninit-use-checker/no_error.exp b/third_party/move/move-compiler-v2/tests/uninit-use-checker/no_error.exp index 72ecdcfd22bea..d32a4d9943e03 100644 --- a/third_party/move/move-compiler-v2/tests/uninit-use-checker/no_error.exp +++ b/third_party/move/move-compiler-v2/tests/uninit-use-checker/no_error.exp @@ -60,7 +60,7 @@ fun m::foo($t0: u64, $t1: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0.m { diff --git a/third_party/move/move-compiler-v2/tests/unreachable-code-remover/abort_only.exp b/third_party/move/move-compiler-v2/tests/unreachable-code-remover/abort_only.exp index 323a655777f9e..c51be4dd6d8ab 100644 --- a/third_party/move/move-compiler-v2/tests/unreachable-code-remover/abort_only.exp +++ b/third_party/move/move-compiler-v2/tests/unreachable-code-remover/abort_only.exp @@ -30,7 +30,7 @@ fun m::test() { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/unreachable-code-remover/abort_or_return_always.exp b/third_party/move/move-compiler-v2/tests/unreachable-code-remover/abort_or_return_always.exp index 2fe6829f1dd67..9c33da34cb40f 100644 --- a/third_party/move/move-compiler-v2/tests/unreachable-code-remover/abort_or_return_always.exp +++ b/third_party/move/move-compiler-v2/tests/unreachable-code-remover/abort_or_return_always.exp @@ -56,7 +56,7 @@ fun m::test($t0: bool): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/unreachable-code-remover/always_false_branch.exp b/third_party/move/move-compiler-v2/tests/unreachable-code-remover/always_false_branch.exp index 287eed0c9630d..306e051fa48e1 100644 --- a/third_party/move/move-compiler-v2/tests/unreachable-code-remover/always_false_branch.exp +++ b/third_party/move/move-compiler-v2/tests/unreachable-code-remover/always_false_branch.exp @@ -90,7 +90,7 @@ fun m::test(): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/unreachable-code-remover/break_unreachable.exp b/third_party/move/move-compiler-v2/tests/unreachable-code-remover/break_unreachable.exp index 44e712f41be8b..892ea9ee2aac7 100644 --- a/third_party/move/move-compiler-v2/tests/unreachable-code-remover/break_unreachable.exp +++ b/third_party/move/move-compiler-v2/tests/unreachable-code-remover/break_unreachable.exp @@ -139,7 +139,7 @@ fun m::test() { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/unreachable-code-remover/conditional_loop_unreachable.exp b/third_party/move/move-compiler-v2/tests/unreachable-code-remover/conditional_loop_unreachable.exp index 2a1a4be89f909..a45b94fe9cb1f 100644 --- a/third_party/move/move-compiler-v2/tests/unreachable-code-remover/conditional_loop_unreachable.exp +++ b/third_party/move/move-compiler-v2/tests/unreachable-code-remover/conditional_loop_unreachable.exp @@ -124,7 +124,7 @@ fun m::test($t0: bool, $t1: bool) { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/unreachable-code-remover/inter_procedural_abort.exp b/third_party/move/move-compiler-v2/tests/unreachable-code-remover/inter_procedural_abort.exp index c9682f28384ef..e90c065e21856 100644 --- a/third_party/move/move-compiler-v2/tests/unreachable-code-remover/inter_procedural_abort.exp +++ b/third_party/move/move-compiler-v2/tests/unreachable-code-remover/inter_procedural_abort.exp @@ -92,7 +92,7 @@ fun m::test(): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/unreachable-code-remover/loop_unreachable.exp b/third_party/move/move-compiler-v2/tests/unreachable-code-remover/loop_unreachable.exp index 249ad2a47c0ba..42ff087f9a5dd 100644 --- a/third_party/move/move-compiler-v2/tests/unreachable-code-remover/loop_unreachable.exp +++ b/third_party/move/move-compiler-v2/tests/unreachable-code-remover/loop_unreachable.exp @@ -32,7 +32,7 @@ fun m::test(): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/unreachable-code-remover/return_after_abort.exp b/third_party/move/move-compiler-v2/tests/unreachable-code-remover/return_after_abort.exp index 487fe2041cf79..376bb7150616a 100644 --- a/third_party/move/move-compiler-v2/tests/unreachable-code-remover/return_after_abort.exp +++ b/third_party/move/move-compiler-v2/tests/unreachable-code-remover/return_after_abort.exp @@ -34,7 +34,7 @@ fun m::test(): u32 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/args_with_side_effects.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/args_with_side_effects.exp index 1c8ed4cb68489..cf4d88ea3302d 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/args_with_side_effects.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/args_with_side_effects.exp @@ -171,7 +171,7 @@ public fun m::test($t0: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/args_with_side_effects.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/args_with_side_effects.opt.exp index 1c8ed4cb68489..cf4d88ea3302d 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/args_with_side_effects.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/args_with_side_effects.opt.exp @@ -171,7 +171,7 @@ public fun m::test($t0: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/borrowed_var.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/borrowed_var.exp index 3fa0178005ebe..9f7662d4bae72 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/borrowed_var.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/borrowed_var.exp @@ -132,7 +132,7 @@ fun m::test() { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/borrowed_var.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/borrowed_var.opt.exp index 8504db0796684..6cd3d2983fbc4 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/borrowed_var.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/borrowed_var.opt.exp @@ -143,7 +143,7 @@ fun m::test() { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/branch_1.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/branch_1.exp index d916e03530cdb..9aa28b9c4aad4 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/branch_1.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/branch_1.exp @@ -135,7 +135,7 @@ fun m::foo($t0: bool, $t1: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/branch_1.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/branch_1.opt.exp index d916e03530cdb..9aa28b9c4aad4 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/branch_1.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/branch_1.opt.exp @@ -135,7 +135,7 @@ fun m::foo($t0: bool, $t1: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/branch_2.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/branch_2.exp index 0ca6e1586c9fd..e1d8505253014 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/branch_2.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/branch_2.exp @@ -101,7 +101,7 @@ fun m::test($t0: bool, $t1: u64, $t2: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/branch_2.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/branch_2.opt.exp index 0ca6e1586c9fd..e1d8505253014 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/branch_2.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/branch_2.opt.exp @@ -101,7 +101,7 @@ fun m::test($t0: bool, $t1: u64, $t2: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/branch_3.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/branch_3.exp index 62a6a6a09d546..f84163ce79344 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/branch_3.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/branch_3.exp @@ -100,7 +100,7 @@ fun m::test($t0: bool, $t1: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/branch_3.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/branch_3.opt.exp index 62a6a6a09d546..f84163ce79344 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/branch_3.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/branch_3.opt.exp @@ -100,7 +100,7 @@ fun m::test($t0: bool, $t1: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/branch_assigns_then_moves_then_assigns.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/branch_assigns_then_moves_then_assigns.exp index 4ecbc23e87caf..884f409c9a64a 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/branch_assigns_then_moves_then_assigns.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/branch_assigns_then_moves_then_assigns.exp @@ -223,7 +223,7 @@ fun _0::main() { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 script { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/branch_assigns_then_moves_then_assigns.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/branch_assigns_then_moves_then_assigns.opt.exp index 4ecbc23e87caf..884f409c9a64a 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/branch_assigns_then_moves_then_assigns.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/branch_assigns_then_moves_then_assigns.opt.exp @@ -223,7 +223,7 @@ fun _0::main() { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 script { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/bug_12068.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/bug_12068.exp index 9330b8cd46a7c..1043e42c470ed 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/bug_12068.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/bug_12068.exp @@ -215,7 +215,7 @@ fun m::main() { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 32.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/bug_12068.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/bug_12068.opt.exp index 9330b8cd46a7c..1043e42c470ed 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/bug_12068.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/bug_12068.opt.exp @@ -215,7 +215,7 @@ fun m::main() { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 32.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/call_1.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/call_1.exp index e7f5b6b27d6c2..039723aa6b3e0 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/call_1.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/call_1.exp @@ -162,7 +162,7 @@ fun m::test($t0: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/call_1.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/call_1.opt.exp index e7f5b6b27d6c2..039723aa6b3e0 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/call_1.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/call_1.opt.exp @@ -162,7 +162,7 @@ fun m::test($t0: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/call_2.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/call_2.exp index 49b17686bb69a..70ac5f53b5889 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/call_2.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/call_2.exp @@ -152,7 +152,7 @@ fun m::test($t0: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/call_2.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/call_2.opt.exp index 49b17686bb69a..70ac5f53b5889 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/call_2.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/call_2.opt.exp @@ -152,7 +152,7 @@ fun m::test($t0: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/cant_coalesce_1.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/cant_coalesce_1.exp index e00c0bf60093f..018b516ba3197 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/cant_coalesce_1.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/cant_coalesce_1.exp @@ -100,7 +100,7 @@ public fun m::test($t0: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/cant_coalesce_1.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/cant_coalesce_1.opt.exp index 3c13338dc2ac1..71c838a70677a 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/cant_coalesce_1.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/cant_coalesce_1.opt.exp @@ -89,7 +89,7 @@ public fun m::test($t0: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/cant_copy_propagate.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/cant_copy_propagate.exp index da6e6748d8cc2..e82f7f8a3a62a 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/cant_copy_propagate.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/cant_copy_propagate.exp @@ -192,7 +192,7 @@ fun m::test($t0: u64, $t1: bool) { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/cant_copy_propagate.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/cant_copy_propagate.opt.exp index da6e6748d8cc2..e82f7f8a3a62a 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/cant_copy_propagate.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/cant_copy_propagate.opt.exp @@ -192,7 +192,7 @@ fun m::test($t0: u64, $t1: bool) { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/conditional.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/conditional.exp index faacecd9a425d..275dc37f7b311 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/conditional.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/conditional.exp @@ -146,7 +146,7 @@ fun m::test($t0: bool): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/conditional.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/conditional.opt.exp index 2d117c956219d..4ef2e3697fdc4 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/conditional.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/conditional.opt.exp @@ -86,7 +86,7 @@ fun m::test($t0: bool): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/consume_1.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/consume_1.exp index aaa97c341d3f8..c0a739383d7df 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/consume_1.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/consume_1.exp @@ -297,7 +297,7 @@ public fun m::test4($t0: 0xc0ffee::m::W) { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { struct W has copy, drop { x: u64 diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/consume_1.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/consume_1.opt.exp index aaa97c341d3f8..c0a739383d7df 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/consume_1.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/consume_1.opt.exp @@ -297,7 +297,7 @@ public fun m::test4($t0: 0xc0ffee::m::W) { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { struct W has copy, drop { x: u64 diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/consume_2.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/consume_2.exp index 70c9af2424c4c..079a92befc295 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/consume_2.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/consume_2.exp @@ -181,7 +181,7 @@ public fun m::test2($t0: 0xc0ffee::m::W) { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { struct W has copy, drop { x: u64 diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/consume_2.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/consume_2.opt.exp index 70c9af2424c4c..079a92befc295 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/consume_2.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/consume_2.opt.exp @@ -181,7 +181,7 @@ public fun m::test2($t0: 0xc0ffee::m::W) { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { struct W has copy, drop { x: u64 diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/consume_3.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/consume_3.exp index c15338be6f7e7..7aa00231d3290 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/consume_3.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/consume_3.exp @@ -183,7 +183,7 @@ public fun m::test_($t0: 0xc0ffee::m::W) { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { struct W has copy, drop { a: u32 diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/consume_3.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/consume_3.opt.exp index c15338be6f7e7..7aa00231d3290 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/consume_3.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/consume_3.opt.exp @@ -183,7 +183,7 @@ public fun m::test_($t0: 0xc0ffee::m::W) { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { struct W has copy, drop { a: u32 diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/consume_4.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/consume_4.exp index e801617e44e8f..ecc651eabb1a7 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/consume_4.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/consume_4.exp @@ -205,7 +205,7 @@ public fun m::test_struct($t0: 0xc0ffee::m::W) { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { struct W has copy, drop { m: u32 diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/consume_4.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/consume_4.opt.exp index e801617e44e8f..ecc651eabb1a7 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/consume_4.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/consume_4.opt.exp @@ -205,7 +205,7 @@ public fun m::test_struct($t0: 0xc0ffee::m::W) { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { struct W has copy, drop { m: u32 diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/consume_5.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/consume_5.exp index 1c5c097d9e7c9..1024c35fdda17 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/consume_5.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/consume_5.exp @@ -351,7 +351,7 @@ public fun m::test_struct($t0: bool, $t1: 0xc0ffee::m::W) { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { struct W has copy, drop { x: u32 diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/consume_5.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/consume_5.opt.exp index 1c5c097d9e7c9..1024c35fdda17 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/consume_5.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/consume_5.opt.exp @@ -351,7 +351,7 @@ public fun m::test_struct($t0: bool, $t1: 0xc0ffee::m::W) { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { struct W has copy, drop { x: u32 diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/cyclic_assignment_without_use.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/cyclic_assignment_without_use.exp index e6a15a35a4e75..2879e00fc4003 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/cyclic_assignment_without_use.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/cyclic_assignment_without_use.exp @@ -64,7 +64,7 @@ public fun m::test($t0: u64) { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/cyclic_assignment_without_use.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/cyclic_assignment_without_use.opt.exp index e6a15a35a4e75..2879e00fc4003 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/cyclic_assignment_without_use.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/cyclic_assignment_without_use.opt.exp @@ -64,7 +64,7 @@ public fun m::test($t0: u64) { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/cyclic_assignments.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/cyclic_assignments.exp index 8dd3b318bd40c..04ac201cf07fd 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/cyclic_assignments.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/cyclic_assignments.exp @@ -78,7 +78,7 @@ fun m::cyclic($t0: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/cyclic_assignments.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/cyclic_assignments.opt.exp index 8dd3b318bd40c..04ac201cf07fd 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/cyclic_assignments.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/cyclic_assignments.opt.exp @@ -78,7 +78,7 @@ fun m::cyclic($t0: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/cyclic_dead_store.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/cyclic_dead_store.exp index eb2737329ba18..5511ff5cdf38d 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/cyclic_dead_store.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/cyclic_dead_store.exp @@ -311,7 +311,7 @@ public fun m::test2($t0: u64, $t1: u64) { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/cyclic_dead_store.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/cyclic_dead_store.opt.exp index eb2737329ba18..5511ff5cdf38d 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/cyclic_dead_store.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/cyclic_dead_store.opt.exp @@ -311,7 +311,7 @@ public fun m::test2($t0: u64, $t1: u64) { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/dead_assignment_1.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/dead_assignment_1.exp index 7dd05bb58a5b3..c283de390ca0d 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/dead_assignment_1.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/dead_assignment_1.exp @@ -71,7 +71,7 @@ fun m::dead($t0: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/dead_assignment_1.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/dead_assignment_1.opt.exp index 7dd05bb58a5b3..c283de390ca0d 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/dead_assignment_1.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/dead_assignment_1.opt.exp @@ -71,7 +71,7 @@ fun m::dead($t0: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/dead_assignment_2.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/dead_assignment_2.exp index 351ca18eaaa97..dc5c1d71c5fa6 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/dead_assignment_2.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/dead_assignment_2.exp @@ -50,7 +50,7 @@ fun m::dead($t0: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/dead_assignment_2.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/dead_assignment_2.opt.exp index 351ca18eaaa97..dc5c1d71c5fa6 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/dead_assignment_2.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/dead_assignment_2.opt.exp @@ -50,7 +50,7 @@ fun m::dead($t0: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/dead_assignment_3.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/dead_assignment_3.exp index dd07d11cc8dcf..f90e3d871d156 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/dead_assignment_3.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/dead_assignment_3.exp @@ -121,7 +121,7 @@ public fun m::test($t0: bool): u32 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/dead_assignment_3.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/dead_assignment_3.opt.exp index d0976a17825e2..d1e994e52d954 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/dead_assignment_3.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/dead_assignment_3.opt.exp @@ -110,7 +110,7 @@ public fun m::test($t0: bool): u32 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/dead_assignment_4.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/dead_assignment_4.exp index e5d53fcb4a3b2..59dc55044d55a 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/dead_assignment_4.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/dead_assignment_4.exp @@ -267,7 +267,7 @@ public fun m::test4($t0: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/dead_assignment_4.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/dead_assignment_4.opt.exp index 28520f67195bc..9ccca5d4a98e3 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/dead_assignment_4.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/dead_assignment_4.opt.exp @@ -233,7 +233,7 @@ public fun m::test4($t0: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/immut_refs_1.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/immut_refs_1.exp index 117db0d49b65d..ed6e9a8027210 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/immut_refs_1.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/immut_refs_1.exp @@ -83,7 +83,7 @@ fun m::test($t0: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/immut_refs_1.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/immut_refs_1.opt.exp index 117db0d49b65d..ed6e9a8027210 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/immut_refs_1.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/immut_refs_1.opt.exp @@ -83,7 +83,7 @@ fun m::test($t0: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/immut_refs_2.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/immut_refs_2.exp index 180cc62af2a3b..4d767b3acdfd2 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/immut_refs_2.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/immut_refs_2.exp @@ -116,7 +116,7 @@ fun m::test($t0: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/immut_refs_2.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/immut_refs_2.opt.exp index 180cc62af2a3b..4d767b3acdfd2 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/immut_refs_2.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/immut_refs_2.opt.exp @@ -116,7 +116,7 @@ fun m::test($t0: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/inlining1.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/inlining1.exp index 39832e3a20b40..2f3e7e20cac73 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/inlining1.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/inlining1.exp @@ -67,7 +67,7 @@ public fun Test::test(): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.Test { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/inlining1.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/inlining1.opt.exp index fdf29d55e2bf7..3b8e5d236dedb 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/inlining1.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/inlining1.opt.exp @@ -49,7 +49,7 @@ public fun Test::test(): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.Test { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/inlining1_typed.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/inlining1_typed.exp index 39832e3a20b40..2f3e7e20cac73 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/inlining1_typed.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/inlining1_typed.exp @@ -67,7 +67,7 @@ public fun Test::test(): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.Test { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/inlining1_typed.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/inlining1_typed.opt.exp index fdf29d55e2bf7..3b8e5d236dedb 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/inlining1_typed.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/inlining1_typed.opt.exp @@ -49,7 +49,7 @@ public fun Test::test(): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module 42.Test { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/intermingled_1.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/intermingled_1.exp index ab6be61985f7f..820445f101d4d 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/intermingled_1.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/intermingled_1.exp @@ -128,7 +128,7 @@ fun m::test(): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/intermingled_1.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/intermingled_1.opt.exp index c510bcdf05fe1..ba52516f4ec58 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/intermingled_1.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/intermingled_1.opt.exp @@ -105,7 +105,7 @@ fun m::test(): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/intermingled_2.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/intermingled_2.exp index f64720867bb98..28f27885ba9c9 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/intermingled_2.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/intermingled_2.exp @@ -138,7 +138,7 @@ fun m::test(): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/intermingled_2.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/intermingled_2.opt.exp index bc0c54da967d8..c6b47a1bd4173 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/intermingled_2.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/intermingled_2.opt.exp @@ -116,7 +116,7 @@ fun m::test(): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/intermingled_3.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/intermingled_3.exp index 50896e93a95a3..16d4c4d51862a 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/intermingled_3.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/intermingled_3.exp @@ -127,7 +127,7 @@ fun m::test(): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/intermingled_3.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/intermingled_3.opt.exp index 18270e0d1f323..8aecac891a811 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/intermingled_3.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/intermingled_3.opt.exp @@ -105,7 +105,7 @@ fun m::test(): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/loop_1.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/loop_1.exp index 41fb4d41dddfe..d390c313f9361 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/loop_1.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/loop_1.exp @@ -194,7 +194,7 @@ fun m::test($t0: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/loop_1.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/loop_1.opt.exp index 41fb4d41dddfe..d390c313f9361 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/loop_1.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/loop_1.opt.exp @@ -194,7 +194,7 @@ fun m::test($t0: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/loop_2.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/loop_2.exp index 07402b30cdb90..79557cdcc0bc2 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/loop_2.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/loop_2.exp @@ -194,7 +194,7 @@ fun m::test($t0: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/loop_2.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/loop_2.opt.exp index 07402b30cdb90..79557cdcc0bc2 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/loop_2.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/loop_2.opt.exp @@ -194,7 +194,7 @@ fun m::test($t0: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/multi_assigns.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/multi_assigns.exp index 23af347b74613..23928b3707ee8 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/multi_assigns.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/multi_assigns.exp @@ -80,7 +80,7 @@ fun m::test(): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/multi_assigns.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/multi_assigns.opt.exp index 23af347b74613..23928b3707ee8 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/multi_assigns.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/multi_assigns.opt.exp @@ -80,7 +80,7 @@ fun m::test(): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/mut_refs_1.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/mut_refs_1.exp index f821096a76a3e..fc0721f97ebdf 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/mut_refs_1.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/mut_refs_1.exp @@ -91,7 +91,7 @@ fun m::test($t0: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/mut_refs_1.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/mut_refs_1.opt.exp index f821096a76a3e..fc0721f97ebdf 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/mut_refs_1.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/mut_refs_1.opt.exp @@ -91,7 +91,7 @@ fun m::test($t0: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/mut_refs_2.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/mut_refs_2.exp index 1b05ff1d6aaec..bbc91150e8a27 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/mut_refs_2.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/mut_refs_2.exp @@ -139,7 +139,7 @@ fun m::test($t0: 0xc0ffee::m::S): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { struct S has copy, drop { a: u64, diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/mut_refs_2.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/mut_refs_2.opt.exp index 1b05ff1d6aaec..bbc91150e8a27 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/mut_refs_2.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/mut_refs_2.opt.exp @@ -139,7 +139,7 @@ fun m::test($t0: 0xc0ffee::m::S): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { struct S has copy, drop { a: u64, diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/non_overlapping_vars1.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/non_overlapping_vars1.exp index 02df37a49f25d..1950f688d5d3b 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/non_overlapping_vars1.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/non_overlapping_vars1.exp @@ -146,7 +146,7 @@ fun m::test() { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/non_overlapping_vars1.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/non_overlapping_vars1.opt.exp index 02df37a49f25d..1950f688d5d3b 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/non_overlapping_vars1.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/non_overlapping_vars1.opt.exp @@ -146,7 +146,7 @@ fun m::test() { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/non_overlapping_vars_diff_type.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/non_overlapping_vars_diff_type.exp index 84ab65613679c..59e9927e0fc3b 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/non_overlapping_vars_diff_type.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/non_overlapping_vars_diff_type.exp @@ -146,7 +146,7 @@ fun m::test() { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/non_overlapping_vars_diff_type.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/non_overlapping_vars_diff_type.opt.exp index 84ab65613679c..59e9927e0fc3b 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/non_overlapping_vars_diff_type.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/non_overlapping_vars_diff_type.opt.exp @@ -146,7 +146,7 @@ fun m::test() { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/overlapping_vars.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/overlapping_vars.exp index 100bf7dc94e2b..7c7343d42833b 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/overlapping_vars.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/overlapping_vars.exp @@ -108,7 +108,7 @@ fun m::test(): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/overlapping_vars.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/overlapping_vars.opt.exp index 7453d91177e4f..74f34176b39a8 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/overlapping_vars.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/overlapping_vars.opt.exp @@ -49,7 +49,7 @@ fun m::test(): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/reassigned_var.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/reassigned_var.exp index c562039b5f8e4..83ed3028842de 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/reassigned_var.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/reassigned_var.exp @@ -104,7 +104,7 @@ fun m::test(): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/reassigned_var.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/reassigned_var.opt.exp index de6e03454830c..c862a8614e6ac 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/reassigned_var.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/reassigned_var.opt.exp @@ -104,7 +104,7 @@ fun m::test(): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/self_assigns.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/self_assigns.exp index 58ba325ed068c..1265101037e93 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/self_assigns.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/self_assigns.exp @@ -447,7 +447,7 @@ public fun m::test4($t0: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/self_assigns.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/self_assigns.opt.exp index 58ba325ed068c..1265101037e93 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/self_assigns.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/self_assigns.opt.exp @@ -447,7 +447,7 @@ public fun m::test4($t0: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/seq_kills_1.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/seq_kills_1.exp index 5356fad8a5f8e..598c94372c3b7 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/seq_kills_1.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/seq_kills_1.exp @@ -140,7 +140,7 @@ fun m::test($t0: u64): bool { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/seq_kills_1.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/seq_kills_1.opt.exp index 5356fad8a5f8e..598c94372c3b7 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/seq_kills_1.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/seq_kills_1.opt.exp @@ -140,7 +140,7 @@ fun m::test($t0: u64): bool { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/seq_kills_2.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/seq_kills_2.exp index 3276987a3f816..01550498bd5b4 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/seq_kills_2.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/seq_kills_2.exp @@ -140,7 +140,7 @@ fun m::test($t0: u64): bool { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/seq_kills_2.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/seq_kills_2.opt.exp index 3276987a3f816..01550498bd5b4 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/seq_kills_2.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/seq_kills_2.opt.exp @@ -140,7 +140,7 @@ fun m::test($t0: u64): bool { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/sequential_assign_struct.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/sequential_assign_struct.exp index 14b304721a80a..6f00d7f3720e6 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/sequential_assign_struct.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/sequential_assign_struct.exp @@ -104,7 +104,7 @@ fun m::sequential($t0: 0xc0ffee::m::Foo): 0xc0ffee::m::Foo { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { struct Foo has copy { a: u64, diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/sequential_assign_struct.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/sequential_assign_struct.opt.exp index 14b304721a80a..6f00d7f3720e6 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/sequential_assign_struct.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/sequential_assign_struct.opt.exp @@ -104,7 +104,7 @@ fun m::sequential($t0: 0xc0ffee::m::Foo): 0xc0ffee::m::Foo { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { struct Foo has copy { a: u64, diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/simple_sequential_assign.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/simple_sequential_assign.exp index 212171e0178cf..7d0f64a2a3ebd 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/simple_sequential_assign.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/simple_sequential_assign.exp @@ -104,7 +104,7 @@ fun m::sequential($t0: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/simple_sequential_assign.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/simple_sequential_assign.opt.exp index 212171e0178cf..7d0f64a2a3ebd 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/simple_sequential_assign.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/simple_sequential_assign.opt.exp @@ -104,7 +104,7 @@ fun m::sequential($t0: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/straight_line_kills.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/straight_line_kills.exp index ebc4a657f613c..952adc3ca50e8 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/straight_line_kills.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/straight_line_kills.exp @@ -129,7 +129,7 @@ fun m::copy_kill($t0: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/straight_line_kills.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/straight_line_kills.opt.exp index ebc4a657f613c..952adc3ca50e8 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/straight_line_kills.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/straight_line_kills.opt.exp @@ -129,7 +129,7 @@ fun m::copy_kill($t0: u64): u64 { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/swap.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/swap.exp index bcdd09b79ebc9..b546a583a4056 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/swap.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/swap.exp @@ -84,7 +84,7 @@ public fun m::test($t0: u64, $t1: u64): (u64, u64) { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/swap.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/swap.opt.exp index bcdd09b79ebc9..b546a583a4056 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/swap.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/swap.opt.exp @@ -84,7 +84,7 @@ public fun m::test($t0: u64, $t1: u64): (u64, u64) { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/swap_in_a_loop.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/swap_in_a_loop.exp index b25d39a45b007..ee572dd1f670e 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/swap_in_a_loop.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/swap_in_a_loop.exp @@ -213,7 +213,7 @@ public fun m::test($t0: u64, $t1: u64): (u64, u64) { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/swap_in_a_loop.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/swap_in_a_loop.opt.exp index b25d39a45b007..ee572dd1f670e 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/swap_in_a_loop.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/swap_in_a_loop.opt.exp @@ -213,7 +213,7 @@ public fun m::test($t0: u64, $t1: u64): (u64, u64) { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/unused_add.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/unused_add.exp index e408f58495292..722471aa28a29 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/unused_add.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/unused_add.exp @@ -99,7 +99,7 @@ public fun m::test() { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/tests/variable-coalescing/unused_add.opt.exp b/third_party/move/move-compiler-v2/tests/variable-coalescing/unused_add.opt.exp index e68cdb2000a38..db68fa347eb26 100644 --- a/third_party/move/move-compiler-v2/tests/variable-coalescing/unused_add.opt.exp +++ b/third_party/move/move-compiler-v2/tests/variable-coalescing/unused_add.opt.exp @@ -44,7 +44,7 @@ public fun m::test() { ============ disassembled file-format ================== -// Move bytecode v7 +// Move bytecode v8 module c0ffee.m { diff --git a/third_party/move/move-compiler-v2/transactional-tests/tests/misc/bug_14243_stack_size.baseline.exp b/third_party/move/move-compiler-v2/transactional-tests/tests/misc/bug_14243_stack_size.baseline.exp index 5644195ea665d..2bb6b709d8fa0 100644 --- a/third_party/move/move-compiler-v2/transactional-tests/tests/misc/bug_14243_stack_size.baseline.exp +++ b/third_party/move/move-compiler-v2/transactional-tests/tests/misc/bug_14243_stack_size.baseline.exp @@ -1,32 +1,33 @@ -processed 1 task - -task 0 'print-bytecode'. lines 2-14: -// Move bytecode v7 -module c0ffee.m { - - -id_mut(Arg0: &mut Ty0): &mut Ty0 /* def_idx: 0 */ { -B0: - 0: MoveLoc[0](Arg0: &mut Ty0) - 1: Ret -} -t0() /* def_idx: 1 */ { -L0: loc0: u64 -L1: loc1: &mut u64 -B0: - 0: LdU64(0) - 1: StLoc[0](loc0: u64) - 2: MutBorrowLoc[0](loc0: u64) - 3: StLoc[1](loc1: &mut u64) - 4: CopyLoc[1](loc1: &mut u64) - 5: Call id_mut(&mut u64): &mut u64 - 6: ReadRef - 7: Pop - 8: MoveLoc[1](loc1: &mut u64) - 9: ReadRef - 10: Pop - 11: Ret -} -} - -==> Compiler v2 delivered same results! +comparison between v1 and v2 failed: += processed 1 task += += task 0 'print-bytecode'. lines 2-14: +- // Move bytecode v7 ++ // Move bytecode v8 += module c0ffee.m { += += += id_mut(Arg0: &mut Ty0): &mut Ty0 /* def_idx: 0 */ { += B0: += 0: MoveLoc[0](Arg0: &mut Ty0) += 1: Ret += } += t0() /* def_idx: 1 */ { += L0: loc0: u64 += L1: loc1: &mut u64 += B0: += 0: LdU64(0) += 1: StLoc[0](loc0: u64) += 2: MutBorrowLoc[0](loc0: u64) += 3: StLoc[1](loc1: &mut u64) += 4: CopyLoc[1](loc1: &mut u64) += 5: Call id_mut(&mut u64): &mut u64 += 6: ReadRef += 7: Pop += 8: MoveLoc[1](loc1: &mut u64) += 9: ReadRef += 10: Pop += 11: Ret += } += } += diff --git a/third_party/move/move-compiler-v2/transactional-tests/tests/misc/bug_14243_stack_size.no-optimize.exp b/third_party/move/move-compiler-v2/transactional-tests/tests/misc/bug_14243_stack_size.no-optimize.exp index 43fa023709801..7e5d9238b3a19 100644 --- a/third_party/move/move-compiler-v2/transactional-tests/tests/misc/bug_14243_stack_size.no-optimize.exp +++ b/third_party/move/move-compiler-v2/transactional-tests/tests/misc/bug_14243_stack_size.no-optimize.exp @@ -2,7 +2,8 @@ comparison between v1 and v2 failed: = processed 1 task = = task 0 'print-bytecode'. lines 2-14: -= // Move bytecode v7 +- // Move bytecode v7 ++ // Move bytecode v8 = module c0ffee.m { = = diff --git a/third_party/move/move-compiler-v2/transactional-tests/tests/misc/bug_14243_stack_size.optimize-no-simplify.exp b/third_party/move/move-compiler-v2/transactional-tests/tests/misc/bug_14243_stack_size.optimize-no-simplify.exp index 5644195ea665d..2bb6b709d8fa0 100644 --- a/third_party/move/move-compiler-v2/transactional-tests/tests/misc/bug_14243_stack_size.optimize-no-simplify.exp +++ b/third_party/move/move-compiler-v2/transactional-tests/tests/misc/bug_14243_stack_size.optimize-no-simplify.exp @@ -1,32 +1,33 @@ -processed 1 task - -task 0 'print-bytecode'. lines 2-14: -// Move bytecode v7 -module c0ffee.m { - - -id_mut(Arg0: &mut Ty0): &mut Ty0 /* def_idx: 0 */ { -B0: - 0: MoveLoc[0](Arg0: &mut Ty0) - 1: Ret -} -t0() /* def_idx: 1 */ { -L0: loc0: u64 -L1: loc1: &mut u64 -B0: - 0: LdU64(0) - 1: StLoc[0](loc0: u64) - 2: MutBorrowLoc[0](loc0: u64) - 3: StLoc[1](loc1: &mut u64) - 4: CopyLoc[1](loc1: &mut u64) - 5: Call id_mut(&mut u64): &mut u64 - 6: ReadRef - 7: Pop - 8: MoveLoc[1](loc1: &mut u64) - 9: ReadRef - 10: Pop - 11: Ret -} -} - -==> Compiler v2 delivered same results! +comparison between v1 and v2 failed: += processed 1 task += += task 0 'print-bytecode'. lines 2-14: +- // Move bytecode v7 ++ // Move bytecode v8 += module c0ffee.m { += += += id_mut(Arg0: &mut Ty0): &mut Ty0 /* def_idx: 0 */ { += B0: += 0: MoveLoc[0](Arg0: &mut Ty0) += 1: Ret += } += t0() /* def_idx: 1 */ { += L0: loc0: u64 += L1: loc1: &mut u64 += B0: += 0: LdU64(0) += 1: StLoc[0](loc0: u64) += 2: MutBorrowLoc[0](loc0: u64) += 3: StLoc[1](loc1: &mut u64) += 4: CopyLoc[1](loc1: &mut u64) += 5: Call id_mut(&mut u64): &mut u64 += 6: ReadRef += 7: Pop += 8: MoveLoc[1](loc1: &mut u64) += 9: ReadRef += 10: Pop += 11: Ret += } += } += diff --git a/third_party/move/move-compiler-v2/transactional-tests/tests/misc/bug_14243_stack_size.optimize.exp b/third_party/move/move-compiler-v2/transactional-tests/tests/misc/bug_14243_stack_size.optimize.exp index 5644195ea665d..2bb6b709d8fa0 100644 --- a/third_party/move/move-compiler-v2/transactional-tests/tests/misc/bug_14243_stack_size.optimize.exp +++ b/third_party/move/move-compiler-v2/transactional-tests/tests/misc/bug_14243_stack_size.optimize.exp @@ -1,32 +1,33 @@ -processed 1 task - -task 0 'print-bytecode'. lines 2-14: -// Move bytecode v7 -module c0ffee.m { - - -id_mut(Arg0: &mut Ty0): &mut Ty0 /* def_idx: 0 */ { -B0: - 0: MoveLoc[0](Arg0: &mut Ty0) - 1: Ret -} -t0() /* def_idx: 1 */ { -L0: loc0: u64 -L1: loc1: &mut u64 -B0: - 0: LdU64(0) - 1: StLoc[0](loc0: u64) - 2: MutBorrowLoc[0](loc0: u64) - 3: StLoc[1](loc1: &mut u64) - 4: CopyLoc[1](loc1: &mut u64) - 5: Call id_mut(&mut u64): &mut u64 - 6: ReadRef - 7: Pop - 8: MoveLoc[1](loc1: &mut u64) - 9: ReadRef - 10: Pop - 11: Ret -} -} - -==> Compiler v2 delivered same results! +comparison between v1 and v2 failed: += processed 1 task += += task 0 'print-bytecode'. lines 2-14: +- // Move bytecode v7 ++ // Move bytecode v8 += module c0ffee.m { += += += id_mut(Arg0: &mut Ty0): &mut Ty0 /* def_idx: 0 */ { += B0: += 0: MoveLoc[0](Arg0: &mut Ty0) += 1: Ret += } += t0() /* def_idx: 1 */ { += L0: loc0: u64 += L1: loc1: &mut u64 += B0: += 0: LdU64(0) += 1: StLoc[0](loc0: u64) += 2: MutBorrowLoc[0](loc0: u64) += 3: StLoc[1](loc1: &mut u64) += 4: CopyLoc[1](loc1: &mut u64) += 5: Call id_mut(&mut u64): &mut u64 += 6: ReadRef += 7: Pop += 8: MoveLoc[1](loc1: &mut u64) += 9: ReadRef += 10: Pop += 11: Ret += } += } += diff --git a/third_party/move/move-compiler-v2/transactional-tests/tests/no-v1-comparison/print_bytecode.baseline.exp b/third_party/move/move-compiler-v2/transactional-tests/tests/no-v1-comparison/print_bytecode.baseline.exp index d9856e46d5951..5d4ffc42732f9 100644 --- a/third_party/move/move-compiler-v2/transactional-tests/tests/no-v1-comparison/print_bytecode.baseline.exp +++ b/third_party/move/move-compiler-v2/transactional-tests/tests/no-v1-comparison/print_bytecode.baseline.exp @@ -1,7 +1,7 @@ processed 2 tasks task 0 'print-bytecode'. lines 1-4: -// Move bytecode v7 +// Move bytecode v8 script { @@ -12,7 +12,7 @@ B0: } task 1 'print-bytecode'. lines 6-11: -// Move bytecode v7 +// Move bytecode v8 module 3.N { diff --git a/third_party/move/move-compiler-v2/transactional-tests/tests/no-v1-comparison/print_bytecode.no-optimize.exp b/third_party/move/move-compiler-v2/transactional-tests/tests/no-v1-comparison/print_bytecode.no-optimize.exp index e2ba9a32d342a..ba1ffca22e1f9 100644 --- a/third_party/move/move-compiler-v2/transactional-tests/tests/no-v1-comparison/print_bytecode.no-optimize.exp +++ b/third_party/move/move-compiler-v2/transactional-tests/tests/no-v1-comparison/print_bytecode.no-optimize.exp @@ -1,7 +1,7 @@ processed 2 tasks task 0 'print-bytecode'. lines 1-4: -// Move bytecode v7 +// Move bytecode v8 script { @@ -12,7 +12,7 @@ B0: } task 1 'print-bytecode'. lines 6-11: -// Move bytecode v7 +// Move bytecode v8 module 3.N { diff --git a/third_party/move/move-compiler-v2/transactional-tests/tests/no-v1-comparison/print_bytecode.optimize-no-simplify.exp b/third_party/move/move-compiler-v2/transactional-tests/tests/no-v1-comparison/print_bytecode.optimize-no-simplify.exp index d9856e46d5951..5d4ffc42732f9 100644 --- a/third_party/move/move-compiler-v2/transactional-tests/tests/no-v1-comparison/print_bytecode.optimize-no-simplify.exp +++ b/third_party/move/move-compiler-v2/transactional-tests/tests/no-v1-comparison/print_bytecode.optimize-no-simplify.exp @@ -1,7 +1,7 @@ processed 2 tasks task 0 'print-bytecode'. lines 1-4: -// Move bytecode v7 +// Move bytecode v8 script { @@ -12,7 +12,7 @@ B0: } task 1 'print-bytecode'. lines 6-11: -// Move bytecode v7 +// Move bytecode v8 module 3.N { diff --git a/third_party/move/move-compiler-v2/transactional-tests/tests/no-v1-comparison/print_bytecode.optimize.exp b/third_party/move/move-compiler-v2/transactional-tests/tests/no-v1-comparison/print_bytecode.optimize.exp index d9856e46d5951..5d4ffc42732f9 100644 --- a/third_party/move/move-compiler-v2/transactional-tests/tests/no-v1-comparison/print_bytecode.optimize.exp +++ b/third_party/move/move-compiler-v2/transactional-tests/tests/no-v1-comparison/print_bytecode.optimize.exp @@ -1,7 +1,7 @@ processed 2 tasks task 0 'print-bytecode'. lines 1-4: -// Move bytecode v7 +// Move bytecode v8 script { @@ -12,7 +12,7 @@ B0: } task 1 'print-bytecode'. lines 6-11: -// Move bytecode v7 +// Move bytecode v8 module 3.N { diff --git a/third_party/move/testing-infra/transactional-test-runner/tests/vm_test_harness/print_move_bytecode.exp b/third_party/move/testing-infra/transactional-test-runner/tests/vm_test_harness/print_move_bytecode.exp index d9856e46d5951..5d4ffc42732f9 100644 --- a/third_party/move/testing-infra/transactional-test-runner/tests/vm_test_harness/print_move_bytecode.exp +++ b/third_party/move/testing-infra/transactional-test-runner/tests/vm_test_harness/print_move_bytecode.exp @@ -1,7 +1,7 @@ processed 2 tasks task 0 'print-bytecode'. lines 1-4: -// Move bytecode v7 +// Move bytecode v8 script { @@ -12,7 +12,7 @@ B0: } task 1 'print-bytecode'. lines 6-11: -// Move bytecode v7 +// Move bytecode v8 module 3.N { diff --git a/third_party/move/tools/move-cli/tests/build_tests/build_with_warnings/args.exp b/third_party/move/tools/move-cli/tests/build_tests/build_with_warnings/args.exp index ad68bb1cf49e7..e1ef0284b2edd 100644 --- a/third_party/move/tools/move-cli/tests/build_tests/build_with_warnings/args.exp +++ b/third_party/move/tools/move-cli/tests/build_tests/build_with_warnings/args.exp @@ -7,7 +7,7 @@ warning: Unused parameter `x`. Consider removing or prefixing with an underscore │ ^ Command `disassemble --package Test --name m`: -// Move bytecode v7 +// Move bytecode v8 module 42.m { diff --git a/third_party/move/tools/move-cli/tests/build_tests/disassemble_script/args.exp b/third_party/move/tools/move-cli/tests/build_tests/disassemble_script/args.exp index 86cf2ad5118a2..0b3c9ca4cadee 100644 --- a/third_party/move/tools/move-cli/tests/build_tests/disassemble_script/args.exp +++ b/third_party/move/tools/move-cli/tests/build_tests/disassemble_script/args.exp @@ -1,5 +1,5 @@ Command `disassemble --name main`: -// Move bytecode v7 +// Move bytecode v8 script { diff --git a/types/src/on_chain_config/aptos_features.rs b/types/src/on_chain_config/aptos_features.rs index 0bd27f22f799a..cb2668ee3e72f 100644 --- a/types/src/on_chain_config/aptos_features.rs +++ b/types/src/on_chain_config/aptos_features.rs @@ -118,6 +118,8 @@ pub enum FeatureFlag { /// AIP-103 (https://github.com/aptos-foundation/AIPs/blob/main/aips/aip-103.md) PERMISSIONED_SIGNER = 84, ACCOUNT_ABSTRACTION = 85, + /// Enables bytecode version v8 + VM_BINARY_FORMAT_V8 = 86, } impl FeatureFlag { @@ -372,7 +374,9 @@ impl Features { } pub fn get_max_binary_format_version(&self) -> u32 { - if self.is_enabled(FeatureFlag::VM_BINARY_FORMAT_V7) { + if self.is_enabled(FeatureFlag::VM_BINARY_FORMAT_V8) { + file_format_common::VERSION_8 + } else if self.is_enabled(FeatureFlag::VM_BINARY_FORMAT_V7) { file_format_common::VERSION_7 } else if self.is_enabled(FeatureFlag::VM_BINARY_FORMAT_V6) { file_format_common::VERSION_6 @@ -420,13 +424,13 @@ mod test { #[test] fn test_min_max_binary_format() { // Ensure querying max binary format implementation is correct and checks - // versions 5 to 7. + // versions 5 to 8. assert_eq!( file_format_common::VERSION_5, file_format_common::VERSION_MIN ); assert_eq!( - file_format_common::VERSION_7, + file_format_common::VERSION_8, file_format_common::VERSION_MAX ); } diff --git a/vm-validator/src/vm_validator.rs b/vm-validator/src/vm_validator.rs index 6babfb87b07e8..e73f17661852a 100644 --- a/vm-validator/src/vm_validator.rs +++ b/vm-validator/src/vm_validator.rs @@ -371,9 +371,12 @@ mod tests { #[test] fn test_module_cache_consistency() { // Have 3 modules in the state. - let a = empty_module_with_dependencies_and_friends("a", vec![], vec![]); - let b = empty_module_with_dependencies_and_friends("b", vec![], vec![]); - let c = empty_module_with_dependencies_and_friends("c", vec![], vec![]); + let a = + empty_module_with_dependencies_and_friends("a", vec![], vec![]).set_default_version(); + let b = + empty_module_with_dependencies_and_friends("b", vec![], vec![]).set_default_version(); + let c = + empty_module_with_dependencies_and_friends("c", vec![], vec![]).set_default_version(); let state_view = MockStateView::new(HashMap::from([ ( @@ -419,8 +422,10 @@ mod tests { assert_eq!(state.module_cache.get_module_version(&c.self_id()), Some(0)); // Change module "a" by adding dependencies and also add a new module "d". - let d = empty_module_with_dependencies_and_friends("d", vec![], vec![]); - let a_new = empty_module_with_dependencies_and_friends("a", vec!["b", "c"], vec![]); + let d = + empty_module_with_dependencies_and_friends("d", vec![], vec![]).set_default_version(); + let a_new = empty_module_with_dependencies_and_friends("a", vec!["b", "c"], vec![]) + .set_default_version(); assert_ne!(&a, &a_new); let new_state_view = MockStateView::new(HashMap::from([