1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
use bpf_ins::{Instruction, Opcode};
struct Optimizer {
pub num_instructions: usize,
pub function: fn(&[Instruction]) -> Option<Vec<Instruction>>,
}
fn optimize_mov_add_load(ins: &[Instruction]) -> Option<Vec<Instruction>> {
let load_size = if let Opcode::Memory(memory) = ins[2].get_opcode() {
*memory.get_size()
} else {
return None;
};
let check0 = Instruction::movx64(ins[0].get_dst_reg(), ins[0].get_src_reg());
let check1 = Instruction::add64(ins[1].get_dst_reg(), ins[1].get_imm().try_into().ok()?);
let check2 = Instruction::loadx(ins[2].get_dst_reg(), ins[2].get_src_reg(), 0, load_size);
if check0 != ins[0] || check1 != ins[1] || check2 != ins[2] {
return None;
}
Some(vec![Instruction::loadx(
ins[0].get_dst_reg(),
ins[0].get_src_reg(),
ins[1].get_imm().try_into().ok()?,
load_size,
)])
}
fn optimize_add_load(ins: &[Instruction]) -> Option<Vec<Instruction>> {
let load_size = if let Opcode::Memory(memory) = ins[1].get_opcode() {
*memory.get_size()
} else {
return None;
};
let check0 = Instruction::add64(ins[0].get_dst_reg(), ins[0].get_imm().try_into().ok()?);
let check1 = Instruction::loadx(ins[1].get_dst_reg(), ins[1].get_src_reg(), 0, load_size);
if check0 != ins[0] || check1 != ins[1] {
return None;
}
Some(vec![Instruction::loadx(
ins[0].get_dst_reg(),
ins[0].get_dst_reg(),
ins[0].get_imm().try_into().ok()?,
load_size,
)])
}
const OPTIMIZERS: [Optimizer; 2] = [
Optimizer {
num_instructions: 3,
function: optimize_mov_add_load,
},
Optimizer {
num_instructions: 2,
function: optimize_add_load,
},
];
pub fn optimize(instructions: &[Instruction]) -> Vec<Instruction> {
let mut num_eliminated = 0;
let mut optimized = vec![];
'outer: for i in 0..instructions.len() {
let start = usize::min(instructions.len(), i + num_eliminated);
let remaining = &instructions[start..];
if remaining.is_empty() {
break;
}
for optimizer in OPTIMIZERS
.iter()
.filter(|o| o.num_instructions <= remaining.len())
{
if let Some(mut instructions) = (optimizer.function)(remaining) {
optimized.append(&mut instructions);
num_eliminated += optimizer.num_instructions - 1;
continue 'outer;
}
}
optimized.push(remaining[0]);
}
optimized
}