shishantbiswas/c3c
1
1
Fork 0
mirror of https://github.com/c3lang/c3c.git synced 2026-02-27 20:11:17 +00:00
Code Issues Packages Projects Releases Wiki Activity

Optimize load of return & some parameter types. Fix issue with non-exapanding coerce. Add support for specific arch_os in tests.

Browse Source
This commit is contained in:
Christoffer Lerno
2020-11-24 20:30:01 +01:00
committed by Christoffer Lerno
parent 669fd8c9a9
commit 31e9ec3d52
8 changed files with 151 additions and 74 deletions
Download Patch File Download Diff File Expand all files Collapse all files

26
src/compiler/llvm_codegen_function.c
View File

@@ -228,7 +228,7 @@ static inline void llvm_emit_return_value(GenContext *context, LLVMValueRef valu
context->current_block_is_target = false;
}
void llvm_emit_return_abi(GenContext *c, LLVMValueRef return_value, LLVMValueRef failable)
void llvm_emit_return_abi(GenContext *c, BEValue *return_value, BEValue *failable)
{
FunctionSignature *signature = &c->cur_func_decl->func.function_signature;
ABIArgInfo *info = signature->ret_abi_info;
@@ -243,7 +243,7 @@ void llvm_emit_return_abi(GenContext *c, LLVMValueRef return_value, LLVMValueRef
{
if (return_value)
{
LLVMBuildStore(c->builder, return_value, c->return_out);
llvm_store_bevalue_aligned(c, c->return_out, return_value, 0);
}
return_out = c->failable_out;
return_type = type_error;
@@ -254,8 +254,7 @@ void llvm_emit_return_abi(GenContext *c, LLVMValueRef return_value, LLVMValueRef
switch (info->kind)
{
case ABI_ARG_INDIRECT:
LLVMBuildStore(c->builder, return_value, return_out);
if (info->indirect.realignment) TODO
llvm_store_bevalue_aligned(c, return_out, return_value, info->indirect.realignment);
llvm_emit_return_value(c, NULL);
return;
case ABI_ARG_IGNORE:
@@ -272,15 +271,11 @@ void llvm_emit_return_abi(GenContext *c, LLVMValueRef return_value, LLVMValueRef
if (!coerce_type || coerce_type == llvm_get_type(c, return_type))
{
// The normal return
llvm_emit_return_value(c, return_value);
llvm_emit_return_value(c, llvm_value_rvalue_store(c, return_value));
return;
}
assert(!abi_info_should_flatten(info));
llvm_emit_return_value(c,
gencontext_emit_convert_value_to_coerced(c,
coerce_type,
return_value,
return_type));
llvm_emit_return_value(c, llvm_emit_coerce(c, coerce_type, return_value, return_type));
return;
}
}
@@ -293,9 +288,14 @@ void llvm_emit_return_implicit(GenContext *c)
LLVMBuildUnreachable(c->builder);
return;
}
LLVMValueRef failable = c->cur_func_decl->func.function_signature.failable ?
LLVMConstNull(llvm_get_type(c, type_error)) : NULL;
llvm_emit_return_abi(c, NULL, failable);
if (!c->cur_func_decl->func.function_signature.failable)
{
llvm_emit_return_abi(c, NULL, NULL);
return;
}
BEValue value;
llvm_value_set(&value, LLVMConstNull(llvm_get_type(c, type_error)), type_error);
llvm_emit_return_abi(c, NULL, &value);
}
void llvm_emit_function_body(GenContext *context, Decl *decl)