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
84ed27f222
Add handle_variable_assignment stub and boilerplate in handle_assign
2025-10-08 22:55:03 +05:30
6008d9841f
Change loglevel of multi-assignment warning in handle_assign
2025-10-08 22:45:09 +05:30
32dc8e6636
Merge pull request #21 from pythonbpf/globals
...
Adds support for globals
SO......
*I'm not merging this because it's complete, but because I don't want it to diverge from master too much.
*Stuff I still need to complete:
-> Structs and eval expressions in these globals.
-> handling the global keyword.
-> assigning back to the global and reading from inside a function.
-> Basically, `global` keyword in Python is used to write only and reading can be done directly without declaring as global as a direct assign without global declaration is going to diverge from Python.
-> The above logic is going to be supported by `global_sym_tab` generated using the new order of passes that we are doing.
-> This needs to be fixed and done ASAP to avoid conflicts. so yes, im gonna do it soon.
2025-10-08 14:48:37 +05:30
d84ce0c6fa
update helpers and change examples.
2025-10-08 13:57:09 +05:30
6362a5e665
Fix expr imports
2025-10-08 07:24:14 +05:30
d38d73d5c6
Move handle_comparator to type_normalization
2025-10-08 07:20:04 +05:30
