Ivan Krysak
76ed261375
Use revng_undefined_ instead of init_
...
Current `init_` prefix used to set the default values of SCVs
is very common in typical code, hence it would cause a lot of
collisions.
2025-04-17 11:19:17 +03:00
Alessandro Di Federico
2e4f4d09b9
Remaining FunctionTags have been moved to revng
2024-11-04 15:09:56 +01:00
Alessandro Di Federico
800340d6e8
IRHelpers.cpp has been moved to revng
2024-11-04 15:09:56 +01:00
Alessandro Di Federico
0cb3eedd37
Do not use CallBase::getCalledFunction
...
Use our wrapper, which does not return nullptr if the `FunctionType`s do
not match.
2024-08-07 15:40:56 +02:00
Alessandro Di Federico
0c212b66d9
Relicense to MIT
2024-02-29 17:03:36 +01:00
Alessandro Di Federico
b997e24280
PromoteInitCSVToUndef: preserve link register only
2024-02-09 09:04:25 +01:00
Alessandro Di Federico
cb8aa3d929
Adopt .prototype()
...
Also adopt `QualifiedType::getFunctionType` where appropriate in order
to unwrap typedefs.
2023-10-05 19:18:38 +02:00
Ivan Krysak
c2f0fc19e5
ABI: FunctionType.h -> FunctionType/Layout.h
2023-03-15 10:28:24 +01:00
Alessandro Di Federico
f6cdd8ad6d
s/revng.register/revng.abi_register/
2023-03-13 13:42:33 +01:00
Alessandro Di Federico
deddd8ebd1
PromoteInitCSVToUndef: only preserved registers
...
Do not promote registers to `undef` initializers of registers not marked
as being preserved by the current function.
This is useful to highlight usages of registers that are not an
argument, nor a callee saved register. Mainly this has been introduced
to preserved reads from x86-64 `fs` register.
2023-02-21 16:48:35 +01:00
Kacper Kołodziej
5b94a5a649
HelpersToHeaders: skip unnecessary helpers
2023-02-07 17:43:05 +01:00
Pietro Fezzardi
1b1198ae5f
PromoteInitCSVToUndef now removes init_* calls
2022-06-22 15:21:02 +02:00
Pietro Fezzardi
f62cdc1181
RemoveLiftingArtifacts: promote init_* to undef
2022-05-31 12:40:52 +02:00