[compiler-v2] Adding full compiler pipeline to many test configs (#12831

)

* Adding full compiler pass to no-simplifier tests

* Adding full compiler pass for inline-et-al

* Adding full compiler pipeline to "simplifier-full"

* Adding full compiler pipeline to "ability-check".

* Adding full compiler pipeline to "unreachable-code" tests

* Removing turning off ability check from unreachable code.

* Adding full compiler pipeline to "unit-test-on" tests.

* Adding entire compiler pipeline to "unit-test-off".

* Adding full compiler pipeline to "skip-attribute-checks".

third_party/move/move-compiler-v2/tests/ability-check/drop_on_abort.exp

@@ -0,0 +1,2 @@
+
+============ bytecode verification succeeded ========

third_party/move/move-compiler-v2/tests/ability-check/resources.exp

@@ -0,0 +1,2 @@
+
+============ bytecode verification succeeded ========

third_party/move/move-compiler-v2/tests/ability-check/unused_var.exp

@@ -5,3 +5,6 @@ warning: Unused parameter `x`. Consider removing or prefixing with an underscore
   │
 6 │     fun unused_arg<T: drop>(x: T) {
   │                             ^
+
+
+============ bytecode verification succeeded ========

third_party/move/move-compiler-v2/tests/checking/inlining/acquires_error_msg.exp

@@ -16,3 +16,6 @@ module 0x42::test {
         Tuple()
     }
 } // end 0x42::test
+
+
+============ bytecode verification succeeded ========

third_party/move/move-compiler-v2/tests/checking/inlining/bug_11112.exp

@@ -34,3 +34,6 @@ module 0xcafe::vectors {
         }
     }
 } // end 0xcafe::vectors
+
+
+============ bytecode verification succeeded ========

third_party/move/move-compiler-v2/tests/checking/inlining/bug_11223.exp

@@ -17,3 +17,6 @@ module 0xcafe::vectors {
         }
     }
 } // end 0xcafe::vectors
+
+
+============ bytecode verification succeeded ========

third_party/move/move-compiler-v2/tests/checking/inlining/bug_9717.exp

@@ -130,3 +130,6 @@ module 0xcafe::vectors {
         Tuple()
     }
 } // end 0xcafe::vectors
+
+
+============ bytecode verification succeeded ========

third_party/move/move-compiler-v2/tests/checking/inlining/bug_9717_looponly.exp

@@ -38,3 +38,6 @@ module 0xcafe::vectors {
         }
     }
 } // end 0xcafe::vectors
+
+
+============ bytecode verification succeeded ========

third_party/move/move-compiler-v2/tests/checking/inlining/deep_exp.exp

@@ -4,3 +4,6 @@ module 0x42::Test {
         625
     }
 } // end 0x42::Test
+
+
+============ bytecode verification succeeded ========

third_party/move/move-compiler-v2/tests/checking/inlining/double_nesting.exp

@@ -15,3 +15,6 @@ module 0x42::test {
         Tuple()
     }
 } // end 0x42::test
+
+
+============ bytecode verification succeeded ========

third_party/move/move-compiler-v2/tests/checking/inlining/inline_accessing_constant.exp

@@ -6,3 +6,6 @@ module 0xc0ffee::dummy2 {
         1
     }
 } // end 0xc0ffee::dummy2
+
+
+============ bytecode verification succeeded ========

third_party/move/move-compiler-v2/tests/checking/inlining/lambda.exp

@@ -43,3 +43,6 @@ module 0x42::LambdaTest {
         Tuple()
     }
 } // end 0x42::LambdaTest
+
+
+============ bytecode verification succeeded ========

third_party/move/move-compiler-v2/tests/checking/inlining/lambda_cast.exp

@@ -58,3 +58,6 @@ module 0x12391283::M {
         }
     }
 } // end 0x12391283::M
+
+
+============ bytecode verification succeeded ========

third_party/move/move-compiler-v2/tests/checking/inlining/nested_mul.exp

@@ -12,3 +12,6 @@ module 0x42::test {
         Tuple()
     }
 } // end 0x42::test
