MCPcopy Create free account
hub / github.com/MultiFuzz/MultiFuzz / analyse_comparisons

Function analyse_comparisons

hail-fuzz/src/i2s/analysis.rs:5–15  ·  view source on GitHub ↗
(entry: &CmpInstData)

Source from the content-addressed store, hash-verified

3use crate::{config::SKIP_COMPLEX_COMPARISIONS, i2s::Comparisons};
4
5pub(crate) fn analyse_comparisons(entry: &CmpInstData) -> (ValueKind, ValueKind) {
6 let a_kind = match entry.op.arg1 {
7 pcode::Value::Var(_) => ValueKind::from_sequence(entry.values.iter().map(|(a, _)| *a)),
8 pcode::Value::Const(x, sz) => ValueKind::AlwaysConst(pcode::sxt64(x, sz as u64 * 8) as i64),
9 };
10 let b_kind = match entry.op.arg2 {
11 pcode::Value::Var(_) => ValueKind::from_sequence(entry.values.iter().map(|(_, b)| *b)),
12 pcode::Value::Const(x, sz) => ValueKind::AlwaysConst(pcode::sxt64(x, sz as u64 * 8) as i64),
13 };
14 (a_kind, b_kind)
15}
16
17pub(crate) fn add_interesting_inst_cmps(entry: &CmpInstData, output: &mut Comparisons) {
18 if SKIP_COMPLEX_COMPARISIONS

Callers 2

log_cmplog_dataFunction · 0.85

Calls

no outgoing calls

Tested by

no test coverage detected