diff options
| author | Richard Henderson <rth@gcc.gnu.org> | 2016-02-05 14:05:17 -0800 |
|---|---|---|
| committer | Richard Henderson <rth@gcc.gnu.org> | 2016-02-05 14:05:17 -0800 |
| commit | be2083eab7d8d276bafcd63b02fbf8ed0748e8d4 (patch) | |
| tree | 9256eb829d4d9384df1f7ec1343fb1516759dc3d | |
| parent | 711d7c231fc6a5a04f65568cf17a47c270527a09 (diff) | |
| download | gcc-be2083eab7d8d276bafcd63b02fbf8ed0748e8d4.zip gcc-be2083eab7d8d276bafcd63b02fbf8ed0748e8d4.tar.gz gcc-be2083eab7d8d276bafcd63b02fbf8ed0748e8d4.tar.bz2 | |
re PR middle-end/69643 (Address space discarded)
PR c/69643
* tree.c (tree_nop_conversion_p): Do not strip casts into or
out of non-standard address spaces.
testsuite/
* gcc.target/i386/addr-space-4.c: New.
* gcc.target/i386/addr-space-5.c: New.
From-SVN: r233189
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.target/i386/addr-space-4.c | 16 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.target/i386/addr-space-5.c | 16 | ||||
| -rw-r--r-- | gcc/tree.c | 17 |
5 files changed, 61 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 5ad6983..9e61921 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2016-02-06 Richard Henderson <rth@redhat.com> + + PR c/69643 + * tree.c (tree_nop_conversion_p): Do not strip casts into or + out of non-standard address spaces. + 2016-02-05 Jakub Jelinek <jakub@redhat.com> PR rtl-optimization/69691 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 61306d0..d8f088d 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,9 @@ +2016-02-06 Richard HEnderson <rth@redhat.com> + + PR c/69643 + * gcc.target/i386/addr-space-4.c: New. + * gcc.target/i386/addr-space-5.c: New. + 2016-02-05 Mikael Morin <mikael@gcc.gnu.org> PR fortran/66089 diff --git a/gcc/testsuite/gcc.target/i386/addr-space-4.c b/gcc/testsuite/gcc.target/i386/addr-space-4.c new file mode 100644 index 0000000..3e0966d --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/addr-space-4.c @@ -0,0 +1,16 @@ +/* { dg-do compile } */ +/* { dg-options "-O" } */ +/* { dg-final { scan-assembler "gs:" } } */ + +#define uintptr_t __SIZE_TYPE__ + +struct S { int a, b, c; }; + +extern struct S __seg_gs s; + +int foo (void) +{ + int r; + r = s.c; + return r; +} diff --git a/gcc/testsuite/gcc.target/i386/addr-space-5.c b/gcc/testsuite/gcc.target/i386/addr-space-5.c new file mode 100644 index 0000000..4f73f95 --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/addr-space-5.c @@ -0,0 +1,16 @@ +/* { dg-do compile } */ +/* { dg-options "-O" } */ +/* { dg-final { scan-assembler "gs:" } } */ + +#define uintptr_t __SIZE_TYPE__ + +struct S { int a, b, c; }; + +extern struct S s; + +int ct_state3 (void) +{ + int r; + r = *((int __seg_gs *) (uintptr_t) &s.c); + return r; +} @@ -12219,6 +12219,23 @@ block_ultimate_origin (const_tree block) bool tree_nop_conversion_p (const_tree outer_type, const_tree inner_type) { + /* Do not strip casts into or out of differing address spaces. */ + if (POINTER_TYPE_P (outer_type) + && TYPE_ADDR_SPACE (TREE_TYPE (outer_type)) != ADDR_SPACE_GENERIC) + { + if (!POINTER_TYPE_P (inner_type) + || (TYPE_ADDR_SPACE (TREE_TYPE (outer_type)) + != TYPE_ADDR_SPACE (TREE_TYPE (inner_type)))) + return false; + } + else if (POINTER_TYPE_P (inner_type) + && TYPE_ADDR_SPACE (TREE_TYPE (inner_type)) != ADDR_SPACE_GENERIC) + { + /* We already know that outer_type is not a pointer with + a non-generic address space. */ + return false; + } + /* Use precision rather then machine mode when we can, which gives the correct answer even for submode (bit-field) types. */ if ((INTEGRAL_TYPE_P (outer_type) |