mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2025-12-15 13:55:07 +00:00
Code Issues Projects Releases Wiki Activity

OK, finally, everything should be back in order.

Browse Source
This commit is contained in:
Andrew Bromage
1995-07-05 23:38:32 +00:00
parent fda56846cb
commit 9dddf14a3f
50 changed files with 2841 additions and 1526 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
compiler/tag_switch.m
View File

@@ -69,7 +69,7 @@ tag_switch__generate(Cases, Var, CodeModel, CanFail, EndLabel, Code) -->
{ tag_switch__group_tags(Cases, TagCaseMap0, TagCaseMap) },
{ tag_switch__order_tags(TagCountList, TagCaseMap, TagCaseList) },
code_info__get_next_label(FailLabel, no),
code_info__get_next_label(FailLabel),
code_info__produce_variable(Var, VarCode, Rval),
tag_switch__generate_primary_tag_codes(TagCaseList, Var, Rval,
CodeModel, CanFail, EndLabel, FailLabel, TagCountMap, CasesCode),
@@ -114,7 +114,7 @@ tag_switch__generate_primary_tag_codes([TagGroup | TagGroups], Var, Rval,
{ TagGroups = [_|_] ; CanFail = can_fail }
->
code_info__grab_code_info(CodeInfo),
code_info__get_next_label(ElseLabel, no),
code_info__get_next_label(ElseLabel),
% XXX may be able to dispense with the tag operation
{ TestRval = binop(ne, unop(tag, Rval),
unop(mktag, const(int_const(Primary)))) },
@@ -197,7 +197,7 @@ tag_switch__generate_secondary_tag_tests([Case0 | Cases0], Rval, Primary,
{ Case0 = Secondary - Goal },
( { Cases0 = [_|_] ; CodeModel = model_semi } ->
code_info__grab_code_info(CodeInfo),
code_info__get_next_label(ElseLabel, no),
code_info__get_next_label(ElseLabel),
{ StagLoc = remote ->
TestCode = node([if_val(binop(ne,
lval(field(Primary, Rval, const(int_const(0)))),
@@ -248,7 +248,7 @@ tag_switch__generate_secondary_tag_codes(CaseList, CurSecondary, MaxSecondary,
;
{ NextSecondary is CurSecondary + 1 },
( { CaseList = [CurSecondary - Goal | CaseList1] } ->
code_info__get_next_label(NewLabel, no),
code_info__get_next_label(NewLabel),
( { CaseList1 = [] } ->
code_gen__generate_forced_goal(CodeModel, Goal, GoalCode)
;