From 109374e2fbfc38ae613f693d7f92bfc1beda7e4e Mon Sep 17 00:00:00 2001 From: Richard Sandiford Date: Wed, 27 Aug 2014 21:23:03 +0000 Subject: emit-rtl.c (set_unique_reg_note): Discard notes with side effects. gcc/ * emit-rtl.c (set_unique_reg_note): Discard notes with side effects. From-SVN: r214609 --- gcc/emit-rtl.c | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'gcc/emit-rtl.c') diff --git a/gcc/emit-rtl.c b/gcc/emit-rtl.c index 6cfaef6..9abe56e 100644 --- a/gcc/emit-rtl.c +++ b/gcc/emit-rtl.c @@ -5181,6 +5181,14 @@ set_unique_reg_note (rtx insn, enum reg_note kind, rtx datum) It serves no useful purpose and breaks eliminate_regs. */ if (GET_CODE (datum) == ASM_OPERANDS) return NULL_RTX; + + /* Notes with side effects are dangerous. Even if the side-effect + initially mirrors one in PATTERN (INSN), later optimizations + might alter the way that the final register value is calculated + and so move or alter the side-effect in some way. The note would + then no longer be a valid substitution for SET_SRC. */ + if (side_effects_p (datum)) + return NULL_RTX; break; default: -- cgit v1.1