[all-commits] [llvm/llvm-project] f28e71: [OpenMP] Make CUDA math library functions SPMD ame...

[Joseph Huber via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f28e710db720a913f4b508a9dc43f25e81629e72
      https://github.com/llvm/llvm-project/commit/f28e710db720a913f4b508a9dc43f25e81629e72
  Author: Joseph Huber <jhuber6 at vols.utk.edu>
  Date:   2021-09-10 (Fri, 10 Sep 2021)

  Changed paths:
    M clang/lib/Headers/__clang_cuda_libdevice_declares.h

  Log Message:
  -----------
  [OpenMP] Make CUDA math library functions SPMD amenable

This patch adds the SPMD amenable assumption to the CUDA math library
defintions in Clang. Previously these functions would block SPMD
execution on the device because they're intrinsic calls into the library
and can't be calculated. These functions don't have side-effects so they
are safe to execute in SPMD mode.

Depends on D105937

Reviewed By: jdoerfert

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


  Commit: 9e2fc0ba3706589ef740035e6779c62bc76b9a50
      https://github.com/llvm/llvm-project/commit/9e2fc0ba3706589ef740035e6779c62bc76b9a50
  Author: Joseph Huber <jhuber6 at vols.utk.edu>
  Date:   2021-09-10 (Fri, 10 Sep 2021)

  Changed paths:
    M llvm/include/llvm/IR/Assumptions.h
    M llvm/lib/IR/Assumptions.cpp
    M llvm/lib/Transforms/IPO/OpenMPOpt.cpp
    A llvm/test/Transforms/OpenMP/spmdization_assumes.ll

  Log Message:
  -----------
  [OpenMP] Check OpenMP assumptions on call-sites as well

This patch adds functionality to check assumption attributes on call
sites as well.

Reviewed By: jdoerfert

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


Compare: https://github.com/llvm/llvm-project/compare/0da5ac1a7537...9e2fc0ba3706