From 007b405bbfa20787eb15a110ce250989d0467622 Mon Sep 17 00:00:00 2001 From: John David Anglin Date: Mon, 25 Jul 2016 17:32:44 +0000 Subject: [PATCH] re PR middle-end/71732 (FAIL: gcc.dg/torture/pr71532.c at -O2 and above) PR middle-end/71732 * cselib.c (cselib_process_insn): Invalidate argument slots for const/pure calls. From-SVN: r238727 --- gcc/ChangeLog | 6 ++++++ gcc/cselib.c | 7 +++++++ 2 files changed, 13 insertions(+) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 303e4f5b9e3..97a9ab094fc 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2016-07-25 John David Anglin + + PR middle-end/71732 + * cselib.c (cselib_process_insn): Invalidate argument slots for + const/pure calls. + 2016-07-25 Jiong Wang * config/aarch64/arm_neon.h (vfmah_lane_f16, vfmah_laneq_f16, diff --git a/gcc/cselib.c b/gcc/cselib.c index 14c7b320b03..0c5183cf730 100644 --- a/gcc/cselib.c +++ b/gcc/cselib.c @@ -2659,6 +2659,13 @@ cselib_process_insn (rtx_insn *insn) if (RTL_LOOPING_CONST_OR_PURE_CALL_P (insn) || !(RTL_CONST_OR_PURE_CALL_P (insn))) cselib_invalidate_mem (callmem); + else + /* For const/pure calls, invalidate any argument slots because + they are owned by the callee. */ + for (x = CALL_INSN_FUNCTION_USAGE (insn); x; x = XEXP (x, 1)) + if (GET_CODE (XEXP (x, 0)) == USE + && MEM_P (XEXP (XEXP (x, 0), 0))) + cselib_invalidate_mem (XEXP (XEXP (x, 0), 0)); } cselib_record_sets (insn); -- 2.11.4.GIT