[all-commits] [llvm/llvm-project] d12502: [OpenMP] Apply OpenMP assumptions to applicable ca...

[Joseph Huber via All-commits]

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

  Changed paths:
    M clang/lib/CodeGen/CGCall.cpp
    M clang/lib/CodeGen/CGStmt.cpp
    M clang/lib/CodeGen/CGVTables.cpp
    M clang/lib/CodeGen/CodeGenModule.h
    M clang/test/OpenMP/assumes_codegen.cpp
    M clang/test/OpenMP/assumes_include_nvptx.cpp

  Log Message:
  -----------
  [OpenMP] Apply OpenMP assumptions to applicable call sites

This patch adds OpenMP assumption attributes to call sites in applicable
regions. Currently this applies the caller's assumption attributes to
any calls contained within it. So, if a call occurs inside an OpenMP
assumes region to a function outside that region, we will assume that
call respects the assumptions. This is primarily useful for inline
assembly calls used heavily in the OpenMP GPU device runtime, which
allows us to then make judgements about what the ASM will do.

Reviewed By: jdoerfert

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