mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Alessandro Di Federico
33fbcd7ac2
This commit greatly improves the performance by ensuring that, when computing the set of nodes we want to consider for AVI, we do not traverse the dispatcher. Doing so, means including *a lot* of irrelevant nodes and wasting a lot of computation, since the CFG usually is not influenced by stuff happening before an indirect jump. In at least a situation the speedup is in the order of 20x, however this depends on the size of the binary, since traversing the dispatcher means including all the binary in the computations (as opposed to just the set of blocks involved in the dataflow to compute a certain expression).