Skip to content
Snippets Groups Projects

Fork fission bufferize

Merged Xavier Routh requested to merge fork-fission-bufferize into main
All threads resolved!
1 file
+ 3
3
Compare changes
  • Side-by-side
  • Inline
@@ -868,7 +868,7 @@ pub fn fork_dim_merge(
};
if tid_dim > inner_idx {
let new_tid = Node::ThreadID {
control: new_fork_id,
control: new_fork,
dimension: tid_dim - 1,
};
let new_tid = edit.add_node(new_tid);
@@ -876,7 +876,7 @@ pub fn fork_dim_merge(
edit.sub_edit(tid, new_tid);
} else if tid_dim == outer_idx {
let outer_tid = Node::ThreadID {
control: new_fork_id,
control: new_fork,
dimension: outer_idx,
};
let outer_tid = edit.add_node(outer_tid);
@@ -894,7 +894,7 @@ pub fn fork_dim_merge(
edit = edit.replace_all_uses(tid, rem)?;
} else if tid_dim == inner_idx {
let outer_tid = Node::ThreadID {
control: new_fork_id,
control: new_fork,
dimension: outer_idx,
};
let outer_tid = edit.add_node(outer_tid);
Loading