aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--gcc/ChangeLog5
-rw-r--r--gcc/omp-expand.c2
-rw-r--r--libgomp/ChangeLog6
-rw-r--r--libgomp/testsuite/libgomp.oacc-c-c++-common/vprop-2.c45
-rw-r--r--libgomp/testsuite/libgomp.oacc-c-c++-common/vprop.c1
5 files changed, 58 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 7579f41..2f1a274 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2017-08-07 Tom de Vries <tom@codesourcery.com>
+
+ PR middle-end/78266
+ * omp-expand.c (expand_oacc_for): Ensure diff_type is large enough.
+
2017-08-07 Martin Liska <mliska@suse.cz>
* config/mips/mips.c: Include attribs.h.
diff --git a/gcc/omp-expand.c b/gcc/omp-expand.c
index 0a0098a..0f63507 100644
--- a/gcc/omp-expand.c
+++ b/gcc/omp-expand.c
@@ -5328,6 +5328,8 @@ expand_oacc_for (struct omp_region *region, struct omp_for_data *fd)
}
if (POINTER_TYPE_P (diff_type) || TYPE_UNSIGNED (diff_type))
diff_type = signed_type_for (diff_type);
+ if (TYPE_PRECISION (diff_type) < TYPE_PRECISION (integer_type_node))
+ diff_type = integer_type_node;
basic_block entry_bb = region->entry; /* BB ending in OMP_FOR */
basic_block exit_bb = region->exit; /* BB ending in OMP_RETURN */
diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog
index 0e6258f..62d4f27 100644
--- a/libgomp/ChangeLog
+++ b/libgomp/ChangeLog
@@ -1,3 +1,9 @@
+2017-08-07 Tom de Vries <tom@codesourcery.com>
+
+ PR middle-end/78266
+ * testsuite/libgomp.oacc-c-c++-common/vprop-2.c: New test.
+ * testsuite/libgomp.oacc-c-c++-common/vprop.c: Remove xfail.
+
2017-07-27 Jakub Jelinek <jakub@redhat.com>
PR c/45784
diff --git a/libgomp/testsuite/libgomp.oacc-c-c++-common/vprop-2.c b/libgomp/testsuite/libgomp.oacc-c-c++-common/vprop-2.c
new file mode 100644
index 0000000..046ac68
--- /dev/null
+++ b/libgomp/testsuite/libgomp.oacc-c-c++-common/vprop-2.c
@@ -0,0 +1,45 @@
+/* { dg-do run } */
+
+#include <assert.h>
+
+#define DO_PRAGMA(x) _Pragma (#x)
+
+#define test(idx,type,ngangs) \
+ void \
+ test_##idx () \
+ { \
+ int b[100]; \
+ \
+ for (unsigned int i = 0; i < 100; i++) \
+ b[i] = 0; \
+ \
+ DO_PRAGMA(acc parallel num_gangs (ngangs) copy (b)) \
+ { \
+ _Pragma("acc loop gang") \
+ for (type j = 0; j < 5; j++) \
+ { \
+ _Pragma("acc loop vector") \
+ for (unsigned int i = 0; i < 20; i++) \
+ b[j * 20 + i] = -2; \
+ } \
+ } \
+ \
+ for (unsigned int i = 0; i < 100; i++) \
+ assert (b[i] == -2); \
+ }
+
+test (0, signed char, 256)
+test (1, unsigned char, 256)
+test (2, signed short, 65535)
+test (3, unsigned short, 65535)
+
+int
+main ()
+{
+ test_0 ();
+ test_1 ();
+ test_2 ();
+ test_3 ();
+
+ return 0;
+}
diff --git a/libgomp/testsuite/libgomp.oacc-c-c++-common/vprop.c b/libgomp/testsuite/libgomp.oacc-c-c++-common/vprop.c
index 0ac0cf6..e4dd682 100644
--- a/libgomp/testsuite/libgomp.oacc-c-c++-common/vprop.c
+++ b/libgomp/testsuite/libgomp.oacc-c-c++-common/vprop.c
@@ -1,5 +1,4 @@
/* { dg-do run } */
-/* { dg-xfail-run-if "PR78266" { openacc_nvidia_accel_selected } } */
#include <assert.h>