From 10cf538245658e6491ed6a85727ab0c64446ad86 Mon Sep 17 00:00:00 2001 From: Cliff Click Date: Mon, 30 Sep 2024 11:40:36 -0700 Subject: store-store opt checks offset --- chapter15/src/main/java/com/seaofnodes/simple/node/StoreNode.java | 1 + 1 file changed, 1 insertion(+) (limited to 'chapter15/src/main/java/com/seaofnodes') diff --git a/chapter15/src/main/java/com/seaofnodes/simple/node/StoreNode.java b/chapter15/src/main/java/com/seaofnodes/simple/node/StoreNode.java index a27aee2b..6bdbbc61 100644 --- a/chapter15/src/main/java/com/seaofnodes/simple/node/StoreNode.java +++ b/chapter15/src/main/java/com/seaofnodes/simple/node/StoreNode.java @@ -53,6 +53,7 @@ public class StoreNode extends MemOpNode { // required init-store being stomped by a first user store. if( mem() instanceof StoreNode st && ptr()==st.ptr() && // Must check same object + off()==st.off() && // And same offset ptr()._type instanceof TypeMemPtr && // No bother if weird dead pointers // Must have exactly one use of "this" or you get weird // non-serializable memory effects in the worse case. -- cgit v1.2.3