+
+
+============ bytecode verification succeeded ========

third_party/move/move-compiler-v2/tests/checking/inlining/order_sensitive.exp

@@ -40,3 +40,6 @@ module 0x42::OrderSensitiveTest3 {
         }))
     }
 } // end 0x42::OrderSensitiveTest3
+
+
+============ bytecode verification succeeded ========

third_party/move/move-compiler-v2/tests/checking/inlining/recursive_nesting.exp

@@ -20,3 +20,6 @@ module 0x42::test {
         Tuple()
     }
 } // end 0x42::test
+
+
+============ bytecode verification succeeded ========

third_party/move/move-compiler-v2/tests/checking/inlining/resources_invalid.exp

@@ -18,3 +18,11 @@ module 0x42::token {
         })
     }
 } // end 0x42::token
+
+
+Diagnostics:
+bug: struct not defined
+   ┌─ tests/checking/inlining/resources_invalid.move:17:16
+   │
+17 │     public fun get_value(ref: &obj::ReaderRef<Token>): u64 acquires Token {
+   │                ^^^^^^^^^

third_party/move/move-compiler-v2/tests/checking/inlining/shadowing_unused.exp

@@ -26,3 +26,6 @@ module 0x42::Test {
         }
     }
 } // end 0x42::Test
+
+
+============ bytecode verification succeeded ========

third_party/move/move-compiler-v2/tests/checking/inlining/shadowing_unused_nodecl.exp

@@ -34,3 +34,6 @@ module 0x42::Test {
         }
     }
 } // end 0x42::Test
+
+
+============ bytecode verification succeeded ========

third_party/move/move-compiler-v2/tests/checking/inlining/spec_inlining.exp

@@ -48,3 +48,6 @@ module 0x42::Test {
         }
     }
 } // end 0x42::Test
+
+
+============ bytecode verification succeeded ========

third_party/move/move-compiler-v2/tests/checking/inlining/temp_shadowing.exp

@@ -41,3 +41,6 @@ module 0x42::Test {
         }
     }
 } // end 0x42::Test
+
+
+============ bytecode verification succeeded ========

third_party/move/move-compiler-v2/tests/checking/inlining/test_12670.exp

@@ -29,3 +29,6 @@ module 0x1::Test {
         }
     }
 } // end 0x1::Test
+
+
+============ bytecode verification succeeded ========

third_party/move/move-compiler-v2/tests/checking/inlining/unused_inline.exp

@@ -20,3 +20,6 @@ module 0xc0ffee::m {
         }
     }
 } // end 0xc0ffee::m
+
+
+============ bytecode verification succeeded ========

third_party/move/move-compiler-v2/tests/folding/constant_values.exp

@@ -19,3 +19,6 @@ module 0x8675309::M {
         1
     }
 } // end 0x8675309::M
+
+
+============ bytecode verification succeeded ========

third_party/move/move-compiler-v2/tests/folding/non_constant_empty_vec.exp

@@ -22,3 +22,6 @@ module 0x42::M {
         Vector<vector<M::S>>()
     }
 } // end 0x42::M
+
+
+============ bytecode verification succeeded ========

third_party/move/move-compiler-v2/tests/no-simplifier/constant_folding_ristretto.exp

@@ -15,3 +15,6 @@ module 0xcafe::Ristretto {
         }
     }
 } // end 0xcafe::Ristretto
+
+
+============ bytecode verification succeeded ========

third_party/move/move-compiler-v2/tests/no-simplifier/moved_var_not_simplified3.exp

@@ -13,3 +13,6 @@ module 0xc0ffee::m {
         }
     }
 } // end 0xc0ffee::m
+
+
+============ bytecode verification succeeded ========

third_party/move/move-compiler-v2/tests/simplifier-elimination/always_false_branch.exp

@@ -13,3 +13,6 @@ module 0xc0ffee::m {
         0
     }
 } // end 0xc0ffee::m
+
+
+============ bytecode verification succeeded ========

