MatCat.OpenSource/8sa1-gcc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

flow.c (find_basic_blocks): Generate correct flow control information when exception handling notes are present.

Browse Source 
* flow.c (find_basic_blocks): Generate correct flow control
        information when exception handling notes are present.

From-SVN: r16263
This commit is contained in:
Jason Merrill 1997-11-01 23:45:10 +00:00 committed by Jeff Law
parent c2c85462f3
commit a886ae747e
2 changed files with 37 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/ChangeLog
View File

@ -1,3 +1,8 @@
Sat Nov 1 16:44:49 1997 Jason Merrill (jason@cygnus.com)
* flow.c (find_basic_blocks): Generate correct flow control
information when exception handling notes are present.
Sat Nov 1 13:42:19 1997 Jeffrey A Law (law@cygnus.com) Sat Nov 1 13:42:19 1997 Jeffrey A Law (law@cygnus.com)
* dwarf2out.c (output_call_frame_info): Fix length argument * dwarf2out.c (output_call_frame_info): Fix length argument

45
gcc/flow.c
View File

@ -522,21 +522,39 @@ find_basic_blocks (f, nonlocal_label_list)
} }
/* Find all call insns and mark them as possibly jumping /* Find all call insns and mark them as possibly jumping
to all the nonlocal goto handler labels. */ to all the nonlocal goto handler labels, or to the current
exception handler. */
for (insn = f; insn; insn = NEXT_INSN (insn)) for (note = NULL_RTX, insn = f; insn; insn = NEXT_INSN (insn))
if (GET_CODE (insn) == CALL_INSN {
&& ! find_reg_note (insn, REG_RETVAL, NULL_RTX)) if (! asynchronous_exceptions && GET_CODE (insn) == NOTE)
{ {
for (x = nonlocal_label_list; x; x = XEXP (x, 1)) if (NOTE_LINE_NUMBER (insn) == NOTE_INSN_EH_REGION_BEG)
mark_label_ref (gen_rtx (LABEL_REF, VOIDmode, XEXP (x, 0)), {
insn, 0); for (x = exception_handler_labels; x; x = XEXP (x, 1))
if (CODE_LABEL_NUMBER (XEXP (x, 0))
if (! asynchronous_exceptions) == NOTE_BLOCK_NUMBER (insn))
for (x = exception_handler_labels; x; x = XEXP (x, 1)) {
mark_label_ref (gen_rtx (LABEL_REF, VOIDmode, XEXP (x, 0)), note = gen_rtx (EXPR_LIST, VOIDmode,
XEXP (x, 0), note);
break;
}
if (x == NULL_RTX)
abort ();
}
else if (NOTE_LINE_NUMBER (insn) == NOTE_INSN_EH_REGION_END)
note = XEXP (note, 1);
}
else if (GET_CODE (insn) == CALL_INSN
&& ! find_reg_note (insn, REG_RETVAL, NULL_RTX))
{
if (note)
mark_label_ref (gen_rtx (LABEL_REF, VOIDmode, XEXP (note, 0)),
insn, 0); insn, 0);
for (x = nonlocal_label_list; x; x = XEXP (x, 1))
mark_label_ref (gen_rtx (LABEL_REF, VOIDmode, XEXP (x, 0)),
insn, 0);
/* ??? This could be made smarter: /* ??? This could be made smarter:
in some cases it's possible to tell that certain in some cases it's possible to tell that certain
calls will not do a nonlocal goto. calls will not do a nonlocal goto.
@ -546,7 +564,8 @@ find_basic_blocks (f, nonlocal_label_list)
only calls to those functions or to other nested only calls to those functions or to other nested
functions that use them could possibly do nonlocal functions that use them could possibly do nonlocal
gotos. */ gotos. */
} }
}
/* All blocks associated with labels in label_value_list are /* All blocks associated with labels in label_value_list are
trivially considered as marked live, if the list is empty. trivially considered as marked live, if the list is empty.