diff options
| author | Richard Henderson <rth@redhat.com> | 2004-03-02 16:46:06 -0800 |
|---|---|---|
| committer | Richard Henderson <rth@gcc.gnu.org> | 2004-03-02 16:46:06 -0800 |
| commit | 27ab3e91289ff7946c6a477de84bddb707d3f74d (patch) | |
| tree | 89c4a2eac8c27b87bff6eb652865b74686befcd2 /gcc | |
| parent | 0b1d67d23b3498243272f751414b157054be4515 (diff) | |
| download | gcc-27ab3e91289ff7946c6a477de84bddb707d3f74d.zip gcc-27ab3e91289ff7946c6a477de84bddb707d3f74d.tar.gz gcc-27ab3e91289ff7946c6a477de84bddb707d3f74d.tar.bz2 | |
re PR middle-end/11767 (different code behaviour with -fnon-call-exceptions -fprofile-arcs)
PR middle-end/11767
* coverage.c (coverage_counter_ref): Set MEM_NOTRAP_P.
* optabs.c (prepare_cmp_insn): Force trapping memories to registers
before the compare, if flag_non_call_exceptions.
* g++.dg/other/profile1.C: New.
From-SVN: r78805
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/coverage.c | 1 | ||||
| -rw-r--r-- | gcc/optabs.c | 10 |
3 files changed, 18 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 1a8e333..ebcd2ec 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,12 @@ 2004-03-02 Richard Henderson <rth@redhat.com> + PR middle-end/11767 + * coverage.c (coverage_counter_ref): Set MEM_NOTRAP_P. + * optabs.c (prepare_cmp_insn): Force trapping memories to registers + before the compare, if flag_non_call_exceptions. + +2004-03-02 Richard Henderson <rth@redhat.com> + PR middle-end/14327 * stmt.c (expand_computed_goto): Do do_pending_stack_adjust before emitting the label, not after. diff --git a/gcc/coverage.c b/gcc/coverage.c index 6d6f3b8..d045d79 100644 --- a/gcc/coverage.c +++ b/gcc/coverage.c @@ -399,6 +399,7 @@ coverage_counter_ref (unsigned counter, unsigned no) ref = plus_constant (ctr_labels[counter], gcov_size / BITS_PER_UNIT * no); ref = gen_rtx_MEM (mode, ref); set_mem_alias_set (ref, new_alias_set ()); + MEM_NOTRAP_P (ref) = 1; return ref; } diff --git a/gcc/optabs.c b/gcc/optabs.c index cf3099b..0826782 100644 --- a/gcc/optabs.c +++ b/gcc/optabs.c @@ -3650,6 +3650,16 @@ prepare_cmp_insn (rtx *px, rtx *py, enum rtx_code *pcomparison, rtx size, return; } + /* Don't allow operands to the compare to trap, as that can put the + compare and branch in different basic blocks. */ + if (flag_non_call_exceptions) + { + if (may_trap_p (x)) + x = force_reg (mode, x); + if (may_trap_p (y)) + y = force_reg (mode, y); + } + *px = x; *py = y; if (can_compare_p (*pcomparison, mode, purpose)) |