Refactor static type analysis - #653

Merged

adazem009 merged 27 commits into

refactor_type_analyzer

Aug 16, 2025

Commits on Aug 13, 2025

Commits on Aug 14, 2025

LLVMBuildUtils: Add const to optimizeRegisterType() parameter
adazem009
committed
d46d9e0
Add new variable type analysis algorithm
adazem009
committed
31593f3
LLVMCodeAnalyzer: Move common test cases to mixed tests
adazem009
committed
507ce25

Commits on Aug 15, 2025

LLVMCodeAnalyzer: Implement list type analysis
adazem009
committed
0a14d89
LLVMCodeAnalyzer: Add test cases for mixed type analysis
adazem009
committed
1d59bbe
Add support for mixed types in function return values
adazem009
committed
8db2ec3
Implement casting from mixed type values
adazem009
committed
31dbd17
Support mixed types in select instruction
adazem009
committed
a06b40b
Add support for casting of constants to mixed type values
adazem009
committed
f10c765
Add support for mixed types in comparison
adazem009
committed
b568942
Add support for mixed types in procedure arguments
adazem009
committed
d2b38f2
Remove type check from get list item null register
adazem009
committed
81b1c57
Enable code analysis
adazem009
committed
7976cc0
LLVMBuildUtils: Use type-specific functions for string casting
adazem009
committed
87a025a

Commits on Aug 16, 2025

LLVMBuildUtils: Use runtime switch statement for single type casting
adazem009
committed
2e1a537
LLVMBuildUtils: Simplify castValue()
adazem009
committed
f29970a
Swap source and target type parameters in create store methods
adazem009
committed
c1fe63b
LLVMBuildUtils: Rename parameters in create store methods
adazem009
committed
586529b
LLVMConstantRegister: Mark as raw by default
adazem009
committed
a51bfad
Implement mixed type stores
adazem009
committed
e471eb5
Optimize empty lists
adazem009
committed
59bce80
Fix out of range return value of get list item instruction
adazem009
committed
f2de9fb