|
|
abbf17748d
|
format chore
|
2025-10-11 21:34:28 +05:30 |
|
|
|
7c559840f0
|
add ctype subclass identifier
Signed-off-by: varun-r-mallya <varunrmallya@gmail.com>
|
2025-10-11 20:02:20 +05:30 |
|
|
|
06773c895f
|
add error message
|
2025-10-11 19:05:21 +05:30 |
|
|
|
1e3d775865
|
handle non-complex types along with recursion
|
2025-10-11 19:04:11 +05:30 |
|
|
|
168e26268e
|
add recursive addition algorithm with mixing of ast node type and type node which is not right.
Signed-off-by: varun-r-mallya <varunrmallya@gmail.com>
|
2025-10-11 18:55:56 +05:30 |
|
|
|
2cf7b28793
|
extract fields from the class
|
2025-10-11 18:26:13 +05:30 |
|
|
|
d24d59c2ba
|
fix structure for IR generation separation.
|
2025-10-11 18:11:46 +05:30 |
|
|
|
f190a33e21
|
init IR generation file and clarify purpose
|
2025-10-11 17:52:22 +05:30 |
|
|
|
eb636ef731
|
add dependency handler class
|
2025-10-11 17:49:40 +05:30 |
|
|
|
2ae3aade60
|
static type checks
|
2025-10-11 17:13:22 +05:30 |
|
|
|
f227fe9310
|
add dependency_node format and also cache results of symbol loader.
|
2025-10-11 17:13:22 +05:30 |
|
|
|
7940d02bc7
|
add symbol resolution to import detection
|
2025-10-11 17:13:21 +05:30 |
|
|
|
2483ef2840
|
separate vmlinux class handler
|
2025-10-11 17:13:21 +05:30 |
|
|
|
68e9693f9a
|
add import parser
Signed-off-by: varun-r-mallya <varunrmallya@gmail.com>
|
2025-10-11 17:13:21 +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 |
|
|
|
d84ce0c6fa
|
update helpers and change examples.
|
2025-10-08 13:57:09 +05:30 |
|
|
|
5066cd4cfe
|
Use named args for eval_expr call in handle_return
|
2025-10-06 05:11:33 +05:30 |
|
