7 Commits

Author	SHA1	Message	Date
Alessandro Di Federico	7553e2acf8	Introduce UniquedBy{Prototype,Metadata} ... This commit introduces new tags to specify how LLVMContainer should deduplicate sets of equivalent functions, typically managed by an `OpaqueFunctionPool`.	2024-06-20 10:24:50 +02:00
Ivan Krysak	7d235f4fd0	Enforce licence header consistency ... Also do some basic cleanup: capitalize first letters, add `.` at the end of the sentences, and so on.	2023-07-03 15:23:10 +00:00
Alessandro Di Federico	b5607efce0	struct_initializer: mark as pure	2023-04-13 18:11:48 +02:00
Alessandro Di Federico	ae871f5062	Adopt setOnlyReadsMemory	2023-04-08 08:42:24 +02:00
Pietro Fezzardi	918bf8d2b1	Use new OpaqueFunctionsPool init methods	2022-03-30 17:21:48 +02:00
Alvise de Faveri	267410ac43	Add Attribute::WillReturn to ReadOnly funcs ... Without this attribute, newer versions of llvm are not able to remove calls to `ReadOnly` functions whose return value is unused. This is instead the expected behavior for the functions that are generated by `revng` with the `ReadOnly` attribute.	2021-11-19 10:17:02 +01:00
Alessandro Di Federico	53f6328507	Introduce PromoteCSVs ... This commit takes out of EnforceABI the part taking care of creating wrappers for calls to helpers and promoting CSV to local variables. This decoupling, enables to run -promote-csvs multiple times, for instance after inlining.	2021-04-22 18:07:24 +02:00