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
use crate::map::IdHashSet;
use crate::passes::Used;
use crate::{ImportKind, Module};
use id_arena::Id;
pub fn run(m: &mut Module) {
let used = Used::new(m, m.exports.iter().map(|e| e.id()));
let mut unused_imports = Vec::new();
for import in m.imports.iter() {
let used = match &import.kind {
ImportKind::Function(f) => used.funcs.contains(f),
ImportKind::Table(t) => used.tables.contains(t),
ImportKind::Global(g) => used.globals.contains(g),
ImportKind::Memory(m) => used.memories.contains(m),
};
if !used {
unused_imports.push(import.id());
}
}
for id in unused_imports {
m.imports.delete(id);
}
for id in unused(&used.tables, m.tables.iter().map(|t| t.id())) {
m.tables.delete(id);
}
for id in unused(&used.globals, m.globals.iter().map(|t| t.id())) {
m.globals.delete(id);
}
for id in unused(&used.memories, m.memories.iter().map(|t| t.id())) {
m.memories.delete(id);
}
for id in unused(&used.data, m.data.iter().map(|t| t.id())) {
m.data.delete(id);
}
for id in unused(&used.elements, m.elements.iter().map(|t| t.id())) {
m.elements.delete(id);
}
for id in unused(&used.types, m.types.iter().map(|t| t.id())) {
m.types.delete(id);
}
for id in unused(&used.funcs, m.funcs.iter().map(|t| t.id())) {
m.funcs.delete(id);
}
}
fn unused<T>(used: &IdHashSet<T>, all: impl Iterator<Item = Id<T>>) -> Vec<Id<T>> {
let mut unused = Vec::new();
for id in all {
if !used.contains(&id) {
unused.push(id);
}
}
unused
}