9 Commits

Author	SHA1	Message	Date
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
Ivan Krysak	8a8e0ce4ae	PromoteStackPointer: adopt helper registry	2025-04-17 11:19:17 +03:00
Ivan Krysak	154287b5d5	init_local_sp: drop leading _	2025-04-17 11:19:17 +03:00
Alessandro Di Federico	25239cdf34	Improve RemoveStackAlignmentPass ... This commit adopts `PatternMatch.h` and adds support discarding alignment operations even if they are performed after manipulating the stack pointer. For instance, glibc's `_start` does the following: xor ebp,ebp mov r9,rdx pop rsi mov rdx,rsp and rsp,0xfffffffffffffff0	2025-03-05 09:57:51 +01:00
Alessandro Di Federico	143c315196	Merge revng-c into revng	2024-11-21 10:50:55 +01:00
Alessandro Di Federico	0c212b66d9	Relicense to MIT	2024-02-29 17:03:36 +01:00
Alessandro Di Federico	330d2b6cc7	Model: rework how we name things ... This commit: * Introduces `_` as a prefix for all non-user entities we emit in decompiled code. Also, some names have been changed to be more concise. Specifically, the following entities have changed: `_ENUM_UNDERLYING`, `_ABI`, `_REG`, `_padding_at_`, `_artificial_struct_`, `_artificial_wrapper_`, `_stack`, `_break_from_loop_`, `_var_`, `_stack_arguments`, `_artificial_struct_returned_`, `_enum_max_value_`. * Introduce _PACKED for `__attribute__((packed))`. * `EnumEntry` name: drop the `EnumType` name prefix.	2023-08-23 16:37:39 +02:00
Ivan Krysak	89774a1789	RemoveStackAlignmentPass: Add empty input support	2023-03-15 10:28:24 +01:00
Alessandro Di Federico	049b8657c3	Introduce RemoveStackAlignmentPass	2022-12-01 12:20:09 +01:00