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

Switch else empty
All checks were successful
CI / ci (ReleaseFast, ubuntu-latest) (push) Successful in 1m59s
Details
CI / ci (ReleaseSmall, ubuntu-latest) (push) Successful in 1m56s
Details
CI / ci (ReleaseSafe, ubuntu-latest) (push) Successful in 2m6s
Details
CI / ci (Debug, ubuntu-latest) (push) Successful in 3m7s
Details

Browse Source
This commit is contained in:
David Gonzalez Martin 2025-04-15 11:41:08 -06:00
parent da5d6182f3
commit 0e789d3f13
2 changed files with 32 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/bootstrap.zig
View File

@ -6561,7 +6561,7 @@ pub const Module = struct {
const previous_exit_block = current_function.exit_block;
defer current_function.exit_block = previous_exit_block;
const exit_block = module.llvm.context.create_basic_block("exit_block", null);
const exit_block = module.llvm.context.create_basic_block("exit_block", llvm_function);
current_function.exit_block = exit_block;
module.analyze(function, switch_statement.discriminant, .{});
@ -6592,6 +6592,9 @@ pub const Module = struct {
const else_block = if (else_clause_index) |i| switch_statement.clauses[i].basic_block else module.llvm.context.create_basic_block("switch.else_case_block", llvm_function);
const switch_instruction = module.llvm.builder.create_switch(switch_statement.discriminant.llvm.?, else_block, total_discriminant_cases);
var all_blocks_terminated = true;
for (switch_statement.clauses) |clause| {
for (clause.values) |v| {
switch_instruction.add_case(v.llvm.?, clause.basic_block);
@ -6601,6 +6604,7 @@ pub const Module = struct {
module.llvm.builder.position_at_end(clause.basic_block);
module.analyze_block(function, clause.block);
if (module.llvm.builder.get_insert_block() != null) {
all_blocks_terminated = false;
_ = module.llvm.builder.create_branch(exit_block);
module.llvm.builder.clear_insertion_position();
}
@ -6613,6 +6617,10 @@ pub const Module = struct {
_ = module.llvm.builder.create_unreachable();
module.llvm.builder.clear_insertion_position();
}
if (!all_blocks_terminated) {
module.llvm.builder.position_at_end(exit_block);
}
},
else => @trap(),
}

23
tests/switch_else_empty.bbb Normal file
View File

@ -0,0 +1,23 @@
E = enum
{
a,
b,
c,
}
[export] main = fn [cc(c)] () s32
{
>some_enum: E = .b;
switch (some_enum)
{
.a =>
{
return 1;
},
else =>
{
},
}
return 0;
}