aboutsummaryrefslogtreecommitdiff
path: root/src/llvm_backend_utility.cpp
diff options
context:
space:
mode:
authorflysand7 <thebumboni@gmail.com>2025-03-02 20:05:55 +1100
committerflysand7 <thebumboni@gmail.com>2025-03-02 20:05:55 +1100
commit698c510ba7bb5794b3eeed7aecb8327386f00da7 (patch)
tree8c376debaf24f3ac8782192310e49e730509cdf9 /src/llvm_backend_utility.cpp
parent5d290dce069cb257b2e3effdd4e9b1e7dc21e722 (diff)
parentf390598b403eb336276ef9161753bf26d24d0d01 (diff)
Merge branch 'master' into docs-simd
Diffstat (limited to 'src/llvm_backend_utility.cpp')
-rw-r--r--src/llvm_backend_utility.cpp141
1 files changed, 87 insertions, 54 deletions
diff --git a/src/llvm_backend_utility.cpp b/src/llvm_backend_utility.cpp
index a2a0ba4cc..c876169f3 100644
--- a/src/llvm_backend_utility.cpp
+++ b/src/llvm_backend_utility.cpp
@@ -476,8 +476,8 @@ gb_internal lbValue lb_emit_or_else(lbProcedure *p, Ast *arg, Ast *else_expr, Ty
}
}
-gb_internal void lb_build_return_stmt(lbProcedure *p, Slice<Ast *> const &return_results);
-gb_internal void lb_build_return_stmt_internal(lbProcedure *p, lbValue res);
+gb_internal void lb_build_return_stmt(lbProcedure *p, Slice<Ast *> const &return_results, TokenPos pos);
+gb_internal void lb_build_return_stmt_internal(lbProcedure *p, lbValue res, TokenPos pos);
gb_internal lbValue lb_emit_or_return(lbProcedure *p, Ast *arg, TypeAndValue const &tv) {
lbValue lhs = {};
@@ -506,10 +506,10 @@ gb_internal lbValue lb_emit_or_return(lbProcedure *p, Ast *arg, TypeAndValue con
lbValue found = map_must_get(&p->module->values, end_entity);
lb_emit_store(p, found, rhs);
- lb_build_return_stmt(p, {});
+ lb_build_return_stmt(p, {}, ast_token(arg).pos);
} else {
GB_ASSERT(tuple->variables.count == 1);
- lb_build_return_stmt_internal(p, rhs);
+ lb_build_return_stmt_internal(p, rhs, ast_token(arg).pos);
}
}
lb_start_block(p, continue_block);
@@ -771,9 +771,7 @@ gb_internal lbValue lb_emit_union_cast(lbProcedure *p, lbValue value, Type *type
auto args = array_make<lbValue>(permanent_allocator(), arg_count);
args[0] = ok;
- args[1] = lb_const_string(m, get_file_path_string(pos.file_id));
- args[2] = lb_const_int(m, t_i32, pos.line);
- args[3] = lb_const_int(m, t_i32, pos.column);
+ lb_set_file_line_col(p, array_slice(args, 1, args.count), pos);
if (!build_context.no_rtti) {
args[4] = lb_typeid(m, src_type);
@@ -847,9 +845,7 @@ gb_internal lbAddr lb_emit_any_cast_addr(lbProcedure *p, lbValue value, Type *ty
auto args = array_make<lbValue>(permanent_allocator(), arg_count);
args[0] = ok;
- args[1] = lb_const_string(m, get_file_path_string(pos.file_id));
- args[2] = lb_const_int(m, t_i32, pos.line);
- args[3] = lb_const_int(m, t_i32, pos.column);
+ lb_set_file_line_col(p, array_slice(args, 1, args.count), pos);
if (!build_context.no_rtti) {
args[4] = any_typeid;
@@ -975,6 +971,13 @@ gb_internal i32 lb_convert_struct_index(lbModule *m, Type *t, i32 index) {
if (t->kind == Type_Struct) {
auto field_remapping = lb_get_struct_remapping(m, t);
return field_remapping[index];
+ } else if (is_type_any(t) && build_context.ptr_size == 4) {
+ GB_ASSERT(t->kind == Type_Basic);
+ GB_ASSERT(t->Basic.kind == Basic_any);
+ switch (index) {
+ case 0: return 0; // data
+ case 1: return 2; // id
+ }
} else if (build_context.ptr_size != build_context.int_size) {
switch (t->kind) {
case Type_Basic:
@@ -1200,9 +1203,22 @@ gb_internal lbValue lb_emit_struct_ep(lbProcedure *p, lbValue s, i32 index) {
lbValue gep = lb_emit_struct_ep_internal(p, s, index, result_type);
Type *bt = base_type(t);
- if (bt->kind == Type_Struct && bt->Struct.is_packed) {
- lb_set_metadata_custom_u64(p->module, gep.value, ODIN_METADATA_IS_PACKED, 1);
- GB_ASSERT(lb_get_metadata_custom_u64(p->module, gep.value, ODIN_METADATA_IS_PACKED) == 1);
+ if (bt->kind == Type_Struct) {
+ if (bt->Struct.is_packed) {
+ lb_set_metadata_custom_u64(p->module, gep.value, ODIN_METADATA_IS_PACKED, 1);
+ GB_ASSERT(lb_get_metadata_custom_u64(p->module, gep.value, ODIN_METADATA_IS_PACKED) == 1);
+ }
+ u64 align_max = bt->Struct.custom_max_field_align;
+ u64 align_min = bt->Struct.custom_min_field_align;
+ GB_ASSERT(align_min == 0 || align_max == 0 || align_min <= align_max);
+ if (align_max) {
+ lb_set_metadata_custom_u64(p->module, gep.value, ODIN_METADATA_MAX_ALIGN, align_max);
+ GB_ASSERT(lb_get_metadata_custom_u64(p->module, gep.value, ODIN_METADATA_MAX_ALIGN) == align_max);
+ }
+ if (align_min) {
+ lb_set_metadata_custom_u64(p->module, gep.value, ODIN_METADATA_MIN_ALIGN, align_min);
+ GB_ASSERT(lb_get_metadata_custom_u64(p->module, gep.value, ODIN_METADATA_MIN_ALIGN) == align_min);
+ }
}
return gep;
@@ -2080,23 +2096,40 @@ gb_internal void lb_set_wasm_export_attributes(LLVMValueRef value, String export
gb_internal lbAddr lb_handle_objc_find_or_register_selector(lbProcedure *p, String const &name) {
- lbAddr *found = string_map_get(&p->module->objc_selectors, name);
+ lbObjcRef *found = string_map_get(&p->module->objc_selectors, name);
if (found) {
- return *found;
- } else {
- lbModule *default_module = &p->module->gen->default_module;
- Entity *e = nullptr;
- lbAddr default_addr = lb_add_global_generated(default_module, t_objc_SEL, {}, &e);
+ return found->local_module_addr;
+ }
- lbValue ptr = lb_find_value_from_entity(p->module, e);
- lbAddr local_addr = lb_addr(ptr);
+ lbModule *default_module = &p->module->gen->default_module;
+ Entity *entity = {};
- string_map_set(&default_module->objc_selectors, name, default_addr);
- if (default_module != p->module) {
- string_map_set(&p->module->objc_selectors, name, local_addr);
+ if (default_module != p->module) {
+ found = string_map_get(&default_module->objc_selectors, name);
+ if (found) {
+ entity = found->entity;
}
- return local_addr;
}
+
+ if (!entity) {
+ gbString global_name = gb_string_make(temporary_allocator(), "__$objc_SEL$");
+ global_name = gb_string_append_length(global_name, name.text, name.len);
+
+ lbAddr default_addr = lb_add_global_generated_with_name(
+ default_module, t_objc_SEL, {},
+ make_string(cast(u8 const *)global_name, gb_string_length(global_name)),
+ &entity);
+ string_map_set(&default_module->objc_selectors, name, lbObjcRef{entity, default_addr});
+ }
+
+ lbValue ptr = lb_find_value_from_entity(p->module, entity);
+ lbAddr local_addr = lb_addr(ptr);
+
+ if (default_module != p->module) {
+ string_map_set(&p->module->objc_selectors, name, lbObjcRef{entity, local_addr});
+ }
+
+ return local_addr;
}
gb_internal lbValue lb_handle_objc_find_selector(lbProcedure *p, Ast *expr) {
@@ -2126,23 +2159,39 @@ gb_internal lbValue lb_handle_objc_register_selector(lbProcedure *p, Ast *expr)
}
gb_internal lbAddr lb_handle_objc_find_or_register_class(lbProcedure *p, String const &name) {
- lbAddr *found = string_map_get(&p->module->objc_classes, name);
+ lbObjcRef *found = string_map_get(&p->module->objc_classes, name);
if (found) {
- return *found;
- } else {
- lbModule *default_module = &p->module->gen->default_module;
- Entity *e = nullptr;
- lbAddr default_addr = lb_add_global_generated(default_module, t_objc_SEL, {}, &e);
+ return found->local_module_addr;
+ }
- lbValue ptr = lb_find_value_from_entity(p->module, e);
- lbAddr local_addr = lb_addr(ptr);
+ lbModule *default_module = &p->module->gen->default_module;
+ Entity *entity = {};
- string_map_set(&default_module->objc_classes, name, default_addr);
- if (default_module != p->module) {
- string_map_set(&p->module->objc_classes, name, local_addr);
+ if (default_module != p->module) {
+ found = string_map_get(&default_module->objc_classes, name);
+ if (found) {
+ entity = found->entity;
}
- return local_addr;
}
+
+ if (!entity) {
+ gbString global_name = gb_string_make(temporary_allocator(), "__$objc_Class$");
+ global_name = gb_string_append_length(global_name, name.text, name.len);
+
+ lbAddr default_addr = lb_add_global_generated_with_name(default_module, t_objc_Class, {},
+ make_string(cast(u8 const *)global_name, gb_string_length(global_name)),
+ &entity);
+ string_map_set(&default_module->objc_classes, name, lbObjcRef{entity, default_addr});
+ }
+
+ lbValue ptr = lb_find_value_from_entity(p->module, entity);
+ lbAddr local_addr = lb_addr(ptr);
+
+ if (default_module != p->module) {
+ string_map_set(&p->module->objc_classes, name, lbObjcRef{entity, local_addr});
+ }
+
+ return local_addr;
}
gb_internal lbValue lb_handle_objc_find_class(lbProcedure *p, Ast *expr) {
@@ -2183,23 +2232,7 @@ gb_internal lbValue lb_handle_objc_id(lbProcedure *p, Ast *expr) {
GB_ASSERT(e->kind == Entity_TypeName);
String name = e->TypeName.objc_class_name;
- lbAddr *found = string_map_get(&p->module->objc_classes, name);
- if (found) {
- return lb_addr_load(p, *found);
- } else {
- lbModule *default_module = &p->module->gen->default_module;
- Entity *e = nullptr;
- lbAddr default_addr = lb_add_global_generated(default_module, t_objc_Class, {}, &e);
-
- lbValue ptr = lb_find_value_from_entity(p->module, e);
- lbAddr local_addr = lb_addr(ptr);
-
- string_map_set(&default_module->objc_classes, name, default_addr);
- if (default_module != p->module) {
- string_map_set(&p->module->objc_classes, name, local_addr);
- }
- return lb_addr_load(p, local_addr);
- }
+ return lb_addr_load(p, lb_handle_objc_find_or_register_class(p, name));
}
return lb_build_expr(p, expr);