aboutsummaryrefslogtreecommitdiff
path: root/src/ir.cpp
diff options
context:
space:
mode:
authorgingerBill <bill@gingerbill.org>2018-02-17 19:05:14 +0000
committergingerBill <bill@gingerbill.org>2018-02-17 19:05:14 +0000
commitd560f6c920095465be71f19b3e34c836966ff5c6 (patch)
tree2c13a6b0d41e5ad728b02041b061d510667e8378 /src/ir.cpp
parent21432ba96efc2622f12b2939a0e5d9c2baa0d2c2 (diff)
Fix compile time issue regarding switch ranges
Diffstat (limited to 'src/ir.cpp')
-rw-r--r--src/ir.cpp34
1 files changed, 12 insertions, 22 deletions
diff --git a/src/ir.cpp b/src/ir.cpp
index 2fb398273..f0d0c4606 100644
--- a/src/ir.cpp
+++ b/src/ir.cpp
@@ -7177,8 +7177,8 @@ void ir_build_stmt_internal(irProcedure *proc, AstNode *node) {
Type *parent_type = ir_type(parent);
bool is_parent_ptr = is_type_pointer(ir_type(parent));
- SwitchKind switch_kind = check_valid_type_switch_type(ir_type(parent));
- GB_ASSERT(switch_kind != Switch_Invalid);
+ TypeSwitchKind switch_kind = check_valid_type_switch_type(ir_type(parent));
+ GB_ASSERT(switch_kind != TypeSwitch_Invalid);
irValue *parent_value = parent;
@@ -7189,7 +7189,7 @@ void ir_build_stmt_internal(irProcedure *proc, AstNode *node) {
irValue *tag_index = nullptr;
irValue *union_data = nullptr;
- if (switch_kind == Switch_Union) {
+ if (switch_kind == TypeSwitch_Union) {
ir_emit_comment(proc, str_lit("get union's tag"));
tag_index = ir_emit_load(proc, ir_emit_union_tag_ptr(proc, parent_ptr));
union_data = ir_emit_conv(proc, parent_ptr, t_rawptr);
@@ -7222,11 +7222,11 @@ void ir_build_stmt_internal(irProcedure *proc, AstNode *node) {
next = ir_new_block(proc, nullptr, "typeswitch.next");
case_type = type_of_expr(proc->module->info, cc->list[type_index]);
irValue *cond = nullptr;
- if (switch_kind == Switch_Union) {
+ if (switch_kind == TypeSwitch_Union) {
Type *ut = base_type(type_deref(parent_type));
irValue *variant_tag = ir_const_union_tag(proc->module->allocator, ut, case_type);
cond = ir_emit_comp(proc, Token_CmpEq, tag_index, variant_tag);
- } else if (switch_kind == Switch_Any) {
+ } else if (switch_kind == TypeSwitch_Any) {
irValue *any_ti = ir_emit_load(proc, ir_emit_struct_ep(proc, parent_ptr, 1));
irValue *case_ti = ir_type_info(proc, case_type);
cond = ir_emit_comp(proc, Token_CmpEq, any_ti, case_ti);
@@ -7252,9 +7252,9 @@ void ir_build_stmt_internal(irProcedure *proc, AstNode *node) {
}
GB_ASSERT_MSG(is_type_pointer(ct), "%s", type_to_string(ct));
irValue *data = nullptr;
- if (switch_kind == Switch_Union) {
+ if (switch_kind == TypeSwitch_Union) {
data = union_data;
- } else if (switch_kind == Switch_Any) {
+ } else if (switch_kind == TypeSwitch_Any) {
irValue *any_data = ir_emit_load(proc, ir_emit_struct_ep(proc, parent_ptr, 0));
data = any_data;
}
@@ -7291,22 +7291,12 @@ void ir_build_stmt_internal(irProcedure *proc, AstNode *node) {
break;
}
} else {
- switch (bs->token.kind) {
- case Token_break:
- for (irTargetList *t = proc->target_list; t != nullptr && block == nullptr; t = t->prev) {
- block = t->break_;
- }
- break;
- case Token_continue:
- for (irTargetList *t = proc->target_list; t != nullptr && block == nullptr; t = t->prev) {
- block = t->continue_;
+ for (irTargetList *t = proc->target_list; t != nullptr && block == nullptr; t = t->prev) {
+ switch (bs->token.kind) {
+ case Token_break: block = t->break_; break;
+ case Token_continue: block = t->continue_; break;
+ case Token_fallthrough: block = t->fallthrough_; break;
}
- break;
- case Token_fallthrough:
- for (irTargetList *t = proc->target_list; t != nullptr && block == nullptr; t = t->prev) {
- block = t->fallthrough_;
- }
- break;
}
}
if (block != nullptr) {