[all-commits] [llvm/llvm-project] 926393: [SYCL] Assume SYCL device functions are convergent

[Alexey Bader via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 9263931fcccdc99000c1de668bea330711333729
      https://github.com/llvm/llvm-project/commit/9263931fcccdc99000c1de668bea330711333729
  Author: Alexey Bader <alexey.bader at intel.com>
  Date:   2020-09-29 (Tue, 29 Sep 2020)

  Changed paths:
    M clang/lib/Frontend/CompilerInvocation.cpp
    A clang/test/CodeGenSYCL/convergent.cpp

  Log Message:
  -----------
  [SYCL] Assume SYCL device functions are convergent

SYCL device compiler (similar to other SPMD compilers) assumes that
functions are convergent by default to avoid invalid transformations.
This attribute can be removed if compiler can prove that function does
not have convergent operations.

Reviewed By: Naghasan

Differential Revision: https://reviews.llvm.org/D87282