third_party/move/move-compiler-v2/tests/simplifier-elimination/binary_add.exp

@@ -63,3 +63,6 @@ module 0x8675309::M {
         }
     }
 } // end 0x8675309::M
+
+
+============ bytecode verification succeeded ========

third_party/move/move-compiler-v2/tests/simplifier-elimination/bind_with_type_annot.exp

@@ -36,3 +36,6 @@ module 0x8675309::M {
         }
     }
 } // end 0x8675309::M
+
+
+============ bytecode verification succeeded ========

third_party/move/move-compiler-v2/tests/simplifier-elimination/constant_all_valid_types.exp

@@ -71,3 +71,6 @@ module <SELF>_0 {
         Tuple()
     }
 } // end <SELF>_0
+
+
+============ bytecode verification succeeded ========

third_party/move/move-compiler-v2/tests/simplifier-elimination/double_nesting.exp

@@ -15,3 +15,6 @@ module 0x42::test {
         Tuple()
     }
 } // end 0x42::test
+
+
+============ bytecode verification succeeded ========

third_party/move/move-compiler-v2/tests/simplifier-elimination/else_assigns_if_doesnt.exp

@@ -23,3 +23,11 @@ module <SELF>_0 {
         }
     }
 } // end <SELF>_0
+
+
+Diagnostics:
+error: use of possibly unassigned local `y`
+   ┌─ tests/simplifier-elimination/else_assigns_if_doesnt.move:11:13
+   │
+11 │     assert!(y == 0, 42);
+   │             ^^^^^^

third_party/move/move-compiler-v2/tests/simplifier-elimination/if_assigns_else_doesnt.exp

@@ -23,3 +23,11 @@ module <SELF>_0 {
         }
     }
 } // end <SELF>_0
+
+
+Diagnostics:
+error: use of possibly unassigned local `x`
+   ┌─ tests/simplifier-elimination/if_assigns_else_doesnt.move:11:13
+   │
+11 │     assert!(x == 42, 42);
+   │             ^^^^^^^

third_party/move/move-compiler-v2/tests/simplifier-elimination/if_assigns_no_else.exp

@@ -24,3 +24,6 @@ module <SELF>_0 {
         }
     }
 } // end <SELF>_0
+
+
+============ bytecode verification succeeded ========

third_party/move/move-compiler-v2/tests/simplifier-elimination/if_condition.exp

@@ -53,3 +53,6 @@ module 0x8675309::M {
         Tuple()
     }
 } // end 0x8675309::M
+
+
+============ bytecode verification succeeded ========

third_party/move/move-compiler-v2/tests/simplifier-elimination/recursive_nesting.exp

@@ -20,3 +20,6 @@ module 0x42::test {
         Tuple()
     }
 } // end 0x42::test
+
+
+============ bytecode verification succeeded ========

third_party/move/move-compiler-v2/tests/simplifier-elimination/use_before_assign.exp

@@ -18,3 +18,11 @@ module <SELF>_0 {
         }
     }
 } // end <SELF>_0
+
+
+Diagnostics:
+error: use of unassigned local `x`
+  ┌─ tests/simplifier-elimination/use_before_assign.move:4:13
+  │
+4 │     let y = x;
+  │             ^

third_party/move/move-compiler-v2/tests/simplifier-elimination/use_before_assign_loop.exp

@@ -63,3 +63,35 @@ module 0x8675309::M {
         }
     }
 } // end 0x8675309::M
+
+
+Diagnostics:
+error: use of possibly unassigned local `x`
+  ┌─ tests/simplifier-elimination/use_before_assign_loop.move:4:24
+  │
+4 │         loop { let y = move x + 1; x = 0; y; }
+  │                        ^^^^^^
+
+error: use of possibly unassigned local `x`
+  ┌─ tests/simplifier-elimination/use_before_assign_loop.move:9:24
+  │
+9 │         loop { let y = x + 1; if (cond) { continue }; x = 0; y; }
+  │                        ^^^^^
+
+error: use of possibly unassigned local `x`
+   ┌─ tests/simplifier-elimination/use_before_assign_loop.move:14:24
+   │
+14 │         loop { let y = &x; _ = move y; x = 0 }
+   │                        ^^
+
+error: use of unassigned local `x`
+   ┌─ tests/simplifier-elimination/use_before_assign_loop.move:19:24
+   │
+19 │         loop { let y = &x; _ = move y; if (cond) { x = 0 }; break };
+   │                        ^^
+
+error: use of possibly unassigned local `x`
+   ┌─ tests/simplifier-elimination/use_before_assign_loop.move:20:9
+   │
+20 │         x;
+   │         ^

