var-tracking: Add entry values up to max register mode

For parameter of type integer which do not consume a whole register
(modulo sign/zero extension) this patch adds entry values up to maximal
register mode.

gcc/ChangeLog:

	* var-tracking.cc (vt_add_function_parameter): Add entry values
	up to maximal register mode.

diff --git a/gcc/var-tracking.cc b/gcc/var-tracking.cc
index 235981d100f6fdef817412bf050b1befc1810075..9c40ec4fb8b154fcb68388d49c154ee09ef78608 100644 (file)
--- a/gcc/var-tracking.cc
+++ b/gcc/var-tracking.cc
@@ -9906,6 +9906,23 @@ vt_add_function_parameter (tree parm)
                                     VAR_INIT_STATUS_INITIALIZED, NULL, INSERT);
                }
            }
+
+         if (GET_MODE_CLASS (mode) == MODE_INT)
+           {
+             machine_mode wider_mode_iter;
+             FOR_EACH_WIDER_MODE (wider_mode_iter, mode)
+               {
+                 if (!HWI_COMPUTABLE_MODE_P (wider_mode_iter))
+                   break;
+                 rtx wider_reg
+                   = gen_rtx_REG (wider_mode_iter, REGNO (incoming));
+                 cselib_val *wider_val
+                   = cselib_lookup_from_insn (wider_reg, wider_mode_iter, 1,
+                                              VOIDmode, get_insns ());
+                 preserve_value (wider_val);
+                 record_entry_value (wider_val, wider_reg);
+               }
+           }
        }
     }
   else if (GET_CODE (incoming) == PARALLEL && !dv_onepart_p (dv))