diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2010-07-20 14:58:03 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2010-07-20 14:58:03 +0200 |
| commit | 68eaf35cdb86ba13abb14330cc2a4a9b266242ef (patch) | |
| tree | 192f1761f965d8bc4c32c0ae966d552d036bd763 /gcc | |
| parent | 720151cabda2a56418b32c1b048de33670641e45 (diff) | |
| download | gcc-68eaf35cdb86ba13abb14330cc2a4a9b266242ef.zip gcc-68eaf35cdb86ba13abb14330cc2a4a9b266242ef.tar.gz gcc-68eaf35cdb86ba13abb14330cc2a4a9b266242ef.tar.bz2 | |
re PR debug/45003 (VTA issues with sign/zero extension and debug temporaries)
PR debug/45003
* cfgexpand.c (expand_debug_expr) <case NOP_EXPR>: Use ZERO_EXTEND
or SIGN_EXTEND depending on TYPE_UNSIGNED of the operand's type
instead of the result's type.
* gcc.dg/guality/pr45003-1.c: New test.
From-SVN: r162336
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/cfgexpand.c | 2 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/guality/pr45003-1.c | 31 |
4 files changed, 44 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 2065af6..f7598eb 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2010-07-20 Jakub Jelinek <jakub@redhat.com> + + PR debug/45003 + * cfgexpand.c (expand_debug_expr) <case NOP_EXPR>: Use ZERO_EXTEND + or SIGN_EXTEND depending on TYPE_UNSIGNED of the operand's type + instead of the result's type. + 2010-07-20 Richard Guenther <rguenther@suse.de> PR tree-optimization/44977 diff --git a/gcc/cfgexpand.c b/gcc/cfgexpand.c index d8378ee..3d7bdd0 100644 --- a/gcc/cfgexpand.c +++ b/gcc/cfgexpand.c @@ -2427,7 +2427,7 @@ expand_debug_expr (tree exp) op0 = simplify_gen_subreg (mode, op0, inner_mode, subreg_lowpart_offset (mode, inner_mode)); - else if (unsignedp) + else if (TYPE_UNSIGNED (TREE_TYPE (TREE_OPERAND (exp, 0)))) op0 = gen_rtx_ZERO_EXTEND (mode, op0); else op0 = gen_rtx_SIGN_EXTEND (mode, op0); diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index ae38e84..391d88f 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2010-07-20 Jakub Jelinek <jakub@redhat.com> + + PR debug/45003 + * gcc.dg/guality/pr45003-1.c: New test. + 2010-07-20 Richard Guenther <rguenther@suse.de> PR tree-optimization/44977 diff --git a/gcc/testsuite/gcc.dg/guality/pr45003-1.c b/gcc/testsuite/gcc.dg/guality/pr45003-1.c new file mode 100644 index 0000000..7cef8f6 --- /dev/null +++ b/gcc/testsuite/gcc.dg/guality/pr45003-1.c @@ -0,0 +1,31 @@ +/* PR debug/45003 */ +/* { dg-do run { target { x86_64-*-* && lp64 } } } */ +/* { dg-options "-g" } */ + +int __attribute__((noinline)) +foo (unsigned short *p) +{ + int a = *p; + asm volatile ("nop"); + asm volatile ("nop" : : "D" (a)); /* { dg-final { gdb-test 10 "a" "0x8078" } } */ + return 0; +} + +int __attribute__((noinline)) +bar (short *p) +{ + unsigned int a = *p; + asm volatile ("nop"); + asm volatile ("nop" : : "D" (a)); /* { dg-final { gdb-test 19 "a" "0xffff8078" } } */ + return 0; +} + +int +main () +{ + unsigned short us = 0x8078; + foo (&us); + short s = -32648; + bar (&s); + return 0; +} |