mirrors/Odin
1
0
Fork 0
mirror of https://github.com/odin-lang/Odin.git synced 2026-08-23 21:41:34 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix reinterpretation on riscv

Browse Source
This commit is contained in:
kalsprite
2026-08-17 21:53:37 -07:00
parent c6fcad51f8
commit 0ef3d96724
2 changed files with 10 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/llvm_backend_stmt.cpp
View File

@@ -1,6 +1,8 @@
#define LB_ENABLE_BASIC_RVO true
#define LB_ENABLE_ADVANCED_RVO build_context.enable_rvo
gb_internal LLVMValueRef lb_coerce_fields_load(lbProcedure *p, lbValue x, lbArgType const *arg);
// NOTE(bill): @RVO Check if a call expression returns by sret with a return type matching dst_type.
// Returns the callee's function type if eligible for copy elision, nullptr otherwise.
gb_internal lbFunctionType *lb_call_sret_eligible(lbProcedure *p, Ast *call_expr, Type *dst_type) {
@@ -2587,7 +2589,9 @@ gb_internal void lb_build_return_stmt_internal(lbProcedure *p, lbValue res, Toke
ret_type = cast_type;
}
if (LLVMGetTypeKind(ret_type) == LLVMStructTypeKind) {
if (ft->ret.coerce_offsets.count > 0) {
ret_val = lb_coerce_fields_load(p, res, &ft->ret);
} else if (LLVMGetTypeKind(ret_type) == LLVMStructTypeKind) {
LLVMTypeRef src_type = LLVMTypeOf(ret_val);
if (p->temp_callee_return_struct_memory == nullptr) {

5
tests/abi/gen.odin
View File

@@ -1441,6 +1441,11 @@ emit_main :: proc() -> string {
w(&sb, "%s\tif %s_arg(s, 7) != 7 { return 1 }\n", ind, t.name)
w(&sb, "%s\tif %s_chk(s) != 0 { return 1 }\n", ind, t.name)
w(&sb, "%s\tif %s_ex(1,2,3,4,5,6,7, 1,2,3,4,5,6,7,8, s, 7) != 7 { return 1 }\n", ind, t.name)
w(&sb, "%s\tif %s_ex2(1,2,3,4,5,6,7,8,9, 1,2,3,4,5,6,7,8,9, s, 7) != 7 { return 1 }\n", ind, t.name)
w(&sb, "%s\tif %s_two(s, s, 7) != 7 { return 1 }\n", ind, t.name)
w(&sb, "%s\tif %s_can(1,2,3,4,5,6,7, 1,2,3,4,5,6,7,8, 0x1111111111111111, s, 0x2222222222222222, 7) != 7 { return 1 }\n", ind, t.name)
w(&sb, "%s\tif %s_can2(1,2,3,4,5,6,7,8,9,10,11, 0x1111111111111111, s, 0x2222222222222222, 7) != 7 { return 1 }\n", ind, t.name)
w(&sb, "%s\tif %s_back() != 0 { return 1 }\n", ind, t.name)
w(&sb, "%s\tr := %s_ret()\n", ind, t.name)
getters := odin_getters(t, "r")
if len(getters) == 0 {