third_party/move/move-compiler-v2/tests/simplifier-elimination/use_before_assign_while.exp

@@ -79,6 +79,32 @@ module 0x8675309::M {
 } // end 0x8675309::M
 
 
+Diagnostics:
+error: use of possibly unassigned local `x`
+  ┌─ tests/simplifier-elimination/use_before_assign_while.move:4:32
+  │
+4 │         while (cond) { let y = move x + 1; x = 0; y; }
+  │                                ^^^^^^
+
+error: use of possibly unassigned local `x`
+  ┌─ tests/simplifier-elimination/use_before_assign_while.move:9:32
+  │
+9 │         while (cond) { let y = move x + 1; if (cond) { continue }; x = 0; y; }
+  │                                ^^^^^^
+
+error: use of possibly unassigned local `x`
+   ┌─ tests/simplifier-elimination/use_before_assign_while.move:14:32
+   │
+14 │         while (cond) { let y = &x; _ = move y; x = 0 }
+   │                                ^^
+
+error: use of unassigned local `x`
+   ┌─ tests/simplifier-elimination/use_before_assign_while.move:19:32
+   │
+19 │         while (cond) { let y = &x; _ = move y; if (cond) { x = 0 }; break }
+   │                                ^^
+
+
 Diagnostics:
 error: cannot move local `x` since it is still in use
   ┌─ tests/simplifier-elimination/use_before_assign_while.move:9:32

third_party/move/move-compiler-v2/tests/simplifier/bug_11112.exp

@@ -34,3 +34,6 @@ module 0xcafe::vectors {
         }
     }
 } // end 0xcafe::vectors
+
+
+============ bytecode verification succeeded ========

third_party/move/move-compiler-v2/tests/simplifier/conditional_borrow.exp

@@ -95,3 +95,6 @@ module 0x8675::M {
         Add<u64>(M::test1b(pack M::S(7)), M::test1b(pack M::S(2)))
     }
 } // end 0x8675::M
+
+
+============ bytecode verification succeeded ========

third_party/move/move-compiler-v2/tests/simplifier/constant_folding_ristretto.exp

@@ -9,3 +9,6 @@ module 0xcafe::Ristretto {
         Tuple()
     }
 } // end 0xcafe::Ristretto
+
+
+============ bytecode verification succeeded ========

third_party/move/move-compiler-v2/tests/simplifier/deep_exp.exp

@@ -4,3 +4,6 @@ module 0x42::Test {
         625
     }
 } // end 0x42::Test
+
+
+============ bytecode verification succeeded ========

third_party/move/move-compiler-v2/tests/simplifier/simplifier_test1.exp

@@ -28,3 +28,6 @@ module 0x8675::M {
         }
     }
 } // end 0x8675::M
+
+
+============ bytecode verification succeeded ========

third_party/move/move-compiler-v2/tests/simplifier/simplifier_test2.exp

@@ -28,3 +28,6 @@ module 0x8675::M {
         }
     }
 } // end 0x8675::M
+
+
+============ bytecode verification succeeded ========

third_party/move/move-compiler-v2/tests/simplifier/simplifier_test3.exp

@@ -28,3 +28,6 @@ module 0x8675::M {
         }
     }
 } // end 0x8675::M
+
+
+============ bytecode verification succeeded ========

third_party/move/move-compiler-v2/tests/skip_attribute_checks/aptos_stdlib_attributes2.exp

@@ -0,0 +1,2 @@
+
+============ bytecode verification succeeded ========