diff options
Diffstat (limited to 'src/ir/local-graph.h')
| -rw-r--r-- | src/ir/local-graph.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/ir/local-graph.h b/src/ir/local-graph.h index 8cc92d0fd..fd9306d5c 100644 --- a/src/ir/local-graph.h +++ b/src/ir/local-graph.h @@ -30,6 +30,14 @@ namespace wasm { // (see the SSA pass for actually creating new local indexes based // on this). // +// Note that this is not guaranteed to be precise in unreachable code. That is, +// we do not make the effort to represent the exact sets for each get, and may +// overestimate them (specifically, we may mark the entry value as possible, +// even if unreachability prevents that; doing so helps simplify and optimize +// the code, which we think is worthwhile for the possible annoyance in +// debugging etc.; and it has no downside for optimization, since unreachable +// code will be removed anyhow). +// struct LocalGraph { // main API |