]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
middle-end/114734 - wrong code with expand_call_mem_ref
authorRichard Biener <rguenther@suse.de>
Fri, 26 Apr 2024 13:47:13 +0000 (15:47 +0200)
committerRichard Biener <rguenther@suse.de>
Fri, 21 Jun 2024 09:20:43 +0000 (11:20 +0200)
When expand_call_mem_ref looks at the definition of the address
argument to eventually expand a &TARGET_MEM_REF argument together
with a masked load it fails to honor constraints imposed by SSA
coalescing decisions.  The following fixes this.

PR middle-end/114734
* internal-fn.c (expand_call_mem_ref): Use
get_gimple_for_ssa_name to get at the def stmt of the address
argument to honor SSA coalescing constraints.

(cherry picked from commit 20ebcaf826c91ddaf2aac35417ec1e5e6d31ad50)

gcc/internal-fn.c

index dc4337c228500ec8749a7dcea0476e33e9bb6395..ebd3da32623edccf6f62b9078fc8205e9455e0f8 100644 (file)
@@ -51,6 +51,11 @@ along with GCC; see the file COPYING3.  If not see
 #include "ssa-iterators.h"
 #include "explow.h"
 #include "rtl-iter.h"
+#include "tree-ssa-live.h"
+#include "tree-outof-ssa.h"
+
+/* For lang_hooks.types.type_for_mode.  */
+#include "langhooks.h"
 
 /* The names of each internal function, indexed by function number.  */
 const char *const internal_fn_name_array[] = {
@@ -2677,8 +2682,8 @@ expand_call_mem_ref (tree type, gcall *stmt, int index)
   tree tmp = addr;
   if (TREE_CODE (tmp) == SSA_NAME)
     {
-      gimple *def = SSA_NAME_DEF_STMT (tmp);
-      if (gimple_assign_single_p (def))
+      gimple *def = get_gimple_for_ssa_name (tmp);
+      if (def && gimple_assign_single_p (def))
        tmp = gimple_assign_rhs1 (def);
     }