Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Bug][move-compiler-v2] Some remaining V1 tests have issues when ported to V2 #13747

Open
brmataptos opened this issue Jun 18, 2024 · 0 comments
Assignees
Labels
bug Something isn't working compiler-v2-stable compiler-v2 stale-exempt Prevents issues from being automatically marked and closed as stale

Comments

@brmataptos
Copy link
Contributor

🐛 Bug

I moved all remaining V1 tests under tests/more-v1/, carefully compared outputs, and saw a number of variations.

High-level analysis is here:

Detailed diffs are here:

Verification and deprecation test issues are not visible in the diff, as they are already addressed in Issue #13696 and PR #13732.

@brmataptos brmataptos added the bug Something isn't working label Jun 18, 2024
@sausagee sausagee added the stale-exempt Prevents issues from being automatically marked and closed as stale label Jun 27, 2024
@wrwg wrwg moved this from 🆕 New to 📋 Backlog in Move Language and Runtime Jun 27, 2024
wrwg added a commit that referenced this issue Aug 19, 2024
This goes through all urgent bugs in the spreadsheet from issue #13747 and verifies that they have been resolved with recent changes.
wrwg added a commit that referenced this issue Aug 19, 2024
This goes through all urgent bugs in the spreadsheet from issue #13747 and verifies that they have been resolved with recent changes.
wrwg added a commit that referenced this issue Aug 19, 2024
This goes through all urgent bugs in the spreadsheet from issue #13747 and verifies that they have been resolved with recent changes.
wrwg added a commit that referenced this issue Aug 19, 2024
This goes through all urgent bugs in the spreadsheet from issue #13747 and verifies that they have been resolved with recent changes.
wrwg added a commit that referenced this issue Aug 19, 2024
* [compiler-v2] Adding and verifying some missing v1 tests

This goes through all urgent bugs in the spreadsheet from issue #13747 and verifies that they have been resolved with recent changes.

* [compiler-v2] Do not pop non-droppables on stack flush

Fixes #14233

On stack flush we must not pop values which cannot be dropped. Rather they should be stored in temps. This faciltates scenarios where an `abort` happens before the end of a block. Without this, we pop the value before the abort, leading to a bytecode verification error.

There is still an issue with a missing warning, added #14320 for that.

* Addressing reviewer feedback

* Fix wrong naming
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working compiler-v2-stable compiler-v2 stale-exempt Prevents issues from being automatically marked and closed as stale
Projects
Status: 📋 Backlog
Development

No branches or pull requests

6 participants