---

yaml
---
r: 12941
b: refs/heads/master
c: 5a4e2ae
h: refs/heads/master
i:
  12939: bbb3fab
v: v3

Author: eholk

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 7f05f088c7e47442e6fee4bfc519227b814b39a4
+refs/heads/master: 5a4e2ae70660d5e23e04f7dbb6c1b1ab3c9dd0b0
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
 refs/heads/try: 2898dcc5d97da9427ac367542382b6239d9c0bbf

trunk/src/test/bench/graph500-bfs.rs

@@ -261,6 +261,7 @@ fn pbfs(graph: graph, key: node_id) -> bfs_result {
         }
     };
 
+    #[inline(always)]
     fn is_gray(c: color) -> bool {
         alt c {
           gray(_) { true }
@@ -274,25 +275,28 @@ fn pbfs(graph: graph, key: node_id) -> bfs_result {
         log(info, #fmt("PBFS iteration %?", i));
         i += 1u;
         let old_len = colors.len();
-        colors = par::mapi(colors) {|i, c, copy colors|
+        let pc = ptr::addr_of(colors);
+        let pg = ptr::addr_of(graph);
+        colors = par::mapi(colors) {|i, c|
             let c : color = c;
             alt c {
               white {
-                let i = i as node_id;
-                
-                let neighbors = graph[i];
-                
-                let mut color = white;
-
-                neighbors.each() {|k|
-                    if is_gray(colors[k]) {
-                        color = gray(k);
-                        false
-                    }
-                    else { true }
-                };
-
-                color
+                unsafe {
+                    let i = i as node_id;
+                    
+                    let neighbors = &(*pg)[i];
+                    
+                    let mut color = white;
+                    
+                    (*neighbors).each() {|k|
+                        if is_gray((*pc)[k]) {
+                            color = gray(k);
+                            false
+                        }
+                        else { true }
+                    };
+                    color
+                }
               }
               gray(parent) { black(parent) }
               black(parent) { black(parent) }