strop 0.3.0

stochastically generates machine code
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

/// If the sequence contains any instruction that I've deemed pointless, then this function returns
/// a StaticAnalysis incrementing the instruction word. An example of an instruction which I've
/// deemed pointless would be `sll v0, a0, 0x00`, since this encodes essentially the same operation
/// as `or v0, a0, $zero` and others.
use crate::mips::Insn;
use crate::Sequence;
use crate::StaticAnalysis;

pub fn skip_pointless_instructions(sequence: &Sequence<Insn>) -> Result<(), StaticAnalysis<Insn>> {
    use crate::Step;

    sequence
        .iter()
        .enumerate()
        .find(|(_offset, i)| i.pointless())
        .map(|(offset, _i)| StaticAnalysis {
            reason: "PointlessInstruction",
            advance: Insn::next,
            offset,
        })
        .map_or(Ok(()), Err)
}