Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat: replace boolean ANDs with multiplication #1954

Merged
merged 13 commits into from
Aug 2, 2023
Merged

feat: replace boolean ANDs with multiplication #1954

Changes from 1 commit
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
175f978
feat: replace boolean `AND`s with multiplication
TomAFrench Jul 18, 2023
16ecce3
chore: move optimisation to live within ssa-gen
TomAFrench Jul 19, 2023
50b42df
chore: fill out message in `unreachable`
TomAFrench Jul 19, 2023
7b5915d
Merge branch 'master' into boolean-and
TomAFrench Jul 20, 2023
429ccd4
chore: remove `SimplifyResult::None`
TomAFrench Jul 20, 2023
a7736eb
chore: abstract away `SimplifyResult::SimplifiedToInstruction(None)`
TomAFrench Jul 20, 2023
3e9f25e
Revert "chore: abstract away `SimplifyResult::SimplifiedToInstruction…
TomAFrench Jul 24, 2023
c70d044
Revert "chore: remove `SimplifyResult::None`"
TomAFrench Jul 24, 2023
b8d75e2
chore: add `SimplifyResult.instruction()`
TomAFrench Jul 24, 2023
d56bddf
Merge branch 'master' into boolean-and
TomAFrench Aug 1, 2023
41ca50d
Merge branch 'master' into boolean-and
TomAFrench Aug 2, 2023
d445952
Merge branch 'master' into boolean-and
TomAFrench Aug 2, 2023
8961cd9
Merge branch 'master' into boolean-and
TomAFrench Aug 2, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
13 changes: 10 additions & 3 deletions crates/noirc_evaluator/src/ssa_refactor/acir_gen/acir_ir/acir_variable.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -230,9 +230,16 @@ impl AcirContext {
rhs: AcirVar,
typ: AcirType,
) -> Result<AcirVar, AcirGenError> {
let inputs = vec![AcirValue::Var(lhs, typ.clone()), AcirValue::Var(rhs, typ)];
let outputs = self.black_box_function(BlackBoxFunc::AND, inputs)?;
Ok(outputs[0])
let bit_size = typ.bit_size();
if bit_size == 1 {
// Operands are booleans
// a * b
self.mul_var(lhs, rhs)
} else {
let inputs = vec![AcirValue::Var(lhs, typ.clone()), AcirValue::Var(rhs, typ)];
let outputs = self.black_box_function(BlackBoxFunc::AND, inputs)?;
Ok(outputs[0])
}
}

/// Returns an `AcirVar` that is the OR result of `lhs` & `rhs`.
Expand Down