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

fix two primitives

Browse Source
This commit is contained in:
Clive2312
2022-10-28 04:50:29 +00:00
parent 03a45266d3
commit 66829d1934
1 changed files with 7 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
src/target/aby/assignment/ilp_opa.rs
View File

@@ -73,11 +73,13 @@ fn build_smart_ilp(
// fix the select and store here for array size
_ => {
if let Some(costs) = costs.get(&t.op) {
for (ty, cost) in costs {
let name = format!("t_{}_{}", i, ty.char());
let v = ilp.new_variable(variable().min(0).max(1), name.clone());
term_vars.insert((t.clone(), *ty), (v, *cost, name));
vars.push(v);
for ty in share_types {
if let Some(cost) = costs.get(ty){
let name = format!("t_{}_{}", i, ty.char());
let v = ilp.new_variable(variable().min(0).max(1), name.clone());
term_vars.insert((t.clone(), *ty), (v, *cost, name));
vars.push(v);
}
}
} else {
panic!("No cost for op {}", &t.op)