bcd374038c
s/zextOrSelf/zext/g
2023-04-08 08:42:24 +02:00
ae871f5062
Adopt setOnlyReadsMemory
2023-04-08 08:42:24 +02:00
43fd690ea8
InaccessibleMemOnly: adopt MemoryEffects
2023-04-08 08:42:24 +02:00
e131817334
Drop usage of Type::getPointerElementType
2023-04-08 08:42:24 +02:00
f777ccc4d3
Replace llvm::sys::fs::F_None with OF_None
2023-04-08 08:42:24 +02:00
06f9bca598
Adopt {add,remove}FnAttribute
2023-04-08 08:42:24 +02:00
394111ed40
Add missing includes
2023-04-08 08:42:24 +02:00
d2caa1fad0
Make CreateLoad usages opaque pointers-compatible
2023-04-08 08:42:24 +02:00
dbcdad0a4d
Switch from llvm::Optional to std::optional
2023-04-08 08:42:24 +02:00
389342411a
Drop makeArrayRef
2023-04-08 08:42:24 +02:00
5ed9432a68
Fix ambiguous template function
...
Bumping LLVM version turned these into compiler errors.
2023-04-08 08:42:23 +02:00
e3f9519ffc
Get rid of std::iterator
2023-04-08 08:42:23 +02:00
74ae629853
Drop experimental from coroutines
2023-04-08 08:42:23 +02:00
52521f8cac
Adopt more standard library's features
2023-04-08 08:42:23 +02:00
b2f22c168f
Adopt clang-format 16
2023-04-08 08:42:23 +02:00
ca1fd101db
Add opaque function to LLVM test helpers
...
This commits adds an opaque function that can be called by simple LLVM
IR snippets used in unit tests.
2023-04-06 14:25:18 +02:00
e7bb7d09df
Rename getStrByAddress to getStringByAddress
...
We don't use abbreviations in names.
2023-04-04 09:30:09 +02:00
4c2602e956
RawBinaryView: add getStrByAddress method
...
This method is similar to `getByAddress`, but it returns an
`llvm::StringRef`.
It is intended for those users that need to manipulate the bytes as
strings. In those cases, the `llvm::ArrayRef<uint8_t>` returned by
`getByAddress` is not suitable, because it triggers warnings due to
`uint8_t` not being the same as `char`.
2023-04-04 09:30:09 +02:00
1b8801c9dc
Add RawBinaryView::isReadOnly method
...
isReadOnly returns true if segment which contains region defined with
MetaAddress and size is not writable.
2023-04-04 09:30:08 +02:00
2e96e09f63
Drop analyze-all
...
Drop all the uses of analyzeAll and swap its use with the invocation of
the appropriate analysesList
2023-03-22 17:50:02 +01:00
312e2e8d53
Add analyses lists
...
Introduces the possibility of specifiying lists of analyses as way to
give them coherent names.
2023-03-22 17:31:46 +01:00
c7d13fd176
PipelineC: fix model verification clause
...
In the previous implementation of Model.verify an llvm::Error was
returned. Some call sites retained the logic associated with it. Fix
these with the correct logic.
Also fix an instance of `verify` that was missing an assert.
2023-03-20 16:20:06 +01:00
3b94dfae4b
PipelineC: rework rp_error data type
...
Drop the use of unique_ptr within the rp_error data type and instead use
std::monostate. Also fix the functions to allow the use of `nullptr` as
the error parameter
2023-03-20 16:08:04 +01:00
64856306c4
BinaryImporter: rework command line interface
2023-03-15 10:19:03 +01:00
e84c76019a
ABI: introduce an additional definition option
...
The new option is `NoRegisterArgumentsCanComeAfterStackOnes`
If it's set to `true`, then no register argument can follow any stack
argument under the said abi, otherwise such "shuffling" of arguments
is allowed.
2023-03-15 10:19:03 +01:00
4d21a88777
Model: remove an obsolete function conversion pass
2023-03-15 10:19:03 +01:00
fba30712cc
ABI: introduce abi::FunctionType::filterTypes
2023-03-15 10:19:03 +01:00
a0adafeab0
ABI: take advantage of register state deductions
...
This makes the conversions more robust, since everything can rely on
the same tools for filling in missing registers and ordering them based
on the ABI requirements.
2023-03-15 10:19:03 +01:00
1d1003b7e5
ABI: introduce TypeBucket helper
2023-03-15 10:19:02 +01:00
8a1d62728d
ABI: remove constexpr abi trait
2023-03-15 10:19:02 +01:00
30b9234a04
abi::Definition: introduce a padding helper
2023-03-15 10:19:02 +01:00
89b3def533
ABI: move RegisterOrder onto the runtime trait
2023-03-15 10:19:02 +01:00
9e393578c9
ABI: move state deduction onto the runtime trait
2023-03-15 10:19:02 +01:00
ce0d39a9a6
Model: document model::Type::size()
2023-03-15 10:19:02 +01:00
84229d92b1
Model & ABI: make size and alignment stricter
2023-03-15 10:19:02 +01:00
769e5c1cbe
ABI: add a natural alignment calculation helper
2023-03-15 10:19:02 +01:00
8b675e131e
ABI: introduce runtime abi definition
2023-03-15 10:19:02 +01:00
395191cdf1
ABI: use replaceReferencesIf when updating types
2023-03-15 10:19:02 +01:00
bcca3ac8b7
TupleTree: introduce replaceReferencesIf
2023-03-15 10:19:02 +01:00
9eb55f363b
STLExtras: introduce some c++20 invocable concepts
2023-03-15 10:19:02 +01:00
01a05e2037
ABI: separate convertions based on the direction
2023-03-15 10:19:02 +01:00
2f3128cb43
ABI: separate reused helpers into Support.h
2023-03-15 10:19:02 +01:00
8521f6bedc
YAML: enable manual [de]serialization of enums
2023-03-15 10:19:02 +01:00
eb67826da6
PathList: accept non-owning strings as arguments
2023-03-15 10:19:02 +01:00
75feff6186
model::Register: introduce isUsedInArchitecture
2023-03-15 10:19:02 +01:00
058807ca00
model::Register: rename getArchitecture
...
The new name is `getReferenceArchitecture`
2023-03-15 10:19:02 +01:00
9148f70b24
model::Register::getSize: leave a TODO
2023-03-15 10:19:02 +01:00
7442bdc4a9
Model: introduce model::ABI::getPointerSize
2023-03-15 10:19:02 +01:00
c45b7778c1
Model: introduce copyMetadata and moveMetadata
2023-03-15 10:19:02 +01:00
3c0c49c785
Model: add ABI::getRegisterArchitecture
2023-03-15 10:19:02 +01:00
Alessandro Di Federico