lisyarus/pslang
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Support casting pointers <-> u64

Browse source
This commit is contained in:
Nikita Lisitsa 2026-03-30 20:01:56 +03:00
parent 52a2a00d1f
commit 75f1cea3f3
2 changed files with 14 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
libs/ast/source/type_check.cpp
View file

@ -535,6 +535,12 @@ namespace pslang::ast
}
}
if (types::equal(*source_type, types::primitive_type{types::u64_type{}}) && types::is_pointer_type(*target_type))
return;
if (types::equal(*target_type, types::primitive_type{types::u64_type{}}) && types::is_pointer_type(*source_type))
return;
if (auto source_array_type = std::get_if<types::array_type>(source_type.get()))
{
if (auto target_pointer_type = std::get_if<types::pointer_type>(target_type.get()))

9
libs/jit/source/arch/aarch64/compiler.cpp
View file

@ -591,7 +591,14 @@ namespace pslang::jit::aarch64
auto src_type = node.arg1->inferred_type;
auto dst_type = node.target_type;
if (types::equal(*src_type, *dst_type) || (types::is_pointer_type(*src_type) && types::is_pointer_type(*dst_type)))
auto u64_type = types::primitive_type{types::u64_type{}};
if (false
|| (types::is_builtin_type(*src_type) && types::equal(*src_type, *dst_type))
|| (types::is_pointer_type(*src_type) && types::is_pointer_type(*dst_type))
|| (types::equal(*src_type, u64_type) && types::is_pointer_type(*dst_type))
|| (types::equal(*dst_type, u64_type) && types::is_pointer_type(*src_type))
)
{
load(node.arg1, 0);
store(it, 0);