affcd04fe4
Dismiss LLVMContainerBase
2023-04-28 14:04:32 +02:00
fc7ddd33b2
Adopt revng_add_test
2023-04-28 14:04:32 +02:00
32905277a7
Introduce revng_add_test
...
This enables us to pass --debug-log=verify to tests.
2023-04-28 14:04:32 +02:00
e81d714a70
Push ParseCommandLineOptions into InitRevng
2023-04-28 14:04:32 +02:00
50f396c43d
Drop revng.csv in favor of a Tag
2023-04-28 14:04:32 +02:00
82aae6fa2a
Give a name to SegmentBoundaries global
...
Unnamed globals are evil.
2023-04-28 14:04:32 +02:00
1d8382187c
Dismiss ConstantStringsPool, use getUniqueString
2023-04-28 14:04:32 +02:00
8af3fd7fa3
LLVMContainer: do not duplicate appending globals
...
`llvm.global_ctors` and llvm.global_dtors were being cloned
exponentially many times. This was due to their `appending` linkage.
2023-04-28 14:04:32 +02:00
2f917a2772
Introduce ModuleStatistics
2023-04-28 14:04:32 +02:00
628aa42cc2
Introduce collectTypes
2023-04-28 14:04:31 +02:00
170749b0aa
Introduce revng::verify
2023-04-28 14:04:31 +02:00
0e6344ce44
Minor changes
2023-04-28 13:33:08 +02:00
564843165b
tuple_tree.ts: refine ParsableType interface
...
Fixes an issue that was detected in recent typescript versions where the
`Parsable` interface was not fully defined.
2023-04-28 09:56:06 +02:00
ade402c44d
Merge branch 'feature/lift-performance'
2023-04-27 21:07:28 +02:00
c9b2ffaf72
JumpTargetManager: improve data structures
...
This commit adopts `llvm::DenseSet`, `llvm::DenseMap` and
`std::unordered_set` where needed.
It also tweaks some `llvm::SmallVector` sizes.
It brings an additional ~3% improvement during lifting.
2023-04-27 19:22:03 +02:00
e43fe18021
harvestWithAVI: split up in multiple functions
2023-04-27 19:22:00 +02:00
3f495d2bc3
harvestWithAVI: run InstCombine only once
2023-04-27 19:16:07 +02:00
07cd786ec4
Preliminary harvesting: disable InstCombine
...
Saves up to ~50% of time.
2023-04-27 19:16:07 +02:00
0604bc4d19
harvestWithAVI: limit InstCombine iterations to 1
2023-04-27 19:16:07 +02:00
872f14fad4
harvestWithAVI: disable GVN
...
This commit disables GVN in order to improve lifting performance.
It also increases `EarlyCSEMssaOptCap` so we keep catching all the jump
target we used to.
Lifting /bin/bash goes from ~29mins to ~5mins
2023-04-27 19:16:07 +02:00
37ab350102
Minor changes
2023-04-27 19:16:07 +02:00
64dd348540
Merge branch 'feature/decouple-layouter-from-yield'
2023-04-27 18:23:45 +02:00
b2916e946f
Yield: retire the old Graph
2023-04-27 18:12:52 +02:00
a532f738e2
Yield: switch to new layouter invocation style
2023-04-27 18:12:28 +02:00
04cac0018d
Yield: introduce new control flow graph type
2023-04-27 18:12:25 +02:00
3774c9a3ab
Yield: introduce new call graph type
2023-04-27 18:12:21 +02:00
42a9d95702
Sugiyama: improve artificial entry cleanup
...
Before this fix, graph preparation sometimes left extra long-edges not
connected to anything in. They were not visible after the SVG
exportation, but they were making edge routing worse (by forcing
horizontal lanes to appear where they shouldn't be - thus spacing nodes
further away from each other than necessary).
2023-04-27 18:12:11 +02:00
f57ca5793e
Sugiyama: be extra strict when discarding nodes
...
This makes sure the "owning" piece of the edge is never discarded as
a part of streamlining the layers.
2023-04-27 18:11:57 +02:00
8270f5b3e5
Sugiyama: separate edge restoration
...
Since the `orderEdges` function no longer consumes the graph, we can
finally make the restoration step separate - leading to more explicitly
stated boundaries as to where the graph is a DAG, and where it is not.
2023-04-27 18:11:32 +02:00
a04f88c402
Sugiyama: bring the documentation up to date
2023-04-27 18:11:06 +02:00
c5805a754a
Sugiyama: switch to the new internal graph
2023-04-27 18:10:06 +02:00
52cfbe9523
Sugiyama: introduce new internal graph
2023-04-27 18:09:58 +02:00
4cef969b96
Layout: introduce InputGraph and OutputGraph
2023-04-27 18:09:53 +02:00
28574a87bc
Yield: switch to layout's position and size
2023-04-27 18:09:38 +02:00
1c2efd09db
Layout: introduce LayoutableGraphTraits
2023-04-27 17:28:22 +02:00
58ddbd36e3
Sugiyama: rename InternalGraph into Helpers
2023-04-27 17:28:22 +02:00
3b700f7820
Sugiyama: Rename Layout into InternalCompute
...
Also renames `calculateSugiyamaLayout()` into `computeInternal()`.
2023-04-27 17:28:22 +02:00
00b450a8c2
Sugiyama: move the namespace under layout
...
Also removed a few entities to avoid duplication in the full names:
- `yield::layout::sugiyama::LayoutOrientation`
-> `yield::layout::sugiyama::Orientation`
- `yield::layout::sugiyama::layout(...)`
-> `yield::layout::sugiyama::compute(...)`
2023-04-27 17:28:22 +02:00
44b9bfd04c
Yield: SugiyamaStyle as a part of GraphLayout
2023-04-27 17:28:22 +02:00
268f53cdeb
Sugiyama: move the "main" file inside the layouter
2023-04-27 17:28:22 +02:00
6d43876e78
SVG: move one of the sugiyama::layout overloads
...
It isn't generic enough to be kept in the header, so it was moved
closer to its users.
2023-04-27 17:28:22 +02:00
0de7e3540f
Sugiyama: move DAG converter to getBackedges
2023-04-27 17:28:22 +02:00
7a92d70b8c
Introduce llvm::dfs usage for graph algorithms
...
Implement a couple of restructure algorithms in a template manner, so
that they can be used with any data structure implementing
`GraphTraits`.
Test the algorithms using the `GenericGraph` data structure.
2023-04-27 17:28:22 +02:00
5034488766
GenericGraph: hasSuccessor and hasPredecessor
...
Older node types didn't have these helpers, so they were added
for compatibility.
2023-04-27 17:28:22 +02:00
49d3499b26
EFA: fix buildControlFlowGraph requirements
2023-04-27 17:28:22 +02:00
7ca012dbc3
Minor improvements
2023-04-27 17:28:22 +02:00
dba6f8d257
Merge branch 'feature/model-tracking'
2023-04-27 16:44:37 +02:00
69aafd4181
TupleTree: implement tracking data manipulation
...
Implement the core visits that are able to inspect the model bypassing
the instrumentation.
2023-04-21 17:51:05 +02:00
254dc99fcb
TupleTreeGenerator: emit tracking machinery
2023-04-21 17:50:16 +02:00
d65d73359d
TrackingContainer: review API
2023-04-21 17:49:26 +02:00
Alessandro Di Federico