diff options
| author | Sebastian Pop <sebastian.pop@amd.com> | 2011-07-21 22:57:59 +0000 |
|---|---|---|
| committer | Sebastian Pop <spop@gcc.gnu.org> | 2011-07-21 22:57:59 +0000 |
| commit | ef74e2ba382eecfea8d7ef44d54add99c3fd4d92 (patch) | |
| tree | ab76d08fcdd37605200b9cce9a27a5b59935ea1f /gcc/testsuite | |
| parent | 84f2ffea18c756f4c07e35e771739319f515711e (diff) | |
| download | gcc-ef74e2ba382eecfea8d7ef44d54add99c3fd4d92.tar.gz gcc-ef74e2ba382eecfea8d7ef44d54add99c3fd4d92.tar.bz2 gcc-ef74e2ba382eecfea8d7ef44d54add99c3fd4d92.zip | |
Infer types based on lb and ub.
2011-07-21 Sebastian Pop <sebastian.pop@amd.com>
PR middle-end/47654
PR middle-end/49649
* graphite-clast-to-gimple.c (type_for_clast_term): Pass v1 and v2
in parameter. Initialize v1 and v2 based on the values returned
by clast_name_to_lb_ub.
(type_for_clast_red): Pass v1 and v2 in parameter, and set their
values.
(type_for_clast_bin): Same.
(type_for_clast_expr): Same.
(type_for_clast_eq): Update calls to type_for_clast_expr.
(type_for_clast_for): Same.
(build_iv_mapping): Same.
* graphite-ppl.h (value_min): New.
* gcc.dg/graphite/run-id-pr47654.c: New.
From-SVN: r176605
Diffstat (limited to 'gcc/testsuite')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/graphite/run-id-pr47654.c | 24 |
2 files changed, 30 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index d28b4847483..a63b6474cbb 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,9 @@ +2011-07-21 Sebastian Pop <sebastian.pop@amd.com> + + PR middle-end/47654 + PR middle-end/49649 + * gcc.dg/graphite/run-id-pr47654.c: New. + 2011-07-21 Ian Lance Taylor <iant@google.com> PR middle-end/49705 diff --git a/gcc/testsuite/gcc.dg/graphite/run-id-pr47654.c b/gcc/testsuite/gcc.dg/graphite/run-id-pr47654.c new file mode 100644 index 00000000000..85b6e8b70f5 --- /dev/null +++ b/gcc/testsuite/gcc.dg/graphite/run-id-pr47654.c @@ -0,0 +1,24 @@ +/* { dg-options "-O -floop-strip-mine" } */ + +int a[128][40]; + +void __attribute__ ((noinline, noclone)) +foo (void) +{ + int i, j; + for (i = 0; i < 40; i++) + for (j = 0; j < 128; j++) + a[j][i] = 4; +} + +int +main () +{ + int i, j; + foo (); + for (i = 0; i < 40; i++) + for (j = 0; j < 128; j++) + if (a[j][i] != 4) + __builtin_abort (); + return 0; +} |