add Prefetch nodes to the list of nodes to ignore

diff --git a/Robust/src/Analysis/Locality/LocalityAnalysis.java b/Robust/src/Analysis/Locality/LocalityAnalysis.java
index ea5d4332da8cbf7f5dedb10cd2bb76eb41cdd477..7a6d589c322e906302d8500bb019ace1b0df1f3e 100644 (file)
--- a/Robust/src/Analysis/Locality/LocalityAnalysis.java
+++ b/Robust/src/Analysis/Locality/LocalityAnalysis.java
@@ -293,6 +293,7 @@ public class LocalityAnalysis {
            case FKind.FlatCondBranch:
            case FKind.FlatBackEdge:
            case FKind.FlatNop:
+           case FKind.FlatPrefetchNode:
                //No action needed for these
                break;
            case FKind.FlatFlagActionNode: