CHANGELOG.md

@@ -10,6 +10,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 ### Removed
 ### Fixed
 - Fixed a bug with polymorphism that allowed functions with the same name but different type to be considered as implementations for their corresponding interface function.
+- Fixed a bug in the byte code optimization that incorrectly reordered dependent instructions.
 
 ## [7.2.1]
 ### Fixed

src/aeso_fcode_to_fate.erl

@@ -1141,10 +1141,15 @@ independent({i, _, I}, {i, _, J}) ->
     StackI = lists:member(?a, [WI | RI]),
     StackJ = lists:member(?a, [WJ | RJ]),
 
+    ReadStoreI = [] /= [ x || {store, _} <- RI ],
+    ReadStoreJ = [] /= [ x || {store, _} <- RJ ],
+
     if  WI == pc; WJ == pc       -> false;  %% no jumps
         not (PureI or PureJ)     -> false;  %% at least one is pure
         StackI and StackJ        -> false;  %% cannot both use the stack
         WI == WJ                 -> false;  %% cannot write to the same register
+        ReadStoreI and not PureJ -> false;  %% can't read store/state if other is impure
+        ReadStoreJ and not PureI -> false;  %% can't read store/state if other is impure
         true                     ->
             %% and cannot write to each other's inputs
             not lists:member(WI, RJ) andalso