On Mon, Jul 11, 2016 at 3:48 PM, H.J. Lu <hjl.to...@gmail.com> wrote:
> When converting V1TImode register in debug insn, check if it has been
> converted to TImode already.
>
> Tested on x86-64. OK for trunk?
I was looking to use simplify_subreg here, but it is too complicated
for the known purpose.
> H.J.
> ---
> gcc/
>
> PR target/71801
> * config/i386/i386.c (timode_scalar_chain::fix_debug_reg_uses):
> Don't convert TImode in debug insn.
>
> gcc/testsuite/
>
> PR target/71801
> * gcc.target/i386/pr71801.c: New test.
OK for mainline.
Thanks,
Uros.
> ---
> gcc/config/i386/i386.c | 3 +++
> gcc/testsuite/gcc.target/i386/pr71801.c | 22 ++++++++++++++++++++++
> 2 files changed, 25 insertions(+)
> create mode 100644 gcc/testsuite/gcc.target/i386/pr71801.c
>
> diff --git a/gcc/config/i386/i386.c b/gcc/config/i386/i386.c
> index 9eaf414..d190bef 100644
> --- a/gcc/config/i386/i386.c
> +++ b/gcc/config/i386/i386.c
> @@ -3814,6 +3814,9 @@ timode_scalar_chain::fix_debug_reg_uses (rtx reg)
> continue;
> gcc_assert (GET_CODE (val) == VAR_LOCATION);
> rtx loc = PAT_VAR_LOCATION_LOC (val);
> + /* It may have been converted to TImode already. */
> + if (GET_MODE (loc) == TImode)
> + continue;
> gcc_assert (REG_P (loc)
> && GET_MODE (loc) == V1TImode);
> /* Convert V1TImode register, which has been updated by a SET
> diff --git a/gcc/testsuite/gcc.target/i386/pr71801.c
> b/gcc/testsuite/gcc.target/i386/pr71801.c
> new file mode 100644
> index 0000000..6c87522
> --- /dev/null
> +++ b/gcc/testsuite/gcc.target/i386/pr71801.c
> @@ -0,0 +1,22 @@
> +/* { dg-do compile } */
> +/* { dg-options "-O2 -g" } */
> +
> +struct {
> + char uuid[16];
> +} c;
> +struct {
> + int s_uuid[6];
> +} a, b;
> +int bar (void);
> +static int get_label_uuid(char *p1) {
> + __builtin_memcpy(p1, a.s_uuid, sizeof(a));
> + if (bar())
> + __builtin_memcpy(p1, b.s_uuid, sizeof(b));
> + return 0;
> +}
> +void uuidcache_addentry(char *p1) { __builtin_memcpy(&c, p1, sizeof(c)); }
> +void uuidcache_init() {
> + char d[1];
> + get_label_uuid(d);
> + uuidcache_addentry(d);
> +}
> --
