birth-software/bloat-buster
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

C struct with array
All checks were successful
CI / ci (ReleaseFast, ubuntu-latest) (push) Successful in 1m26s
Details
CI / ci (ReleaseSmall, ubuntu-latest) (push) Successful in 1m26s
Details
CI / ci (ReleaseSafe, ubuntu-latest) (push) Successful in 1m33s
Details
CI / ci (Debug, ubuntu-latest) (push) Successful in 2m20s
Details

Browse Source
This commit is contained in:
David Gonzalez Martin 2025-04-13 17:59:56 -06:00
parent 1d8157dd9e
commit 9bee8064f2
2 changed files with 37 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

33
src/bootstrap.zig
View File

@ -3912,6 +3912,7 @@ pub const Module = struct {
const argument_abi_kind = argument_abi.flags.kind; const argument_abi_kind = argument_abi.flags.kind;
switch (argument_abi_kind) { switch (argument_abi_kind) {
.direct, .extend => { .direct, .extend => {
// if (argument_abi_kind == .direct) @breakpoint();
const coerce_to_type = argument_abi.get_coerce_to_type(); const coerce_to_type = argument_abi.get_coerce_to_type();
if (coerce_to_type.bb != .structure and semantic_argument_type.is_abi_equal(coerce_to_type, module) and argument_abi.attributes.direct.offset == 0) { if (coerce_to_type.bb != .structure and semantic_argument_type.is_abi_equal(coerce_to_type, module) and argument_abi.attributes.direct.offset == 0) {
module.emit_value(function, semantic_argument_value); module.emit_value(function, semantic_argument_value);
@ -3998,11 +3999,41 @@ pub const Module = struct {
} }
}, },
.right => { .right => {
if (coerce_to_type.is_abi_equal(semantic_argument_type, module)) {
for (0..coerce_to_type.bb.structure.fields.len) |field_index| { for (0..coerce_to_type.bb.structure.fields.len) |field_index| {
const extract_value = module.llvm.builder.create_extract_value(source, @intCast(field_index)); const extract_value = module.llvm.builder.create_extract_value(source, @intCast(field_index));
llvm_abi_argument_value_buffer[abi_argument_count] = extract_value; llvm_abi_argument_value_buffer[abi_argument_count] = extract_value;
abi_argument_count += 1; abi_argument_count += 1;
} }
} else {
switch (semantic_argument_value.bb) {
.aggregate_initialization => |aggregate_initialization| switch (aggregate_initialization.is_constant) {
true => {
const global_variable = module.llvm.module.create_global_variable(.{
.linkage = .InternalLinkage,
.name = "conststruct", // TODO: format properly
.initial_value = semantic_argument_value.llvm.?.to_constant(),
.type = semantic_argument_type.resolve(module).handle,
});
global_variable.set_unnamed_address(.global);
global_variable.to_value().set_alignment(semantic_argument_type.get_byte_alignment());
for (coerce_to_type.bb.structure.fields, 0..) |field, field_index| {
const gep = module.llvm.builder.create_struct_gep(coerce_to_type.resolve(module).handle.to_struct(), global_variable.to_value(), @intCast(field_index));
const maybe_undef = false;
if (maybe_undef) {
@trap();
}
const load = module.create_load(.{ .value = gep, .type = field.type, .alignment = alignment });
llvm_abi_argument_value_buffer[abi_argument_count] = load;
abi_argument_count += 1;
}
},
false => @trap(),
},
else => @trap(),
}
}
}, },
} }
} }
@ -7008,7 +7039,7 @@ pub const Abi = struct {
system_v: Abi.SystemV.RegisterCount, system_v: Abi.SystemV.RegisterCount,
}; };
const Flags = packed struct { const Flags = struct {
kind: Kind, kind: Kind,
padding_in_reg: bool = false, padding_in_reg: bool = false,
in_alloca_sret: bool = false, in_alloca_sret: bool = false,

1
src/main.zig
View File

@ -243,4 +243,5 @@ const names = &[_][]const u8{
"c_ret_struct_array", "c_ret_struct_array",
"c_split_struct_ints", "c_split_struct_ints",
"c_string_to_slice", "c_string_to_slice",
"c_struct_with_array",
}; };