aboutsummaryrefslogtreecommitdiff
path: root/src/llvm_backend.cpp
diff options
context:
space:
mode:
authorjockus <joakim.hentula@gmail.com>2020-08-27 08:24:59 +0100
committerjockus <joakim.hentula@gmail.com>2020-08-27 08:24:59 +0100
commit914c99a15edf325399fb758605b80fe31d5f4813 (patch)
treece86f022b368fb42a61041e01051c80765b86d64 /src/llvm_backend.cpp
parent8de70ce73dd3fc9740a0589e6167d950d02f244d (diff)
parentd31c63c0ae76115d1b9aa8b5d1f8bf7130e74977 (diff)
Merge branch 'master' into fix-core-path-name-extension
Diffstat (limited to 'src/llvm_backend.cpp')
-rw-r--r--src/llvm_backend.cpp32
1 files changed, 31 insertions, 1 deletions
diff --git a/src/llvm_backend.cpp b/src/llvm_backend.cpp
index 5ba641897..d5b2d9f8d 100644
--- a/src/llvm_backend.cpp
+++ b/src/llvm_backend.cpp
@@ -145,6 +145,30 @@ lbValue lb_addr_get_ptr(lbProcedure *p, lbAddr const &addr) {
return lb_emit_conv(p, ptr, alloc_type_pointer(map_type->Map.value));
}
+
+ case lbAddr_RelativePointer: {
+ Type *rel_ptr = base_type(lb_addr_type(addr));
+ GB_ASSERT(rel_ptr->kind == Type_RelativePointer);
+
+ lbValue ptr = lb_emit_conv(p, addr.addr, t_uintptr);
+ lbValue offset = lb_emit_conv(p, ptr, alloc_type_pointer(rel_ptr->RelativePointer.base_integer));
+ offset = lb_emit_load(p, offset);
+
+ if (!is_type_unsigned(rel_ptr->RelativePointer.base_integer)) {
+ offset = lb_emit_conv(p, offset, t_i64);
+ }
+ offset = lb_emit_conv(p, offset, t_uintptr);
+ lbValue absolute_ptr = lb_emit_arith(p, Token_Add, ptr, offset, t_uintptr);
+ absolute_ptr = lb_emit_conv(p, absolute_ptr, rel_ptr->RelativePointer.pointer_type);
+
+ lbValue cond = lb_emit_comp(p, Token_CmpEq, offset, lb_const_nil(p->module, rel_ptr->RelativePointer.base_integer));
+
+ // NOTE(bill): nil check
+ lbValue nil_ptr = lb_const_nil(p->module, rel_ptr->RelativePointer.pointer_type);
+ lbValue final_ptr = lb_emit_select(p, cond, nil_ptr, absolute_ptr);
+ return final_ptr;
+ }
+
case lbAddr_BitField: {
lbValue v = lb_addr_load(p, addr);
return lb_address_from_load_or_generate_local(p, v);
@@ -6562,6 +6586,10 @@ lbValue lb_emit_struct_ep(lbProcedure *p, lbValue s, i32 index) {
t = t->Opaque.elem;
}
+ if (is_type_relative_pointer(t)) {
+ s = lb_addr_get_ptr(p, lb_addr(s));
+ }
+
if (is_type_struct(t)) {
result_type = get_struct_field_type(t, index);
} else if (is_type_union(t)) {
@@ -6809,7 +6837,7 @@ lbValue lb_emit_deep_field_gep(lbProcedure *p, lbValue e, Selection sel) {
break;
default:
- GB_PANIC("un-gep-able type");
+ GB_PANIC("un-gep-able type %s", type_to_string(type));
break;
}
} else if (type->kind == Type_Slice) {
@@ -6820,6 +6848,8 @@ lbValue lb_emit_deep_field_gep(lbProcedure *p, lbValue e, Selection sel) {
e = lb_emit_array_epi(p, e, index);
} else if (type->kind == Type_Map) {
e = lb_emit_struct_ep(p, e, index);
+ } else if (type->kind == Type_RelativePointer) {
+ e = lb_emit_struct_ep(p, e, index);
} else {
GB_PANIC("un-gep-able type %s", type_to_string(type));
}