github/circ
1
1
Fork 0
mirror of https://github.com/circify/circ.git synced 2026-04-21 03:00:54 -04:00
Code Issues Packages Projects Releases Wiki Activity

why such large output

Browse Source
This commit is contained in:
Edward Chen
2022-05-25 02:48:10 -04:00
parent 8a9fd407d3
commit 199da498ae
1 changed files with 16 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

24
examples/circ.rs
View File

@@ -232,6 +232,14 @@ fn main() {
panic!("Missing feature: c");
}
};
for (name, comp) in cs.computations.iter() {
println!("pre opt functions: {}", name);
for t in &comp.outputs {
println!("pre opt function term: {}, {}", t, t.uid());
}
}
cs = match mode {
Mode::Opt => opt(
cs,
@@ -292,14 +300,14 @@ fn main() {
println!("functions: {}", name);
for t in &comp.outputs {
println!("function term: {}, {}", t, t.uid());
for t1 in PostOrderIter::new(t.clone()) {
println!("term: {}, {}", t1, t1.uid());
for c in t1.cs.iter() {
println!("children: {}, {}", c, c.uid());
}
println!();
}
println!();
// for t1 in PostOrderIter::new(t.clone()) {
// println!("term: {}, {}", t1, t1.uid());
// for c in t1.cs.iter() {
// println!("children: {}, {}", c, c.uid());
// }
// println!();
// }
// println!();
}
println!("\n");
}