https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90009

--- Comment #5 from Tom de Vries <vries at gcc dot gnu.org> ---
Author: vries
Date: Sat Jun 15 07:06:19 2019
New Revision: 272321

URL: https://gcc.gnu.org/viewcvs?rev=272321&root=gcc&view=rev
Log:
[openacc] Disable pass_thread_jumps for IFN_UNIQUE

If we compile the openacc testcase with -fopenacc -O2, we run into a SIGSEGV
or assert.  The root cause for this is that pass_thread_jumps breaks the
invariant that OACC_FORK and OACC_JOIN mark the start and end of a
single-entry-single-exit region.

Fix this by bailing out when encountering an IFN_UNIQUE in
thread_jumps::profitable_jump_thread_path.

Bootstrapped and reg-tested on x86_64.
Build and reg-tested libgomp on x86_64 with nvptx accelerator.

2019-06-15  Tom de Vries  <tdevr...@suse.de>

        PR tree-optimization/90009
        * tree-ssa-threadbackward.c
(thread_jumps::profitable_jump_thread_path):
        Return NULL if bb contains IFN_UNIQUE.

        * testsuite/libgomp.oacc-c-c++-common/pr90009.c: New test.

Added:
    trunk/libgomp/testsuite/libgomp.oacc-c-c++-common/pr90009.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/tree-ssa-threadbackward.c
    trunk/libgomp/ChangeLog

Reply via email to