[compiler-v2][decompiler] Pulling fat-loop algorithm out of the prover

The prover actually has a full-fledged loop analysis for stackless bytecode for loop invariant instrumentation and unrolling. This loop analysis is a major part of the logic for decompilation. This PR pulls out this functionality in a new general purpose module, `fat_loop`. Its mostly a refactoring of existing code.
aptos-labs · Sep 23, 2024 · 8d449bb · 8d449bb
1 parent e87224f
commit 8d449bb
Show file tree

Hide file tree

Showing 4 changed files with 502 additions and 401 deletions.
diff --git a/third_party/move/move-model/bytecode/Cargo.toml b/third_party/move/move-model/bytecode/Cargo.toml
@@ -15,6 +15,7 @@ move-binary-format = { path = "../../move-binary-format" }
 move-core-types = { path = "../../move-core/types" }
 move-model = { path = ".." }
 
+anyhow = { workspace = true }
 codespan-reporting = { workspace = true, features = ["serde", "serialization"] }
 ethnum = { workspace = true }
 im = "15.0.0"