119 return processUnsafeLoad((RawLoadNode) node, state, effects); |
119 return processUnsafeLoad((RawLoadNode) node, state, effects); |
120 } else if (node instanceof RawStoreNode) { |
120 } else if (node instanceof RawStoreNode) { |
121 return processUnsafeStore((RawStoreNode) node, state, effects); |
121 return processUnsafeStore((RawStoreNode) node, state, effects); |
122 } else if (node instanceof MemoryCheckpoint.Single) { |
122 } else if (node instanceof MemoryCheckpoint.Single) { |
123 COUNTER_MEMORYCHECKPOINT.increment(node.getDebug()); |
123 COUNTER_MEMORYCHECKPOINT.increment(node.getDebug()); |
124 LocationIdentity identity = ((MemoryCheckpoint.Single) node).getLocationIdentity(); |
124 LocationIdentity identity = ((MemoryCheckpoint.Single) node).getKilledLocationIdentity(); |
125 processIdentity(state, identity); |
125 processIdentity(state, identity); |
126 } else if (node instanceof MemoryCheckpoint.Multi) { |
126 } else if (node instanceof MemoryCheckpoint.Multi) { |
127 COUNTER_MEMORYCHECKPOINT.increment(node.getDebug()); |
127 COUNTER_MEMORYCHECKPOINT.increment(node.getDebug()); |
128 for (LocationIdentity identity : ((MemoryCheckpoint.Multi) node).getLocationIdentities()) { |
128 for (LocationIdentity identity : ((MemoryCheckpoint.Multi) node).getKilledLocationIdentities()) { |
129 processIdentity(state, identity); |
129 processIdentity(state, identity); |
130 } |
130 } |
131 } |
131 } |
132 |
132 |
133 return false; |
133 return false; |