5 Commits

Author	SHA1	Message	Date
Pietro Fezzardi	cd9bc34d9d	Enforce new include conventions	2020-11-13 10:00:24 +01:00
Alessandro Di Federico	51b29afc30	Make ABIAnalysis mandatory	2020-11-02 09:05:12 +01:00
Alessandro Di Federico	0eb1bb583f	Remove TerminatorInst ... LLVM 9 drops the `TerminatorInst` class. This commit replaces it with `Instruction` where possible and asserts `Instruction::isTerminator()`. It also switches from `TerminatorInst::successors` to `successors(TerminatorInst *)`.	2019-11-21 20:50:55 +01:00
Alessandro Di Federico	d50fbe969a	Update documentation and add revng. to metadata	2019-04-11 19:51:32 +02:00
Alessandro Di Federico	2e241acae3	Introduce SA-based ABIDetection and FBD passes ... This commit drops the old FunctionBoundariesDetectionPass and introduces a new one based on the results provided by the StackAnalysis. A very similar pass, the ABIDetectionPass, is now available to offer the results of the ABI analysis too. These two new passes are a thin shim depending on the appropriate version of the StackAnalysis (with or withour ABI anlysis) and simply call `serializeMetadata`, which decorates the LLVM IR with the requested information. In addition to drop the old analysis, this commit also isolates the function boundaries detection pass from `revamb` making it available as a library only.	2019-01-18 15:18:47 +01:00