Commit 960dcaf5 by Jakub Jelinek Committed by Jakub Jelinek

tree-ssa-structalias.c (intra_create_variable_infos): Treat TYPE_RESTRICT…

tree-ssa-structalias.c (intra_create_variable_infos): Treat TYPE_RESTRICT REFERENCE_TYPE parameters like restricted DECL_BY_REFERENCE...

	* tree-ssa-structalias.c (intra_create_variable_infos): Treat
	TYPE_RESTRICT REFERENCE_TYPE parameters like restricted
	DECL_BY_REFERENCE parameters.

	* g++.dg/tree-ssa/restrict2.C: New test.

From-SVN: r179166
parent 1ee0d660
2011-09-25 Jakub Jelinek <jakub@redhat.com>
* tree-ssa-structalias.c (intra_create_variable_infos): Treat
TYPE_RESTRICT REFERENCE_TYPE parameters like restricted
DECL_BY_REFERENCE parameters.
2011-09-25 Eric Botcazou <ebotcazou@adacore.com>
* tree-eh.c (cleanup_empty_eh): Allow a call to __builtin_stack_restore
2011-09-25 Jakub Jelinek <jakub@redhat.com>
* g++.dg/tree-ssa/restrict2.C: New test.
2011-09-25 Ira Rosen <ira.rosen@linaro.org>
* lib/target-supports.exp (check_effective_target_vect64): New.
......
// { dg-do compile }
// { dg-options "-O2 -fdump-tree-optimized" }
struct S { int *__restrict p; int q; };
S s;
int
f1 (S x, S y)
{
x.p[0] = 1;
y.p[0] = 0;
// { dg-final { scan-tree-dump-times "return 1" 1 "optimized" } }
return x.p[0];
}
int
f2 (S x)
{
x.p[0] = 2;
s.p[0] = 0;
// { dg-final { scan-tree-dump-times "return 2" 1 "optimized" } }
return x.p[0];
}
int
f3 (S &__restrict x, S &__restrict y)
{
x.p[0] = 3;
y.p[0] = 0;
// { dg-final { scan-tree-dump-times "return 3" 1 "optimized" } }
return x.p[0];
}
int
f4 (S &x, S &y)
{
x.p[0] = 4;
y.p[0] = 0;
// { dg-final { scan-tree-dump-times "return 4" 0 "optimized" } }
return x.p[0];
}
int
f5 (S *__restrict x, S *__restrict y)
{
x->p[0] = 5;
y->p[0] = 0;
// We might handle this some day
// { dg-final { scan-tree-dump-times "return 5" 1 "optimized" { xfail *-*-* } } }
return x->p[0];
}
int
f6 (S *x, S *y)
{
x->p[0] = 6;
y->p[0] = 0;
// { dg-final { scan-tree-dump-times "return 6" 0 "optimized" } }
return x->p[0];
}
// { dg-final { cleanup-tree-dump "optimized" } }
......@@ -5589,10 +5589,11 @@ intra_create_variable_infos (void)
varinfo_t p;
/* For restrict qualified pointers to objects passed by
reference build a real representative for the pointed-to object. */
if (DECL_BY_REFERENCE (t)
&& POINTER_TYPE_P (TREE_TYPE (t))
&& TYPE_RESTRICT (TREE_TYPE (t)))
reference build a real representative for the pointed-to object.
Treat restrict qualified references the same. */
if (TYPE_RESTRICT (TREE_TYPE (t))
&& ((DECL_BY_REFERENCE (t) && POINTER_TYPE_P (TREE_TYPE (t)))
|| TREE_CODE (TREE_TYPE (t)) == REFERENCE_TYPE))
{
struct constraint_expr lhsc, rhsc;
varinfo_t vi;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment