|
|
68e9693f9a
|
add import parser
Signed-off-by: varun-r-mallya <varunrmallya@gmail.com>
|
2025-10-11 17:13:21 +05:30 |
|
|
|
c9bbe1ffd8
|
Call eval_expr properly within get_operand_value
|
2025-10-11 03:21:09 +05:30 |
|
|
|
91a3fe140d
|
Remove unnecessary return artifacts from get_operand_value
|
2025-10-11 03:06:24 +05:30 |
|
|
|
c2c17741e5
|
Remove store_through_chain
|
2025-10-11 03:04:26 +05:30 |
|
|
|
cac88d1560
|
Allow different int widths in binops
|
2025-10-11 02:44:08 +05:30 |
|
|
|
317575644f
|
Interpret bools as ints in binops
|
2025-10-11 00:18:11 +05:30 |
|
|
|
3ec3ab30fe
|
add vmlinux processor to codegen pipeline
Signed-off-by: varun-r-mallya <varunrmallya@gmail.com>
|
2025-10-10 22:54:14 +05:30 |
|
|
|
7fb3ecff48
|
initialise tbaa generation and vmlinux recursive importer modules
Signed-off-by: varun-r-mallya <varunrmallya@gmail.com>
|
2025-10-10 22:54:14 +05:30 |
|
|
|
ed196caebf
|
add global symbol table populate function
|
2025-10-10 22:54:10 +05:30 |
|
|
|
384fc9dd40
|
changer order of passes
|
2025-10-10 22:54:09 +05:30 |
|
|
|
5f2df57e64
|
update globals test and todos.
|
2025-10-10 22:54:09 +05:30 |
|
|
|
130d8a9edc
|
format chore
|
2025-10-10 22:54:08 +05:30 |
|
|
|
40ae3d825a
|
fix broken IR generation logic for globals
|
2025-10-10 22:54:08 +05:30 |
|
|
|
484624104e
|
fix broken IR generation logic for globals
|
2025-10-10 22:54:07 +05:30 |
|
|
|
e7c4bdb150
|
add global support with broken generation function
|
2025-10-10 22:54:07 +05:30 |
|
|
|
e4ddec3a02
|
Fix expr imports
|
2025-10-10 22:54:05 +05:30 |
|
|
|
bc7b5c97d1
|
Move handle_comparator to type_normalization
|
2025-10-10 22:54:05 +05:30 |
|
|
|
fa720f8e6b
|
Move convert_to_bool to type_normalization
|
2025-10-10 22:54:04 +05:30 |
|
|
|
eff0f66d95
|
Seperate type_normalization from expr_pass
|
2025-10-10 22:54:04 +05:30 |
|
|
|
b43c252224
|
Fix type_deducer import in expr
|
2025-10-10 22:54:03 +05:30 |
|
|
|
aae7aa981d
|
Fix expr imports
|
2025-10-10 22:54:03 +05:30 |
|
|
|
6f9a7301af
|
Rework dir structure for expr
|
2025-10-10 22:54:02 +05:30 |
|
|
|
48923d03d4
|
cleanup handle_cond in functions_pass
|
2025-10-10 22:54:02 +05:30 |
|
|
|
a351b0f1b5
|
Add _handle_or_or in expr_pass
|
2025-10-10 22:54:01 +05:30 |
|
|
|
3cb73ff0c3
|
Add _handle_and_op in expr_pass
|
2025-10-10 22:54:00 +05:30 |
|
|
|
3b08c2bede
|
Add handle_and and handle_or handling stub in eval_expr
|
2025-10-10 22:54:00 +05:30 |
|
|
|
86378d6cc4
|
Add BoolOp handling stub in eval_expr
|
2025-10-10 22:53:59 +05:30 |
|
|
|
00d1c583af
|
Add support for is and is not keywords
|
2025-10-10 22:53:59 +05:30 |
|
|
|
079431754c
|
Add null checks for pointer derefs to avoid map_value_or_null verifier errors
|
2025-10-10 22:53:57 +05:30 |
|
|
|
46f5eca33d
|
Add _deref_to_depth in expr_pass
|
2025-10-10 22:53:56 +05:30 |
|
|
|
7081e939fb
|
Move _get_base_type to _get_base_type_and_depth
|
2025-10-10 22:53:56 +05:30 |
|
|
|
1e29460d6f
|
Add _get_base_type to expr_pass
|
2025-10-10 22:53:56 +05:30 |
|
|
|
e180a89644
|
Add _normalize_types to handle mismatched ints, move type_mismatch test to passing
|
2025-10-10 22:53:55 +05:30 |
|
|
|
2e677c2c7b
|
Fix struct_access in eval_expr, move struct_access conditional test to passing
|
2025-10-10 22:53:54 +05:30 |
|
|
|
5451ba646d
|
Add support for unary op 'not' in eval_expr, move not test to passing
|
2025-10-10 22:53:52 +05:30 |
|
|
|
745f59278f
|
Move conditional logic to eval_expr, add _conver_to_bool, add passing bool test
|
2025-10-10 22:53:49 +05:30 |
|
|
|
49c59b32ca
|
Add Boolean return support
|
2025-10-10 22:53:48 +05:30 |
|
|
|
ff78140a7d
|
Eval LHS and RHS in _handle_compare
|
2025-10-10 22:53:48 +05:30 |
|
|
|
82ff71b753
|
Add _handle_cond to expr_pass
|
2025-10-10 22:53:48 +05:30 |
|
|
|
f46e7cd846
|
Reduce a condition from handle_cond
|
2025-10-10 22:53:47 +05:30 |
|
|
|
7529820c0b
|
Allow int** pointers to store binops of type int** op int
|
2025-10-10 20:36:37 +05:30 |
|
|
|
9febadffd3
|
Add pointer handling to helper_utils, finish pointer assignment
|
2025-10-10 15:01:15 +05:30 |
|
|
|
99aacca94b
|
WIP: allow pointer assignments to var
|
2025-10-10 13:48:40 +05:30 |
|
|
|
1d517d4e09
|
Add double_alloc in alloc_mem
|
2025-10-10 12:28:45 +05:30 |
|
|
|
047f361ea9
|
Allocate twice for map lookups
|
2025-10-10 06:09:46 +05:30 |
|
|
|
489244a015
|
Add store_through_chain
|
2025-10-10 02:56:11 +05:30 |
|
|
|
8bab07ed72
|
Remove recursive_dereferencer
|
2025-10-10 00:13:35 +05:30 |
|
|
|
1253f51ff3
|
Use deref_to_val instead of recursive_dereferencer in get_operand value
|
2025-10-09 23:11:06 +05:30 |
|
|
|
23afb0bd33
|
Add deref_to_val to deref into final value and return the chain as well in binops
|
2025-10-09 21:47:28 +05:30 |
|
|
|
d7bfe86524
|
Add handle_variable_assignment to assign_pass
|
2025-10-09 03:09:10 +05:30 |
|
