From: ebotcazou Date: Tue, 8 Dec 2015 18:47:54 +0000 (+0000) Subject: PR middle-end/68291 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3809b03c4f968d2b77117684da0c4af9d256d137;p=thirdparty%2Fgcc.git PR middle-end/68291 PR middle-end/68292 * cfgexpand.c (set_rtl): Always accept mode mismatch for SSA names with BLKmode promoted mode based on RESULT_DECLs. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@231422 138bc75d-0d04-0410-961f-82ee72b054a4 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index ed8dd112cdc2..e186901b0085 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2015-12-08 Eric Botcazou + + PR middle-end/68291 + PR middle-end/68292 + * cfgexpand.c (set_rtl): Always accept mode mismatch for SSA names + with BLKmode promoted mode based on RESULT_DECLs. + 2015-12-08 Uros Bizjak PR target/68701 diff --git a/gcc/cfgexpand.c b/gcc/cfgexpand.c index 5338c251b461..7fe02a900bc9 100644 --- a/gcc/cfgexpand.c +++ b/gcc/cfgexpand.c @@ -203,11 +203,14 @@ set_rtl (tree t, rtx x) PARM_DECLs and RESULT_DECLs, we'll have been called by set_parm_rtl, which will give us the default def, so we don't have to compute it ourselves. For RESULT_DECLs, we accept mode - mismatches too, as long as we're not coalescing across variables, - so that we don't reject BLKmode PARALLELs or unpromoted REGs. */ + mismatches too, as long as we have BLKmode or are not coalescing + across variables, so that we don't reject BLKmode PARALLELs or + unpromoted REGs. */ gcc_checking_assert (!x || x == pc_rtx || TREE_CODE (t) != SSA_NAME - || (SSAVAR (t) && TREE_CODE (SSAVAR (t)) == RESULT_DECL - && !flag_tree_coalesce_vars) + || (SSAVAR (t) + && TREE_CODE (SSAVAR (t)) == RESULT_DECL + && (promote_ssa_mode (t, NULL) == BLKmode + || !flag_tree_coalesce_vars)) || !use_register_for_decl (t) || GET_MODE (x) == promote_ssa_mode (t, NULL));